Прошлой ночью я читал white paper BabylonLabs по TBV и увидел раздел про проверку с помощью zk-доказательств для withdrawal — и остановился. Я перерисовал путь проверки заново и понял, что раньше слишком упростил задачу.@BabylonLabs_io
Меня давно мучил вопрос: почему не дать основной сети Bitcoin напрямую понимать изменения состояния внешнего протокола? Ответ — в границах верификации. Скриптовая модель Bitcoin изначально не рассчитана на обработку внешнего состояния; если заставить её это делать, то она изменит исходную логику проверки. Поэтому TBV пошёл более сдержанным путём. Результат работы внешнего протокола преобразуется механизмом доказательств в условия трат, которые Bitcoin может проверить независимо — Bitcoin лишь оценивает, соответствуют ли отправленные условия правилам.
В официальном white paper снова и снова упоминается «Translation». По моему пониманию, это перевод внешнего состояния в условия доверия, которые Bitcoin способен верифицировать. Результат, который производит внешний протокол, связан доказательствами вычислений; Bitcoin отвечает за проверку. Между ними нет общего источника доверия с самого начала — они связаны криптографическими доказательствами. Именно это — ключевая логика дизайна TBV.
Но минимизация доверия не означает отсутствие рисков. Лёгкий клиент Babylon синхронизирует заголовки блоков и проверяет меркле-доказательства. Если сеть Bitcoin делает reorg, то депозиты в изолированном блоке откатятся, тогда как активы в контрактной цепочке могли быть уже отчеканены заранее. Сторонние службы аудита смоделировали сценарий: после остановки и перезапуска Babylon лёгкий клиент всё ещё считает старую высоту, а злоумышленный майнинг-пул отправляет поддельную форк-цепь, которая проходит проверку. Это ограничение, связанное с физическими особенностями режима лёгкого клиента, а не уязвимость на уровне кода. Для этого введено управление $BABY : держатели токенов голосуют, чтобы подтвердить число блоков. Всё это — выбор отношения к риску, а не жёстко зашитые технические константы.
В конечном счёте, главный интерес TBV не в том, сколько сценариев он подключает, а в том, что он позволяет BTC участвовать в более сложной финансовой логике, не меняя при этом модель безопасности Bitcoin. Возможно, BABY стоит обратить внимание не потому, что к ней подключено много приложений, а потому, что именно в способе совместной работы правил верификации и внешних вычислений — можно ли нащупать новые возможности.#baby
Меня давно мучил вопрос: почему не дать основной сети Bitcoin напрямую понимать изменения состояния внешнего протокола? Ответ — в границах верификации. Скриптовая модель Bitcoin изначально не рассчитана на обработку внешнего состояния; если заставить её это делать, то она изменит исходную логику проверки. Поэтому TBV пошёл более сдержанным путём. Результат работы внешнего протокола преобразуется механизмом доказательств в условия трат, которые Bitcoin может проверить независимо — Bitcoin лишь оценивает, соответствуют ли отправленные условия правилам.
В официальном white paper снова и снова упоминается «Translation». По моему пониманию, это перевод внешнего состояния в условия доверия, которые Bitcoin способен верифицировать. Результат, который производит внешний протокол, связан доказательствами вычислений; Bitcoin отвечает за проверку. Между ними нет общего источника доверия с самого начала — они связаны криптографическими доказательствами. Именно это — ключевая логика дизайна TBV.
Но минимизация доверия не означает отсутствие рисков. Лёгкий клиент Babylon синхронизирует заголовки блоков и проверяет меркле-доказательства. Если сеть Bitcoin делает reorg, то депозиты в изолированном блоке откатятся, тогда как активы в контрактной цепочке могли быть уже отчеканены заранее. Сторонние службы аудита смоделировали сценарий: после остановки и перезапуска Babylon лёгкий клиент всё ещё считает старую высоту, а злоумышленный майнинг-пул отправляет поддельную форк-цепь, которая проходит проверку. Это ограничение, связанное с физическими особенностями режима лёгкого клиента, а не уязвимость на уровне кода. Для этого введено управление $BABY : держатели токенов голосуют, чтобы подтвердить число блоков. Всё это — выбор отношения к риску, а не жёстко зашитые технические константы.
В конечном счёте, главный интерес TBV не в том, сколько сценариев он подключает, а в том, что он позволяет BTC участвовать в более сложной финансовой логике, не меняя при этом модель безопасности Bitcoin. Возможно, BABY стоит обратить внимание не потому, что к ней подключено много приложений, а потому, что именно в способе совместной работы правил верификации и внешних вычислений — можно ли нащупать новые возможности.#baby