gizatechxyz / orionLinks
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
β174Updated 5 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 πΊ.β238Updated last month
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ210Updated last year
- Circom Circuits Library for Machine Learningβ177Updated last year
- Demo of ML for MNIST classification in a zero knowledge proofβ125Updated 2 years ago
- A trustless P2P fiat onramp powered by ZK proofs.β304Updated last month
- β267Updated 10 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β255Updated this week
- Curated list of ZKML models and use cases made with Gizaβ49Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β160Updated 6 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β76Updated last year
- Middleware to compile Circom circuits to Nova proverβ241Updated last year
- educational python plonk implementation, based on vitalik's py_plonkβ217Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.β188Updated this week
- β190Updated 2 months ago
- Provable play of Nintendo Entertainment System in Noirβ137Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.β229Updated this week
- Template for integrating RISC Zero and Ethereum using Foundryβ139Updated last month
- Pricing anything, anywhere, anytime.β88Updated 2 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ144Updated 9 months ago
- Verifying a 512-layer CNN w/ Novaβ168Updated 2 years ago
- Resources for Cairo 1.0 development.β171Updated 6 months ago
- Introduction to various ZK languagesβ78Updated last month
- A Cairo VM prover implemented using Winterfellβ158Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β132Updated this week
- Accelerate Early Stage Programmable Cryptography Talentsβ110Updated 10 months ago
- SNARKifying Ethereumβ106Updated this week
- A repo of example Noir projects.β61Updated last week
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β132Updated 2 years ago
- STARK 101 Workshop in Rust πΊπ¦β137Updated 2 years ago
- List of halo2-related resourcesβ199Updated 6 months ago