General-purpose zero-knowledge proof system for proving on the user's own device.
☆11Nov 1, 2026Updated this week
Alternatives and similar repositories for hekate
Users that are interested in hekate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated 2 weeks ago
- ☆96Updated this week
- Binary Proofs, Blazing Fast☆206Updated this week
- ☆12Jun 5, 2025Updated last year
- Solidity implementation of the Renegade darkpool☆13Mar 26, 2026Updated 7 months 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.
- INTMAX2 is a stateless Layer 2 protocol on Ethereum, combining privacy, speed, and true self-custody.☆12Jan 21, 2026Updated 9 months ago
- ☆14Dec 26, 2024Updated last year
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Oct 22, 2026Updated 2 weeks ago
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- ☆28Apr 7, 2026Updated 6 months ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆29Apr 4, 2025Updated last year
- ☆34Jul 14, 2026Updated 3 months ago
- A high-performance, lattice-based polynomial commitment scheme with transparent setup and post-quantum security.☆28Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Cryptography libraries for ZKsync☆48Aug 25, 2026Updated 2 months ago
- ☆20Nov 3, 2025Updated last year
- ☆21Jul 23, 2026Updated 3 months ago
- Client side zero-knowledge proving.☆148Updated this week
- Zero-Knowledge Database 🧠☆11Dec 14, 2024Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- An API compatible port of the Stone prover.☆20Nov 4, 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.
- A curated list of Plonky3 resources, libraries, tools and more.☆47Dec 1, 2025Updated 11 months ago
- ☆15Sep 29, 2025Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- ☆20Jun 20, 2025Updated last year
- Write a lattice-based cryptographic protocol in a Rust-based DSL, much as you would write it on paper, and run it on GPUs, with no CUDA a…☆22Oct 19, 2026Updated 2 weeks ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- STARK book☆21Sep 25, 2024Updated 2 years ago
- Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness…☆48Sep 8, 2026Updated last month
- 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.
- A general purpose, RISC-V rv32im zkVM built for client side proving☆16Aug 9, 2026Updated 2 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆151Jul 20, 2026Updated 3 months ago
- Jolt-compatible zkVM prover in pure Zig with zero dependencies, zero FFI☆31Sep 11, 2026Updated last month
- ☆12May 3, 2017Updated 9 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆39May 4, 2026Updated 6 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆81Updated this week