Prism
In progress
A Rust-based symbolic execution pipeline for automatically reconstructing Solana program behaviour.
Rust / Program analysis / Solana / Z3
Work
A few projects in depth, then the engineering history behind them.
Flagship projects
Supporting projects
Chess engine
In progress
A search-based chess engine used to measure how much playing strength fits inside strict compute and memory limits.
Search / Game AI / Performance
SolFi simulator
Complete
A local simulator that runs swaps against SolFi's WSOL/USDC pools in LiteSVM, in memory.
Rust / Solana / LiteSVM
Selected Web3 and systems work
Solana arbitrage infrastructure
Rust infrastructure for finding and executing arbitrage on Solana, covering execution, monitoring and latency-sensitive strategy code.
Rust / Solana
Hermes
Atomic swaps between Ethereum and Stellar.
Ethereum / Stellar / HTLCs
Fuelled.Cash
A token launchpad built on chain abstraction.
Chain abstraction
A private, permissionless medical-data attestation protocol. Patients prove facts such as age or vaccination status with zero-knowledge proofs, verified on-chain through Sign Protocol.
Circom / snarkjs / Solidity / Base
Open-source contributions to rotki, a privacy-preserving portfolio tracker and accounting tool.
Python / Open source
Additional hackathons: Hack Africa 2021, ETH Safari 2022, Encode x Harmony 2022, Encode x Polygon 2022, Moralis x Filecoin 2022, ETHOnline 2022, Encode x Solana 2024, StarkHack 2024, Encode x Wormhole 2024, ETHOnline 2024.