STARK

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

本文介绍了Validity Rollup可以选择上传State Diff而不是完整的交易数据，解释了State Diff的概念，即状态的改变，可以是多笔交易抵消或叠加的结果。相比上传完整交易数据，State Diff可以节省成本，并且节点能更快同步到最新状态，但是state diff 不包含历史交易数据，需要通过其他方式如p2p网络同步。

Cairo是首个用于生成STARK证明的一般计算的生产级平台，具有图灵完备性和高效性。本文介绍了Cairo的必要性、创新能力和扩展效率，并讨论了其开发工具的未来计划。Cairo可以提供高可扩展性和低Gas成本，非常适合DeversiFi、Immutable和dYdX等项目。

本文介绍了StarkEx的上线情况及其在DeversiFi去中心化交易所中的应用，详细阐述了StarkEx的功能特点、用户操作流程和数据可用性委员会的组成，突出了其在以太坊主网上的首次应用与重要性。文章涵盖了技术原理，提升了对自我保管交易的安全性，并展望了未来的应用前景。

本文探讨了在拥有1000台机器的集群上并行化10亿指令周期计算证明的通信复杂度，分别针对RISC Zero的Bonsai架构上的递归证明和基于折叠的证明进行了分析。分析表明，通过调整折叠见证人的大小，可以使折叠的通信复杂度与FRI系统相匹配，但实际应用中存在工程权衡。

本文介绍了零知识虚拟机（zkVMs）的概念，zkVMs 利用零知识证明（ZKPs）来验证在特定指令集架构上执行的计算的正确性。文章回顾了zkVMs的基本原理，并讨论了多个对zkVMs的设计和发展产生重大影响的项目，包括vnTinyRAM、Cairo、RISC Zero zkVM、Jolt等，并且 zkSecurity 正在开发 zkVM 的形式化验证框架。

本文是关于 Circle STARKs 系列的第一篇文章，主要介绍了 Mersenne 素数域在 STARK 中的应用动机和背景。由于 Mersenne 素数域具有非常高效的模约简算法，但在传统 STARK 中无法有效支持 FRI/STIR，Circle STARKs 解决了这个问题，使得在这些特定域上使用 STARK 更高效。

零知识证明（ZKPs）是一种加密技术，允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用，旨在帮助程序员理解如何实际实现这一技术，并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。

探秘 Circle STARKs

以太坊基金会和Mina基金会发布提案征集（RfP），旨在设计并实现一种在以太坊上验证Pickles SNARK的机制。目标是实现Mina区块链在以太坊上的完全验证，从而实现两个链之间的互操作，并使应用程序更广泛地在以太坊上使用递归SNARK。该提案详细介绍了验证过程中的关键步骤，包括哈希计算、算术方程检查和多标量乘法（MSM），并提出了使用辅助证明系统来验证计算密集型步骤的方案。

Starknet开发指南：如何使用Cairo实现和测试存储合约在这篇文章中，我们将带领读者逐步完成在Starknet上开发一个简单存储合约的过程。通过使用Cairo语言进行编写，您将学习如何在区块链上存储和读取数据，掌握Starknet合约的基本开发流程，并使用Scarb进行项目构建和测试。本教程

circle stark: perspective from a new stark

EIP-7864 提议对以太坊状态使用二叉树，与 EIP-3102 相比，它提出了一个单一的平衡树，并借鉴了 EIP-6800 的一些思想，例如账户数据、存储槽和代码块的打包。该提议讨论了稀疏树与非稀疏树，以及用于默克尔化的哈希函数的选择，当前草案提议使用非稀疏默克尔树，并在主干级别压缩分支，使用 BLAKE3 哈希函数。

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

ZeroSync项目旨在通过零知识证明，为比特币区块链生成STARK证据，实现快速验证和同步比特币全节点。文章介绍了ZeroSync的轻客户端版本，探讨了区块头验证、可验证计算、UTXO集处理以及递归证据等关键技术，并展望了其在完整比特币区块处理方面的应用。