mitschabaude / montgomery
Fast implementation of multi-scalar multiplication in WebAssembly
☆30Updated 2 weeks ago
Related projects: ⓘ
- Curdleproofs is a zero-knowledge shuffle argument☆68Updated 11 months ago
- Argument systems for inner pairing products☆41Updated last month
- ☆37Updated last year
- Implementations of proof-carrying data☆29Updated 2 years ago
- ☆25Updated 3 months ago
- Implementation of incrementally verifiable ledger system☆15Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated last year
- ☆22Updated 7 months ago
- ☆28Updated last year
- Simple implementation of KZG commitments in C☆33Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆29Updated 4 years ago
- Elliptic curve search experiments☆35Updated last year
- Polymath: Groth16 Is Not The Limit☆26Updated this week
- Web Assembly low level implementation of pairing friendly curves.☆16Updated 4 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 9 months ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Updated 9 months ago
- A standard library wrapper for use in the `arkworks` ecosystem☆37Updated 2 months ago
- Fiat-Shamir for the masses.☆40Updated last week
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆10Updated this week
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆37Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆44Updated 2 years ago
- ☆21Updated 7 months ago
- JSON parser written in Lurk☆29Updated last year
- Rust implementation for zcash/pasta☆80Updated 8 months ago
- ☆31Updated last year
- Solidity verifier for Plonk☆41Updated last month
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆53Updated last year
- Testudo: Spartan + Groth16☆52Updated 6 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- JWT verification with zero knowledge proofs☆43Updated 9 months ago