Inginerie: Calea nefericită: Înțelegerea arhitecturii BitVM2 Partea întâi: Securitatea trăiește pe calea disputelor Un Bitcoin L2 trăiește sau moare pe drumul său nefericit. Pe Bitcoin, nu primești "rulează verificatorul on-chain și mergi mai departe". Primești un mediu de execuție restricționat, grafice de tranzacții pre-semnate și timelock-uri care definesc exact când fiecare parte poate acționa. BitVM2 este un tipar optimist de aplicare pentru Bitcoin: execută off-chain, apoi face corectitudinea aplicabilă printr-un protocol de dispută on-chain construit din tranzacții pre-semnate. Aceasta duce la o regulă simplă de inginerie: dacă disputele sunt costisitoare sau pot fi amânate de taxe, modelul de securitate pur și simplu nu funcționează. Sistemele bazate pe BitVM funcționează permițând operatorilor să execute off-chain, apoi oferind oricui posibilitatea de a contesta on-chain și de a forța protocolul pe o cale de dispută sub o presupunere de onestitate de 1 din n (cel puțin un challenger onest pentru validitate; cel puțin un operator honest pentru liveness). Această cale de dispută este mecanismul. Tranzacțiile pre-semnate și semnăturile unică (ferestre de provocare, termene limită de răspuns, finalizare) reprezintă "timpul de rulare" al podului și al ieșirilor sale. Așadar, când vorbim despre construirea pe BitVM2, steaua polară nu înseamnă termeni de marketing precum "fără încredere". Steaua polară este: • litigii suficient de ieftine pentru a fi executate, • context în lanț suficient de obiectiv pentru a preveni ieșirile "dovedește starea greșită" • fluxuri de tranzacții care continuă să progreseze în condiții reale de comisioane. Această serie detaliază modul în care am abordat aceste constrângeri în designul GOAT BitVM2, bucată cu piesă. Urmează în Partea a Doua: obstacolele practice în implementarea unui zkRollup gata de producție pe Bitcoin.