Рубрика «BFT»
Нужна ли вашей распределённой СУБД византийская отказоустойчивость?
2026-09-17 в 5:44, admin, рубрики: BFT, cft, Valkey, базы данных, кворум, консенсус, распределенные системы, репликация, ретроспектива, СУБДФормальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне
2024-12-10 в 9:07, admin, рубрики: BFT, formal verification, IBFT, model checking, TLA+, блокчейн, Криптовалюты, протокол консенсуса, формальная верификация
Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье я продолжу рассказывать о том, как мы используем инструменты формальной верификации для предотвращения уязвимостей в различных компонентах блокчейна. Ранее Читать полностью »
Обзор актуальных протоколов достижения консенсуса в децентрализованной среде
2018-08-03 в 18:30, admin, рубрики: Algorand, BFT, bitcoin, blockchain, cryptocurrency, decentralization, Ethereum, Ghost, Hashgraph, Phantom, Proof-of-stake, spectre, Блог компании Distributed Lab, информационная безопасность, Криптовалюты, криптографияЭта статья посвящена поверхностному обзору ключевых подходов к достижению консенсуса в децентрализованной среде. Материал позволит разобраться с задачами, которые решают рассмотренные протоколы, областью их применения, особенностями проектирования и использования, а также позволит оценить перспективы их развития и имплементации в децентрализованных системах учета.
Читать полностью »

