cryptolu / accumulator
Dynamic Universal Accumulator with Batch Update over Bilinear Groups
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for accumulator
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- ☆9Updated 5 years ago
- ☆14Updated 4 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆13Updated 4 years ago
- Rust library for accumulation schemes☆21Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Updated 3 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆31Updated 5 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Verify your NIPoPoWs efficiently, here☆10Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- ☆15Updated 5 years ago
- LegoGroth16 implementation on top of Zexe☆21Updated 2 years ago
- BLS working standard draft☆39Updated 5 years ago
- Batch verifier for zkSNARKs☆10Updated last year
- Presentations about R1CS☆18Updated 5 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆15Updated 4 years ago
- ☆22Updated 8 years ago
- Algorand's reference implementation of bls signature scheme☆13Updated 4 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Updated 2 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated 6 months ago
- sha256(sha256(preimage)) in zk☆13Updated 3 years ago
- Compact Proofs of Retrievability☆14Updated 10 years ago
- ZKP on Ethereum to prove your age while keeping it private. Implementation of ZoKrates (which is in turn an implementation of libsnark)☆5Updated last year
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 6 years ago
- ☆22Updated 9 months ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- ☆15Updated 3 years ago