STARK证明

文章深入探讨了Web3和以太坊在可验证性方面的进展，尤其是通过实施Verkle树和STARK证明来提升区块链的透明度和可持续性，最终目标是实现完全的可验证性和去中心化。文章详细分析了以太坊的现状、挑战和未来的解决方案，包括量子安全和执行证明等技术。

本文介绍了一种新的Cashu ecash代币锁定机制，利用Cairo程序的STARK证明作为花费条件。

Starknet 2026年5月月度回顾：strkBTC（比特币隐私桥）上线，支持比特币隐私转账、质押、借贷等；Starknet已具备后量子安全能力，用户可迁移至量子安全钱包；基金会开放17亿STRK委托；Native USDC在Binance上线；Xverse、Ready、Extended、Privily等生态项目更新。

该提案建议在 Tapscript 中添加一个操作码 `OP_STARK_VERIFY`，用于在比特币链上原生验证 STARK 证明，旨在实现零知识证明的链上验证，并提供后量子安全性。该提案概述了动机、威胁模型、边界/定价方法和初始操作码语义，用于支持有效性汇总、后量子签名和隐私保护交易等应用。

本文继续解释STARK证明的工作原理。在前几步（注册交易步骤、扩展数据放大错误）之后，本文讨论对扩展后的数据（检查数字）施加更多约束。通过数学检查，如总和约束，可以验证大量交易的整体一致性。如果存在任何错误，错误会通过检查数字的约束传播并放大，使作弊者难以修改所有相关数据来保持一致。文章还提到了Reed-Solomon纠错码和信息论的应用。

本文是STARK证明系列第三部分，介绍了在生成证明时如何通过扩展数据和放大错误来确保交易执行步骤的有效性。通过类比校验数字（如ISBN）的方法，解释了如何添加多种检查模式（如总和、间隔和、奇偶和等）来暴露违规步骤。这种方法使错误更易被检测，为下一阶段的数学验证奠定基础。

本文汇总了9月22日至28日比特币开发者生态系统的重要更新，涵盖Stratum V2 v1.5.0发布（改进翻译代理和任务声明客户端，提升挖矿去中心化）、CDK v0.13.0发布（引入FFI绑定支持移动端原生开发、新的指标收集、改进HTTP传输等）以及Cashu规范中NUT-XX提案（利用STARK证明实现用户自定义任意花费条件，保护隐私）。文章还提及了Bitcoin++ Istanbul会议中的相关演示和讨论。