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:
- ☆15Updated 4 years ago
- Bitcoin Light Client on Ethereum☆42Updated last year
- ☆27Updated 3 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆34Updated 4 years ago
- a sketch of what a zkvm could look like☆26Updated 4 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
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- ☆19Updated 5 years ago
- ☆29Updated 4 years ago
- ☆16Updated 5 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Updated 2 years ago
- ☆31Updated last year
- Simple RSA VDF in Rust☆21Updated 4 years ago
- ☆17Updated 7 years ago
- Elliptic Curve Implementation in Solidity☆26Updated last year
- AZTEC protocol specification☆30Updated 5 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 5 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated last year
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 7 years ago
- Decentralised Voting Scheme☆16Updated 3 years ago
- ☆20Updated 3 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 6 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 7 years ago
- BTCRelay re-implementation in Solidity☆27Updated 6 years ago
- Specification of the RenVM MPC algorithm☆19Updated 5 years ago