arnaucube / babyjubjub-rsLinks
BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
☆45Updated 2 years ago
Alternatives and similar repositories for babyjubjub-rs
Users that are interested in babyjubjub-rs are comparing it to the libraries listed below
Sorting:
- Poseidon hash function☆79Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- Implementation of Plonk by Hand in rust☆62Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated 3 weeks ago
- ☆45Updated 8 months ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- ☆81Updated 5 years ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Updated 6 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- ☆42Updated 4 years ago
- ☆31Updated 9 months ago
- Spartan on Arkworks☆44Updated 5 months ago
- ☆134Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- Simple implementation of KZG commitments in C☆36Updated 3 years ago
- Rust PLONK implementation☆39Updated last year
- Circom interpreter to arithmetic circuit description☆58Updated last year
- ☆39Updated 2 years ago
- Testudo: Spartan + Groth16☆53Updated last year
- ☆61Updated 3 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Updated last year
- RSA verification circuit using halo2 library.☆58Updated 2 years ago