Sharing ideas and code is the best way to learn together <3

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!

⭐️

• 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.

Work

• Herodotus Data Processor: GitHub, Docs | Herodotus Data Processor Toolkit. Enhances zk-offchain compute for verifiable on-chain data using zkVMs.
• 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.

Miscellaneous

• mini-storage-proofs: GitHub, Write-up | Simple workflow for exploring storage proof concepts in EVM/Starknet/offchain.
• chess-dojo: GitHub | Provable chess game built on the Dojo engine and Cairo language.
• ascii-video: GitHub | A CLI tool that plays videos in the terminal as ASCII art.
• rifle: GitHub | Starknet block time estimator in Rust.
• toji: GitHub | CLI toolkit for EVM blockchains, retrieving RLP-encoded block headers and hashes.

… and more