Python3 implementation of the Pippenger algorithm for fast multi-exponentiation
☆22Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for python-pippenger
Users that are interested in python-pippenger are comparing it to the libraries listed below
Sorting:
- ☆12Sep 6, 2020Updated 5 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- Basic implementation of Borromean ring signatures in Python, for learning☆15Dec 14, 2017Updated 8 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Mar 13, 2020Updated 6 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆29Dec 19, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Apr 18, 2021Updated 4 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆13May 25, 2020Updated 5 years ago
- ☆11Dec 6, 2023Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- ☆17Jul 11, 2025Updated 8 months ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆35Mar 27, 2022Updated 3 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!☆98Nov 21, 2023Updated 2 years ago
- BLS12-381 cryptography using Apache Milagro☆30Feb 2, 2024Updated 2 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- ☆20Sep 30, 2022Updated 3 years ago
- ☆11Sep 10, 2024Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆62May 22, 2023Updated 2 years ago
- Ethereum Virtual Machine implementation from scratch in Rust☆26Sep 25, 2021Updated 4 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- ☆51Mar 7, 2024Updated 2 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- ☆41Oct 24, 2022Updated 3 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 6 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Jan 28, 2023Updated 3 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆55Jun 2, 2024Updated last year
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago