Сначала я решил, что ZK-доказательство в бездоверительных Bitcoin Vaults от Babylon — это и есть вся история безопасности: верное доказательство означает верное погашение, и на этом всё. Но, разобравшись глубже в том, как TBV на самом деле обрабатывает вывод, я понял: доказательство — это лишь половина процесса. Когда кто-то подаёт запрос на погашение, подкреплённый ZK-доказательством того, что на хостчейне — например, Ethereum — произошло некоторое событие, это утверждение не выполняется мгновенно. Сначала открывается окно fraud-proof, период, в течение которого любой имеющий на это право может оспорить требование, если в нём что-то не так. Сам депозитарий всегда вправе выступать в роли своего собственного оппонента — звучит обнадёживающе, пока не понимаешь, что это на самом деле требует: лично сохранять достаточную внимательность, чтобы поймать ошибочное требование до закрытия этого окна. Если вы не следите, и никто другой тоже не предпринимает действий, то недействительное погашение имеет вполне реальный шанс просто пройти без оспаривания. Есть ещё одна деталь, которая удивила меня больше, чем должна была. Погашение не бывает частичным. Оно только по всему хранилищу: один элемент входит — один выходит; нет постепенного разматывания, только одно окно, в котором вся позиция либо корректно оспаривается, либо нет. И всё это основано на BABE — слое проверки доказательств, который делает всё это криптографически проверяемым в первую очередь. Команда прямо сказала, что без BABE вообще нет никакой бездоверительной верификации: вся система просто перестаёт функционировать. Поэтому честное описание не «математика защищает ваш Bitcoin». Это «математика делает ложное утверждение доказуемым — при условии, что кто-то реально находится в позиции, чтобы доказать это вовремя. @BabylonLabs_io #baby
$BABY
$COTI