distributed-lab / circom-wasmLinks
zk-SNARK WASM circuit compiler
☆16Updated 4 months ago
Alternatives and similar repositories for circom-wasm
Users that are interested in circom-wasm are comparing it to the libraries listed below
Sorting:
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- On-chain Ethereum light client built with SP1☆73Updated last month
- EigenTrust - A distributed reputation system☆113Updated last year
- Rust implementation of the Agglayer.☆110Updated this week
- ☆123Updated 11 months ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆128Updated 2 weeks ago
- RISC-V interactive fault proof tech☆107Updated 5 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 10 months ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆108Updated 3 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆79Updated 3 weeks ago
- keccak256 hash implementation in Circom☆83Updated 3 years ago
- A curated list of repos related to Circom☆101Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- revm/reth block proving on Valida☆15Updated 8 months ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- Batch ECDSA in circom☆34Updated 3 years ago
- Unified zkVM Interface & Toolkit☆37Updated this week
- ☆42Updated 11 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆81Updated last month
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- Circom circuits used by the iden3 core protocol.☆91Updated 3 months ago
- The PSE website☆23Updated last week
- A virtual machine for Cairo written in Go☆89Updated 4 months ago
- ☆94Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago