论文标题

SmartSync:跨块智能合同互动和同步

SmartSync: Cross-Blockchain Smart Contract Interaction and Synchronization

论文作者

Westerkamp, Martin, Küpper, Axel

论文摘要

由于区块链网络的碎片增加以及诸如侧链和碎片之类的可扩展性解决方案,交叉链通信已获得了吸引力。借助SmartSync,我们提出了一个新颖的概念,用于交叉链链智能合约交互,该概念在支持相同执行环境的任意区块链网络上创建客户合同。客户合同反映了原始实例的逻辑和状态,并启用无缝的链函数执行,以提供最新状态。同步合同向目标区块链上托管的其他应用程序提供即时读取的函数调用。在此,跨链通信中的当前局限性得到了缓解,并实现了新形式的合同互动形式。状态更新是使用Merkle证明以可验证的方式传输的,并且不需要受信任的中介机构。为了允许轻巧的同步,我们介绍了过渡确认,以促进可验证状态过渡的应用,而无需重新执行源区块链的交易。我们通过提供典型的实现来证明该概念的健全性,该实现可以实现智能合约,状态同步和对EVM兼容区块链的链链验证。我们的评估表明,SmartSync对介绍的用例的适用性,可访问最近在目标区块链上签订第三方合同。执行成本量表以价值更新的数量为单一性,并取决于相应的默克尔证明的深度和索引。

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain smart contract interactions that creates client contracts on arbitrary blockchain networks supporting the same execution environment. Client contracts mirror the logic and state of the original instance and enable seamless on-chain function executions providing recent states. Synchronized contracts supply instant read-only function calls to other applications hosted on the target blockchain. Hereby, current limitations in cross-chain communication are alleviated and new forms of contract interactions are enabled. State updates are transmitted in a verifiable manner using Merkle proofs and do not require trusted intermediaries. To permit lightweight synchronizations, we introduce transition confirmations that facilitate the application of verifiable state transitions without re-executing transactions of the source blockchain. We prove the concept's soundness by providing a prototypical implementation that enables smart contract forks, state synchronizations, and on-chain validation on EVM-compatible blockchains. Our evaluation demonstrates SmartSync's applicability for presented use cases providing access to recent states to third-party contracts on the target blockchain. Execution costs scale sub-linearly with the number of value updates and depend on the depth and index of corresponding Merkle proofs.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源