上周，Interchain Labs 发布了IBC Eureka ： IBC v2的正式部署，同时也是 Cosmos 与以太坊之间的规范桥。IBC Eureka 的以太坊桥由 Succinct Prover Network 和 SP1 提供支持，从而通过零知识证明实现经济实惠的 IBC 交易。
Succinct 正在构建一个去中心化的证明者网络，该协议支持为任何软件生成零知识证明，包括区块链、桥接器、预言机以及介于两者之间的任何软件。借助 Succinct，连接 Cosmos 和以太坊的用户现在可以通过零知识证明保障的去信任化、低成本的消息传递，享受 IBC 的可扩展性和互操作性。
为什么 IBC 无法连接到以太坊
IBC 是一种安全且无需许可的互操作性协议，它无需依赖中介机构，即可实现信任最小化的跨链通信。自三年前推出以来，它已发展到支持超过 120 个区块链，目前每月的转账额超过30 亿美元。
尽管 IBC 已被广泛采用，但它从未能够大规模地直接连接到以太坊[1]。主要挑战在于在以太坊虚拟机 (EVM) 中验证 Cosmos 链的共识。Cosmos 链使用 Ed25519，这是一种以太坊原生不支持的加密签名方案。验证单个 Ed25519 签名可能要花费高达 500,000 gas，而且由于许多 Cosmos 链依赖于数十甚至数百个验证者，因此在链上进行共识验证的成本很快就会变得高昂（每笔交易 10 至 100 美元）。
Succinct 使 IBC 到以太坊成为可能
零知识证明使得在以太坊上验证 Cosmos 共识变得切实可行。零知识证明无需在链上检查数百个验证者签名，而是将整个验证过程压缩为一个证明，验证成本仅为约 20 万 gas（与简单方法相比，最多可节省 25 倍）。
虽然这在理论上已经实现一段时间了，但将其付诸实践却是一项重大挑战。为IBC实现零知识证明系统需要一组密码学家编写定制的零知识电路，并构建重要的基础设施来支持可靠、可扩展的证明生成。
借助 Succinct，Interchain Labs 能够集成零知识证明，方法是将其逻辑编写为标准软件，在我们的通用 RISC-V zkVM SP1 中运行，并将证明生成工作外包给 Succinct Prover Network。SP1 就像一个 CPU，可以运行传统软件，同时生成其执行的零知识证明，从而使证明生成像常规计算一样灵活且可编程。同时，Succinct Prover Network 提供了大规模生成证明所需的高效、可靠的基础设施，使 Interchain 有信心在生产环境中依赖它。
技术架构
在底层，IBC Eureka 与以太坊的连接由集成到 SP1 中的基于 Rust 的 Tendermint 轻客户端实现提供支持。通过利用生产就绪的tendermint-rs包，Interchain 基金会能够重用现有的生产就绪共识和状态验证逻辑，从而显著加快开发进度。
为了提升证明性能，Interchain Labs 集成了Ed25519 预编译，将 Succinct Prover Network 上的证明生成时间缩短至数十秒。IBC 智能中继器会定期在 Succinct Prover Network 上请求这些证明，并将其路由到以太坊上的SP1ICS07Tendermint.sol合约，该合约负责处理 IBC 转账的端到端逻辑。
证明世界软件
我们很荣幸能够支持 Interchain Labs 首次将 IBC 引入以太坊，通过零知识证明将两个最著名的生态系统联合起来，开启无信任互操作性的新时代。
像 Interchain Labs 这样的业内最具前瞻性的团队选择与 Succinct 合作，是因为我们拥有一流的性能、领先的安全标准，以及我们在零知识证明领域的思想领袖地位。敬请关注 Succinct Prover Network 和 SP1 的更多更新，如果您正在使用零知识证明进行构建并希望与我们合作，欢迎与我们联系。
[1] 虽然一直以来都可以使用第三方桥接器与多重签名或验证器网络，但这些设计本身也存在一些缺点，例如信任假设、安全性和资产碎片化。这些权衡使得与 IBC 的原生集成变得难以为继。