SmartJudge - Dispute Resolution for Smart Contracts
SmartJudge  is a framework for private, trustless, and efficient trades between two parties. Exemplary use cases are the selling of digital files and atomic exchanges of cryptocurrencies. SmartJudge works via blinded trade agreements and optimic trade excutions, which allows to keep the trade agreement and save costly verifications of the trading partnes' honesty. If the receiver of the traded good does not acknowledge the reception of its goods, a on-chain identification of the misbehaving party is launched. Through small, yet sufficient security deposits, SmartJudge ensures that an honest party is reimboursed all fees in case an on-chain verification is necessary.
Presentation of the Accompanying Paper at IEEE ICBC 2019
Examplary Use Case: Privacy-preserving ETH-BTC Atomic Swaps
DISCLAIMER: THIS IS A PROOF-OF-CONCEPT, DO NOT USE FOR TRADING VALUABLE ASSETS!
This repository contains two major smart contracts; First, the SmartJudge framework that generalizes the optimistic trade of any asset for which the exchange verifiable on the Ethereum blockchain.
Secondly, we provide a use-case-specific verifier for the atomic exchange of Ether and Bitcoins that does not require a trusted third party.
To get started, you first deploy the
meditor.sol smart contract.
Afterward, you deploy the
atomic-swap-verifier.sol smart contract and indicate the address of the mediator during deployment.
Finally, you have to register the new verifier with the mediator (you can register multiple verifiers with one mediator).
We provide two Python scripts that take care of deploying the smart contracts (
deploy.py) and showing the execution of trades between honest and between dishonest trading partners (
For our example trades, we assume that Alice wants to exchange her Ether for Bitcoins and that both trading partners regard the Bitcoin block number 514490 as included in the Bitcoin chain (e.g., six blocks have been mined on top of it).
The transaction 0xab95a18c...ef3e9735 is in our example the payment by Bob to Alice's Bitcoin address, whose existence and correctness is proven by the verifier if necessary (i.e., if Alice refuses to conclude the trade gracefully).
This work is licensed under the MIT license.
 Eric Wagner, Achim Völker, Frederik Fuhrmann, Roman Matzutt and Klaus Wehrle.
Dispute Resolution for Smart-contract bases Two-Party Protocols
IEEE International Conference on Blockchain and Cryptocurrency 2019 (ICBC 2019)