В выпуске House of ZK Radio #86 @robin_linus (@ZeroSync_) рассказывает, почему он создал BitVM и как это на самом деле работает. Сначала Робин объясняет, как Bitcoin был разработан как система платежей между равными, но 10-минутные блоки и ~4 МБ за 10 минут совершенно недостаточны для глобального использования. Вместо того чтобы превращать Bitcoin в еще одну цепочку смарт-контрактов, он хотел найти способ получить мосты в стиле zkRollup и L2 на Bitcoin, используя только существующие опкоды. Это привело к основной идее BitVM: оптимистическая верификация - вместо полной верификации SNARK в цепочке, вам нужно только опровергнуть недействительное доказательство, как указать на две конфликтующие ячейки в плохом решении Судоку. Затем он объясняет, как BitVM превращает очень ограниченную, 32-битную среду Bitcoin Script без умножения в общий слой верификации, структурируя систему вокруг двух ролей: оператора, который публикует утверждения, и оспаривателей, которые могут кратко доказать мошенничество. Модель доверия смещается с "честного большинства" на "одного честного оспаривателя достаточно", открывая двери для мостов с минимизированным доверием и более выразительных L2 без софт-форка. Смотрите полный эпизод, чтобы глубже понять эволюцию BitVM (BitVM1 → BitVM2 → BitVM3), запутанные схемы и Glock, почему он называет BitVM "кучей хака на хаках", и как все это вписывается в более широкую дорожную карту по масштабированию Bitcoin в нативном для Bitcoin формате: