SNARKs

这篇文章探讨了在区块链世界中，SNARKs（简洁非交互式知识论证）的安全性和正式验证的重要性，尤其是在Jolt这一用于RISC-V的zkVM的上下文中。文章概述了Jolt推出以来在性能和功能上的提升，并详细描述了为实现正式验证所采取的具体步骤与未来计划。作者强调了当前工具链中存在的风险，呼吁在广泛使用之前确保其安全性。

本文介绍了Lasso和Jolt的创新，它们能显著提升SNARK的性能，并更易于构建和审核。结合D&P的Binius方案，这些发展改变了我们对SNARK设计的基本理解，提出了新的思路以优化电路求解和多项式承诺方案，从而提高加密运算的效率，特别是在哈希函数应用中。

本文深入探讨了零知识证明协议Plonk，详细介绍了如何将算术电路的计算过程编码为多项式，并利用多项式承诺方案和交互式预言证明（IOPs）实现高效验证。文章涵盖了SNARKs的基本概念、根的单位在多项式编码中的应用、电路约束的数学表达，以及如何通过Fiat-Shamir启发法将交互式协议转为非交互式证明。内容涉及密码学、多项式运算及复杂协议设计，属于高级密码学技术解析。

Vitalik Buterin在台北以太坊Meetup上讨论了Rollups和数据可用性问题，介绍了ZK Rollup等Layer 2解决方案，以及如何在以太坊1.0和2.0中实现区块链扩展。他详细解释了Merkle树、SNARKs等技术，并展望了未来在以太坊2.0中的应用。

本文探讨了以太坊的多客户端哲学如何与ZK-EVMs（零知识扩展虚拟机）交互，分析了多客户端架构的优势、ZK-EVMs在Layer 1的应用潜力，以及如何在ZK-EVMs基础上实现多客户端生态系统。

本文深入探讨了递归零知识证明（Recursive SNARKs）及其在隐私保护计算中的应用与优势，包括压缩多个证明的能力和跨信任边界的可组合性。文章详细分析了零知识证明的基本概念、类型以及递归证明的实施方法，探讨了不同的递归策略和它们的实际应用，如交易汇总、轻客户端证明以及去中心化治理等，展现了递归证明在区块链和其他领域的巨大潜力。

本文介绍了 Circom 编程语言，它用于创建 Rank 1 Constraint Systems (R1CS) 并填充 R1CS 的 witness 向量，主要是为了简化约束系统的设计和自动化 witness 的生成。文章还解释了 Circom 存在的意义，以及它如何帮助开发者更轻松地进行零知识证明相关的开发，最后说明了学习 Circom 的理由，并概述了资源结构，包括语法和约束设计。

本文汇总了一系列关于零知识技术的资源，其中包括零知识证明的基础、历史演变、应用以及相关论文的阅读列表。这些内容充分展示了零知识证明在区块链可扩展性和隐私保护应用中的重要性，涵盖了从理论到实践的多个方面，适合希望深入理解这一领域的读者。

本文是关于 PlonK 零知识证明系统中 Frozen Heart 漏洞的分析。该漏洞源于 Fiat-Shamir 转换的不安全实现，允许恶意用户伪造随机语句的证明。文章详细介绍了 PlonK 协议以及该漏洞的原理和利用方式，强调了在 Fiat-Shamir 哈希计算中包含所有公共值的重要性。最后讨论了此漏洞的影响，并指出其严重性和广泛性。

本文介绍了零知识证明技术SNARKs和STARKs。SNARKs依赖于可信设置，验证速度快但安全性较弱；STARKs无需可信设置，安全性高但验证速度较慢。文章对比了SNARKs和STARKs的优缺点，并阐述了零知识证明在提升区块链可扩展性和保护用户隐私方面的作用。

本文是针对密码学领域中一些常见但可能令人困惑的技术的专家问答，涵盖了SNARKs中的 commitment schemes、哈希函数的构造、椭圆曲线密码学(ECC)的攻击方式、后量子密码系统、Fiat-Shamir heuristic、PLONK 证明系统的改进、zkEVMs的设计决策、zkEVMs的性能改进、Shamir 密钥共享方案以及 folding schemes的技术细节。

文章讨论了区块链中的Layer 3概念，探讨了在Layer 2基础上构建Layer 3以进一步提升扩展性的可能性，并分析了Layer 3的不同用途，如隐私保护、定制化功能和弱信任扩展。文章还探讨了Rollups和Validiums的设计及其在扩展性方案中的角色，提出了在Layer 1和Layer 2之间插入证明聚合层的可能性。

本文介绍了Jolt zkVM的新进展，特别是Twist和Shout两种新的内存检查参数，它们通过快速提交到大型稀疏向量，简化了内存检查，并利用sum-check协议优化了证明过程。这些技术显著提高了Jolt的证明速度，并强调了sum-check协议在构建快速SNARKs中的关键作用，同时挑战了现有SNARK设计的某些流行观点。

本文介绍了存储证明的概念及其在区块链中的应用，特别是在增强或替代预言机方面的潜力。存储证明允许跨链验证特定状态的存在和有效性，无需信任第三方。文章探讨了存储证明的用例，包括跨链信息访问、简化的跨链投票系统、替代跨链桥以及增强账户抽象的用户体验，并讨论了存储证明如何与预言机进行对比，以及如何在某些情况下替代或增强预言机的功能，最后探讨了在Starknet上使用存储证明增强预言机的可行性。

本文介绍了一种新的SNARKs构造方法，用于在整数上进行计算，并提供了一种简单但新颖的方法来构建高效的证明系统。该方法通过使用多线性SNARKs，并结合“具有模余数的承诺方案”这一新工具，将现有的SNARKs“编译”成整数上的论证，实现了高效的范围检查、混合域仿真以及RSA群中的计算验证。