header
zarinjo
CTO @informalinc. Desain protokol, Pemodelan ancaman, Audit keamanan, Metode formal, Konsensus BFT.