gizatechxyz / LuminAIRLinks
A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
☆40Updated this week
Alternatives and similar repositories for LuminAIR
Users that are interested in LuminAIR are comparing it to the libraries listed below
Sorting:
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆52Updated 2 months ago
- Cairo STARK proof verifier for Starknet☆71Updated last month
- ☆27Updated last month
- A repo of example Noir projects.☆52Updated this week
- A ZK-VM for the Brainfuck language, based on Stwo☆31Updated 2 months ago
- ☆34Updated 2 weeks ago
- ☆51Updated last week
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆36Updated this week
- barretenburg in rust (here we go)☆97Updated last year
- Workbook for Introduction to Programmable Cryptography☆34Updated last month
- ☆40Updated 7 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆67Updated last week
- A monorepo of reusable Noir circuits.☆43Updated last month
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆30Updated 4 months ago
- ☆17Updated 9 months ago
- bignum☆24Updated this week
- Noir implementation of RSA-verify☆43Updated last year
- stone-cli is a CLI for proving and verifying Cairo programs.☆19Updated this week
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ☆42Updated 9 months ago
- Client side zero-knowledge proving.☆68Updated this week
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated last year
- ☆61Updated last year
- ☆82Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆64Updated last week
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆82Updated 5 months ago
- Solidity implementation of Nova proving system verifier☆63Updated last year
- ☆68Updated 10 months ago
- An observatory fork of SP1☆69Updated 3 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 7 months ago