本文深入探讨了zk-SNARKs技术背后的Pinocchio协议,详细介绍了使用椭圆曲线配对和数学技巧来证明某个二次算术程序(QAP)的解,而不泄露解的其他信息。文章还涉及可信设置、多方计算等安全机制,并指出该领域的最新研究动态。
文章详细介绍了PLONK零知识证明协议的原理和实现,包括其通用和可更新的可信设置、多项式承诺的使用以及如何将程序转换为多项式方程进行验证。
文章详细介绍了可信设置的工作原理,特别是KZG多项式承诺的信任设置过程,并讨论了其在不同加密协议中的应用和未来发展。