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:
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β251Updated this week
- Curated list of ZKML models and use cases made with Gizaβ51Updated last year
- A trustless P2P fiat onramp powered by ZK proofs.β323Updated 7 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β132Updated 2 years ago
- Introduction to various ZK languagesβ89Updated 4 months ago
- Circom Circuits Library for Machine Learningβ181Updated last year
- Provable play of Nintendo Entertainment System in Noirβ136Updated last year
- β192Updated 8 months ago
- the race to mainnet-grade L1 zkEVMsβ136Updated this week
- Resources for Cairo 1.0 development.β168Updated 11 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β75Updated 2 years ago
- STARK 101 Workshop in Rust πΊπ¦β140Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundryβ140Updated 7 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ219Updated 2 years ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β264Updated last week
- Pricing anything, anywhere, anytime.β87Updated 3 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ149Updated last year
- educational python plonk implementation, based on vitalik's py_plonkβ222Updated last year
- β266Updated last year
- Accelerate Early Stage Programmable Cryptography Talentsβ113Updated last year
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β185Updated 5 months ago
- ream: an Ethereum Lean client written in Rustβ128Updated this week
- ZK Email in Noirβ81Updated 2 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β161Updated last year
- Middleware to compile Circom circuits to Nova proverβ245Updated last year
- A repo of example Noir projects.β72Updated 2 weeks ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.β91Updated last month
- Kakarot zkEVM - rewrite in the latest version of Cairoβ133Updated last year
- DSL for Halo2 circuitsβ188Updated last year
- A local testnet for Starknet... in Rustβ131Updated this week