Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions

• DOI: 10.36227/techrxiv.20718058.v2
• Publication Date: 2023-01-24T22:55:55Z
• Authors: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia
• Keywords: Chain (unit); Causal chain; Composability; Bridge (graph theory)

<p>Ecosystems of multiple blockchains are now a reality. Multi-chain applications and protocols perceived as necessary to enable scalability, privacy, composability. Despite being promising emerging research area, we recently have witnessed many attacks that caused billions dollars in losses. Attacks against bridges connect chains at the top such terms monetary cost, no apparent solution seems emerge from ongoing chaos. </p> <p>In this paper, present our contribution minimizing bridge attacks. In particular, explore concepts <em>cross-chain transaction, cross-chain logic, </em>and the<em> state</em> enablers model. We propose <strong>Hephaestus</strong>, first model generator captures operational complexity applications. <strong>Hephaestus</strong> can generate models local transactions on different ledgers realizing arbitrary use cases allowing operators monitor their Monitoring helps identify outliers malicious behavior, which help programmatically stop hacks other conduct detailed evaluation system, where implement case. Our experimental results show <strong>Hephaestus </strong>can process 600 less than 5.5 seconds an environment with two requires sublinear storage.</p>