«Виявилося, що це насправді достатньо ефективно, щоб робити на біткоїні — у всіх божевільних обмеженнях Bitcoin Script.» — @robin_linus, творець BitVM та @ZeroSync_ У House of ZK Radio #86 Робін Лінус пояснив, як BitVM знімає обмеження верифікації Bitcoin як блокувальник — пояснивши, чому спростування неправильного SNARK може бути дешевшим, ніж повна перевірка правильного, і як ця асиметрія використовується для оптимістичної перевірки SNARK у обмеженому скриптовому середовищі Bitcoin. Це механізм, який робить BitVM життєздатним взагалі. І саме тому мости Bitcoin, мінімізовані на довірі, можуть спиратися на припущення про екзистенціальну чесність, а не на моделі чесної більшості. Дивіться повну розмову з Робіном, де ми простежуємо, як ці примітиви відкривають новий клас систем масштабу Bitcoin: