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
- ☆27Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- An implementation of ZEXE on Ethereum☆37Updated 6 years ago
- ☆31Updated 10 months ago
- ☆15Updated 4 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- Simple RSA VDF in Rust☆20Updated 4 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆34Updated 4 years ago
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 6 years ago
- Decentralised Voting Scheme☆15Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆24Updated last year
- Specification of the RenVM MPC algorithm☆19Updated 5 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated 2 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
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 6 years ago
- ☆18Updated 5 years ago
- A golang demo for zk-SNARK aggregation☆41Updated 6 years ago
- ☆17Updated 7 years ago
- BTCRelay re-implementation in Solidity☆27Updated 5 years ago
- AZTEC protocol specification☆30Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Updated 2 years ago
- Website!☆22Updated 2 years ago
- ☆20Updated 3 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago