ゼロ知識証明
#ゼロ知識証明 #glossary
#QSP,二次スパン問題
#QAP,_2次算術問題
#FFTs(Fast_Fourier_transform)
#IncrementallyVerifiableComputation
#nova
#R1CS
#FFTs(Fast_Fourier_transform)
#lattice
#zkSNARGs
#shortproofs
#アーギュメント(argument)
#共通参照情報(Common_Reference_String)
#TrustedSetup
#言語の所属問題
#知識の対話証明
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
https://dl.acm.org/doi/10.1145/22145.22178
Why everyone should know ZKPs: https://docs.google.com/presentation/d/1NaFqC-RnKuMOiG1CFpb5tnTC2mbu78brPKO2ldZhesI/edit#slide=id.g1282c64c37f_0_714