Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.
☆30Jun 5, 2026Updated last month
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 Stim extension to non-computational errors such as leakage.☆19Updated this week
- Quantum computing > Algorithmic lattice surgery.☆59Updated this week
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 10 months ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆33May 4, 2026Updated 2 months ago
- 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.
- Public repository for examples created by QuEra.☆36Oct 30, 2023Updated 2 years ago
- Bartiq☆55Updated this week
- Suite of Quantum Characterization, Verification, and Validation (QCVV) tools for quantum computing☆20Apr 13, 2026Updated 3 months ago
- A toolbox for simulating open quantum system dynamics.☆11Mar 21, 2022Updated 4 years ago
- Quantum Resource Estimate Format☆51Mar 24, 2026Updated 3 months ago
- ☆20Jun 12, 2026Updated last month
- Hierarchical Unified Graph Representation for quantum and classical programs☆67Updated this week
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 5 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Software for exploring, developing, and evaluating quantum error-correction protocols.☆57Updated this week
- Architecture-level resource estimator☆16Updated this week
- Design scalable noise characterisation experiments for quantum computers☆30Nov 24, 2025Updated 7 months ago
- Quantum Gates: Notes on quantum gates and the circuit model of quantum computation☆29Feb 22, 2026Updated 4 months ago
- An experimental python library for succinctly specifying quantum algorithms in an imperative pythonic style.☆18Apr 13, 2020Updated 6 years ago
- Automatic computation of detectors in a topologically quantum error corrected computation☆18Jul 8, 2026Updated last week
- Fast Pauli Decomposition and its inverse☆25May 19, 2025Updated last year
- DreamSmooth: Improving Model-Based RL with Reward Smoothing (ICLR 2024)☆12May 6, 2024Updated 2 years ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆75Updated this week
- 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.
- Reproducible hardened Linux images for confidential computing and safe MEV☆23Updated this week
- ☆14Dec 26, 2024Updated last year
- Script generated finite field arithmetic for elliptic curve cryptography☆24Jun 26, 2026Updated 2 weeks ago
- ☆12Oct 4, 2023Updated 2 years ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆57Nov 3, 2025Updated 8 months ago
- SQLite bindings for Lean☆48Updated this week
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- Reduce width and depth of quantum circuits by cutting gates and wires.☆101Jul 1, 2026Updated 2 weeks ago
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆57Updated this week
- 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☆56Updated this week
- A platform-agnostic quantum runtime framework☆110Updated this week
- Simple power management for my NAS.☆14Nov 17, 2024Updated last year
- ☆27Apr 7, 2026Updated 3 months ago
- Design automation software tools for Topological Quantum Error Correction☆375Updated this week
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆12Nov 12, 2024Updated last year
- My Submission for the Eth-Tokyo Hackathon☆12May 16, 2023Updated 3 years ago