gizatechxyz / Giza-HubLinks
Curated list of ZKML models and use cases made with Giza
☆49Updated last year
Alternatives and similar repositories for Giza-Hub
Users that are interested in Giza-Hub are comparing it to the libraries listed below
Sorting:
- Template for integrating RISC Zero and Ethereum using Foundry☆138Updated 2 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Updated last year
- Smart contracts for onchain verification of SP1.☆110Updated 2 months ago
- ZK Email in Noir☆74Updated last month
- An onchain adaptation of the classic Drug Wars game☆71Updated last month
- The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.☆48Updated last month
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆61Updated this week
- ☆44Updated 4 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆135Updated this week
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Updated last year
- Pricing anything, anywhere, anytime.☆87Updated 2 months ago
- Smart contracts for on-chain anonymous settlement.☆115Updated 2 weeks ago
- The Dojo Book☆48Updated last week
- ☆55Updated this week
- A EVM block proving backend in Cairo☆81Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆134Updated last month
- The Slush SDK allows you to spin up L3s on Starknet☆69Updated 2 years ago
- EigenLayer Rust Developer Tooling☆89Updated 2 weeks ago
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆49Updated last year
- ☆60Updated 9 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆54Updated 4 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- ☆190Updated 3 months ago
- A repo of example Noir projects.☆64Updated 3 weeks ago
- The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)☆69Updated 4 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 10 months ago
- ☆42Updated 10 months ago
- Cairo STARK proof verifier for Starknet☆73Updated last month
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago