interlay / compressed-inclusion-proofs
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
- ☆15Updated 3 years ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- ☆15Updated 4 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).☆10Updated 5 years ago
- ☆17Updated 6 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated 11 months ago
- ☆26Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- ☆30Updated 6 years ago
- snarkpack for arkwork☆21Updated last year
- Verify your NIPoPoWs efficiently, here☆10Updated 2 years ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- Simple RSA VDF in Rust☆19Updated 3 years ago
- Bitcoin Light Client on Ethereum☆41Updated 9 months ago
- ☆18Updated 4 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- DKG for BLS threshold signature scheme on the EVM using solidity☆32Updated 6 years ago
- SPV-based ETH/BTC swaps☆11Updated 3 years ago
- Shuffling for ETH 2.0☆10Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Aggregate zkSNARK transactions (like roll_up)☆12Updated 6 years ago
- Sparse Merkle Trees implementation☆9Updated 5 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 7 years ago
- History compaction zkSNARK circuit for Plasma Cash and Cashflow history compaction☆15Updated 6 years ago
- The monorepo for Meson project☆11Updated 9 months ago
- Pairing-friendly elliptic curve library☆23Updated 7 months ago