Этап 4a проекта @ShieldedLabs Crosslink завершен: - исправлены 2 крупных ошибки из ms3 - значительно улучшен UX, ~в 3 раза больше участников в списке BFT - наш новый индивидуально настроенный BFT оказался более стабильным, чем предыдущий sdk - мы столкнулись с проблемой безопасности BFT из-за известного проектного недостатка (это не ошибка BFT) Пристегнитесь: 🧵
@ShieldedLabs Из-за несоответствия архитектуры кода между таймаутом синхронизации PoW и низкой сложностью майнинга, наша сеть часто сталкивалась с длительными разветвлениями PoW. Вместо того чтобы пытаться исправить это до семинара, мы сосредоточились на улучшении нашего нового BFT, UX и визуализатора. Почему? …
@ShieldedLabs Почему бы не исправить очевидную известную проблему? Потому что мы приоритизируем устойчивость тестового протокола, диагностические функции и UX. На самом деле это идеальный недостаток, который стоит сохранить, пока мы доказываем устойчивость BFT, полезность визуализатора и диагностические методы.
@ShieldedLabs Импедансное несоответствие архитектуры кода в основном смоделировало "сильно разделённую" сеть, как будто интернет-соединения между майнерами и узлами BFT часто выходили из строя и время от времени восстанавливались. Это продемонстрировало устойчивость Crosslink, и всё прошло гораздо лучше, чем я ожидал.
@ShieldedLabs Я сделал скриншот того, как выглядят очень длинные PoW форки в структуре Crosslink. Здесь вы видите, что хотя существуют очень длинные PoW форки, аттестации Crosslink согласованы: они не перескакивают через форки; т.е. безопасность финальности сохраняется.
@ShieldedLabs Было одно нарушение безопасности из-за известного пробела в реализации: Zebra имеет "YOLO финальность" в стиле Bitcoin с 100 блоками, и мы еще не убедились, что BFT финальность является высшей. Добавьте сильную партиционирование, и мы столкнемся с нарушением безопасности после того, как некоторые узлы окажутся более чем на 100 PoW блоков вне синхронизации.
@ShieldedLabs Хорошо, это известный пробел в безопасности, жаль, давайте исправим это, верно? Да, но в этом была большая положительная сторона. Мы могли бы просто сказать: "хорошо, ошибка зафиксирована, приходите в следующий раз". Вместо этого: …
Мы импровизировали восстановление живого BFT стенда! Нам удалось перезапустить несинхронизированные узлы BFT и возобновить BFT (с неизменным списком) без нарушения PoW, что стало живой валидацией краеугольного камня Crosslink: Безопасность так же сильна, как и любой из подсистем: сбой BFT не сорвал PoW.
Чтобы прояснить, это не было реалистичным перезапуском BFT. Мы полагались на текущую эфемерную природу состояния BFT, чтобы забыть конфликтующие подписи. Тем не менее, это было совершенно импровизированное неожиданное развитие семинара. Бонусные XP за этот общий процесс операций и валидацию Crosslink.
@ShieldedLabs После этого (в конце MS5) мы потратим большую часть 2026 года на *переоснащение* защищенного, готового к производству узла, используя все наши знания и опыт, полученные в ходе этой прототипной фазы. 2026 = испытание на прочность! Давайте, вперед. Ракетные щиты поднимаются! 🚀🛡️
5,36K