I build distributed systems and blockchain infrastructure — with a focus on modular blockchains, consensus protocols, and zero-knowledge cryptography. Currently working at Celestia.
Languages
Blockchain & Protocols
Cryptography
Zero-Knowledge Proofs · PLONK · KZG Commitments · FRI · zk-SNARKs
Distributed Systems
BFT Consensus · HotStuff · Tendermint · Reliable Broadcast · Total-Order Broadcast
AI / ML
Transformers · LLMs · Deep Learning
- 🔐 Applied cryptography & polynomial commitment schemes (Boneh-Shoup, Thaler's Proofs, Arguments, and Zero-Knowledge)
- ⚙️ Concurrent & distributed computing (consensus, NBAC, group membership)
- 🦀 Advanced Rust patterns (Rust for Rustaceans, async Rust)
- 🧮 Abstract algebra & the mathematics underpinning ZK systems
Modular blockchains ████████████░░░ Data availability & DA proofs
ZK cryptography ██████████░░░░░ Proof systems, polynomial IOPs
Consensus protocols █████████░░░░░░ BFT, finality, safety/liveness
Systems programming ████████░░░░░░░ Rust, async, concurrency
"The limits of my language mean the limits of my world." — but in Rust, the limits are just the borrow checker.






