Distributed systems, cryptographic protocols, low-level Rust. Feel free to explore some my work below.
- Algebra & Cryptography collection (algebra)
- Binius proof system for binary circuits (binius-research)
- Reed-Solomon codes, list decoding, proximity gaps, and correlated agreement (rs-proximity-lean)
- Formal verification (Lean 4) of Octra's homomorphic encryption scheme (octra-hfhe-lean)
Building Bitcoin L2 infrastructure:
- Dynamic permissionless federation system with state validation and TEE support (tem)
- Botanix DynaFed Whitepaper (tem#7)
- Distributed Key Generation with encryption & recovery (Macbeth#663)
- Network consensus coordination via block voting (Macbeth#611)
Shipping Bitcoin features to millions of users:
- Bitcoin Taproot & BRC20 support (wallet-core#3233)
- Ordinal NFT inscriptions (wallet-core#3297)
- Full Bitcoin C++ to Rust migration (wallet-core#3382)
Core Polkadot ecosystem tooling:
- Official Polkadot Specification (polkadot-spec)
- Polkadot Registrar Service (polkadot-registrar)
- Polkadot Conformance Testsuite (polkadot-tests)
Contributed course notes for fellow students: