An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
☆62Sep 4, 2023Updated 2 years ago
Alternatives and similar repositories for reverie
Users that are interested in reverie are comparing it to the libraries listed below
Sorting:
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- Compact linkable ring signatures. A modification on MLSAG.☆19May 10, 2020Updated 5 years ago
- ☆19May 5, 2020Updated 5 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- BLST-Verification☆23Jan 22, 2026Updated last month
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- ☆11Feb 6, 2024Updated 2 years ago
- distributed RSA modulus generation in Rust☆15Mar 19, 2022Updated 3 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆30Feb 2, 2024Updated 2 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 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…☆13Dec 3, 2020Updated 5 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Jan 28, 2023Updated 3 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- ☆17Mar 17, 2023Updated 2 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Linearly Homomorphic Time Lock Puzzle Library☆31Mar 30, 2020Updated 5 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆131Mar 9, 2023Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago