zkSNARKs 背后的数学原理

视频 AI 总结： 该视频是关于 zkSNARKs（零知识简洁非交互式知识论证）的入门研讨会，旨在帮助参与者理解零知识验证计算的基本原理。主讲人 Mirko 首先介绍了为本次研讨会特别设计的简化的 3 位安全加密方案，然后通过一个简化的例子，逐步讲解了 zkSNARKs 的 Pinocchio 协议流程，包括代数电路、二次算术程序（QAP）、可信设置阶段（生成证明者和验证者密钥）、证明生成和验证阶段。 关键信息： * zkSNARKs 允许在不泄露具体信息的情况下验证计算的正确性。 * 视频中使用的简化加密方案是为了方便理解 zkSNARKs 的基本原理。 * Pinocchio 协议流程包括将计算转换为代数电路，再转换为 QAP，然后通过可信设置生成密钥，最后进行证明和验证。 * 可信设置需要一个可信第三方生成并销毁秘密参数，以保证系统的安全性。 * 零知识性可以通过在证明过程中引入随机性来实现，从而隐藏输入信息。 * zkSNARKs 的一个重要应用是在不泄露数据本身的情况下，证明拥有某个哈希值的原像。