ZKCamp / aleo-courseLinks
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
Sorting:
- All of Aztec's workshops, resources, tutorials, ideas, and useful toolsβ60Updated this week
- πΊ Starknet Rust types π¦β69Updated last week
- β64Updated last week
- The schelling point for ZK applications.β138Updated last year
- zkevm-chain: Deprecatedβ89Updated last year
- β44Updated last month
- Out-of-circuit zkEVM implementationβ80Updated 9 months ago
- β75Updated 2 years ago
- Internal engineering designsβ12Updated 2 weeks ago
- Mirror of AztecProtocol/aztec-packages/aztec-nrβ118Updated 2 weeks ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ135Updated 4 months ago
- starknet-stakingβ92Updated this week
- β79Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β119Updated this week
- Smart contracts for onchain verification of SP1.β95Updated this week
- Kakarot ZK EVM Ethereum RPC adapterβ136Updated 4 months ago
- Compare in-circuit and out-of-circuit VMsβ60Updated 9 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.β107Updated last month
- Plonky2 implementation for intmax ZK rollupβ34Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VMβ64Updated last week
- Identity Service for Starknetβ59Updated 2 weeks ago
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β182Updated last month
- Liquidity aggregator written in Cairoβ36Updated last month
- β81Updated last month
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasmβ74Updated this week
- β44Updated last year
- β157Updated 3 months ago
- Code for Counter Workshop using latest Starknet syntax.β49Updated 6 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β172Updated 3 weeks ago
- Go SDK for building AVSs on Eigenlayerβ76Updated this week