Я смотрел на документ о корпоративном управлении по интеграции нативного обеспечения BTC в Babylon и пытался понять, что именно заставляет путь ликвидации работать. В техническом обосновании была спрятана ссылка на работу под названием BaBe. Когда я её открыл, история показалась иной по сравнению с маркетинговыми тезисами.
Биткоин не может нативно верифицировать SNARK. Это было ключевым препятствием для бездоверительного BTC DeFi на протяжении многих лет.
Более ранний протокол, BitVM2, решил эту проблему теоретически. Но в собственных заметках по исследованиям говорится, что оспаривание мошеннического утверждения on-chain может стоить больше 14 000 долларов в комиссиях. Это работает только если мошенничество на практике никогда не будет оспорено.
Последующий дизайн, BitVM3, снизил эти on-chain-издержки, перенеся верификацию в зашифрованную схему (garbled circuit), выполняемую вне сети. Это сработало, но каждая схема занимает 42 гибибайта. Настройка и хранение стали новым узким местом.
BaBe — ответ Babylon на эту вторую проблему. Согласно eprint от февраля 2026 года, он сохраняет on-chain-выгоды BitVM3, одновременно сокращая затраты на хранение и настройку. Его со-разрабатывают с UC Berkeley, и он должен появиться на конференции по безопасности с peer-reviewed публикациями позже в 2026 году.
Вот что зацепило меня. Поток ликвидации, который сейчас находится в центре голосования в рамках управления крупного кредитного протокола, исходит из того, что эта криптография выдержит проверку в продакшене так же, как выдерживает её на бумаге.
Возражение первое: исследования в области биткоина часто опережают формальную публикацию. Ожидание даты конференции — это не то же самое, что ожидание того, что механизм действительно надёжен; независимые аудиты по безопасности могут подтвердить дизайн ещё до того, как академическая статья будет официально представлена.
Возражение второе: базовое предположение о доверии не нулевое, но оно небольшое. Настройка garbled circuit опирается на метод cut-and-choose, и исследователи, изучавшие эту ветку дизайна, оценивают вероятность отказа примерно как 2 в степени отрицательной 40. На практике это рассматривают как пренебрежимо малую величину в масштабах всей области, а не как открытый риск. Я всё время думаю о нём как о системе пожаротушения, которая прошла все лабораторные испытания и теперь устанавливается в здании, где уже находятся люди, — при том что слушание по её сертификации назначено.$BABY #baby @BabylonLabs_io
Биткоин не может нативно верифицировать SNARK. Это было ключевым препятствием для бездоверительного BTC DeFi на протяжении многих лет.
Более ранний протокол, BitVM2, решил эту проблему теоретически. Но в собственных заметках по исследованиям говорится, что оспаривание мошеннического утверждения on-chain может стоить больше 14 000 долларов в комиссиях. Это работает только если мошенничество на практике никогда не будет оспорено.
Последующий дизайн, BitVM3, снизил эти on-chain-издержки, перенеся верификацию в зашифрованную схему (garbled circuit), выполняемую вне сети. Это сработало, но каждая схема занимает 42 гибибайта. Настройка и хранение стали новым узким местом.
BaBe — ответ Babylon на эту вторую проблему. Согласно eprint от февраля 2026 года, он сохраняет on-chain-выгоды BitVM3, одновременно сокращая затраты на хранение и настройку. Его со-разрабатывают с UC Berkeley, и он должен появиться на конференции по безопасности с peer-reviewed публикациями позже в 2026 году.
Вот что зацепило меня. Поток ликвидации, который сейчас находится в центре голосования в рамках управления крупного кредитного протокола, исходит из того, что эта криптография выдержит проверку в продакшене так же, как выдерживает её на бумаге.
Возражение первое: исследования в области биткоина часто опережают формальную публикацию. Ожидание даты конференции — это не то же самое, что ожидание того, что механизм действительно надёжен; независимые аудиты по безопасности могут подтвердить дизайн ещё до того, как академическая статья будет официально представлена.
Возражение второе: базовое предположение о доверии не нулевое, но оно небольшое. Настройка garbled circuit опирается на метод cut-and-choose, и исследователи, изучавшие эту ветку дизайна, оценивают вероятность отказа примерно как 2 в степени отрицательной 40. На практике это рассматривают как пренебрежимо малую величину в масштабах всей области, а не как открытый риск. Я всё время думаю о нём как о системе пожаротушения, которая прошла все лабораторные испытания и теперь устанавливается в здании, где уже находятся люди, — при том что слушание по её сертификации назначено.$BABY #baby @BabylonLabs_io