distributed-lab / circom-wasm
zk-SNARK WASM circuit compiler
☆14Updated last month
Related projects ⓘ
Alternatives and complementary repositories for circom-wasm
- Rust implementation of the Agglayer.☆74Updated this week
- The ultimate TypeScript environment for Circom development☆72Updated this week
- ☆118Updated 3 weeks ago
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- A curated list of repos related to Circom☆94Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆105Updated 2 weeks ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆58Updated 7 months ago
- Collection of ExEx examples built on Reth☆119Updated last week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆117Updated 2 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆99Updated this week
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆63Updated 2 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated last week
- EigenTrust - A distributed reputation system☆109Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- Bolt: permissionless proposer commitments on Ethereum☆62Updated this week
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆119Updated 6 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆136Updated this week
- A library for secure smart contract development written in Rust☆88Updated this week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- ☆63Updated last year
- Email verification circuit in halo2☆63Updated 4 months ago
- A virtual machine for Cairo written in Go☆82Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆43Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- Decentralized Identity Issuance Contracts☆19Updated 2 weeks ago
- Utilities for working with native solc and compiling projects.☆76Updated this week