De ce verificabilitatea nu este opțională pentru economia robotizată
Acum, pentru a doua ta întrebare, care este mai profundă, cât de importantă este calculul verificabil pentru roboți.
Imaginează-ți o economie robotizată în care roboții își raportează propriul lucru și noi avem încredere în aceste rapoarte. Aceasta nu este o ipoteză
Este starea actuală a celor mai multe sisteme autonome. Roboții spun că au finalizat sarcini, noi îi credem, facturile sunt plătite.
Aceasta se destramă în momentul în care stimulentele se diverge.
Un robot de livrare ar putea susține că a încercat livrarea, dar nimeni nu a răspuns—încărcându-și taxa de călătorie în timp ce de fapt stătea în așteptare la trei străzi distanță.
Un robot de fabricare ar putea să nu execute complet verificările de calitate, economisind timp de ciclu în timp ce produce piese defecte.
O dronă de supraveghere ar putea sări peste jumătate din ruta sa de patrulare, raportând o acoperire pe care nu a oferit-o niciodată. Acestea nu sunt scenarii malițioase, ci răspunsuri raționale la stimulentele nealiniate.
Cum Fabric scalabilizează adevărul și datele de dezvoltare viitoare
Pentru a menține sustenabilitatea economică pe măsură ce rețeaua crește, Fabric se bazează probabil pe trei piloni arhitecturali pentru a menține costurile de la spirala:
1. Agregarea dovadelor recursive: În loc să verifice acțiunea fiecărui robot individual pe lanț, mii de mici dovezi sunt "împăturite" într-o singură dovadă. Pe măsură ce scala crește, costul pe robot scade de fapt pentru că costul fix al verificării finale este împărțit între mai mulți participanți.
2. Dovezi accelerate hardware: Așa cum GPU-urile au revoluționat AI-ul, ZK-ASIC-urile sunt dezvoltate pentru a genera dovezi criptografice la o fracțiune din costul actual al energiei. "Taxa de verificare" devine o marfă.
3. Verificare probabilistică sau optimistă: Nu fiecare sarcină necesită o dovadă criptografică completă. Pentru sarcinile cu mize mici, sistemul poate folosi o abordare optimistă, presupunând că rezultatul este corect, cu excepția cazului în care un contestatar furnizează o dovadă de fraudă, reducând drastic costul de calcul de bază.
Nu pot vedea dacă arhitectura Fabric Foundation poate menține costuri de verificare suficient de scăzute pe măsură ce scala crește, făcând-o sustenabilă din punct de vedere economic.