zk 桥

简单来讲，zk 桥的实现机制是轻客户端 + zk.

轻客户端实现信任最小化的跨链，zk 极大优化了成本。（链下生成zk 证明，链上验证）

对于IBC 而言，目标链的轻客户端需要验证跨链数据包证明源链确实发生了状态转换；而对于zk 桥而言，轻客户端只需要验证zk 证明就可以了。#crosschain

14/n🧵