Waarom is het bouwen van een echte zkRollup op Bitcoin een van de moeilijkste technische problemen in de ruimte op dit moment? Op Ethereum kunnen zkRollups een bewijs publiceren en heeft een onchain verifier contract de geldigheid ervan gecontroleerd. En net als Ethereum Rollups draait een Bitcoin zkRollup meestal snel offchain. Het gelukkige pad. Maar Bitcoin heeft die soort onchain bewijsverificatie niet, dus je kunt niet gewoon een bewijs posten en Bitcoin het op dezelfde manier laten verifiëren. Daarom heeft een Bitcoin zkRollup ook een soort 'rechtszaak' modus nodig voor de slechtste gevallen. Het ongelukkige pad. Als iemand bedriegt of offline gaat, schakelt het systeem over naar een optimistisch uitdaagproces: Bitcoin handhaaft een vooraf gedefinieerd geschilspel met behulp van vooraf ondertekende transacties en tijdslimieten, totdat de ongeldige claim weerlegd is of de bedrieger tijdslimiet overschrijdt. Daarom is het moeilijk om dit te bouwen: je bouwt niet alleen de Rollup - je ontwerpt het volledige handhavingsmechanisme voor de slechtste gevallen dat Bitcoin daadwerkelijk kan uitvoeren. En dat is wat GOAT BitVM2 mainnet levert: een Bitcoin-afdwingbare geschilroute die veilige schaalvergroting praktisch maakt, terwijl het exits afdwingbaar houdt op Bitcoin zelf. Leer alles over hoe we aan het ongelukkige pad werken met onze nieuwe serie over het begrijpen van de BitVM2-architectuur 👇