ゼロ知識証明
Yao
Verifiable Secret Sharing
Goldreich
完全ゼロ知識証明
Tornade Cash
Commitment
zCash
Pinocchio
zkSNARKs
zkSTARKs
zkSHARKs
arguments
succinct arguments
Circuit-SAT
bilinear group
quasi lenear
非対話証明
PCPs
Recursive ZK
NP完全問題
PSPACE
言語、問題
対話証明
The knowledge complexity of interactive proof-systems