A Proof-of-Concept implementation of the ALBA protocol, connecting the Lightning Network (LN, a layer-2 on top of Bitcoin) to Ethereum. It allows to verify on Ethereum (or on any other EVM-based chain) the state of a LN channel, either the current state of the channel or an upcoming update thereof.
Costs are evaluated both in the optimistic (both parties are honest and cooperate) and in the pessimistic (one of the parties is adversarial) setting.
-
This project uses Hardhat to compile, run, and test the smart contracts on a local development network.
-
Solidity (^0.8.9)
This project includes ParseBTCLib.sol a Solidity library for parsing Bitcoin transactions, including signature verification.
It also contains a python folder taken from python-bitcoin-utils and modified to generate protocol-specific LN transactions.
This is a research prototype. We welcome anyone to contribute. File a bug report or submit feature requests through the issue tracker. If you want to contribute feel free to submit a pull request.
Tests for the contract
Tests for the library
