header
zarinjo
CTO @informalinc. Protocol design, Threat modelling, Security audits, Formal methods, BFT consensus.