zk-SNARKs

ZK白板系列 – PLONK的起源故事和路线图

在这段视频中，主持人与Zcash早期团队成员、Plonk的共同作者Ariel Gabizon进行了深入的对话，讨论了他在Aztec的工作以及Plonk的起源和发展。 **核心内容概括：** 视频的主要观点是探讨Ariel Gabizon在零知识证明（ZK-SNARKs）领域的研究，特别是他在Plonk协议中的贡献，以及他目前在Aztec的工作。Gabizon强调了安全性在去中心化金融（DeFi）系统中的重要性，并分享了Plonk的历史背景和技术演变。 **关键论据和信息：** 1. **Plonk的起源**：Gabizon与Zach在一次活动中相遇，讨论了Lagrange基的使用，这为Plonk的诞生奠定了基础。Plonk的设计突破了以往R1CS的限制，允许更灵活的多项式承诺方案。 2. **SNARK的历史**：Gabizon回顾了SNARK技术的发展，指出了在比特币和Zcash推出时对隐私技术的迫切需求，以及信任设置问题的复杂性。 3. **技术演进**：Gabizon提到Plonk的演变，包括使用查找表（lookup tables）的新技术，这可能会改变当前对SNARK友好函数的关注。 4. **未来方向**：Gabizon表示，他目前的研究重点是提高查找表的效率，并关注与Kalk论文相关的想法，认为这将对Plonk及其应用产生重要影响。 总的来说，视频深入探讨了Gabizon在零知识证明领域的贡献及其对未来技术发展的展望，强调了安全性和效率在去中心化金融系统中的关键作用。

ZKP MOOC 第 2 课：现代 SNARK 构造概述

在本次讲座中，Dan Boneh 介绍了非交互式零知识证明（SNARKs）的概念及其应用，特别是在区块链技术中的重要性。以下是视频的核心内容和关键论据的总结： 1. **核心内容概述**： - SNARKs 是一种简洁的非交互式证明，能够有效地证明某个陈述的真实性，而不需要透露任何关于该陈述的额外信息。它们在区块链和其他领域的应用日益受到关注，尤其是在提高交易效率和保护隐私方面。 2. **关键论据和信息**： - **SNARKs 的定义**：SNARKs 是一种简洁的证明，允许证明者在不透露秘密信息的情况下，向验证者证明其知道某个特定信息（如某个消息的哈希值为零）。 - **zk-SNARKs**：在 SNARKs 的基础上，zk-SNARKs 进一步确保证明过程中不泄露任何关于秘密信息的内容。 - **商业兴趣**：目前，许多公司正在开发和使用 SNARKs，推动其在实际应用中的发展，尤其是在区块链技术中。 - **应用实例**： - **区块链扩展**：通过 zkRollup 等技术，SNARKs 可以将多个交易的有效性证明为一个简短的证明，从而提高区块链的处理速度。 - **隐私保护**：在公共区块链上处理私密交易时，使用 zk-SNARKs 可以确保交易的有效性而不泄露交易的具体内容。 - **信息验证**：SNARKs 还可以用于验证图像的真实性，确保新闻报道中的图像与事件相符，防止误导性信息的传播。 - **构建 SNARKs 的框架**：SNARKs 的构建通常包括功能承诺方案和交互式oracle证明（IOP）的结合，利用 Fiat-Shamir 转换将交互式协议转化为非交互式协议。 通过这些内容，Dan Boneh 强调了 SNARKs 在现代计算和区块链技术中的重要性，以及它们如何通过高效的证明机制来提升系统的安全性和隐私保护。