Engineering Het Ontevreden Pad: Begrijpen van de BitVM2 Architectuur Deel Eén: Beveiliging Leeft in het Geschilpad Een Bitcoin L2 leeft of sterft op zijn ontevreden pad. Op Bitcoin krijg je geen "voer de verifier on-chain uit en ga verder". Je krijgt een beperkte uitvoeringsomgeving, vooraf ondertekende transactiegraphen en tijdsloten die precies definiëren wanneer elke partij kan handelen. BitVM2 is een optimistisch handhavingspatroon voor Bitcoin: voer off-chain uit, en maak vervolgens de correctheid afdwingbaar via een on-chain geschilprotocol dat is opgebouwd uit vooraf ondertekende transacties. Dat leidt tot een eenvoudige engineeringregel: Als geschillen duur zijn of kunnen worden vertraagd door kosten, werkt het beveiligingsmodel simpelweg niet. BitVM-gebaseerde systemen werken door operators off-chain te laten uitvoeren, en vervolgens iedereen de mogelijkheid te geven om on-chain uit te dagen en het protocol onder een 1-of-n eerlijkheidsveronderstelling op een geschilpad te dwingen (ten minste één eerlijke uitdager voor geldigheid; ten minste één eerlijke operator voor levensvatbaarheid). Dit geschilpad is het mechanisme. Vooraf ondertekende transacties en eenmalige handtekeningen (uitdaagvensters, reactietermijnen, finalisatie) zijn de "runtime" van de brug en zijn uitgangen. Dus wanneer we het hebben over bouwen op BitVM2, is de noordster geen marketingtermen zoals "vertrouwensloos". De noordster is: • geschillen die goedkoop genoeg zijn om uit te voeren, • ketencontext die objectief genoeg is om "bewijs de verkeerde staat" uitgangen te voorkomen • transactieflows die blijven vorderen onder echte kostenvoorwaarden. Deze serie legt uit hoe we deze beperkingen in het GOAT BitVM2-ontwerp hebben benaderd, stuk voor stuk. Komend in Deel Twee: de praktische blokkades voor het implementeren van een productieklare zkRollup op Bitcoin.