a16z ：Cicadaは時間ロックパズルとゼロ知識証明を利用してオンチェーン投票を実現します。