У 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: