addition chains
☆20Apr 9, 2018Updated 7 years ago
Alternatives and similar repositories for addchain
Users that are interested in addchain are comparing it to the libraries listed below
Sorting:
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- fft impl for ff::Field☆17May 9, 2024Updated last year
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Updated this week
- Pure Java implementation of group operations on ristretto255 and Curve25519☆30Apr 18, 2023Updated 2 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Cryptographic Addition Chain Generation in Go☆195Jun 30, 2024Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆17Mar 9, 2025Updated 11 months ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Apr 18, 2021Updated 4 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 7 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Mar 13, 2020Updated 5 years ago
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- ☆114Feb 6, 2024Updated 2 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- ☆59Feb 25, 2026Updated last week
- ☆19Aug 15, 2024Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ☆41Jan 7, 2024Updated 2 years ago
- Presentations about R1CS☆19May 1, 2019Updated 6 years ago
- ☆27Sep 25, 2023Updated 2 years ago
- R1CS constraints for non-native field arithmetic☆21Aug 7, 2021Updated 4 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- C++ elliptic curve library☆135Mar 6, 2023Updated 2 years ago
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- Go implementation of the BLS12-381 pairing☆91Feb 25, 2023Updated 3 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- Experimental High Assurance Cryptographic Library☆20Feb 1, 2016Updated 10 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 5 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Efficient multi-asset confidential transactions☆34Apr 4, 2019Updated 6 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆66Jun 26, 2024Updated last year
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- ☆111Nov 27, 2025Updated 3 months ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Aug 1, 2023Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆30Apr 18, 2022Updated 3 years ago