Verifiable Logs: Solving The “Cryptocat Problem”