distributed-lab / circom-wasmLinks
zk-SNARK WASM circuit compiler
☆16Updated 3 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:
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆79Updated last week
- A curated list of repos related to Circom☆101Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆123Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 11 months ago
- ☆123Updated 11 months ago
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- On-chain Ethereum light client built with SP1☆70Updated last week
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- EigenTrust - A distributed reputation system☆113Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆126Updated 5 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 9 months ago
- ☆21Updated 9 months ago
- Rust implementation of the Agglayer.☆110Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 6 months ago
- keccak256 hash implementation in Circom☆81Updated 3 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆107Updated 3 months ago
- RISC-V interactive fault proof tech☆106Updated 4 months ago
- revm/reth block proving on Valida☆15Updated 7 months ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated 2 years ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆85Updated 2 months ago
- ☆154Updated last year
- ☆121Updated 9 months ago
- comparing the performance of different zero-knowledge proof libraries☆133Updated last year
- Circom circuits used by the iden3 core protocol.☆91Updated 2 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- 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
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- PoC of Revm execution in SGX☆80Updated last year