header
zarinjo
CTO @informalinc. Protocol ontwerp, Threat modellering, Security audits, Formele methoden, BFT consensus.