ゼロ知識証明

protocol

• zk-SNARKs
  • 非対話な証明が出来る
• zk-STARKs
• Bulletproofs

trusted setups

応用

• 電子署名
• IND-CCA なPKEの構成