header
zarinjo
CTO @informalinc. Protokollan suunnittelu, uhkien mallinnus, tietoturvatarkastukset, muodolliset menetelmät, BFT-konsensus.