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