🏆 Finalist of ETHGlobal FVM Space Warp Hack
☆27Mar 4, 2023Updated 3 years ago
Alternatives and similar repositories for ZKaggle
Users that are interested in ZKaggle are comparing it to the libraries listed below
Sorting:
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 2 years ago
- Neural network implementation using fixed-point numbers in the Leo language for zk-SNARKs, and Pyhon-based Leo neural network calculator☆13Mar 21, 2024Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- ☆17Jul 11, 2025Updated 7 months ago
- Rust implementation for Verkle tree.☆15Apr 18, 2022Updated 3 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Oct 9, 2023Updated 2 years ago
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago
- Pinsurance is peer to peer car insurance platform.☆10Sep 24, 2023Updated 2 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- ☆16Updated this week
- ☆15Feb 14, 2024Updated 2 years ago
- Rhascau is a turn-based strategy game, in a style of pod racing. Fully onchain, running on EVM smart contracts. Developed in 2022, launch…☆12Jul 29, 2023Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairo☆55Nov 30, 2023Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Jun 6, 2025Updated 8 months ago
- Demo of ML for MNIST classification in a zero knowledge proof☆126Nov 16, 2022Updated 3 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- ☆19Apr 1, 2024Updated last year
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- ☆17Feb 13, 2023Updated 3 years ago