本文详细介绍了Zk-SNARKs技术，特别是Pinocchio协议的实现原理。文章从椭圆曲线配对的数学基础出发，解释了如何在不泄露具体信息的情况下，证明某个二次算术程序（QAP）的解的正确性。文章还讨论了信任设置的重要性以及如何通过多参与方计算来增强安全性。
Vitalik Buterin