gizatechxyz / orionLinks
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
β177Updated 9 months ago
Alternatives and similar repositories for orion
Users that are interested in orion are comparing it to the libraries listed below
Sorting:
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β248Updated last week
- Resources for Cairo 1.0 development.β170Updated 10 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β160Updated 11 months ago
- Circom Circuits Library for Machine Learningβ181Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β262Updated last week
- Accelerate Early Stage Programmable Cryptography Talentsβ113Updated last year
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β185Updated 4 months ago
- Curated list of ZKML models and use cases made with Gizaβ51Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β132Updated 2 years ago
- β268Updated last year
- Middleware to compile Circom circuits to Nova proverβ244Updated last year
- Pricing anything, anywhere, anytime.β87Updated last month
- STARK 101 Workshop in Rust πΊπ¦β139Updated 2 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β75Updated 2 years ago
- β192Updated 6 months ago
- A minimal template for building smart contracts with Cairo 1.0β87Updated 2 years ago
- Provable play of Nintendo Entertainment System in Noirβ136Updated last year
- β43Updated 2 years ago
- A trustless P2P fiat onramp powered by ZK proofs.β316Updated 5 months ago
- A Rust implementation of Starknet execution logicβ171Updated last year
- Verifying a 512-layer CNN w/ Novaβ171Updated 2 years ago
- A local testnet for Starknet... in Rustβ130Updated this week
- ZK Email in Noirβ78Updated 3 weeks ago
- Introduction to various ZK languagesβ87Updated 3 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ147Updated last year
- A Cairo VM prover implemented using Winterfellβ157Updated 3 years ago
- Cairo STARK proof verifier for Starknetβ73Updated 2 weeks ago
- Fixed point 64.61 math library for Cairo / Starknetβ65Updated 2 years ago
- A self custodial embedded account to seamlessly play onchain gamesβ77Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ218Updated 2 years ago