interlay / compressed-inclusion-proofsLinks
TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
☆14Updated 2 years ago
Alternatives and similar repositories for compressed-inclusion-proofs
Users that are interested in compressed-inclusion-proofs are comparing it to the libraries listed below
Sorting:
- Bitcoin Light Client on Ethereum☆42Updated last year
- ☆15Updated 4 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- ☆27Updated 2 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆34Updated 4 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- ☆20Updated 3 years ago
- ☆29Updated 4 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆25Updated last year
- ☆18Updated 5 years ago
- Simple RSA VDF in Rust☆20Updated 4 years ago
- ☆31Updated 11 months ago
- AZTEC protocol specification☆30Updated 5 years ago
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 6 years ago
- ☆17Updated 7 years ago
- ☆15Updated 4 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- Specification of the RenVM MPC algorithm☆19Updated 5 years ago
- ☆20Updated 5 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 6 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- ☆30Updated 6 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated last year