PhilippSchindler / HydRand
Python implementation of the HydRand protocol
☆17Updated last year
Related projects: ⓘ
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆10Updated last year
- Publicly Verifiable Secret Sharing, and more...☆26Updated 2 weeks ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 3 years ago
- ☆8Updated 5 years ago
- A libsnark's tutorial on sudoku☆17Updated 5 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆27Updated 4 years ago
- Implements an RSA accumulator in Python☆14Updated 5 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- DEPRECATED☆22Updated 3 years ago
- TU Delft Blockchain Engineering course project on scale-out distributed ledger☆12Updated 6 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- Algorand's reference implementation of bls signature scheme☆50Updated last year
- Simple RSA VDF in Rust☆19Updated 3 years ago
- ☆24Updated 5 years ago
- zkSNARKs for Bitcoin transaction inclusion proofs on Ethereum via ZoKrates☆11Updated 5 years ago
- Ethereum Token Implementing RingCT☆23Updated 6 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated 4 months ago
- Implementation of perdersen commitments in node.js and solidity☆24Updated 6 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆13Updated last year
- 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 3 years ago
- ☆24Updated this week
- ☆10Updated 2 years ago
- LaTeX beamer slides for aggregatable subvector commitments (aSVC) talk☆10Updated 4 years ago
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆29Updated 5 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆12Updated 3 years ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- distributed RSA modulus generation in Rust☆15Updated 2 years ago
- ☆15Updated 3 years ago