Include halo2 example circuits
☆10Jul 4, 2022Updated 3 years ago
Alternatives and similar repositories for halo2-examples
Users that are interested in halo2-examples are comparing it to the libraries listed below
Sorting:
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Server for ZKML☆21Mar 5, 2023Updated 3 years ago
- Proof contribute to github using zk☆26Jul 17, 2023Updated 2 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- Javascript library to work with circomlib circuits☆91Apr 3, 2025Updated 11 months ago
- ☆28Jan 18, 2022Updated 4 years ago
- Provides tools for testing circom circuits.☆67Jun 10, 2025Updated 8 months ago
- ☆37Dec 11, 2025Updated 2 months ago
- ☆33Jan 12, 2026Updated last month
- RLN circuits in Circom☆32Jul 13, 2024Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆90Jan 7, 2026Updated 2 months ago
- 🌊 Ocean Protocol whitepapers☆30Sep 1, 2022Updated 3 years ago
- This repo is for a fun side project to build a personalized restaurant recommender using LightFM☆12Mar 31, 2019Updated 6 years ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆152Oct 14, 2024Updated last year
- aztec connect zk badge☆11Oct 29, 2022Updated 3 years ago
- A project bringing ethics back to AI☆11Aug 7, 2023Updated 2 years ago
- #blockchainallthethings☆13Oct 24, 2017Updated 8 years ago
- ☆18Feb 27, 2026Updated last week
- ☆10Nov 1, 2024Updated last year
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- The Nosana Dashboard.☆17Feb 24, 2026Updated last week
- The frontend of the Scrappy Squirrels NFT Project☆11Jan 7, 2023Updated 3 years ago
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- Frenrug on-chain AI agent smart contracts.☆14Nov 30, 2023Updated 2 years ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆10Jun 5, 2022Updated 3 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- ☆12Mar 11, 2024Updated last year
- Common blockchain architecture abstractions☆10Jun 9, 2018Updated 7 years ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- A connector to Rainbow Bridge that allows sending $NEAR to Ethereum as an ERC-20 token (eNEAR)☆10Mar 29, 2025Updated 11 months ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- AI-Rag-ChatBot is a complete project example with RAGChat and Next.js 14, using Upstash Vector Database, Upstash Qstash, Upstash Redis, D…☆15Jul 10, 2025Updated 7 months ago
- A tool to help with ethereum staking deposits, validation and batching☆11Sep 19, 2024Updated last year
- Modular aggregated order book for CeFi exchanges☆13May 25, 2023Updated 2 years ago
- Open-source blockchain explorer and automatic wallet tracker built with React Native.☆12Jun 2, 2022Updated 3 years ago
- Wimble – Wallet reinvented for Grin.☆11Jan 7, 2023Updated 3 years ago