Here are some of my projects. Sometimes I’m a bit lazy about updating this list. For more, check out my GitHub for the latest!

• awesome-zkvm: Github | A curated list of zkVM, zero-knowledge virtual machine
• solchip8: Github | SolChip8 is the first 100% on-chain Chip8 emulator smart contract.
• xxfunc: GitHub, Post | Serverless functions on Reth using exex.
• cairovm-verifier: GitHub, Post | Rust implementation of a CairoVM verifier with WebAssembly bindings.
• alloy-merkle-tree: GitHub | Merkle Tree implementation in Rust.
• zetina: GitHub | Shared P2P zk prover network.
• sp1-storage-proof: GitHub | Experimental zk-storage proof program on top of a RISC-V based zkVM.
• Herodotus Data Processor: GitHub, Docs | Herodotus Data Processor Toolkit. Enhances zk-offchain compute for verifiable on-chain data using zkVMs.
• HDP SP1: Github | Herodotus Data Processor using SP1 as backend.
• Trie proof: GitHub | A comprehensive transaction MPT proofs handler for Ethereum / Starknet.
• L2 indexer: GitHub | Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc.).
• Rust accumulators: GitHub | Accumulator library that contains MMR and Merkle Tree implementations.