gizatechxyz / orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
☆174Updated 3 weeks ago
Alternatives and similar repositories for orion:
Users that are interested in orion are comparing it to the libraries listed below
- ☆266Updated 6 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆220Updated this week
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆208Updated 8 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆248Updated this week
- Resources for Cairo 1.0 development.☆171Updated last month
- List of halo2-related resources☆194Updated 2 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆293Updated last month
- Verifying a 512-layer CNN w/ Nova☆161Updated last year
- Curated list of ZKML models and use cases made with Giza☆49Updated 9 months ago
- Circom Circuits Library for Machine Learning☆171Updated 9 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- ☆316Updated this week
- DSL for Halo2 circuits☆187Updated 4 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆174Updated 2 weeks ago
- A smart contract wallet controlled using email☆165Updated this week
- ☆195Updated last year
- ☆216Updated last month
- A Rust implementation of Starknet execution logic☆172Updated 8 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆286Updated 3 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆135Updated 5 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆135Updated this week
- ☆182Updated 2 weeks ago
- Provable play of Nintendo Entertainment System in Noir☆137Updated 9 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 2 months ago
- A monorepo of reusable libraries for zero-knowledge technologies.☆313Updated this week
- Giza Platform CLI☆15Updated 6 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆136Updated 2 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year