vocdoni / arbo
MerkleTree compatible with circomlib
☆11Updated last week
Alternatives and similar repositories for arbo:
Users that are interested in arbo are comparing it to the libraries listed below
- zk-Snarks circuit for franchise proof☆13Updated last year
- snarkpack for arkwork☆21Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- ☆33Updated last year
- BLS typescript wrapper to interact with the contract☆15Updated 3 years ago
- Hermez documentation☆9Updated 2 years ago
- A Rust library for proof-carrying disclosures☆20Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- ☆2Updated last year
- Anonymous Proof of Ethereum Address Ownership☆44Updated 7 months ago
- Polynomial Expression Engine☆35Updated last year
- RLN circuits in Circom☆29Updated 9 months ago
- ☆33Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- ☆17Updated 2 years ago
- ☆23Updated 4 years ago
- Verify JWTs using SNARK circuits☆28Updated 9 months ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 10 months ago
- ☆50Updated last year
- Decentralised Voting Scheme☆15Updated 3 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- revm/reth block proving on Valida☆16Updated 3 months ago
- ☆30Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 7 months ago
- Benchmarking Polynomial Commitments☆49Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆21Updated 2 months ago