Zero Knowledge based Ethereum Virtual Machine in Circom language
☆17Jun 3, 2025Updated 9 months ago
Alternatives and similar repositories for DEPRECATED-zvm
Users that are interested in DEPRECATED-zvm are comparing it to the libraries listed below
Sorting:
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- ☆18Dec 24, 2021Updated 4 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- ☆17Dec 16, 2021Updated 4 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- Provides tools for testing circom circuits.☆67Jun 10, 2025Updated 8 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆61Jan 7, 2021Updated 5 years ago
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- Sui Move 101 Workshop Repo☆11Nov 9, 2022Updated 3 years ago
- A new type of zk-EVM for L2 rollup☆10Feb 1, 2025Updated last year
- ☆10Mar 25, 2022Updated 3 years ago
- JavaScript tutorial for Zero-Knowledge Proofs using SnarkJS and Circom☆12Jan 7, 2023Updated 3 years ago
- Playing around with HotStuff BFT consensus protocol.☆22Jan 24, 2020Updated 6 years ago
- ☆204Nov 25, 2023Updated 2 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Parallel Byzantine Fault Tolerance (R&D)☆11Dec 14, 2017Updated 8 years ago
- keccak256 hash implementation in Circom☆83Apr 24, 2022Updated 3 years ago
- customizable halo2 circuits batcher☆32Oct 25, 2025Updated 4 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 5 months ago
- ZK-SNARK snarkjs and circom exercises☆56Apr 6, 2019Updated 6 years ago
- HoneyBadgerBFT, the first practical asynchronous BFT protocol without timing assuption☆30Jul 22, 2019Updated 6 years ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Apr 4, 2025Updated 11 months ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆17Apr 25, 2023Updated 2 years ago
- Aims to create various ZK verifiers on Starknet for network growth☆18Nov 19, 2025Updated 3 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆133Jun 16, 2023Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆86Nov 21, 2025Updated 3 months ago
- Email verification circuit in halo2☆69Jul 3, 2024Updated last year
- Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture☆29Updated this week
- Algorithms and data structures implemented in Rust.☆16Sep 21, 2023Updated 2 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Jun 29, 2020Updated 5 years ago
- ZKsync protocol libraries☆21Feb 24, 2026Updated last week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆279Aug 26, 2025Updated 6 months ago