ZK 协处理器桥接：通过 Wormhole 实现从 Solana 到 Aztec 的重放安全私有执行
密码学与安全
2025-10-28 v1
摘要
我们形式化了一个跨域的“ZK 协处理器桥接”，允许 Solana 程序通过 Wormhole 可验证动作批准 (VAAs) 在 Aztec L2（通过以太坊）上请求私有执行。该系统包括：(i) 一个 Solana 程序，用于向 Wormhole Core 提交消息并明确保证最终性；(ii) 一个 EVM 门户，用于验证 VAAs，强制执行重放锁定，解析绑定载荷 secretHash||m 的域分离承诺字段，并将 L1->L2 消息enqueue 到 Aztec 收件箱（我们目前的参考实现 v0.1.0 使用 consumeWithSecret(vaa, secretHash)；我们提供迁移至载荷绑定接口的指导）；(iii) 一个最小的 Aztec 合约，用于私有消费消息；以及 (iv) 一个离线中继器，用于运送 VAAs 并可在 Solana 上记录收据。我们呈现了状态机、消息格式以及关于重放安全性、来源真实性、最终性对齐、参数绑定（无中继器前跌 Aztec 参数）、隐私、幂等性和存活性的证据草图。最后，我们包含一个简明的可复现说明，附有固定版本和工件以复制公共测试网运行。
引用
@article{arxiv.2510.22536,
title = {ZK Coprocessor Bridge: Replay-Safe Private Execution from Solana to Aztec via Wormhole},
author = {Jotaro Yano},
journal= {arXiv preprint arXiv:2510.22536},
year = {2025}
}