Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.
☆33Jun 5, 2026Updated 4 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 2 months ago
- A curated list of awesome topological quantum error correction resources☆18Apr 19, 2026Updated 5 months ago
- A Stim extension to non-computational errors such as leakage.☆22Updated this 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 18, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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)☆44Updated this week
- Bartiq☆57Sep 28, 2026Updated last week
- ☆19Sep 5, 2026Updated last month
- 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☆21May 22, 2024Updated 2 years ago
- ☆24Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 6 years ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆41May 6, 2026Updated 5 months ago
- Documentation of Applications for Quantum Computers☆25Jul 28, 2025Updated last year
- ☆80Jun 26, 2024Updated 2 years ago
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆62Updated this week
- NWQEC: A toolkit for fault-tolerant quantum circuit transpilation and T-count optimization.☆22Jul 20, 2026Updated 2 months ago
- A Python library to simplify quantum circuits of phase and Pauli gadgets.☆18Jan 22, 2025Updated last year
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Architecture-level resource estimator☆19Oct 1, 2026Updated last week
- a high-performance parallel SimulatOr for universal Fault-Tolerant quantum circuits☆33Updated 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
- ☆38Aug 20, 2026Updated last month
- Design scalable noise characterisation experiments for quantum computers☆30Nov 24, 2025Updated 10 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. ⚡☆79Sep 24, 2026Updated 2 weeks ago
- Script generated finite field arithmetic for elliptic curve cryptography☆25Updated this week
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 5 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.
- The TKET quantum compiler☆63Oct 2, 2026Updated last week
- Reduce width and depth of quantum circuits by cutting gates and wires.☆101Oct 1, 2026Updated last week
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- ☆14Dec 26, 2024Updated last year
- A comprehensive database of notable quantum computing experiments, with emphasis on quantum error correction implementations☆68Sep 8, 2026Updated last month
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆68Updated this week
- An ArcGIS Online group application template authored by organization and made available to operations staff to review incoming problems o…☆13Jun 30, 2023Updated 3 years ago