Combinație structurală între mediul de execuție paralelă bazat pe limbajul Move și modelul de securitate multi-chain staking @Aptos, @helios_layer1, @alignedlayer Încercările de a asigura puterea de procesare și securitatea în același timp în sistemele blockchain au avut loc de mult timp, iar în ultimii ani, tehnologia de execuție paralelă și modelele de securitate bazate pe multi-chain au fost treptat combinate prin etape independente de dezvoltare. În acest flux, limbajul Move, motorul de execuție paralelă Block-STM și Aptos, Helios și Aligned Layer, care sunt responsabile pentru staking multi-chain și verificarea restaking-ului, împart roluri în straturi diferite pentru a forma o structură coerentă. Execuția paralelă este o tehnică de procesare a mai multor tranzacții în același interval de timp și, în mod inerent, face verificarea securității dificilă deoarece pot apărea simultan mai multe schimbări de stare. Pentru a rezolva această problemă, Block-STM efectuează execuția paralelă pe baza unei comenzi de tranzacții prefixate, iar dacă apare un conflict în timpul execuției, se asigură că rezultatul este același cu execuția secvențială prin întreruperi și încercări. Această metodă se caracterizează prin faptul că procesul de execuție este paralel, dar starea finală este întotdeauna deterministă și permite tuturor validatorilor să ajungă la același rezultat. Această hotărâre este o condiție importantă deoarece permite verificarea și urmărirea responsabilității într-o etapă ulterioară. Limbajul Move oferă siguranță la nivel de limbaj în acest mediu de execuție paralelă. Sistemul liniar de tipuri al Move nu permite duplicarea sau distrugerea arbitrară a resurselor, cum ar fi activele, ceea ce blochează structural riscul de cheltuieli duble sau nepotriviri de stare care pot apărea în timpul execuției paralele. Controlul accesului bazat pe module și un model clar de proprietate clarifică cine a schimbat ce stat, astfel încât cei responsabili să poată fi identificați atunci când apare o execuție greșită. În plus, bytecode-ul Move este conceput să fie verificabil înainte de execuție, astfel încât poți verifica că tranziția de stare a urmat regulile chiar dacă nu reproduci întreaga execuție. Aptos se bazează pe aceste limbaje Move și pe motorul de execuție Block-STM pentru a asigura consensul single-chain și acuratețea execuției. Aici, staking-ul servește ca un mijloc de a trage la răspundere economică participanții prin consensul rețelei, aplicând slashing pentru încălcări clare, cum ar fi dublarea semnării sau compromisul disponibilității. Aceasta servește ca o garanție internă că execuția paralelă este realizată corect. Helios extinde acest domeniu pentru a aborda verificarea stării și interoperabilitatea în medii multi-lanț. Modelul bazat pe staking și reputație, numit I-PoSR, evaluează cumulativ credibilitatea participanților care efectuează sarcini de validare pe mai multe lanțuri. Erorile sau perioadele de nefuncționare pe un anumit lanț nu se termină într-un singur eveniment, ci se reflectă în scorul de reputație, care afectează drepturile de verificare și recompensele pe termen lung. Prin aceasta, Helios exclude treptat participanții care provoacă erori repetate în procesul de transfer de date și verificare a stării între lanțuri. Aligned Layer este responsabil pentru securitatea multi-lanț la un alt nivel. Acest strat valorifică restaking-ul prin EigenLayer pentru a asigura economic rezultatele demonstrațiilor și verificărilor generate în mai multe medii de execuție. Verifică corect rezultatele execuției prin proceduri ușoare de eșantionare a clienților și dispute și aplică slashing la activele stagged dacă sunt identificate erori de validare sau eșecuri de disponibilitate. Punctul important aici este că, datorită rezultatelor deterministe de execuție oferite de Block-STM, Aligned poate verifica consistența rezultatelor fără a fi nevoie să reproducă toate procesele interne ale execuției paralele. Combinarea acestor trei straturi creează, de asemenea, o structură în care o singură eroare de execuție poate afecta simultan mai multe sisteme de securitate. Dacă același validator participă la consensul Aptos, la verificarea cross-chain a Helios și la verificarea probelor de către Aligned, erorile de execuție paralele pot duce la un lanț de tăiere în lanț, declin al reputației și pierderea activelor re-stakate. Acest lucru arată că riscurile nu sunt independente unele de altele într-un mediu multi-chain de staking, dezvăluind totodată posibilitatea unui control sistemic în sensul că responsabilitățile sunt clar urmărite. Ca urmare, siguranța resurselor a limbajului Move și execuția paralelă deterministă a Block-STM oferă baza tehnică pentru funcționarea unui model de securitate bazat pe staking-ul cu mai multe lanțuri. Aptos asigură acuratețea execuției pe un singur lanț, Helios gestionează fiabilitatea verificării stării cross-chain, iar Aligned Layer face ca toate aceste rezultate de execuție să fie verificabile economic. Această structură poate fi considerată un exemplu al modului în care execuția paralelă și securitatea multi-lanț nu sunt concepte separate, ci sunt strâns legate prin determinismul și verificabilitatea execuției. $APT