"Оказалось, что это действительно достаточно эффективно для работы с Bitcoin - несмотря на все безумные ограничения Bitcoin Script." - @robin_linus, создатель BitVM и @ZeroSync_ В выпуске House of ZK Radio #86 Робин Линус объяснил, как BitVM устраняет ограничения верификации Bitcoin как препятствие - объясняя, почему опровержение неверного SNARK может быть дешевле, чем полная верификация правильного, и как эта асимметрия используется для оптимистичной верификации SNARK в ограниченной среде скриптов Bitcoin. Это механизм, который делает BitVM вообще жизнеспособным. И это причина, по которой мосты Bitcoin с минимизацией доверия могут полагаться на предположение о экзистенциальной честности, а не на модель честного большинства. Смотрите полный разговор с Робином, когда мы прослеживаем, как эти примитивы открывают новый класс систем масштаба Bitcoin: