Почему создание настоящего zkRollup на Bitcoin является одной из самых сложных инженерных задач в этой области на данный момент? На Ethereum zkRollups могут публиковать доказательства и иметь контракт проверяющего на блокчейне, который проверяет их действительность. И как и Ethereum Rollups, большую часть времени Bitcoin zkRollup работает быстро вне сети. Счастливый путь. Но у Bitcoin нет такой проверки доказательств на блокчейне, поэтому вы не можете просто опубликовать доказательство и заставить Bitcoin проверить его так же. Вот почему Bitcoin zkRollup также нуждается в неком 'судебном' режиме для худших случаев. Несчастливый путь. Если кто-то жульничает или выходит из сети, система переключается на оптимистичный процесс оспаривания: Bitcoin применяет заранее определенную игру спора с использованием заранее подписанных транзакций и временных ограничений, пока недействительное требование не будет опровергнуто или мошенник не истечет по времени. Вот почему это сложно: вы не просто создаете Rollup - вы разрабатываете полный механизм принудительного исполнения худшего случая, который Bitcoin действительно может запустить. И именно это и поставляет GOAT BitVM2 mainnet: путь оспаривания, который может быть принудительно исполнен Bitcoin, что делает безопасное масштабирование практичным, при этом сохраняя выходы, которые могут быть принудительно исполнены на самом Bitcoin. Узнайте все о том, как мы разрабатываем для несчастливого пути в нашей новой серии о понимании архитектуры BitVM2 👇