Kernekoncepter
提出了一种分布式跨链状态通道方案Interpipe,通过实时跨链同步和基于递归SNARK的批量交易证明,实现了跨链状态通道的一致性和可扩展性。
Resumé
本文提出了Interpipe,一种分布式跨链状态通道方案。
Interpipe包含一个中继链R和两个平行链Pl和Pr。Pl和Pr通过实时跨链同步机制将彼此的状态信息同步到对方,确保了跨链状态通道操作的一致性。具体来说:
状态同步:中继节点组NR~l和NR~r定期从Pl和Pr节点组NP
l和NP
r拉取最新的区块数据,生成状态证明并记录到中继链R。Pl和Pr节点组则从R中提取对方的状态证明,记录到自己的链上,实现了双方状态的实时同步。
交易同步:用户可以将一笔跨链交易ct同时记录到Pl和Pr,并保持一致性。这包括单方发起的交易同步(UITS)和双方共同发起的交易同步(JITS)两种方式。
为了实现可扩展的跨链交易验证,Interpipe提出了基于递归SNARK的批量交易证明方案。中继节点组生成包含所有跨链交易的累加器,并使用递归SNARK将其与当前状态证明绑定,大幅降低了验证开销。
Interpipe的安全性分析表明其具有一致性和抗拒绝服务攻击的能力。实验结果显示,Interpipe的跨链状态通道的效率接近于单链状态通道。
Statistik
跨链交易ct可以同时记录到Pl和Pr,保持一致性。
中继节点组NR~l和NR~r定期从Pl和Pr拉取最新区块,生成状态证明并记录到中继链R。