Este timpul să prevenim hack-urile înainte ca acestea să se întâmple. V1 al stratului credibil este aici. Testarea beta începe acum. Lucrăm la asta de mult timp și suntem foarte optimiști cu privire la impactul pe care îl poate avea. Iată cum funcționează. Stratul credibil are patru componente: > Afirmații: Reguli de securitate scrise în Solidity care definesc stări care nu ar trebui să apară niciodată (de exemplu, "adresa de implementare nu ar trebui să se schimbe", "prețul nu ar trebui să devieze mai mult de x% într-o singură tranzacție"). > Protocoale: Echipele definesc aserțiuni pentru contractele lor și le înregistrează în lanț. > Block Builders/Sequencers: Infrastructura de rețea validează fiecare tranzacție în raport cu aserțiunile înainte de includerea blocurilor, renunțând la oricare care ar încălca regulile de securitate. > Tablou de bord de transparență: Arată ce protocoale sunt protejate și cum. Iată o defalcare a fluxului de tranzacții pentru a vă oferi o idee despre cum funcționează în sălbăticie: > Utilizatorul trimite tranzacția în rețea > Tranzacția intră în mempool > OP-Talos primește tranzacția pentru o potențială includere > OP-Talos face referire la afirmații legate de contractele cu care interacționează tranzacția > PhEVM simulează executarea tranzacției și creează instantanee pre/post-tranzacție > Toate afirmațiile relevante sunt executate împotriva acestor state > Dacă orice aserțiune revine → tranzacție marcată ca nevalidă și eliminată > Dacă toate aserțiunile trec → tranzacție inclusă în bloc Dacă o tranzacție ar duce la un hack și contractul este protejat de Credible Layer, tranzacția este abandonată. Dacă contractul nu este protejat, tranzacția este inclusă. Sistemele care fac posibile cele de mai sus: > OP-Talos: Generator de blocuri personalizat pentru OP Stack rollup-uri care orchestrează procesul de validare și construiește blocuri care exclud tranzacțiile care încalcă aserțiunile. > PhEVM (brațul de aplicare al OP-Talos): Execută bytecode de aserțiune într-un mediu izolat în afara lanțului, cu precompilări speciale pentru acces eficient la stat. > Aserțiune DA: Stochează codul sursă și codul de octeți, furnizează codul de aserțiune constructorilor de blocuri. > Credible Layer Protocol: Contract inteligent care gestionează registrul on-chain al aserțiunilor, mapând aserțiunile la contractele protejate. Acest lucru permite următoarele pentru dapp-ul dvs.: • Previne hack-urile, nu le detectează: Oprește atacurile înainte de execuție • Fără rezultate fals pozitive: blochează numai tranzacțiile care încalcă în mod explicit regulile definite • Ușor de dezvoltat: Afirmații scrise în Solidity • Neinvaziv: Nu sunt necesare modificări ale contractului existent • Performanță ridicată: procesează 1.500+ tranzacții în mai puțin de 50 ms • Transparent: toate afirmațiile sunt vizibile în lanț Este disponibil pentru ca dezvoltatorii să îl testeze astăzi. Poţi: > implementați contracte > scrie afirmații > testele de scriere > testați dacă o tranzacție de hack vă sparge afirmațiile Dacă sunteți interesat, contactați-ne. Deocamdată includem accesul pe lista albă. Securitatea se schimbă. (Anunț mare în curând).
4,04K