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 πΊ.β237Updated last week
- Resources for Cairo 1.0 development.β170Updated 6 months ago
- β190Updated 3 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β132Updated 2 years ago
- A trustless P2P fiat onramp powered by ZK proofs.β304Updated 2 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ211Updated last year
- Curated list of ZKML models and use cases made with Gizaβ49Updated last year
- Circom Circuits Library for Machine Learningβ177Updated last year
- educational python plonk implementation, based on vitalik's py_plonkβ218Updated last year
- Middleware to compile Circom circuits to Nova proverβ241Updated last year
- Provable play of Nintendo Entertainment System in Noirβ137Updated last year
- Pricing anything, anywhere, anytime.β87Updated 2 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β159Updated 7 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β255Updated last week
- Template for integrating RISC Zero and Ethereum using Foundryβ138Updated 2 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ144Updated 10 months ago
- A collection of examples of Cairo smart contracts for Starknet.β150Updated last month
- SNARKifying Ethereumβ109Updated this week
- β264Updated 11 months ago
- A repo of example Noir projects.β64Updated 3 weeks ago
- STARK 101 Workshop in Rust πΊπ¦β137Updated 2 years ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.β192Updated last week
- A curated list of zkVM, zero-knowledge virtual machineβ248Updated last month
- Accelerate Early Stage Programmable Cryptography Talentsβ110Updated 11 months ago
- β‘ Cairo VM in Zig β‘β84Updated last year
- ZK Email in Noirβ74Updated last month
- Tools for STARK proving using cupyβ169Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.β233Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β135Updated this week
- Verifying a 512-layer CNN w/ Novaβ170Updated 2 years ago