Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.
☆32Jun 5, 2026Updated 2 months ago
Alternatives and similar repositories for zkp_ecc
Users that are interested in zkp_ecc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Jul 16, 2026Updated 3 weeks ago
- A curated list of awesome topological quantum error correction resources☆18Apr 19, 2026Updated 3 months ago
- Source code for generating the C implementations of HAWK☆15Jul 4, 2025Updated last year
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- Open-source implementation of a Möbius decoder for color codes used in quantum error correction (QEC)☆40Aug 1, 2026Updated last 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.
- Bartiq☆55Jul 14, 2026Updated 3 weeks ago
- ☆18Apr 15, 2026Updated 3 months ago
- Public repository for examples created by QuEra.☆36Oct 30, 2023Updated 2 years ago
- A toolbox for simulating open quantum system dynamics.☆11Mar 21, 2022Updated 4 years ago
- Starknet-based L2 on ZCash☆22Dec 15, 2025Updated 7 months ago
- The book A Methods Focused Guide to Quantum Error Correction and Fault-Tolerant Quantum Computation☆20May 22, 2024Updated 2 years ago
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 11 months ago
- Quantum Resource Estimate Format☆51Mar 24, 2026Updated 4 months ago
- ☆23Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 5 years ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆37May 6, 2026Updated 3 months ago
- ☆78Jun 26, 2024Updated 2 years ago
- Architecture-level resource estimator☆17Updated this week
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆60Updated this week
- A Python library to simplify quantum circuits of phase and Pauli gadgets.☆18Jan 22, 2025Updated last year
- NWQEC: A toolkit for fault-tolerant quantum circuit transpilation and T-count optimization.☆21Jul 20, 2026Updated 2 weeks ago
- Code and data accompanying the paper "Quantum Approximate Multi-Objective Optimization"☆16Aug 14, 2025Updated 11 months ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 5 years 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.
- An experimental python library for succinctly specifying quantum algorithms in an imperative pythonic style.☆18Apr 13, 2020Updated 6 years ago
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆32Updated this week
- Arline Benchmarks platform allows to benchmark various algorithms for quantum circuit mapping/compression against each other on a list of…☆32Mar 2, 2022Updated 4 years ago
- ☆34Updated this week
- Design scalable noise characterisation experiments for quantum computers☆30Nov 24, 2025Updated 8 months ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆76Updated this week
- Script generated finite field arithmetic for elliptic curve cryptography☆24Jun 26, 2026Updated last month
- The TKET quantum compiler☆58Updated this week
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A comprehensive database of notable quantum computing experiments, with emphasis on quantum error correction implementations☆66Jul 17, 2026Updated 3 weeks ago
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆61Updated this week
- ☆12Oct 4, 2023Updated 2 years ago
- A platform-agnostic quantum runtime framework☆110Updated this week
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆13Nov 12, 2024Updated last year
- Quantum computing > Algorithmic lattice surgery.☆60Updated this week
- A curated list of Plonky3 resources, libraries, tools and more.☆46Dec 1, 2025Updated 8 months ago