Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.
☆33Jun 5, 2026Updated 3 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:
- A general purpose, RISC-V rv32im zkVM built for client side proving☆16Aug 9, 2026Updated last month
- A Stim extension to non-computational errors such as leakage.☆21Sep 11, 2026Updated last week
- Source code for generating the C implementations of HAWK☆15Jul 4, 2025Updated last year
- Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations☆15Sep 7, 2026Updated last week
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- 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.
- Open-source implementation of a Möbius decoder for color codes used in quantum error correction (QEC)☆43Sep 1, 2026Updated 2 weeks ago
- Bartiq☆56Sep 9, 2026Updated last week
- ☆17Sep 5, 2026Updated 2 weeks 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 9 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 last year
- ☆23Sep 11, 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.
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 6 years ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆41May 6, 2026Updated 4 months ago
- Documentation of Applications for Quantum Computers☆25Jul 28, 2025Updated last year
- ☆79Jun 26, 2024Updated 2 years ago
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆62Updated 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.☆22Jul 20, 2026Updated last month
- Implementation of incrementally verifiable ledger system☆18Aug 12, 2026Updated last month
- An experimental python library for succinctly specifying quantum algorithms in an imperative pythonic style.☆18Apr 13, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Architecture-level resource estimator☆19Updated this week
- ☆36Aug 20, 2026Updated 3 weeks ago
- Design scalable noise characterisation experiments for quantum computers☆30Nov 24, 2025Updated 9 months ago
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 5 months ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆78Updated this week
- Script generated finite field arithmetic for elliptic curve cryptography☆24Sep 4, 2026Updated 2 weeks ago
- The TKET quantum compiler☆60Updated this week
- Reduce width and depth of quantum circuits by cutting gates and wires.☆101Updated this week
- ☆14Dec 26, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A comprehensive database of notable quantum computing experiments, with emphasis on quantum error correction implementations☆67Sep 8, 2026Updated last week
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆66Updated this week
- ☆12Oct 4, 2023Updated 2 years ago
- A platform-agnostic quantum runtime framework☆113Updated this week
- Quantum Gates: Notes on quantum gates and the circuit model of quantum computation☆30Feb 22, 2026Updated 6 months ago
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆13Nov 12, 2024Updated last year
- Quantum computing > Algorithmic lattice surgery.☆60Sep 5, 2026Updated 2 weeks ago