ゼロ知識証明（ZK証明）はかつて単なる理論的好奇心に過ぎませんでしたが、最近ではZcashやMoneroなどのブロックチェーンシステムで広く応用されています。しかし、ほとんどのブロックチェーンアプリケーションで使用されるZK証明は、他のユースケースに適さない証明サイズとパフォーマンスのトレードオフを行っています。特に、これらのプロトコルはしばしば複雑な信頼できるセットアップフェーズを必要とし、証明自体に最適化されています。
