在加密领域,我们已经擅长扩展。 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_
DOLAK1NG
DOLAK1NG2025年7月16日
在2020年,杀手级应用是DeFi。 在2021年,它是NFT。 在2022年,卷积。 现在?是使它们都可组合、可证明和与创作者对齐的基础设施。 这是隐形基础设施层的崛起,支持ZK、AI、意图、应用链和计算的表面下的工具。 以下是构建该基础的6个最重要的协议: 1. @SuccinctLabs ZK如同代码一样简单 想要证明你的代码在不重写为密码电路的情况下有效吗? Succinct正在构建SP1,一个zkVM,让你可以编写普通的Rust或C++并从中生成ZKP。 然后是魔法:证明由去中心化的证明者网络执行,参与者竞标以快速且便宜地生成证明……以$PROVE支付。 Succinct将ZK变成你甚至不会注意到的基础设施,证明无需管道。 完美适用于: - zkBridges - 轻客户端 - AI验证 - 卷积 任何需要“可证明计算”的东西 ZK从实验室转向应用原生规模。 2. @Mira_Network 像数学一样验证AI ChatGPT可以生成答案,但我们怎么知道它是正确的? Mira使AI可证明且信任最小化。 每个AI输出是: - 被分解为原子声明 - 由质押的“事实检查者”独立验证 - 通过隐私保护的密码学保护 - 在链上认证 这是零知识与零幻觉的结合。 想象一下: 在DeFi中验证的代理响应 安全的医疗LLM 可信的游戏世界NPC 可审计的决策引擎 Mira为AI构建了一个信任层,因此你不仅可以使用它,还可以相信它。 3. @cysic_xyz ZK证明作为去中心化商品 每个人都想要ZKP。没有人想生成它们。 Cysic通过计算证明解决了这个问题。 一个去中心化的证明者网络,包含GPU和ASIC 来自任何ZK项目的任务 证明者赚取$CYS + 计算治理代币($CGT) 质押 + 削减 + 最终性确保信任 想想:一个零知识马力的开放市场。 ZK现在像云计算一样扩展。 从轻客户端到卷积,Cysic使可证明逻辑成本高效、可访问且可信去中心化。 4. @Calderaxyz 卷积作为产品,而不是协议 启动一个链不应该花费6个月。 Caldera是卷积的AWS,只需几次点击即可启动高性能应用链。 它将以下内容结合在一起: Celestia(用于数据可用性) Espresso(用于去中心化排序) RISC Zero(用于本地证明) EVM或自定义VM 因此DAO、dApp和协议可以从0→1获得生产级基础设施。 没有自定义基础设施。 没有开发运维的噩梦。 只需快速、模块化的卷积,像Shopify商店一样部署。 5. @campnetworkxyz Web3的本地IP层 AI需要数据。创作者需要来源。 Camp是一个可编程IP的L1。 想想:每个内容片段都有一个密码学ID、法律元数据和嵌入的权利逻辑。 应用可以: 注册IP 让代理在其上许可/训练 根据使用情况支付创作者 证明来源和作者 如果Caldera是卷积的AWS,Camp就是文化的以太坊。 它使IP可编程,并让创作者选择收入模型,而不是被剥削。 6. @anoma 意图取代交易的地方 区块链不理解用户想要什么。Anoma理解。 Anoma不仅处理交易。它解释意图——用户试图实现的目标。 想要交换ETH → stETH → 在DAO中投票?只需说出来。 想要仅在你的AI代理获得验证时铸造NFT?只需声明。 需要跨越4个卷积进行交互,但不知道如何路由?让Anoma来解决。 Anoma将用户体验从点击狂潮转变为约束解决逻辑。 基于意图的执行是顺畅协调的未来。 这是我目前的6个顶级项目,未来肯定会再发布另一集。 结束!
10.64K