SP1-CC 简介：释放 EVM 的全部力量

Succinct 正在通过一种新的 ZK 原语：SP1-Contract-Call (SP1-CC) 来增强 EVM。借助 SP1-CC，开发者可以获得一个 ZK 协处理器，它使以太坊比以往任何时候都更具特性完备性和可编程性，超越了 EVM 的限制。

EVM 是应用最广泛的智能合约平台，在多个链上保护着超过 1000 亿美元的资产。然而，它也存在一些核心限制：

• 无法访问历史状态。 智能合约只能访问存储槽的当前值。跟踪历史数据需要昂贵的 SSTORE 操作和定制逻辑，从而增加了开发时间。
• Gas 约束。 开发者希望构建丰富的、计算密集型的应用程序。然而，高昂的 gas 成本和固定的 gas 限制迫使设计变得更简单、功能更少。
• 僵化的智能合约。 智能合约被设计成不可变的。除非预先实施特定的设计模式，否则升级成本很高——许多 dApp 无法承受这种额外开销。

这些约束旨在保持以太坊的性能和去中心化。但它们使得构建和维护链上应用程序变得困难。SP1-CC 使开发者能够摆脱这些限制。

SP1-CC 释放 EVM

SP1-CC 为 EVM 引入了一种新的计算范式：读取 → 计算 → 验证。

• 读取：摄取任何区块的历史区块链状态（即，存储、事件、calldata^1）。
• 计算：离线执行任意 Solidity 逻辑。没有 gas 限制。完全的灵活性。
• 验证：在链上提交一个 ZK 证明，以证明计算已正确执行。

该模型使 EVM 具有自省性、可扩展性和可编程性，而无需更改任何 L1 代码。下表概述了开发者的变化：

1^ 读取历史 calldata 将在未来的更新中提供

如何使用 SP1-CC 构建

SP1-CC 带有三个用于访问和计算链上数据的原语：

• call() 模拟在任何历史区块的合约调用。读取存储。模拟逻辑。没有实际的状态变化。
• create() 虚拟部署合约并在链下执行它们——无需链上交易。这使得你可以模拟合约逻辑、读取存储，并通过调用其他合约来组合复杂的行为。由于执行发生在链下，因此没有 gas 限制——你的程序可以根据需要进行计算密集型操作。
• get_logs() 查询和过滤任意区块的日志。访问通常在 EVM 中无法访问的数据。

有了这三个构建块，现在就可以实现一系列新兴应用。

领先团队正在使用 SP1-CC 构建

像 Eigenlayer 这样的团队已经在使用 SP1-CC。EigenDA 使用 SP1-CC 来证明每个数据可用性（DA）blob 都有 quorum-wide stake attestations 的支持。在使用 SP1-CC 之前，直接在链上验证每个 blob 的 KZG 承诺的成本高得令人望而却步。

通过集成 SP1-CC，EigenDA 绕过了链上计算限制。复杂的 blob 验证现在在链下运行，并在链上验证单个简洁证明。此外，借助 SP1 的聚合层，可以以固定且可预测的成本同时证明多个 blob。

使用一系列新的应用程序扩展 EVM

借助 SP1-CC，开发者可以转换他们的区块链应用程序，同时将其业务逻辑保留在 Solidity 中。以下是现在可能实现的一个例子：

无需迁移的链上治理

部署 ERC20 的最佳实践是确保它们不可升级——否则，可以修改合约以引入错误或漏洞。但这需要付出代价：旧的 token 无法在不进行完整迁移的情况下添加新功能或治理功能。这是一项代价高昂的工作，需要所有用户放弃其旧 token 并声明新 token。

借助 SP1-CC，可以逐步升级治理。开发者可以快照任何区块的 token 余额、验证链下签名、计算投票权重（按 stake、DeFi 头寸等），并在链上证明结果。团队不再需要代理合约或使用新的合约部署进行冗长的状态迁移。

无需检查点的 DeFi 预言机

如今，团队可以通过调用任何 Uniswap v2/v3 AMM 池来计算 token 的 TWAP（时间加权平均价格）。然而，由于该设计依赖于“累加器”来跟踪之前的价格，因此开发者必须启动两次检查点交易。这创造了一种笨拙的开发者体验。

借助 SP1-CC，开发者可以使用 call() 来获取任何历史区块的价格数据，而无需复杂的累加器逻辑。还可以实现更高级的功能：团队可以通过使用 call() 来在多个池中以不同的区块高度获取 token 价格，从而为链上 ETF 计算 VWAP，而无需中心化的预言机或智能合约更改。

通过漏洞证明改进安全披露

如今，白帽通过与团队私下共享漏洞来披露智能合约漏洞。团队负责重现该错误，这是一个缓慢的过程，可能会泄漏该漏洞。

借助 SP1-CC 的 create() 和 call() 功能，白帽可以模拟复杂的攻击，并通过单个 ZK 证明来证明智能合约漏洞。该过程更加安全，因为它不会暴露底层漏洞。

透明且可验证的空投

空投目前依赖于不透明的脚本和中心化的索引器。用户必须信任团队正确运行了选择逻辑。

借助 SP1-CC，开发者可以设计具有透明选择标准的可验证空投。这些空投可以具有复杂的标准，例如 LP 参与、DAO 投票和其他链上行为——最终，一切都通过 ZK 证明进行验证。

立即使用 SP1-CC。

SP1-CC 已上线，经过审计，并为 EigenDA 等应用程序提供支持。开始在以太坊和任何 EVM 兼容的 L1 或 L2 上构建下一代应用程序。

由 Succinct Prover Network 提供支持的智能合约开发黄金时代已经到来。点击 此处 开始。

• 原文链接： blog.succinct.xyz/sp1-cc...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～