Pinocchio Protocol

暗号の仮定だけに頼りながら一般的な計算を効率的に検証するために効率的に検証するために構築された.

• q-PDH
  • DDH assumption を一般化した
• q-SDH
  • SDH
• q-PKE
  • KEA仮定 を一般化した

離散対数問題

参考文献

• zk-SNARKsの理論