Onnettoman polun suunnittelu: BitVM2-arkkitehtuurin ymmärtäminen Osa yksi: Turvallisuus elää kiistapolulla Bitcoin L2 elää tai kuolee onnettomalla tiellä. Bitcoinissa et saa "aja varmennusohjelma ketjussa ja jatka eteenpäin". Saat rajoitetun suoritusympäristön, esiallekirjoitetut transaktiograafit ja aikalukitukset, jotka määrittelevät tarkalleen, milloin kukin osapuoli voi toimia. BitVM2 on optimistinen valvontamalli Bitcoinille: suoritetaan off-chain-toiminto ja tehdään oikeellisuudesta täytäntöönpantavaksi on-chain-kiistaprotokollan avulla, joka on rakennettu esiallekirjoitetuista tapahtumista. Tämä johtaa yksinkertaiseen insinöörisääntöön: Jos riidat ovat kalliita tai voivat pysähtyä maksullisesti, tietoturvamalli ei yksinkertaisesti toimi. BitVM-pohjaiset järjestelmät toimivat siten, että operaattorit voivat suorittaa off-chain-toimintoja, jolloin kuka tahansa voi haastaa on-chainin ja pakottaa protokollan riitapolulle 1-of-n rehellisyyden olettamalla (vähintään yksi rehellinen haastaja validiteetista; vähintään yksi rehellinen operaattori elävyyden vuoksi). Tämä kiistapolku on mekanismi. Ennakkoon allekirjoitetut tapahtumat ja kertaluonteiset allekirjoitukset (haasteikkunat, vastausmääräajat, viimeistely) ovat sillan ja sen poistumisten "ajoaikaa". Joten kun puhumme BitVM2:n rakentamisesta, pohjoistähti ei ole markkinointitermit kuten "trustless". Pohjantähti on: • riitoja, jotka ovat tarpeeksi halpoja ratkaistaviksi, • ketjukonteksti, joka on tarpeeksi objektiivinen estämään "todista väärä tila" -poistumiset • transaktiovirrat, jotka etenevät todellisissa maksuolosuhteissa. Tämä sarja purkaa, miten lähestyimme näitä rajoitteita GOAT BitVM2:n suunnittelussa, yksi pala kerrallaan. Seuraavaksi osassa kaksi: käytännön esteet tuotantovalmiin zkRollupin käyttöönotolle Bitcoinissa.