gizatechxyz / orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
β174Updated 2 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 πΊ.β230Updated this week
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β249Updated last week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curveβ209Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)β130Updated last year
- Resources for Cairo 1.0 development.β170Updated 3 months ago
- Provable play of Nintendo Entertainment System in Noirβ137Updated 11 months ago
- Giza Platform CLIβ16Updated 8 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- Circom Circuits Library for Machine Learningβ176Updated 10 months ago
- Curated list of ZKML models and use cases made with Gizaβ48Updated 11 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcampβ137Updated 6 months ago
- Middleware to compile Circom circuits to Nova proverβ237Updated last year
- A collection of examples of Cairo smart contracts for Starknet.β146Updated last month
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.β291Updated last month
- Verifying a 512-layer CNN w/ Novaβ166Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β159Updated 4 months ago
- β189Updated 2 weeks ago
- Pricing anything, anywhere, anytime.β86Updated last week
- β267Updated 7 months ago
- A trustless P2P fiat onramp powered by ZK proofs.β296Updated 2 months ago
- A curated list of zkVM, zero-knowledge virtual machineβ212Updated last week
- β198Updated last year
- educational python plonk implementation, based on vitalik's py_plonkβ213Updated 10 months ago
- List of halo2-related resourcesβ195Updated 3 months ago
- Demo of ML for MNIST classification in a zero knowledge proofβ121Updated 2 years ago
- Big integer arithmetic and secp256k1 ECC operations in circomβ325Updated last year
- private quantized linear regression on Ethereumβ215Updated 2 years ago
- Fixed point 64.61 math library for Cairo / Starknetβ65Updated 2 years ago
- β221Updated 2 months ago
- STARK 101 Workshop in Rust πΊπ¦β136Updated 2 years ago