gizatechxyz / orionLinks
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
☆177Updated 10 months ago
Alternatives and similar repositories for orion
Users that are interested in orion are comparing it to the libraries listed below
Sorting:
- Demo of ML for MNIST classification in a zero knowledge proof☆125Updated 3 years ago
- Verifying a 512-layer CNN w/ Nova☆171Updated 2 years ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆250Updated last month
- ☆192Updated 7 months ago
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- Circom Circuits Library for Machine Learning☆181Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 6 months ago
- Resources for Cairo 1.0 development.☆168Updated 11 months ago
- Pricing anything, anywhere, anytime.☆87Updated 2 months ago
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- Middleware to compile Circom circuits to Nova prover☆245Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago
- Introduction to various ZK languages☆89Updated 4 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆262Updated 2 weeks ago
- A trustless P2P fiat onramp powered by ZK proofs.☆319Updated 6 months ago
- the race to prove Ethereum in real-time☆134Updated 2 weeks ago
- STARK 101 Workshop in Rust 🐺🦀☆140Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆147Updated last year
- ☆204Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆221Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆160Updated 11 months ago
- ZK Email in Noir☆79Updated last month
- Accelerate Early Stage Programmable Cryptography Talents☆113Updated last year
- A collection of examples of Cairo smart contracts for Starknet.☆151Updated 5 months ago
- A Rust implementation of Starknet execution logic☆171Updated last year
- ☆265Updated last year
- DSL for Halo2 circuits☆188Updated last year
- A Cairo VM prover implemented using Winterfell☆155Updated 3 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 7 months ago