Onnettoman polun suunnittelu: BitVM2-arkkitehtuurin ymmärtäminen Osa kolme: Kanoninen tila vaatii ketjukontekstin BitVM2:n peg-out-todistus on vain niin hyvä kuin se todistaa sen tilan. Jos operaattori voi valita julkiset syötteet riidan aikana, hän voi luoda pätevän todisteen väärän/haarautuneen L2-historian päälle ja silti yrittää poistua. Kryptografia pitää paikkansa; Konteksti on väärä. GOAT Networkin ratkaisu on ankkuroida, mikä L2-historia on kanoninen, sitomalla aktiivisen sekvensserin Bitcoinille. Miten se toimii (käsitteellisesti): • L2 pyörittää hajautettua sekvensseriverkkoa, ja sekvenssien julkiset avaimet (tai sitoutuminen niihin) on ankkuroitu Bitcoiniin. • Sekvensserisarjan päivitykset suoritetaan esiallekirjoitetun transaktiovirran kautta, jossa päivitys on voimassa vain, jos se hyväksytään riittävällä kynnysarvolla (esim. 2/3) nykyisestä joukosta. • Päivitysprosessi sitoutuu seuraavan kierroksen sekvensserisarjan hash-arvoon Bitcoinille (mukaan lukien OP_RETURN sitoumus helpompaa varmennusta varten). Sitten peg-out-verifikaation aikana järjestelmä ei "luota operaattorin viimeisimpään tilaan". Se pakottaa operaattorin todistamaan, että: • asiaankuuluvat sekvensserijoukon päivitystapahtumat vahvistetaan pisimpään pätevässä Bitcoin-ketjussa (ketjukonteksti), ja • viitattava L2-tila johdetaan tuohon viimeisimpään sitoutuneeseen sekvensserijoukkoon (kanonisuus), ja • asset burn sisältyy tähän kanoniseen L2-tilaan. 'Vartiotornit' ovat olemassa nimenomaan toimittamaan ja todistamaan haasteissa käytetyn Bitcoin-ketjun kontekstin (pisimmän ketjun otsikot/todisteet), joten kiistat voivat sitoa "viimeisimmän" Bitcoinin todellisuuteen, eivätkä operaattorin valintaan. Lopputulos: operaattori ei voi turvallisesti poistua käyttämällä todistetta yksityisen haaran kautta, koska todistuksen täytyy olla yhdenmukainen Bitcoiniin perustuvan sekvensserisarjan historian kanssa. Seuraavaksi: käyttäjän mielivaltaiset nostot – käyttäjän "nosta x BTC" -virta erotetaan operaattorin korvaustodistuskulusta.