gizatechxyz / orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
☆168Updated 3 months ago
Alternatives and similar repositories for orion:
Users that are interested in orion are comparing it to the libraries listed below
- Curated list of ZKML models and use cases made with Giza☆50Updated 7 months ago
- Provable play of Nintendo Entertainment System in Noir☆135Updated 7 months ago
- Circom Circuits Library for Machine Learning☆168Updated 7 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆279Updated last week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆210Updated last week
- Giza Platform CLI☆16Updated 4 months ago
- Middleware to compile Circom circuits to Nova prover☆235Updated 10 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆239Updated last month
- educational python plonk implementation, based on vitalik's py_plonk☆200Updated 6 months ago
- List of halo2-related resources☆191Updated 11 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated last year
- A curated list of awesome things related to learning and programming in Noir.☆370Updated last week
- Resources for Cairo 1.0 development.☆171Updated 11 months ago
- ☆262Updated 4 months ago
- A collection of examples of Cairo smart contracts for Starknet.☆136Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆157Updated last week
- ☆195Updated last year
- Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl …☆84Updated 2 months ago
- ☆176Updated this week
- A curated list of zkVM, zero-knowledge virtual machine☆140Updated last week
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundry☆113Updated last month
- ☆283Updated this week
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆177Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆111Updated this week
- ☆63Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆71Updated 3 weeks ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆136Updated last week
- STARK 101 Workshop in Rust 🐺🦀☆133Updated last year
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year