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
- Quantum programming DSL in Julia — functions are channels, type boundary is the quantum-classical boundary☆13Aug 14, 2026Updated 2 months ago
- Open-source implementation of a Möbius decoder for color codes used in quantum error correction (QEC)☆45Oct 22, 2026Updated last week
- Proving System For VEX☆14Nov 17, 2025Updated 11 months ago
- A GPU-accelerated Stwo prover by AntChain OpenLabs.☆13Mar 20, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A curated list of awesome topological quantum error correction resources☆18Apr 19, 2026Updated 6 months ago
- ☆14Jun 15, 2026Updated 4 months ago
- Fast Exact Simulation of Near-Clifford Quantum Circuits☆70Updated this week
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- ☆37Oct 17, 2026Updated last week
- Quantum Resource Estimate Format☆52Updated this week
- A fast units and dimensions library with support for static dimensionality checking and protobuffer serialization.☆10Aug 17, 2026Updated 2 months ago
- A Stim extension to non-computational errors such as leakage.☆23Oct 22, 2026Updated last week
- Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations☆15Updated 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.
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆28Jan 15, 2025Updated last year
- Source code for generating the C implementations of HAWK☆15Jul 4, 2025Updated last year
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆19Updated this week
- ☆24Mar 31, 2025Updated last year
- Interactively draw pipe diagrams for lattice surgery.☆25Oct 22, 2026Updated last week
- Open, collaborative, version-controlled research in quantum science.☆38Jul 6, 2026Updated 3 months ago
- Bartiq☆57Oct 14, 2026Updated 2 weeks ago
- ☆20Sep 5, 2026Updated last month
- ☆14Oct 20, 2026Updated last 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.
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- Public repository for examples created by QuEra.☆36Oct 30, 2023Updated 3 years ago
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated last year
- A Julia package for drawing quantum circuits with the quantikz tex macros.☆44Sep 30, 2026Updated last month
- Starknet-based L2 on ZCash☆22Dec 15, 2025Updated 10 months ago
- Scripts and circuits for benchmarking tket☆16Aug 26, 2020Updated 6 years ago
- The book A Methods Focused Guide to Quantum Error Correction and Fault-Tolerant Quantum Computation☆21May 22, 2024Updated 2 years ago
- Documentation of Applications for Quantum Computers☆25Jul 28, 2025Updated last year
- ☆80Jun 26, 2024Updated 2 years 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.
- Fast universal quantum circuit sampler for QEC based on ZX stabilizer rank decomposition☆129Updated this week
- Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"☆38Sep 26, 2024Updated 2 years ago
- Mathematical foundations for rapid prototyping of lattice-based cryptography☆31Oct 20, 2026Updated last week
- Code and data accompanying the paper "Quantum Approximate Multi-Objective Optimization"☆17Aug 14, 2025Updated last year
- Implementation of incrementally verifiable ledger system☆18Aug 12, 2026Updated 2 months ago
- A Python library to simplify quantum circuits of phase and Pauli gadgets.☆18Jan 22, 2025Updated last year
- ☆95Updated this week