vocdoni / arbo
MerkleTree compatible with circomlib
☆10Updated 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
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Updated last year
- Hermez documentation☆9Updated 2 years ago
- ☆23Updated 4 years ago
- snarkpack for arkwork☆21Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆19Updated 2 months ago
- A Rust library for proof-carrying disclosures☆20Updated 9 months ago
- Anonymous instant chat app (PoC) using RLN☆10Updated 3 years ago
- Notes for the R1CS programming workshop at ZK0x04☆30Updated 5 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Updated 10 months ago
- Decentralised Voting Scheme☆15Updated 3 years ago
- ☆16Updated 10 months ago
- ☆30Updated 2 years ago
- ☆24Updated last year
- ☆33Updated last year
- Based on https://eprint.iacr.org/2022/1510☆24Updated 3 months ago
- RLN on KZG☆17Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 6 months ago
- polynomial commitments from linear codes☆36Updated last month
- ☆48Updated 10 months ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 5 months ago
- Batching zero over k checks☆11Updated last year
- A list of worth-reading articles about Cryptohraphy☆16Updated 5 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated 11 months ago
- Early prototype.☆23Updated last year
- A port of TinySMPC into Rust.☆22Updated last year
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated last year