header
zarinjo
CTO @informalinc. Proiectarea protocolului, modelarea amenințărilor, audituri de securitate, metode formale, consens BFT.