本文深入探讨了zk-SNARKs技术背后的Pinocchio协议，详细介绍了使用椭圆曲线配对和数学技巧来证明某个二次算术程序（QAP）的解，而不泄露解的其他信息。文章还涉及可信设置、多方计算等安全机制，并指出该领域的最新研究动态。
Vitalik Buterin