interlay / btc-relay-solidity
Bitcoin Light Client on Ethereum
☆40Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for btc-relay-solidity
- Eth2 CLI debugging tool☆37Updated 9 months ago
- yellow paper for roll_up token☆67Updated 5 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated last year
- ☆35Updated 5 years ago
- super cheap solidity schnorr sig verification using only ecrecover and keccak256☆47Updated 2 years ago
- rollup implementation☆91Updated 8 months ago
- Tricking frontrunners into doing good☆42Updated last year
- Tendermint in Solidity☆60Updated 2 years ago
- Implements hermez network zk-Snarks circuits☆56Updated last year
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- An Ethereum Tx Station - Batch transactions and save 30% on gas costs. 🚄🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃💨☆29Updated last year
- data and charts for Ethereum state analysis☆47Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- ☆86Updated 2 years ago
- BTCRelay re-implementation in Solidity☆27Updated 5 years ago
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 5 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- Simple zk roll-ups☆37Updated last year
- ☆29Updated 2 years ago
- zkCREAM is zk-SNARK based anonymized voting application using a token mixer☆41Updated 2 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆38Updated last year
- Trustlessly prove a past storage value in a contract to other contracts☆144Updated last year
- Hermez network protocol smart contracts☆37Updated 2 years ago
- Yield Protocol v1☆44Updated last year
- Solidity proofs that a historical event occurred☆26Updated 5 years ago
- Notes from the ERC-4337 bundler working group☆19Updated last year
- ☆32Updated 11 months ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Solidity Merkle Mountain Range Library☆28Updated last year