ETHorHIL / Plonk_Py
My implementation of Plonk
☆18Updated 3 years ago
Alternatives and similar repositories for Plonk_Py:
Users that are interested in Plonk_Py are comparing it to the libraries listed below
- Decentralised Voting Scheme☆15Updated 3 years ago
- zk-Snarks circuit for franchise proof☆13Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆24Updated 9 months ago
- yellow paper for roll_up token☆67Updated 5 years ago
- snarkpack for arkwork☆21Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated 9 months ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆10Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- ☆10Updated 2 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆42Updated last year
- ☆30Updated 2 years ago
- Experimental gnark prover compatible with tinygo☆15Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ☆30Updated last month
- Simple implementation of KZG commitments in C☆35Updated 2 years ago
- ☆40Updated 2 years ago
- ☆23Updated 4 years ago
- Circom to Gnark Groth16 parser and recursion example☆13Updated last month
- A list of worth-reading articles about Cryptohraphy☆16Updated 8 months ago
- ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benc…☆11Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆44Updated last year
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- polynomial commitments from linear codes☆40Updated 3 months ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- A Rust library for proof-carrying disclosures☆20Updated 11 months ago
- ☆28Updated 2 years ago