header
zarinjo
O CTO @informalinc. Design de protocolo, modelagem de ameaças, auditorias de segurança, métodos formais, consenso BFT.