Atomic Cross-chain Swap
XCLAIM: A Framework for Blockchain Interoperability
Alexei Zamyatin, Dominik Harz
, et al.
Issue: SPV proof
Redeem: Operators need to submit the proof of minting, or get punished (their deposits get slashed).
No on-chain validation of superblocks. TrueBit-style off-chain validation.
Require two Merkle proofs (proofs of inclusions of transactions / blocks)
Issue: SPV proof
If the operator walk off with “locked” DOGE, any WOW Hodler can then burn WOW in exchange for his ETH collateral. (Described in the section 4.8 of the next paper)
Retrofitting a two-way peg between blockchains (2018)
Jason Teutsch (Truebit), Michael Straka (Stanford University) and Dan Boneh (Stanford University)
based on: bulletproof with a cryptoeconomic mechanism
Verifiable Smart Contract Portability
Martin Westerkamp (TU Berlin)
Systems for Interoperability
Protocols for continuous interoperation among (potentially multi-)blockchains
Rethinking General-Purpose Decentralized Computing
Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford (EPFL)
HyperService: Interoperability and Programmability Across Heterogeneous Blockchains
Zhuotao Liu1,2 Yangxi Xiang3, Jian Shi4 Peng Gao5 Haoyu Wang3, Xusheng Xiao4,2 Bihan Wen6 Yih-Chun Hu1,2
1 UIUC, 2 HyperService Consortium, 3 Beijing University of Posts and Telecommunications, 4 Case Western Reserve University, 5 UC Berkeley, 6 Nanyang Technological University
A developer-facing programming framework (, which is applicable to
Universal State Model
: a blockchain-neutral model to describe dApps
: a high-level language to program dApps
No control-flow operations, dynamic transaction generation (so no re-entrancy)
Universal Inter-Blockchain Protocol (UIP)
for parties to co-execute cross-chain dApps
Verifiable Execution Systems
provides the service to clients in typical scenarios
Network Status Blockchain
as a fallback. stores the state roots of the connected chains. Horizontally shardable.
Insurance Smart Contract
: a trust-free code arbitrator
UC proofs of UIP's
Experiment: Ethereum and Tendermint
TAST (Token Atomic Swap Technology)
Project @TU Wien
X-chain verification of transactions:
DeXTT: Deterministic Cross-Blockchain Token Transfers
IEEE Access, 2019
Atomic Crosschain Transactions for Ethereum Private Sidechains
Peter Robinson, David Hyland-Wood, Roberto Saltini, Sandra Johnson, John Brainard (Consensys)
: for a global time-out across sidechains. Can be Ethereum main chain or private chain.
Crosschain Coordination Contract
: for each cross-chain TX, record the time-out block number and the state (
User (e.g. an enterprise) must 1) run validators on all of the sidechains which the cross-chain transactions touches and 2) an access to a
Contract locking: contract call fails unless the contract is
Threshold signature for each validator set of a sidechain
$ F + 1
= Byzantine fault threshold of e.g.
amount atomic swap contract between sidechains unlike the HTLCs-based scheme
Invoice Financing of Supply Chains with Blockchain technology and Artificial Intelligence
Atomic Crosschain Transactions
The merits of using Ethereum MainNet as a Coordination Blockchain for Ethereum Private Sidechains
Performance Overhead of Atomic Crosschain Transactions
Blockchain Router: A Cross-Chain Communication Protocol
Hui Wang (ZhongAn Information Technology Service) et al.
A Multiple Blockchains Architecture on Inter-Blockchain Communication
Kan Luo (Beihang University) et al.
Cross-chain communication by three phase commit