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