ETHorHIL / Plonk_PyLinks
My implementation of Plonk
☆19Updated 4 years ago
Alternatives and similar repositories for Plonk_Py
Users that are interested in Plonk_Py are comparing it to the libraries listed below
Sorting:
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 6 years ago
- zk-Snarks circuit for franchise proof☆13Updated 2 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 4 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Updated 2 years ago
- ☆81Updated 5 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- DPC with Universal Setup☆46Updated 2 years ago
- ☆30Updated 3 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated last year
- polynomial commitments from linear codes☆50Updated last year
- ☆133Updated 3 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Updated 2 years ago
- Simple implementation of KZG commitments in C☆36Updated 3 years ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- fast zksnark prover☆118Updated 2 years ago
- Zero Knowledge Proof for RSA☆55Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- ☆73Updated last year
- ☆10Updated 3 years ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- Implementation of Plonk by Hand in rust☆62Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 6 years ago
- Experimental gnark prover compatible with tinygo☆15Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆57Updated last year
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago