Aleo-DevRel-Ambas / zero-to-zk
☆14Updated last month
Related projects: ⓘ
- ☆15Updated this week
- ☆12Updated last week
- Indexer for the various Avail chains☆14Updated 3 weeks ago
- ☆16Updated 8 months ago
- ☆22Updated last week
- The schelling point for ZK applications.☆135Updated 4 months ago
- Bridge from Mina to Ethereum☆77Updated this week
- Collection of tests for ZKsync compilers☆17Updated last week
- ☆45Updated this week
- NodeKit SEQ is a Shared Sequencer Subnet☆17Updated this week
- ☆59Updated last month
- Compare in-circuit and out-of-circuit VMs☆59Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- Bootstrap node for the Avail Light Client☆16Updated 2 months ago
- Core components of the Polygon Miden rollup☆67Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- Resources for building programs on Aleo from ZKCamp's Course (Oct 2023)☆39Updated 8 months ago
- ☆13Updated 10 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆124Updated this week
- Expander Compiler☆18Updated this week
- ☆34Updated this week
- ☆73Updated this week
- Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.☆20Updated last year
- A curated list of resources to become aligned 🟩☆18Updated 4 months ago
- ☆19Updated last month
- ☆12Updated last month
- 🐺 Starknet Rust types 🦀☆62Updated this week
- Compiler from MidenIR to Miden Assembly☆62Updated this week