header
zarinjo
CTO @informalinc. Návrh protokolů, modelování hrozeb, bezpečnostní audity, formální metody, BFT konsensus.