Distributed systems & protocol auditing. MMath CS (Compilers). Solo-staker. Exploring state machine correctness and consensus layer mechanics.