Применяем формальные методы к чейнкодам Hyperledger Fabric: кейс BaseToken +17

• 10.02.2026 10:03
• krlzi
• 0

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

• 10.12.2024 09:07
• krlzi
• 0

• Блог компании Positive Technologies
• Криптовалюты
• Программирование
• Алгоритмы
• Анализ и проектирование систем

Формальная верификация смарт-контрактов во фреймворке ConCert

• 03.04.2024 15:32
• krlzi
• 0

• Блог компании Positive Technologies
• Информационная безопасность
• Программирование
• Solidity
• Криптовалюты