mitschabaude / montgomery
Fast implementation of multi-scalar multiplication in WebAssembly
☆32Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for montgomery
- ☆13Updated 2 years ago
- ☆37Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆31Updated last year
- ☆28Updated last year
- Witness encryption for KZG openings☆19Updated 2 weeks ago
- Implementations of proof-carrying data☆31Updated 2 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆43Updated this week
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆37Updated last year
- ☆22Updated last month
- ☆70Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆40Updated last year
- Implementation of incrementally verifiable ledger system☆16Updated 3 years ago
- Fiat-Shamir for the masses.☆42Updated last week
- ☆23Updated 7 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Polymath: Groth16 Is Not The Limit☆28Updated 2 months ago
- Testudo: Spartan + Groth16☆52Updated 9 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆55Updated last year
- ECFFT in Rust☆55Updated last year
- A standard library wrapper for use in the `arkworks` ecosystem☆37Updated 3 weeks ago
- Composable proof transcripts for public-coin arguments of knowledge☆47Updated 3 months ago
- Spartan on Arkworks☆38Updated 4 months ago
- ☆39Updated 10 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- polynomial commitments from linear codes☆37Updated last year
- Simple implementation of KZG commitments in C☆33Updated last year