nil Foundation的基于Solana light client实现的zk-bridge方案
作者:互联网
1. 引言
前序博客有:
nil Foundation认为,Solana 9月的爆发源于 Ethereum-Solana bridge——Wormhole,但是该bridge需依赖bridge内节点间的PoA共识 并 需要在pool合约中存入足够的资金,详细可参看博客:
针对由Solana->Ethereum的情况,为了实现trustless,可为:
- Solana端生成的数据可在Ethereum的EVM直接验证,即Solana端生成的数据可证明其确实已锁定了某资产,而Ethereum端EVM验证通过后即可mint相应的资产。
nil Foundation认为是其首次提出了:tokenless zero-knowledge proof system-based in-EVM Solana “light client” state verification.
2. 现有zk-bridge
当前的zk-bridge 方案都需要token,用于保证:
- 1)由某个可信任的人正确生成a data-source cluster state proof
- 2)将该proof “Often enough” 提交到receipt cluster中。
“Often enough” 增加了proof generation 的复杂性——意味着生成proof的relay cluster members的硬件要满足一定的性能(通常为高级的GPU甚至FPGA)才能生成state proofs。这种硬件投入需要token来激励relay cluster members。
同时还有in-EVM state proof verification costs,传统方法是也有这些受激励的成员来支付。
3. nil Foundation的zk-bridge方案
由Solana端来生成state proof,就不再需要由一组PoA节点来生成VAA,从而无需对PoA节点进行激励,也就不需要token。
in-EVM-verifiable的Solana state proof中的state为“light client” state,比Solana validator节点中的state更小,包含有:
- validator votes
- validator stakes
- transaction inclusion proof等。
这就意味着无需验证整个Solana database,仅需验证其关键的一部分,从而可大幅减小circuit size,最终缩短生成proof和验证proof的时间。
参考资料
[1] Solana已接收提案——Simple Payment and State Verification
[2] 用于Solana-Ethereum的zk-bridge方案——=nil; Foundation’s In-EVM Solana Light-Client State Verification
标签:bridge,EVM,nil,Foundation,Solana,state,proof 来源: https://blog.csdn.net/mutourend/article/details/121289404