RAILGUN Circuits V2
☆27Mar 3, 2026Updated 4 months ago
Alternatives and similar repositories for circuits-v2
Users that are interested in circuits-v2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Jan 27, 2026Updated 5 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- ☆19Aug 4, 2022Updated 3 years ago
- Bitcoin Mirror is a bitcoin light client that runs on ethereum.☆70Nov 5, 2022Updated 3 years ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆220Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Mar 2, 2024Updated 2 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- ☆27Feb 20, 2026Updated 5 months ago
- Superset of Yul☆18Mar 26, 2026Updated 3 months ago
- A demonstration of the various options available for connecting to, or creating user wallets.☆13Jun 27, 2023Updated 3 years ago
- ☆32Jun 14, 2024Updated 2 years ago
- ☆100May 2, 2025Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- AppliedZKP's zkEVM Documentation☆26Jul 5, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UPA is the proof aggregation engine built by NEBRA team.☆40Mar 13, 2026Updated 4 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 9 months ago
- Write a recipe in minutes to convert your dApp to a zkApp.☆35Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆92Mar 3, 2025Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- ☆20Jul 10, 2025Updated last year
- ☆52Oct 10, 2023Updated 2 years ago
- Noir compiler enhancements developed by the Blocksense team.☆17Jan 12, 2026Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆32Oct 27, 2025Updated 8 months ago
- ☆102Updated this week
- Rust implementation of KZG point evaluation☆35May 7, 2026Updated 2 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated 2 years ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆45Nov 19, 2025Updated 8 months ago
- BanklessDAO Website☆16May 5, 2026Updated 2 months ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Keccak-f[1600] permutation in the EVM☆28Feb 3, 2025Updated last year
- Core smart contracts of TransitSwap v4☆10Jun 5, 2024Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- Ethereum stateless tools☆46Apr 17, 2025Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated last year
- Zero-Knowledge Proof of Exploit☆44Jan 6, 2026Updated 6 months ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago