gizatechxyz / orionLinks
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
β174Updated 4 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 3 weeks ago
- Provable play of Nintendo Entertainment System in Noirβ137Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β255Updated this week
- β190Updated last month
- Circom Circuits Library for Machine Learningβ177Updated last year
- β267Updated 10 months ago
- Resources for Cairo 1.0 development.β171Updated 5 months ago
- A trustless P2P fiat onramp powered by ZK proofs.β303Updated 3 weeks ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ135Updated 6 months ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.β221Updated this week
- Curated list of ZKML models and use cases made with Gizaβ50Updated last year
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ144Updated 9 months ago
- Pricing anything, anywhere, anytime.β87Updated last month
- STARK 101 Workshop in Rust πΊπ¦β137Updated 2 years ago
- A collection of examples of Cairo smart contracts for Starknet.β147Updated last week
- Introduction to various ZK languagesβ78Updated last week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β160Updated 6 months ago
- Giza Platform CLIβ16Updated 10 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ209Updated last year
- SNARKifying Ethereumβ105Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β76Updated last year
- educational python plonk implementation, based on vitalik's py_plonkβ216Updated last year
- A curated list of zkVM, zero-knowledge virtual machineβ221Updated 2 months ago
- Synthetics platform for Starknet, inspired by GMX v2 design.β112Updated 11 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β171Updated 2 months ago
- Template for integrating RISC Zero and Ethereum using Foundryβ138Updated last month
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β184Updated 2 months ago
- A minimal template for building smart contracts with Cairo 1.0β87Updated 2 years ago
- Middleware to compile Circom circuits to Nova proverβ241Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β132Updated 2 years ago