Mid battle GIANT 600lb blue fin tuna screaming reel! #fishing #seafishing #bft #tunafishing #tuna

source

https://huntingofficer.com/mid-battle-giant-600lb-blue-fin-tuna-screaming-reel-fishing-seafishing-bft-tunafishing-tuna/?utm_source=mastodon&utm_medium=jetpack_social

PBFT (Practical Byzantine Fault Tolerance), introduced by Castro and Liskov at OSDI 1999, was the first algorithm to show Byzantine consensus could run with near-production performance.

#PBFT #BFT #Fintech

Byzantine Fault Tolerance (BFT) is a system's ability to keep operating correctly when some nodes fail by sending conflicting or arbitrary data to different parts of the network.

#BFT #DistributedSystems #Fintech

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

Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье я продолжу рассказывать о том, как мы используем инструменты формальной верификации для предотвращения уязвимостей в различных компонентах блокчейна. Ранее мы верифицировали смарт-контракты дедуктивным методом . В этот раз речь пойдет о протоколах консенсуса — механизмах принятия узлами новых транзакций в цепочку, а именно об алгоритме Istanbul Byzantine Fault Tolerant и в целом о том, как можно гарантировать корректность подобных алгоритмов с помощью метода проверки моделей.

https://habr.com/ru/companies/pt/articles/864754/

#формальная_верификация #formal_verification #протокол_консенсуса #блокчейн #криптовалюты #tla+ #model_checking #IBFT #bft