Solidity contracts for the Starknet Decentralized Protocol proposal
☆12Apr 24, 2025Updated last year
Alternatives and similar repositories for zaun
Users that are interested in zaun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Blazing fast tool to benchmark Starknet sequencers 🦀☆25Oct 27, 2024Updated last year
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆20Aug 7, 2024Updated 2 years ago
- Merkle-Sum Sparse Merkle Tree (MS-SMT) in Rust☆11Apr 22, 2025Updated last year
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated last year
- ☆34Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated 2 years ago
- A EVM block proving backend in Cairo☆90Mar 30, 2026Updated 6 months ago
- Madara is a powerful hybrid Starknet client written in Rust.☆124Updated this week
- A developer oriented and stateless explorer for Starknet.☆14Apr 22, 2026Updated 5 months ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆11Feb 26, 2024Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VM☆72Oct 10, 2026Updated last week
- Cairo STARK proof verifier for Starknet☆75Jan 27, 2026Updated 8 months ago
- ☆23Jun 18, 2026Updated 3 months ago
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 10 months ago
- ☆18Sep 30, 2026Updated 2 weeks ago
- 🧩 Liquidator for the Vesu protocol.☆14Mar 20, 2026Updated 6 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆18Oct 2, 2024Updated 2 years ago
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 11 months ago
- The first open onchain competitive AI eval framework☆28Mar 29, 2026Updated 6 months ago
- A VRF implementation using Stark curve and Poseidon hash.☆16Sep 29, 2025Updated last year
- ☆15Updated this week
- A collection of lints to catch common mistakes and improve your Cairo code.☆32Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Cairo Smart Contracts @ Mediolano - intellectual property provider for the integrity web. Powered on Starknet.☆15Jul 31, 2026Updated 2 months ago
- Cairo verification of webauthn authentication credentials☆33Apr 20, 2024Updated 2 years ago
- The Starknet Paymaster – abstract gas fees with full control and zero friction.☆30Updated this week
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆57Sep 3, 2025Updated last year
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆30Feb 11, 2026Updated 8 months ago
- starknet-staking☆99Apr 6, 2026Updated 6 months ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated last year
- ☆16Jan 10, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 10 months ago
- A library to generate bindings from Cairo ABI.☆52Feb 17, 2026Updated 8 months ago
- ☆23Nov 19, 2024Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Nov 2, 2022Updated 3 years ago
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated 2 years ago
- Code coverage tool for cairo☆22Updated this week
- Examples of covenants in Bitcoin script☆16Oct 2, 2024Updated 2 years ago