V House of ZK Radio #86 @robin_linus (@ZeroSync_) prochází, proč vytvořil BitVM a jak to vlastně funguje. Robin nejprve vysvětluje, jak byl Bitcoin navržen jako peer-to-peer platební systém, ale 10minutové bloky a ~4 MB za 10 minut nejsou ani zdaleka dostatečné pro globální použití. Spíše než přeměnit Bitcoin na další řetězec chytrých kontraktů, chtěl způsob, jak dostat mosty ve stylu zkRollup a L2 na Bitcoin pouze pomocí existujících operačních kódů. To vedlo k základní myšlence BitVM: optimistické ověření - místo úplného ověření SNARK v řetězci stačí být schopni vyvrátit neplatný důkaz, jako je poukazování na dvě konfliktní buňky ve špatném řešení sudoku. Poté vysvětluje, jak BitVM mění velmi omezené, 32bitové prostředí Bitcoin Script bez násobení na obecnou ověřovací vrstvu tím, že strukturuje systém kolem dvou rolí: operátora, který zveřejňuje nároky, a vyzyvatele, kteří mohou stručně prokázat podvod. Model důvěry se posouvá od "poctivá většina" k "stačí jeden poctivý vyzyvatel", což otevírá dveře mostům s minimalizovanou důvěrou a výraznějším L2 bez soft-forku. Podívejte se na celou epizodu, kde se dozvíte více o vývoji BitVM (BitVM1 → BitVM2 → BitVM3), zkomolených obvodech a Glocku, proč nazývá BitVM "hromadou hacků na hacky" a jak to vše zapadá do širšího plánu škálování Bitcoinu nativním způsobem Bitcoinu: