A DAS London, JT Rose de Eigen Labs va argumentar que la propera etapa de Crypto no serà definida, sinó que “Verificable AI”-Sistemes agents dels quals es pot demostrar la feina fora de cadena.
Rose Cast Eigen’s Stack com a trio de serveis semblants al núvol (dades, càlcul, inferència) recolzada per la seguretat i les proves cripto-econòmiques, permetent als desenvolupadors mantenir la flexibilitat del núvol públic mentre afegeixen verificació abans que els fons es mouen o les actualitzacions estatals a Ethereum.
Segons Rose, tres casos d’ús prometedors, segons Rose:
- Agents comercials autònoms que han de demostrar que seguien les normes de risc;
- Pagaments agents a agents (A2A) on els rebuts de treball desencadenen la liquidació i;
- Jocs amb resultats acreditables.
“La limitació més important que veiem per als fundadors (intel·ligència artificial) durant la propera dècada és la confiança”, va dir Rose. “Sense un mecanisme per fer que l’AI es verifica i baixi la pila, des de la inferència i el punt de referència fins a la formació i la identitat, mai no arribarem a la velocitat d’escapament per a l’època agent.”
El fil comú és que la programabilitat compleix la provabilitat: “programabilitat com un núvol, assegurances com una blockchain”, tal com Rose la va emmarcar, una resposta a la compensació actual entre l’execució estretament restringida a la cadena i el càlcul opac fora de cadena.
David Sneider, cofundador de Lit Protocol, comparteix en gran mesura la destinació, centrada en les propietats que poden inculcar la confiança en agents de la IA, com ara “Polítiques i polítiques”, sinònims per promoure l’execució correcta.
“(AS) amb qualsevol cosa amb seguretat, hi ha diversos components en termes de diferents tipus d’atacs i la manera de protegir-se contra ells”, va dir Sneider a Blockworks, argumentant que l’aplicació de temps d’execució, no només les proves posteriors a les proves, és el que converteix els agents de Demos en infraestructures fiables.
En el disseny de Lit Protocol, Sneider va dir que un usuari podria dir a un agent: “Enviar un correu electrònic o comprar un bitcoin”, en aquest cas “es comunica amb LIT, que valida contra les polítiques … i només si la política passa, la xarxa de gestió secreta s’executa”. Per “Secret Management Network”, Sneider es refereix a la infraestructura clau basada en MPC, segura de Lit, basada en MPC.
En conjunt, Lit gestiona “l’agent actuar en nom meu?” pregunta. EigenCloud i Google AP2 gestionen “Puc confiar en el resultat d’aquesta computació ofchain?”
O, per simplificar la pila de confiança completa:
- Un agent pregunta: Estic permès fer això? (Encès)
- L’execució demostra: he fet el que he dit? (EigenCloud/AP2)
Rose va exposar una gamma d’alternatives sobre l’espectre de verificació, com ara tees, reducció criptoeconòmica i proves de ZK. LIT pot emetre senyals d’èxit/fracàs i proves d’ompliment de polítiques per a cada execució, però sovint es mantenen interns. El full de ruta consisteix a superar aquestes declaracions “en formes de presentació de la privadesa en registres compartits com ERC-8004 i protocols de comunicació entre agents com A2A”, de manera que un agent compatible no ha de ser re-auditat en tots els llocs.
Restaked Ether ha mantingut constant entre els 2-3 milions de ETH, principalment amb Eigenlayer ; Font: Blockworks Research (Etiquetes d’entitat provinents de Dune’s Taula de fluxos d’establiment.)
