zkVM

FRI预备知识：多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。

本文探讨了如何通过 commoditising complements 来优化区块链应用的环境，包括引入共享序列器（RaaS）、数据可用性、经济安全等多个方面。文章强调了 commoditisation 对提升创新能力的重要性，并讨论了开发者在模块化基础设施中如何利用这些变革来构建更高效的应用程序。整体结构清晰，涵盖了丰富的示例和深度分析。

本文介绍了两项新技术——Lasso和Jolt，它们为SNARK设计带来了根本性的新方法，显著提升了性能并改善了开发者体验。Lasso提供了更快的查找论证，支持大型表格的高效查找，而Jolt则为零知识虚拟机（zkVM）设计带来了简化，使开发者可以更容易地编写高效的SNARK应用。

本文介绍了Ola Ambassador Program的第一期，通过采访来自韩国、日本、伊朗和印度的五位大使，展示了他们对Ola项目及其ZKVM技术的贡献和热情。他们分享了加入Ola的原因、学习经历、2024年的目标以及对未来大使的建议，旨在扩大Ola的影响力，并促进社区的参与和创新。

Plonky2是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议，专注于通过FRI技术实现高效的zkSNARK。

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。

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

本文将对比 zkEVM 和 zkVM 在技术上的差异，并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。

探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？

这篇博客文章是关于使用SNARKs验证FHE引导（Bootstrapping）的研究，旨在提高FHE的实际应用性。

本文介绍了Ola项目，一个由Sin7y Labs于2022年推出的ZK Stack基础设施项目，旨在为比特币、以太坊等区块链构建ZK轻客户端网络。Ola Stack包含OlaVM、Ola-lang等组件，旨在简化智能合约开发并支持 ZK 轻客户端网络。同时介绍了Massive，Ola的首个移动ZKP验证应用，以及如何通过Massive参与区块链验证并获得奖励。

FRI原理及其应用分析

双线性对是一种数学函数，广泛用于设计密码协议，如基于身份的加密、数字签名和零知识证明等。