大多数 zkVM 在纸面上看起来很不错。 SP1 是为现实世界而构建的。 Succinct 没有使用 Risc0、zkSync 或 Polygon 的 zkVM,原因很充分。 SP1 不是一个抄袭者。 它是一个从零开始构建的 zkVM,旨在为下一代无信任基础设施提供动力。 这很重要的原因如下: 为什么要构建一个新的 zkVM? @SuccinctLabs 本可以选择现有的 zkVM。Risc0、Cairo,甚至 zkEVM。 但他们没有,原因如下: 大多数 zkVM 的通用性不足 许多 zkVM 不支持开箱即用的递归 一些与自定义 DSL(例如,Cairo)紧密耦合 其他的缺乏透明度或深深嵌入更大的汇总堆栈中 Succinct 需要更多的东西: → 一个可以在任何地方运行任何程序并高效证明的 zkVM。 这就是 SP1。 SP1 是什么? SP1 是一个高性能、模块化的 zkVM,使用 Rust 构建,支持: - 通用计算 - 高效递归 - 证明可移植性到其他链 而且至关重要的是,具有开源灵活性 它是围绕几个核心理念从第一原则设计的: • ZK 需要可访问。 • 证明生成必须在链之间可组合和可验证。 • 开发者不应该需要学习密码学来使用 ZK。 SP1 基于一个自定义的 ISA(指令集架构),而不是 EVM 的复制,使其性能更高、可扩展性更强。 而且它已经被用于支持跨链轻客户端、EigenLayer AVS 等。 SP1 有什么不同? 与其他 zkVM 相比,SP1 在几个重要方面脱颖而出: 为现实世界证明而设计 不是为零知识游戏或汇总竞争而优化,而是为多链验证而优化。 极其模块化 您可以修改 SP1,交换组件,并插入不同的证明曲线或递归策略。 Rust 原生开发者体验 在安全、高效的 Rust 中编写 ZK 程序,而不是奇特的 DSL。 内置对递归证明的支持 对于在链上验证许多链下事件的可扩展性和可组合性至关重要。 为什么现在这很重要 加密货币的未来是多链的。 这意味着更多的轻客户端、更多的桥接和更多的共享证明系统。 但在一个链上安全地证明另一个链的状态需要优化的不仅仅是吞吐量,还有灵活性和可移植性的 zkVM。 SP1 正是这样做的。 → 它不仅仅是一个 ZK 原语——它是无信任互操作性的证明引擎。 在下一篇文章中,我们将分解 Succinct Prover Network:它如何在链下运行 ZK 计算,以及这为开发者和链解锁了什么。 标记可能对此感兴趣的 Gigachads 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_
在加密领域,我们已经擅长扩展。 Rollups。DA 层。共享序列器。 但在互操作性方面,我们仍然停留在过去。 我们依赖多重签名、可信预言机和不安全的桥梁在链之间传递消息,尽管我们知道它们是加密中最脆弱的攻击面。 @SuccinctLabs 正在打破这种混乱。 不是通过构建另一个消息层或 L2... 而是通过引入一个新的原语: → 一个通用证明层,使任何链能够使用 ZK 验证来自任何其他链的计算。 这完全颠覆了模型。 不再信任第三方来证明其他链上发生的事情... Succinct 赋予链自我证明的能力。 以下是如何实现的: Succinct Stack 在其核心,Succinct 是一个模块化的 ZK 基础设施堆栈,由以下部分组成: - SP1 zkVM – 一个高性能、开源的 zkVM,从零开始构建。针对现实世界的通用证明进行了优化,特别是轻客户端和跨链验证。 - 通用证明网络 – SP1 驱动一个证明层,可以在链外运行任意计算并生成可以在任何地方验证的简洁证明。 - Succinct Gateway – 一个面向开发者的 API,抽象了所有 ZK 复杂性,让团队能够在不修改其协议或智能合约的情况下进行无信任计算。 这不是虚假软件。 Succinct 已经在与以下项目合作: Base、Arbitrum 和 Optimism → 运行无信任的 L2 轻客户端 Solana → 以太坊桥 → 使用 zk 证明的区块头 EigenLayer AVS 项目 → 需要链外证明 这个论点很简单: 计算应该在链外进行。 验证应该在链上进行。 零知识使这一切成为可能并可扩展。 @SuccinctLabs ct 正在为一个世界奠定基础,在这个世界里: 1. 桥不需要预言机 2. L2 不需要集中式序列器监视器 3. 比特币可以通过证明而不是信任与以太坊对话 这是一个新的加密原语的开始。 在下一篇文章中,我们将详细介绍 SP1 zkVM 以及它为何是这个难题中最重要的部分。 标记可能对此感兴趣的 Gigachads 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_
查看原文
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。