The times in the agenda below for session 1 & 2 are relative to the start times of the sessions. Please see https://crosschain.mx/workshop2021/calendar/ to understand the timing of the sessions for your time zone.
Crosschain Workshop Session 1 | ||
0:00 | Welcome | Peter Robinson ConsenSys Software R&D University of Queensland |
0:10 | Cross-Chain Deals Slides, Recording Arxiv, Paper |
Maurice Herlihy Brown University CS |
AbstractModern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up questions familiar from classical distributed systems: how to combine multiple steps into a single atomic action, how to recover from failures, and how to synchronize concurrent access to data. Nevertheless, each of these issues requires rethinking when participants are autonomous and potentially adversarial. | ||
0:30 | Cross-chain transactions with off-chain steps Slides, Recording Paper |
Mohsen Lesani University of California, Riverside |
AbstractThe value of cryptocurrencies is highly volatile and investors require fast and reliable exchange systems. In cross-chain transactions, multiple parties exchange assets across multiple blockchains which can be represented as a directed graph G with vertexes V as parties and edges E as asset transfers. In a simple form, cross-chain transactions are cross-chain swaps where each edge e transfers an asset that the head of e already owns. However, in general, a cross-chain transaction includes a sequence of exchanges at each blockchain. Further, transactions may have off-chain steps and hence may not be strongly connected. Given a transaction, protocols are desired that guarantee the following property called uniformity. If all parties conform to the protocol, all the assets should be transferred. Further, if any party deviates from the protocol, the conforming parties should not experience any loss. Previous work introduced a uniform protocol for strongly connected cross-chain swaps and showed that no uniform protocol exists for transactions that are not strongly connected. We present a uniform protocol for general cross-chain transactions with sequenced and off-chain steps when a few certain parties are conforming. Further, we prove a new property called end-to-end that guarantees that if the source parties pay, the sink parties are paid. We present a synthesis tool called XChain that given a high-level description of a cross- transaction can automatically generate smart contracts in Solidity for all the parties. | ||
0:50 | General Purpose Atomic Crosschain Transactions Slides, Recording Arxiv, GitHub, YouTube |
Peter Robinson ConsenSys Software R&D University of Queensland |
AbstractThe General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter- blockchain function calls that are both synchronous and atomic: if one part fails, the whole call graph of function calls is rolled back. The protocol operates on existing Ethereum blockchains without modification. It works for both public permissioned and consortium blockchains. Additionally, the protocol is expected to work across heterogeneous blockchains other than Ethereum. | ||
1:10 | A Gas-Efficient Light Client For Cross-Chain Application Slides, Recording Paper |
Ganesha Upadhyaya Harmony.one |
AbstractIn this talk, I will describe Harmony’s gas-efficient light client technology and its application to cross-chain in the form of HarmonyEthereum two-way bridging. Harmony is a sharded, Proof of Stake, Byzantine consensus based layer-1 blockchain with 2s block finality and a network of 1000 decentralized nodes. Harmony’s cross-chain infrastructure is based on its novel design of gas-efficient light client. The gas efficiency is important especially when the light client is deployed cross-chain, like Ethereum. | ||
1:20 | The Road to Inter-Blockchain Communication (IBC) Slides, Recording Medium |
Dean Tribble Agoric |
AbstractdIBC is the use of a smart contract or VM platform to deploy new contracts that support new protocols, all on an existing chain without having to wait for chain upgrades. There shouldn’t need to be a platform upgrade or chain governance vote every time someone wants to roll out a new protocol. dIBC is critical to early growth of Inter-blockchain Communication because it removes obstacles to innovation. | ||
1:30 | The RSK Powpeg, a multi-signature based two-way-peg with HSM-enforced Chainwork Slides Medium |
Sergio Demian Lerner IOV Labs |
AbstractRSK’s 2-way peg protocol, called “the Powpeg”, has matured from its inception in 2018 as a federated system to now include many decentralized qualities. The new RSK Powpeg protects private keys stored in special purpose PowHSMs based on tamper-proof secure elements (SE). Each PowHSM runs an RSK node in SPV mode, and so signatures can only be commanded by cumulative proof of work. A layered architecture in the RSK Powpeg provides defense-in-depth against many types of software, hardware and network failures, while more than 50% of Bitcoin hashrate securing RSK provides the proof-of-work to achieve its security. | ||
1:40 | Break | |
2:00 | Fair Atomic Cross-chain Swaps Slides, Recording Paper: Please contact authors. |
Yingjie Xue Brown University CS Maurice Herlihy Brown University CS |
AbstractAtomic cross-chain swap enables the exchange of assets across different blockchains without a trusted third-party. With atomic swap, no party will end up losing their assets without getting the counterparties’ assets in exchange. Due to this property, atomic swap has been widely adopted in decentralized cryptocurrency exchange. However, the state-of-the-art atomic swap protocols fail to provide fairness to participants. Take the example of two parties who are willing to exchange their assets by an atomic swap protocol. If one party deviates from the protocol, the compliant party will end up pointlessly locking their assets for hours/days before they can get them back. This is called the lockup griefing problem. Due to the lockup griefing problem, the atomic swap places the compliant party at a disadvantage, which is not fair. In this research, we propose fair atomic cross-chain swap protocols. Our proposed approaches introduce premium mechanisms by which a compliant party will be compensated by premiums if their counterparties deviate. Our proposed protocols are the first to provide fairness to both two-party swaps and multi-party swaps. We also provide a protocol to further reduce the amount of premiums to start the swap so that the involved parties can use a very small amount of premiums to leverage the exchange of a large amount of assets. In this way, the risk of participating in a swap is mitigated to a great extent. We simulate our protocols via model checking and provide theoretical proof to prove the security properties of our proposed protocols. | ||
2:20 | The Burn-to-Claim cross-blockchain asset transfer protocol Slides, Recording Paper |
Babu Pillai Griffith University Kamanashis Biswas Australian Catholic University Zhe How Griffith University Vallipuram Muthukkumarasamy Griffith University |
AbstractThe future of multi-blockchain architecture depends on the emergence of new protocols that achieve communication between trustless cross-chain participants. However, interoperability between blockchains remains an open problem. Existing approaches provide integration through solutions using a middleware system, which makes it harder to gain confidence mainly in terms of security and correctness of the process. A crosschain protocol needs to provide a self-verifiable state-proof that embeds trust in the transfer process. We propose a Burn-to-Claim cross-chain protocol to seamlessly exchange assets between networks. Our scheme transfers assets from one blockchain system to another in a way that the asset is burned from the source blockchain and claimed on the destination blockchain. Our mechanism employs combinations of crypto mechanisms such as digital signatures and time lock to operate the protocol in a distributed manner. We provide an analysis which proves that our cross-chain protocol transfers assets correctly and securely. | ||
2:40 | Atomic Commitment Across Blockchains Slides, Recording Paper |
Victor Zakhary UC Santa Barbara Amr El Abbadi UC Santa Barbara Divyakant Agrawal UC Santa Barbara |
AbstractThe recent adoption of blockchain technologies and open permission-less networks suggest the importance of peer-to-peer atomic cross-chain transaction protocols. Users should be able to atomically exchange tokens and assets without depending on centralized intermediaries such as exchanges. Recent peer-to-peer atomic cross-chain swap protocols use hashlocks and timelocks to ensure that participants comply to the protocol. However, an expired timelock could lead to a violation of the all-or-nothing atomicity property. An honest participant who fails to execute a smart contract on time due to a crash failure, denial of service attacks, or even network delays might end up losing assets. Although a crashed participant is the only participant who ends up worse off, current proposals are unsuitable for atomic cross-chain transactions in asynchronous environments where crash failures and network delays are the norm. In this talk, we explain our recently proposed protocol AC3WN, the first de-centralized all-or-nothing atomic cross-chain commitment protocol. The redeem and refund events of the smart contracts that exchange assets are modeled as conflicting events. An open permissionless network of witnesses is used to guarantee that conflicting events could never simultaneously occur and either all smart contracts in an atomic cross-chain transaction are redeemed or all of them are refunded. | ||
3:00 | Networks of Automated Market Makers Slides, Recording |
Daniel Engel Brown University CS Maurice Herlihy Brown University CS |
AbstractAn automated market maker is an automaton that has custody of several pools of assets, and is capable of trading those assets with clients at rates set by a mathematical formula. Unlike traditional “order book” traders, AMMs trade directly with clients, and do not need to match up (and wait for) compatible buyers and sellers. Today,AMMs such as Uniswap, Bancor, and others have become one of the most popular ways to trade electronic assets.This work proposes a new, general framework for understanding AMMs and and how they can be composed to construct networks of AMMs. We make the following contributions: (1) a mathematical framework for designing a general class of AMMs, (2) an axiomatic characterization of desirable properties an AMM should satisfy, and (3) the first definition of what it means to compose AMMs in a sensible way, illustrating both the expressive power and limitations of networks of AMMs. | ||
3:10 | ⚡OpenDEX⚡ – The Decentralized Exchange Standard Slides, Recording Blog, GitHub, YouTube |
Kilian Rausch OpenDEX |
AbstractThis talk introduces the OpenDEX Network, the technical design & protocol standard, its incentive system and discusses the target use case and challenges ahead. | ||
3:20 | General consortium crosschain framework with Trusted Bridge Slides, Recording Blog |
James Zhu Wanchain Weijia Zhang Wanchain Jack Lu Wanchain |
AbstractWanchain is a project focused on bridging homogeneous and heterogeneous blockchains to enable the transfer of assets and data between multiple ecosystems. To tackle cross-chain interoperability between private and public blockchains, Wanchain introduced Trusted-Bridge Framework (T-Bridge Framework) to connect the components of the source chain, target chain, and routing chain, and define common components and protocols for the crosschain transactions (CCT). | ||
3:30 | A Pub-Sub Architecture to Promote Blockchain Interoperability Slides, Recording GitHub, Paper, YouTube |
Sara Ghaemi University of Alberta Sara Rouhani University of Saskatchewan Rafael Belchior Instituto Superior Técnico, Universidade de Lisboa Rui S. Cruz Instituto Superior Técnico, Universidade de Lisboa Hamzeh Khazaei York University Petr Musilek University of Alberta |
AbstractRecently a lot of blockchain networks have been introduced for different use cases. However, these heterogeneous networks are isolated from each other, resulting in data and asset silos. Blockchain interoperability solutions can enable communication between different blockchains and can allow data and asset transfers. As a result, using these solutions, different blockchain networks can work together towards a common goal. This work uses the publish/subscribe architecture to propose a novel blockchain interoperability solution for permissioned blockchains. A prototype of the design has been implemented to show its feasibility in real permissioned networks. Using Hyperledger Besu and two versions of Hyperledger Fabric, we implemented example subscriber and publisher networks and evaluated our platform using these networks. The evaluation results show that our system can handle a throughput in the order of the hundreds of transactions per second. Moreover, we performed an analysis on the performance of the implemented platform to identify the limits and bottlenecks of the system to discuss its extensibility and scalability. | ||
3:40 | Close | Peter Robinson ConsenSys Software R&D University of Queensland |
3:45 | Break-out Room Discussions | |
Crosschain Workshop Session 2 | ||
0:00 | Welcome | Peter Robinson ConsenSys Software R&D University of Queensland |
0:10 | Smart Contracts on the Move Slides, Recording Paper |
Enrique Fynn Universita della Svizzera Italiana (USI) Alysson Bessani Universidade de Lisboa Fernando Pedone Universita della Svizzera Italiana (USI) |
AbstractBlockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing blockchain technologies. This paper presents a technique to allow blockchain interoperability. The core idea is to provide a primitive operationto developers so that contracts and objects can switch from one blockchain to another, without breaking consistency and violatingkey blockchain properties. To validate our ideas, we implemented our protocol in two popular blockchain clients that use theEthereum virtual machine. We discuss how to build applications using the proposed protocol and show examples of applicationsbased on real use cases that can move across blockchains. To analyze the system performance we use a real trace from one of the most popular Ethereum applications and replay it in a multi-blockchain environment. | ||
0:30 | Smart Contract Forks: Migrating between Blockchain Networks Slides, Recording Arxiv, GitHub, Paper |
Martin Westerkamp Technische Universität Berlin |
AbstractSmart contracts facilitate decentralized applications based on blockchain networks to remedy dependencies on third parties. They inherit the host blockchain’s properties such as throughput, execution costs and security. While a target blockchain may be best suited at deployment time, alternative blockchain implementations may better align with the changing requirements of an application. Furthermore, the host blockchain’s utilization may change over time, leading to increasing execution costs or decreasing security properties, e.g., due to lower incentives to block producers. Yet, smart contracts are tightly coupled to their host blockchain, creating a novel form of lock-in effect. We introduce the concept of smart contract forks that permits any user to migrate the application logic and current state of smart contracts to another blockchain. The integrity of the migration process is verifiable through external parties or chain relays. Thus, no trust in the executing entity is required. As a result, smart contract users benefit from the properties of the fork’s host blockchain while maintaining full verifiability. We provide a toolbox facilitating the migration of smart contracts between EVM-compatible blockchains. The Ethereum Virtual Machine (EVM) is utilized as a common execution environment, as it is supported by a wide range of blockchain implementations. To prove the concept’s soundness, we transfer token contracts based on the ERC20 standard as well as applications containing dependencies to other smart contracts. Our evaluation shows the validity of migrated applications including their current states. | ||
0:50 | On the Impossibility of Cross-Chain Communication Recording Paper |
Alexei Zamyatin Imperial College London Interlay Mustafa Al-Bassam University College London Dionysis Zindros University of Athens Lefteris Kokoris-Kogias Novi Research and IST Austria Pedro Moreno-Sanchez IMDEA Software Institute Aggelos Kiayias University of Edinburgh and IOHK William Knottenbelt Imperial College London |
AbstractSince the inception of Bitcoin, a plethora of distributed ledgers differing in design and purpose has been created. While by design, blockchains provide no means to securely communicate with external systems, numerous attempts towards trustless cross-chain communication have been proposed over the years. Today, cross-chain communication (CCC) plays a fundamental role in cryptocurrency exchanges, scalability efforts via sharding, extension of existing systems through sidechains, and bootstrapping of new blockchains. Unfortunately, existing proposals are designed ad-hoc for specific use-cases, making it hard to gain confidence on their correctness and composability. | ||
1:10 | Universal Atomic Swaps: Fair Exchange of Coins Across All Blockchains Slides, Recording |
Sri Aravinda Krishnan Thyagarajan Friedrich Alexander Universität Erlangen-Nürnberg Giulio Malavolta Max Planck Institute of Security and Privacy Pedro Moreno-Sanchez IMDEA Software Institute |
AbstractTrading goods lies at the backbone of the modern economy and the recent advent of cryptocurrencies has opened the door for trading decentralized (digital) assets: A large fraction of the value of cryptocurrencies comes from the inter-currency exchange and trading, which has been arguably the most successful application of decentralized money. The security issues observed with centralized, custodial cryptocurrency exchanges have motivated the design of atomic swaps, a protocol for coin exchanges between any two users. Yet, somewhat surprisingly, no atomic swap protocol exists that simultaneously satisfies the following simple but desired properties: (i) non-custodial, departing from a third party trusted to hold the coins from users during the exchange; (ii) universal, that is, compatible with all (current and future) cryptocurrencies; (iii) multi-asset, supporting the exchange of multiple coins in a single atomic swap instance. | ||
1:20 | Hyperledger Cactus: A Distributed Operating System for Enabling Blockchain Interoperability Slides, Recording GitHub, WhitePaper, Wiki |
Rafael Belchior INESC-ID, Instituto Superior Técnico Peter Somogyvari Accenture |
AbstractBlockchain interoperability is emerging as one of the crucial features of blockchain technology, as integration will become an increasingly important topic in the broader blockchain ecosystem. For instance, people and organizations might want to exchange tokens representing arbitrary assets among blockchains. | ||
1:30 | Atomic Swaps between Bitcoin and Monero Slides, Recording Paper |
Philipp Hoenisch COMIT Lucas Soriano del Pino COMIT |
AbstractDue to the evergrowing blockchain ecosystem, interoperability has become a matter of great importance. Atomic swaps allow connecting otherwise isolated blockchains while adhering to the core principles of censorship resistance and permissionlessnes. | ||
1:40 | Break | |
2:00 | Cross Hyperledger Fabric Transactions Slides, Recording Paper |
Gewu Bu Université Clermont Auvergne, LIMOS, Clermont Ferrand Riane Haouara Sorbonne Université, LIP6, Paris Thanh-Son-Lam Nguyen Sorbonne Université, LIP6, Paris Maria Potop-Butucaru Sorbonne Université, LIP6, Paris |
AbstractHyperledger Fabric has received lots of attention as a private blockchain based business logic solution. With flexible records storing and sharing features, Hyperledger Fabric can create transactions between untrusted or partially trusted participants quickly and safely. Moreover the scalable and modular structure makes Hyperledger Fabric capable of complex logical functions to handle the transactions between different organization groups. Hyperledger Fabric has good internal expansibility, which makes it easy to modify user relationships, data structures, and business logic in the single Hyperledger Fabric environment. However, transactions are only achievable in single independent Hyperledger Fabric. Different Hyperledger Fabric cannot execute transactions due to different logics, different currencies, and different use case. That makes Hyperledger Fabric’s versatility insufficient in heterogeneous usage scenarios. In this article, we studied the interoperability between different Hyperledger Fabric. We propose a cross-Hyperledger Fabric transaction solution that satisfies the ACID properties (Atomicity, Consistency, Isolation and Durability), which enables users to complete transactions across multi-Hyperledger Fabric environment safely and efficiently. Moreover, we conducted a feasibility and safety analysis of the proposed scheme and we a performance analysis based on the real deployment platform. | ||
2:20 | ETH Relay: A Cost-efficient Relay for Ethereum-based Blockchains Slides, Recording OpenAccess, Paper |
Stefan Schulte TU Wien Philipp Frauenthaler TU Wien Marten Sigwart TU Wien Christof Spanring Pantos GmbH Michael Sober TU Wien |
AbstractCurrent blockchain relay schemes require the immediate validation of each relayed block header by the destination blockchain. This leads to high operating cost when deploying these relays between Ethereum-based blockchains where validating block headers on-chain is computationally expensive. | ||
2:40 | Algorithm for Cross-shard Cross-EE Atomic User-level \eth Transfer in Ethereum 2 Slides, Recording Arxiv |
Raghavendra Ramesh ConsenSys Software R&D |
AbstractWe address the problem of atomic cross shard value transfer in Ethereum 2. We leverage on Ethereum 2 architecture, more specificially on Beacon chain and crosslinks, and propose a solution on top of the netted-balance approach that was proposed for EE-level atomic \eth transfers. We split a cross-shard transfer into two transactions: a debit and a credit. First, the debit transaction is processed at the source shard. The corresponding credit transaction is processed at the destination shard in a subsequent block. We use {\em netted} shard states as channels to communicate pending credits and pending reverts. We discuss various scenarios of debit failures and credit failures, and show our approach ensures atomicity even in the presence of a Byzantine Block proposer. | ||
3:00 | Model-based Testing for Crosschain Token Transfers Slides, Recording |
Andrey Kuprianov Informal Systems |
AbstractIn this talk we present the general model-based testing (MBT) methodology built around the TLA+ language and the Apalache model checker, as well as its instantiation for blockchain infrastructure and applications. We have applied our method to the Cosmos SDK token transfer application, as well as to the Tendermint LightClient in Rust implementation. In the former case our method has caught a critical bug that has been missed by standard testing, shortly before the release of Stargate upgrade to the Cosmos Hub, which brings cross-chain interoperability between connected blockchains. In the latter case MBT allowed us to eliminate several serious implementation bugs as well as specification divergencies. In both cases our model-based tests run as part of CI framework in the corresponding repositories, providing perpetual correctness assurance guarantees to the developers. At present we are generalising and optimising our approach; in the second part of the talk we describe our vision on the MBT methodology, the directions in which we develop it, and how we plan to make it available, approachable, and appealing to developers. | ||
3:10 | smartBNB: A NEOBNC bridge based on XCLAIM Slides, Recording GitHub, Protocol |
Albert Acebrón Onramper |
AbstractIn this talk we’ll go over the challenges we faced when developing a cross-chain bridge between NEO and Binance Chain, how we solved them, and how we augmented the XCLAIM protocol to improve long-term porting of assets. | ||
3:20 | Pantos Project – Crowdfunding Blockchain Interaction Slides, Recording GitHub, Vision, WebSite |
Christof Spanring Pantos GmbH |
AbstractIn this talk we will give a brief overview of the Pantos project, from the initial idea and the vision paper, over conducted research in the past years, to the current state of the project and an outlook regarding future aspects of the involved technology. Blockchain interaction in some sense is a rather bold idea. We will highlight technical and structural challenges. The former comes in an attempt of balancing speed, decentralization, security and cost parameters. The latter is given by the interplay of the different stakeholders and their interests, which are the private corporation Pantos as project owner, the independent but associated university researchers and the community consisting of ICO participants and private investors. As far as confidentiality clauses permit we will also discuss industry partnerships attempting to facilitate the advances in their own way. | ||
3:30 | Close | Peter Robinson ConsenSys Software R&D University of Queensland |
3:35 | Break-out Room Discussions |