SHARP 共享证明器：聚合的力量

节省成本并提升以太坊的可扩展性，只要使用 Cairo 编写，SHARP 就能证明

精选速览

• SHARP（SHARed Prover，共享证明器）生成聚合 Cairo 程序的 STARK 证明，允许任何应用程序将交易提交到同一证明。想象一个滴滴拼车池，不过是为了拼 STARK 证明。这种「拼车」动态意味着即使是小型应用程序也可以获取 STARK 扩展的巨大力量。
• 只要是用 Cairo 编写的，无论 dApp 多么多样化，SHARP 都可以证明。SHARP 会把大约 22 万笔交易打包成一个在以太坊主网上的单一证明。
• 利用 SHARP 的递归证明能够并行处理和验证多个 STARK 证明，从而提高可扩展性和效率。
• 通过即将到来的 SHARP动态布局定制，将进一步减少达 30% 的 gas 费用。

扩展之旅

扩展以太坊是一段创新之旅，要不断地寻找进一步提升可扩展性的解决方案。2020 年 6 月，StarkWare 推出了基于 STARK 的第一款 L2 扩展解决方案 StarkEx。到 2020 年 9 月又宣布了 Cairo 语言，这是第一个为了最大限度提高 STARK 证明效率而设计的编程语言。Cairo 以及通用计算，为任何业务逻辑和任意计算声明的快速和安全编码证明铺平了道路。随着这项创新，新一波的开发者加入 StarkWare 生态系统。

虽然开发者们希望获得 StarkEx 的可扩展性、安全性和高效率，但他们的大部分项目并没有足够多的交易活动来填满一个 STARK 证明。同样，用户仍然因以太坊网络拥堵导致的 gas 费用上涨的不可预知而困扰。

于是，SHARP 横空出世。

什么是 SHARP？

SHARP（SHARed Prover，共享证明器）是个强大的系统，设计用户生成聚合Cairo 程序的 STARK 证明。Cairo 是种通用计算编程语言，可以在单个证明中容纳各种代码逻辑。SHARP 在链下处理一批交易，并在链上证明它们的计算证明，将所有交易的成本分摊到单个证明中。生成的统一 STARK 证明通过链上 Solidity 验证器合约进行验证，让 SHARP 能够提高吞吐量，降低 gas 费用，并最小化延迟。

例如，SHARP 可以处理来自完全不同程序和逻辑的 Cairo 代码，包括 NFT 铸造到甚至是 Starknet 网络操作系统。只要是用 Cairo 编写的，SHARP 就可以证明，并且它可以在一个证明下聚合各种程序。SHARP 带来的效率使其能够将成千上万的交易打包到主网上一个单一证明中。在链上处理证明的费用在批处理中的所有交易之间分摊，因此打包的交易越多，每笔交易的 gas 费用就越低。

用一个示例来说明这点：

假设你正在和你的姐姐为父母购买礼物：一部新手机、一个杯子和一件T恤。每件礼物都是在不同的线上零售商那里购买的，并且会在不同的日期，用不同尺寸和形状的包装送到你们各自的家里。你们的计划是将每个礼物包装好，然后用邮寄的方式送给父母。

然而，邮局遇到了麻烦。小型和中型的盒子都没有了，只剩下大型能装下任何尺寸的盒子。这就有两个选项：

选项 1：每个礼物到货后都单独用一个大盒子来包装和邮寄。虽然这样可能加快了单个礼物的装运，但是需要包装三个独立的盒子，以及跑三趟邮局去寄出三个独立包裹。所以，这种方法既没有节约时间，也不划算。

选项 2：将所有礼物装在一个大盒子里邮寄。这就意味着你只需处理一个盒子，而非三个。

在这个例子中，SHARP 就是选项 2，可以让资源高效利用，并有着更流畅的时间管理。

SHARP

尽管 SHARP 是为了 StarkWare 生态系统而生的，但它能够证明任何具备有效执行的 Cairo 程序。在节省时间和成本方面的效率，让 SHARP 成为任何需要创新证明方法的解决方案。

关于【SHARP 共享证明器：聚合的力量】的延伸阅读

