Å konstruere den ulykkelige veien: Forstå BitVM2-arkitekturen Del én: Sikkerheten lever i konfliktstien En Bitcoin L2 lever eller dør på sin ulykkelige vei. På Bitcoin får du ikke «kjør verifikatoren på kjeden og gå videre». Du får et begrenset kjøringsmiljø, forhåndssignerte transaksjonsgrafer og timelocks som definerer nøyaktig når hver part kan handle. BitVM2 er et optimistisk håndhevelsesmønster for Bitcoin: kjør off-chain, og gjør deretter korrekthet håndhevbar via en on-chain tvisteprotokoll bygget av forhåndssignerte transaksjoner. Det fører til en enkel ingeniørregel: Hvis tvister er dyre eller kan utsettes for gebyrer, fungerer ikke sikkerhetsmodellen. BitVM-baserte systemer fungerer ved å la operatører utføre off-chain, og gir deretter hvem som helst muligheten til å utfordre on-chain og tvinge protokollen inn på en tvistvei under en 1-av-n ærlighetsantakelse (minst én ærlig utfordrer for gyldighet; minst én ærlig operatør for liveness). Denne tvisteveien er mekanismen. Forhåndssignerte transaksjoner og engangssignaturer (utfordringsvinduer, svarfrister, ferdigstillelse) er "kjøretiden" for broen og dens utganger. Så når vi snakker om å bygge videre på BitVM2, er ikke ledestjernen markedsføringsbegreper som «tillitsløs». Nordstjernen er: • tvister som er billige nok til å gjennomføre, • kjedekontekst som er objektiv nok til å forhindre "bevis feil tilstand"-utganger • transaksjonsstrømmer som fortsetter å gå under reelle gebyrforhold. Denne serien forklarer hvordan vi nærmet oss disse begrensningene i GOAT BitVM2-designet, én bit om gangen. Kommer i del to: de praktiske hindringene for å implementere en produksjonsklar zkRollup på Bitcoin.