Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне +11 10.12.2024 09:07 krlzi 0 Блог компании Positive Technologies Криптовалюты Программирование Алгоритмы Анализ и проектирование систем
Формальная верификация смарт-контрактов во фреймворке ConCert 03.04.2024 15:32 krlzi 0 Блог компании Positive Technologies Информационная безопасность Программирование Solidity Криптовалюты