• Web3 世界的「云安全验证」—— 盘点 EigenLayer 生态知名的 AVS 项目

  EigenLayer是一个在以太坊上创建的技术协议，引入了再质押功能。截至2024年6月5日，已有超过530.9万个ETH在EigenLayer上进行再质押。通过EigenLayer，用户可以再次获得资产奖励，开发人员可以利用已质押的ETH启动新的主动验证服务。该文档介绍了多个基于以太坊的互操作性协议，包括连接Layer2的共享排序工具、安全协调层、互操作层和去中心化的证明者网络。这些协议都使用EigenDA作为数据存储层，并提供技术文档供参考。其中，Restaked Rollup是EigenLayer的新型主动验证服务项目，Caldera和Celo也使用EigenDA作为数据存储层，提供技术框架和模块化功能。此外，还介绍了使用EigenDA的Layer2网络，如Cyber、LayerN和Mantle。EigenDA是一个模块化的Layer2网络，专注于成为web3应用程序的社交层。Polymer Labs开发的协议结合了Optimism堆栈的结算功能和Cosmos SDK的互操作性功能，使用EigenDA作为数据存储层。Versatus是世界上第一个Stateless Rollup，助力去中心化应用的开发。

• 火星财经加密周报 | 6月7日

  本周欧盟选举开始，加密行业监管政策可能受影响。Tether CEO担心欧盟MiCA稳定币要求会对市场产生负面影响。RoaringKitty可能清算其GME股票头寸，Solana币价增长受益于Meme币交易活动。特朗普竞选团队收到近3亿美元捐款，西班牙90%的World ID持有者支持Worldcoin回归。加密专家密切关注欧盟选举对MiCA、DeFi、NFT等领域的影响。比特币可能因CPI创新高和降息预期上涨，ETH表现落后。Blast提醒DApp在6月25日前分配所有Gold和Points给用户。Bitget Launchpad项目BWB投入总人数增长，IO.NET初始总供应量为5亿枚。五月加密市场大多数指标下跌，但以太坊质押收入上涨，NFT市场交易额下降。加密货币可以解决人类挑战，DeFi夏季最新更新包括Ethena、Etherfi、Karak等项目。Notcoin交易量增加，L2争斗白热化，市场流动性改善，Meme板块吸引资金流入，NFT市场情绪低迷。Shardeum、Merlin和0G Labs与多家合作伙伴合作推进去中心化项目发展。

递归 SHARP

自诞生以来，SHARP 已经经过了几次效率升级。其中最强大的是从线性模型转变为递归模型。

在递归证明中，SHARP 在每个声明到达时就对其进行证明，而不是先收集一批声明填满一个证明，然后才证明这批声明的处理过程。这是验证计算声明的高时间效率的方式，比计算本身要快得多。

这是通过并行处理传入的声明来实现的，可以绕过之前的可扩展性障碍，这些障碍要求在接收到所有单个声明后，才能证明组合的声明。现在，不仅 SHARP 可以证明数千个交易的正确性，而且还可以使用相应的 STARK 验证器验证多个 STARK 证明。这可以生成一个单一证明，证明多个上游证明的有效性。

递归实施后，SHARP 会立即证明传入的声明。这些证明本身可以被反复证明并合并成递归证明。这个递归证明过程实施到最后，最终的证明被提交给一个链上 Solidity 验证器合约。这就像一个嵌套模式：一个 Cairo 程序验证上游的证明，这反过来又产生了一个新的证明，STARK 验证器确认它们的有效性。

在之前的比喻中，邮局最初只提供一个标准的盒子大小，但递归的 SHARP 引入了一个突破口，提供了不同大小的小盒子，每个都特别指定给一个单独的物品。虽然这些盒子并没有精确地按照每个特定物品的大小定制，但这种创新的方法使得礼物在到达时可以被装入小盒子中，消除了未使用空间的不必要的费用，并减少了延误。小盒子可以在所有礼物准备好后立即进行包装和准备发货，而不是等待所有三个礼物到达后再把它们装入一个大盒子中。

下一步计划：动态布局

StarkWare 团队目前正在开发动态布局作为 SHARP 服务的定制。有了动态布局，证明器将计算每个特定逻辑所需的资源，并据此生成一个定制的证明。

再次与之前的邮局比喻来类比，动态布局可以看作是定制包装盒的想法。这些定制的盒子可以完美适配每个礼物的形状，确保你只需支付所需的确切尺寸，避免不必要的费用。同样，有了动态布局，将为每个逻辑和它需要的特定计算资源创建一个定制的证明，确保你只为你使用的计算付费。只要是用 Cairo 编写的，SHARP 就能进行准确证明。

StarkWare 团队希望在下一个 SHARP 版本中引入这种适应性和效率方面的改进。动态布局的目标就是大幅降低 gas 费用。

通过利用基于 STARK 的递归证明生成功能，这项技术将大大提高以太坊网络的可扩展性和效率。

可以在这里了解更多关于StarkEx和Starknet的内容。

免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：StarkWare，如有侵权请联系删除。转载或引用请注明文章出处！

标签：以太坊