18 小时前
让我们一起进入 @brevis_zk V2：
一个 ZK 协处理器，让开发者可以无信任地读取、计算和证明来自所有支持的区块链的历史数据。
把它想象成加密货币的“Google BigQuery”，只不过它是通过零知识证明来验证的，而不是凭感觉。
那么它到底是如何工作的呢？
➤ 数据访问 – 开发者指定他们想要的历史数据（区块头、交易、事件等）。
➤ 计算 – Brevis 通过一个抽象了所有繁琐 ZK 内容的 SDK 来运行你的逻辑。
➤ 证明 + 验证 – Brevis 在链外生成 ZK 证明，智能合约在链上无信任地验证它。
示例：
一个去中心化交易所可以使用 Brevis 来证明某人进行了 350 次交易，总交易量为 300 万美元。所有数据直接在链上验证，无需 Dune 仪表板或 SQL 黑客。
没有 ZK 背景？没问题。
Brevis 的 SDK 基于 gnark（由 Linea/Consensys 开发），但包装在开发者友好的抽象中。
那么接下来是什么？
➣ 10 倍性能提升正在开发中
➣ 更多支持的数据类型
➣ 跨链扩展
➣ 在 EigenLayer 上的 coChain 进一步降低 ZK 成本
简而言之，Brevis 将“链上数据”从你查看的东西转变为你可以实际计算的东西，这可不是一个小的升级。
2025/10/06
Brevis 给 ZK 协处理器进行了脑部移植
忘掉“纯 ZK”的挣扎，那一切都慢、昂贵，并且对规模过敏。
@brevis_zk 发布了 Brevis coChain，一种“提议-挑战”模型，结合了权益证明 + 零知识 = 更便宜、更快、实际上可用的数据协处理。
这里是非技术人员的解读 ⇓
旧模型（纯 ZK）：
每个结果 = ZK 证明。安全？是的。可扩展？不太。
计算成本高，延迟大，甚至无法证明简单的事情，比如谁没有交易。
新模型（coChain）：
验证者通过 PoS 共识“提议”结果，无需证明，无需预付款。
如果有人发现谎言，他们可以发起 ZK 挑战，坏验证者会被削减。
如果没有人挑战？结果成立。
把 Brevis 想象成这样：
纯 ZK = 绝对真理，但慢且昂贵。
CoChain = 乐观真理，但有实时欺诈保护和 PoS 执行。
838
29
本页面内容由第三方提供。除非另有说明，欧易不是所引用文章的作者，也不对此类材料主张任何版权。该内容仅供参考，并不代表欧易观点，不作为任何形式的认可，也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下，此类人工智能生成的内容可能不准确或不一致。请阅读链接文章，了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险，其价值可能会产生较大波动。请根据自身财务状况，仔细考虑交易或持有数字资产是否适合您。