Solidity contracts for the Starknet Decentralized Protocol proposal
☆12Apr 24, 2025Updated 10 months ago
Alternatives and similar repositories for zaun
Users that are interested in zaun are comparing it to the libraries listed below
Sorting:
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Aug 7, 2024Updated last year
- Blazing fast tool to benchmark Starknet sequencers 🦀☆25Oct 27, 2024Updated last year
- A EVM block proving backend in Cairo☆88Updated this week
- ☆19Feb 20, 2026Updated 2 weeks ago
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆12Apr 22, 2025Updated 10 months ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- 🧩 Liquidator for the Vesu protocol.☆14Oct 1, 2025Updated 5 months ago
- Madara is a powerful hybrid Starknet client written in Rust.☆122Updated this week
- ☆34Feb 3, 2025Updated last year
- A developer oriented and stateless explorer for Starknet.☆14Feb 10, 2026Updated 3 weeks ago
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated 10 months ago
- ZK-PIG is a ZK-EVM Prover Input generator responsible for generating the data inputs necessary for proving Ethereum Execution Layer (EL) …☆15Nov 20, 2025Updated 3 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- ☆22Feb 20, 2026Updated 2 weeks ago
- Rust Library for running the Starknet OS via the Cairo VM☆67Feb 24, 2026Updated last week
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- ☆16Jan 10, 2025Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated 5 months ago
- Cairo STARK proof verifier for Starknet☆77Jan 27, 2026Updated last month
- Code coverage tool for cairo☆22Updated this week
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Nov 2, 2022Updated 3 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Cairo Smart Contracts @ Mediolano - intellectual property provider for the integrity web. Powered on Starknet.☆14Nov 26, 2025Updated 3 months ago
- A toolchain for rapidly spinning up Katana and Torii instances. Play test your game in seconds.☆51Updated this week
- ☆24Nov 19, 2024Updated last year
- starknet-staking☆97Dec 18, 2025Updated 2 months ago
- A library to generate bindings from Cairo ABI.☆50Feb 17, 2026Updated 2 weeks ago
- A set of exercises to get started with Cairo0☆22Mar 26, 2025Updated 11 months ago
- Cairo verification of webauthn authentication credentials☆33Apr 20, 2024Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 9 months ago
- The first open onchain competitive AI eval framework☆27Feb 19, 2026Updated 2 weeks ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Apr 30, 2024Updated last year
- A toolkit for DAO-like governance on Starknet☆30Feb 11, 2025Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆272Updated this week
- ☆24Feb 8, 2025Updated last year
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated 2 years ago
- ☆29Oct 8, 2024Updated last year
- A collection of lints to catch common mistakes and improve your Cairo code.☆32Updated this week