krlzi Dec 10 2024 at 09:07

Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне

Medium

13 min

2K

Positive Technologies corporate blogCryptocurrenciesProgramming * Algorithms * System Analysis and Design *

Tutorial

+12

Comments 1

leonid_m_kim May 21 2025 at 11:47

А можно увидеть модель целиком? Оптимально - на github. Ну либо в виде единого текста.

Sign up to leave a comment.