Algorithm for Key Transparency with Transparent Logs | Synapse