Studiu de verificare a integrității privind rezultatele inferenței AI off-chain prin sharding hibrid și consens blockchain @inference_labs, @nesaorg, @miranetwork Pe măsură ce modelele de inteligență artificială la scară largă sunt folosite în diverse medii, devine din ce în ce mai comun să existe structuri în care operațiunile reale de inferență sunt efectuate în afara blockchain-ului, iar doar rezultatele sunt verificate. Cea mai importantă provocare în acest proces este cum să demonstrăm în mod fiabil că rezultatele inferențelor AI generate off-chain nu au fost manipulate și au trecut printr-un proces consistent pentru aceeași intrare. Structura care a apărut pentru a rezolva aceste probleme este Verificable Hybrid-Sharded Inference Protocol, sau VH-SIP, care urmărește să verifice sistematic integritatea inferenței off-chain prin combinarea elementelor verificate în rețelele AI distribuite existente și mecanismele de consens blockchain. Punctul de plecare al VH-SIP este stratul de execuție de inferență. La acest nivel, premisa implicită este rularea unor sarcini containerizate, așa cum este folosit în modelul Infernet al Ritual. Mii de noduri cu caracteristici hardware diferite sunt configurate să ruleze același model, iar determinismul operațiunii este menținut printr-un seed de număr aleator fix utilizat în opML-ul ORA și în sistemul operator reproductibil al Gensyn, RepOps. Cadrul de fragmentare hibridă al NESA este aplicat acestui proces, care împarte modelele lingvistice mari în blocuri și efectuează inferențe în intervalul pe care fiecare nod îl poate gestiona prin cuantificare dinamică bloc cu bloc. Fiecare nod de execuție generează o primire de dovadă, incluzând valoarea de commit pentru intrare, hash-ul de ieșire și metricile de resurse folosite, care sunt compatibile cu formatul protocolului Relay al Gensyn și transmise în etapa ulterioară de verificare. Rezultatul acestei inferențe merge direct la stratul de fragmentare. Nucleul stratului de fragmentare este alocarea fragmentelor bazată pe VRF. Această structură se bazează pe mecanismul de sharding VRF discutat în Ethereum Research și elimină predictibilitatea folosind mai multe ieșiri VRF anterioare ca intrări pentru a determina următoarea alocare a fragmentului. Structura VRF bazată pe BLS, implementată în Harmony, este concepută pentru a face dificilă pentru anumiți participanți influențarea rezultatelor, iar funcționarea continuă a rețelei este garantată sub presupunerea că nodurile oneste reprezintă majoritatea. În cadrul fragmentului, unitatea de lucru este împărțită folosind tehnica de fragmentare independentă de model a NESA, iar validatorii sunt, de asemenea, formați într-un comitet de verificare separat prin aplicarea principiului de fragmentare a codului PolyShard. Metoda de relocare bazată pe predicția sarcinii de lucru propusă în protocolul PSAP este responsabilă pentru coordonarea sarcinii dintre fragmente. Verificarea și consensul formează inima VH-SIP. În acest strat, se aplică o strategie hibridă de verificare, nu o abordare universală. Pentru inferențe cu debit ridicat și risc relativ scăzut, un număr mic de validatori sunt selectați aleatoriu pentru a efectua verificarea stocastică a eșantionării. Pe de altă parte, pentru rezultate cu mare valoare economică sau potențial ridicat de dispute, se efectuează verificarea deterministă în care întregul comitet rerulează același calcul. Dacă cele două rezultate intră în conflict, metoda delegării intervențiilor și jocul de căutare dicotomică studiat în Gensyn sunt aplicate pentru a restrânge treptat punctul în care a apărut eroarea. Acest proces se bazează pe conceptul ORA de verificare optimistă, care practic presupune legitimitatea rezultatelor, dar când este ridicată o provocare, un proces interactiv de soluționare a disputelor este inițiat on-chain. Operațiunile în virgulă fixă și sistemele operatorilor reproductibile joacă un rol în minimizarea abaterii în virgulă mobilă cauzate de diferențele hardware. Stratul economic de stimulente este baza pentru ca această structură de verificare să funcționeze realist. Slashing apare atunci când participanții pun anumite garanții și trimit rezultate clar greșite, prezintă rezultate contradictorii în același timp sau ascund rezultate în timpul procesului de verificare sau prezintă dovezi TEE neverificabile. Aceste condiții urmează metoda de verificare Verde și principiul ancorării on-chain. La fel ca modelul adoptat de Bittensor, este conceput să mențină securitatea întregii rețele chiar dacă există până la jumătate din miza malițioasă, iar durata de viață economică este prelungită prin mecanismul de recirculare a tokenului. Ierarhia de coordonare și agregare este responsabilă pentru gruparea rezultatelor generate de mai multe fragmente într-o singură stare coerentă. Acest strat valorifică angajamentele KZG pentru a verifica eficient integritatea datelor cross-shard și asigură că costurile de verificare nu cresc liniar prin codarea PolyShard. Protocolul RSTBP este folosit pentru a procesa atomic multiple intrări și ieșiri, iar rezultatele verificării stocastice sunt agregate conform regulii majorității. Învățarea prin întărire prin constrângeri de siguranță propusă în cadrul PSAP ajustează alocarea resurselor, dar procesul de validare în sine se bazează pe reproducerea acelorași rezultate bazate pe operații deterministe de învățare automată. Această structură dezvăluie, de asemenea, clar cum să răspunzi la diverse scenarii de atac. Situația în care anumite fragmente sunt dominate este atenuată de rotația fragmentelor bazată pe VRF și structura ponderată în stake, iar falsele pozitive cauzate de operații nedeterministe sunt gestionate prin operații de punct fix și setări statistice ale intervalelor de toleranță. Atacurile de coluziune sunt suprimate prin reduceri și structuri economice de costuri, iar dacă calitatea modelului este degradată în mod discret, aceasta este detectată prin verificarea distribuției bazată pe consens. Conceptele Gensyn despre operatori reproductibili, hashing local sensibil și benzi de toleranță sunt tehnicile de validare folosite în acest proces. În concluzie, VH-SIP propune o arhitectură care combină elemente verificate de AI distribuită existentă și sisteme de verificare precum Nesa, Gensyn, ORA și Bittensor și verifică integral rezultatele inferenței AI realizate off-chain în cadrul unei structuri de consens blockchain. Sharding-ul hibrid distribuie eficient calculul și verificarea, în timp ce consensul bazat pe VRF și verificarea optimistă găsesc un echilibru între scalabilitate și securitate. Această structură poate fi înțeleasă ca un caz concludent care răspunde nevoilor realiste ale inferenței AI off-chain, asigurând în același timp verificabilitatea și responsabilitatea economică. $NESA $MIRA