参考文献

Ethereum Yellow Paper (Gavin Wood他)
Foundations of Cryptography (Oded Goldreich)
How to Go Beyond the Black-Box Simulation Barrier (Boaz Barak他)
How To Simulate It – A Tutorial on the Simulation Proof Technique (Yehuda Lindell)
On Σ-protocols (Ivan Damgård)
On the Size of Pairing-based Non-interactive Arguments (Jens Groth)
Pairings for Cryptographers (Steven D. Galbraith他)
Quadratic Arithmetic Programs: from Zero to Hero (Vitalik Buterin)
Strict Polynomial-time in Simulation and Extraction (Boaz Barak他)
Succinct Non-Interactive Arguments via Linear Interactive Proofs (Nir Bitansky他)
Tornado Cash Privacy Solution Version 1.4 (Alexey Pertsev他)
暗号理論における安全性概念（岡本龍明）
暗号理論と楕円曲線（辻井重男他）
計算理論の基礎（Michael Sipser他）
公開鍵暗号の数理（岡本龍明他）
知識の証明と暗号技術（有田正剛）