ZKCamp / aleo-course
Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)
☆41Updated last year
Alternatives and similar repositories for aleo-course:
Users that are interested in aleo-course are comparing it to the libraries listed below
- ☆41Updated this week
- The schelling point for ZK applications.☆136Updated 9 months ago
- 🐺 Starknet Rust types 🦀☆69Updated last week
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆111Updated this week
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆52Updated this week
- starknet-staking☆88Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆94Updated last month
- ☆74Updated last year
- Out-of-circuit zkEVM implementation☆80Updated 6 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆211Updated this week
- Plonky2 implementation for intmax ZK rollup☆34Updated last year
- Kakarot zkEVM - rewrite in the latest version of Cairo☆136Updated last month
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated this week
- ☆180Updated 2 weeks ago
- A performant, type-1 zkEVM written in Rust & SP1.☆131Updated 4 months ago
- ☆44Updated 11 months ago
- ☆81Updated 2 weeks ago
- A collection of works discussing the security aspects of StarkNet☆40Updated last month
- Celestia -> Starknet bridge☆46Updated 8 months ago
- Code for Counter Workshop using latest Starknet syntax.☆47Updated 2 months ago
- zkevm-chain: Deprecated☆87Updated last year
- ☆115Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 6 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆60Updated this week
- ☆44Updated 2 weeks ago
- Liquidity aggregator written in Cairo☆36Updated this week
- Synthetics platform for Starknet, inspired by GMX v2 design.☆112Updated 6 months ago
- Core smart contracts for Axiom V2.☆31Updated last year
- Technical documentation of the zkEVM☆91Updated 8 months ago