gizatechxyz / orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
β163Updated last month
Related projects β
Alternatives and complementary repositories for orion
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β206Updated 2 weeks ago
- Resources for Cairo 1.0 development.β172Updated 9 months ago
- Giza Platform CLIβ16Updated 2 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β234Updated last month
- Verifying a 512-layer CNN w/ Novaβ156Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ203Updated 11 months ago
- β260Updated 2 months ago
- Curated list of ZKML models and use cases made with Gizaβ47Updated 5 months ago
- A trustless P2P fiat onramp powered by ZK proofs.β274Updated last month
- β249Updated this week
- A Cairo VM prover implemented using Winterfellβ156Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β158Updated 8 months ago
- Circom Circuits Library for Machine Learningβ166Updated 5 months ago
- Madara is a powerful hybrid Starknet client written in Rust.β79Updated this week
- Accelerate Early Stage Programmable Cryptography Talentsβ100Updated last month
- educational python plonk implementation, based on vitalik's py_plonkβ194Updated 4 months ago
- Middleware to compile Circom circuits to Nova proverβ235Updated 8 months ago
- β192Updated 11 months ago
- A Rust implementation of Starknet execution logicβ171Updated 4 months ago
- STARK 101 Workshop in Rust πΊπ¦β133Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.β275Updated 3 weeks ago
- A curated list of awesome things related to learning and programming in Noir.β353Updated this week
- List of halo2-related resourcesβ188Updated 9 months ago
- Provable play of Nintendo Entertainment System in Noirβ135Updated 5 months ago
- β208Updated last week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- A curated list of repos related to Circomβ94Updated last year
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ129Updated last month
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β121Updated this week
- DSL for Halo2 circuitsβ188Updated 2 weeks ago