ZKCamp / aleo-course
Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)
☆39Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for aleo-course
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- Loot Survivor - onchain arcade☆79Updated 3 months ago
- starknet-staking☆76Updated this week
- Liquidity aggregator written in Cairo☆34Updated 2 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆46Updated last week
- Plonky2 implementation for intmax ZK rollup☆34Updated last year
- ☆44Updated 8 months ago
- Out-of-circuit zkEVM implementation☆81Updated 3 months ago
- ✨ 🐺 Starknet ERC20 token streaming protocol 💰⏳, inspired by Sablier.☆48Updated 9 months ago
- ☆71Updated last year
- ☆106Updated this week
- The schelling point for ZK applications.☆134Updated 6 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆137Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆72Updated this week
- ☆78Updated last month
- ☆29Updated last week
- Linea smart-contracts☆76Updated 2 months ago
- Contracts for governance of Starknet protocols☆66Updated 2 months ago
- Core smart contracts for Axiom V2.☆31Updated 10 months ago
- ☆21Updated 3 months ago
- Learn how to build and deploy StarkNet Accounts☆85Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆57Updated this week
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆32Updated last year
- A collection of works discussing the security aspects of StarkNet☆39Updated last year
- Renzo Protocol Public☆40Updated 4 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆59Updated this week
- ☆102Updated this week
- A toolkit for DAO-like governance on Starknet☆30Updated last month
- ☆59Updated 4 months ago