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!
Some keywords: cryptography, distributed systems, blockchain, Rust. I love the challenge of contributing to meaningful projects that seem impossible — things no one has done before.
- diamond-io: Github | Diamond iO implementation
- ress: Github | The implementation of Stateless Ethereum client based on Reth
- 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.