Sisu: Decentralized Trustless Bridge For Full Ethereum Node

本文介绍了一种使用递归SNARK、分布式通用GKR和Groth16来证明以太坊全节点的详细方法和实现。我们的协议名称为Sisu，其架构基于分布式Virgo在zkBridge上进行了一些重大改进。除了证明签名聚合外，我们还提供了解决证明以太坊全节点中的两个难题的解决方案：1）任何公钥在先前的信标状态下都是有效的，2）所有公钥都是两两不同的。我们的解决方案不需要工人之间的通信，因此与zkBridge相比，可以将总工人之间的网络流量从TB级别的数据降至零。这使得我们的方法适用于新兴的分布式证明市场，并且比zkBridge更加去中心化。我们的设计高度可并行化，并且大部分可在GPU上运行。

论文试图解决的问题是如何通过使用递归SNARK、分布式一般GKR和Groth16来证明以太坊全节点的正确性。同时，论文提出了两个难题的解决方案，即任何公钥都在先前的信标状态下是有效的，以及所有公钥都是两两不同的。

论文的解决方案是基于分布式Virgo in zkBridge的架构，但进行了重大改进。解决方案不需要worker-to-worker通信，因此将总的worker-to-worker网络流量从TB级别降低到了零。同时，该方案也可以在GPU上高度并行化。

论文的亮点包括提供了对签名聚合的证明，以及解决了两个在证明以太坊全节点时的难题。实验结果表明，该方案比zkBridge更加去中心化，并且适用于新兴的分布式证明市场。然而，论文并没有提供开源代码。

最近在该领域中的相关研究包括：1）zk-STARKs: Short, Proofs for Distributed Systems and Blockchains; 2) Efficient Recursive zk-SNARKs without trusted setup; 3) Recursive Proofs of Sequential Work.