TxChain: compressed-inclusion-proofs

Repository with the source code for

TxChain: Efficient Cryptocurrency Light Clients viaContingent Transaction Aggregation

This repository contains

• txchain-relay - a Bitcoin SPV client Ethereum, implementing compressed inclusion proofs as defined in TxChain
• data-generator - a Bitcoin data generator

The txchain-relay also contains a contract leveraging our proposed TXEXISTS instruction to efficiently verify the inclusion of previous transactions in Ethereum.

Ethereum's TXEXISTS PoC implementation can be found below

• geth client: https://github.com/danhper/go-ethereum/tree/tx-chain
• Solidity compiler: https://github.com/danhper/solidity/tree/add-tx-exists