Сначала я предположил, что фраза «чекпоинтится в Bitcoin» означает следующее: блок в Babylon становится по сути «окончательным» для Bitcoin в тот самый момент, когда ему проставляют timestamp, и остается неизменным сразу после попадания в цепочку. Но, читая собственное описание Babylon про быстрое размонтирование (fast unbonding), понимаешь, что модель безопасности имеет более узкий временной коридор, чем это подает такая формулировка. Валидаторы подписывают заголовки Genesis-блоков и отправляют их в Bitcoin примерно раз в час, а правило выбора ветвления (fork-choice) гласит: побеждает та ветка, у которой более ранний Bitcoin timestamp. Это действительно сильная защита от атак, которые стартуют из старой, уже похороненной истории. Но документация Babylon разбирает более конкретный сценарий: если враждебные валидаторы дождутся, пока их запросы на вывод (withdrawal requests) пройдут, то можно форкнуть цепочку прямо в тот момент, когда их блокам проставляется новый timestamp, а затем сговориться с майнерами Bitcoin, чтобы заменить именно этот timestamp на более поздний, прежде чем он будет «похоронен» достаточно глубоко, чтобы экономически стало необратимо. В таком случае атака все равно может сработать. Защита здесь заключается не в самом факте существования чекпоинта, а в его «старении»: накопление достаточного объема proof-of-work поверх него делает переписывание слишком дорогим, чтобы вообще стоило пытаться. Так что под одной фразой описываются по сути два разных уровня безопасности. Чекпоинт, который только что появился, зависит от большинства валидаторов и теоретически может быть оспорен. Чекпоинт, который уже некоторое время «лежит», является Bitcoin-жестким и фактически окончательным. Материал в питче говорит о безопасности Bitcoin так, будто это один переключатель, который включается при каждом часовом commit. На деле гарантия ближе к ручке регулировки, которая полностью фиксируется только после того, как пройдет достаточно времени, чтобы proof-of-work самого Bitcoin сделал попытку разворота нецелесообразной.
@BabylonLabs_io $BABY #baby