header
zarinjo
@informalinc CTO. تصميم البروتوكول ، نمذجة التهديدات ، عمليات التدقيق الأمنية ، الأساليب الرسمية ، إجماع BFT.