Research Engineer — L2 infrastructure, ZK | Cryptography PhD @HKU