Autonomiczne agenty przechodzą od eksperymentów do infrastruktury. Cieszymy się, że możemy współpracować z @Kassai_ai, aby zbadać, jak weryfikacja kryptograficzna może zabezpieczyć zachowanie agentów. Chodzi o to, aby działania agentów były możliwe do udowodnienia, a nie tylko do wykonania: 🧵

2/ Kassai buduje rozproszoną sieć wnioskowania, która działa na krawędzi. Zamiast koncentrować obliczenia w scentralizowanych centrach danych, Kassai aktywuje uśpione GPU konsumenckie, aby stworzyć globalnie rozproszoną, niskolatencyjną warstwę wykonawczą dla systemów agentowych. Ten projekt priorytetowo traktuje odporność, efektywność kosztową i suwerenność.

3/ AI agentowy jest zasadniczo inny niż jednorazowe wnioskowanie. Agenci planują, wywołują narzędzia, uruchamiają modele, wymieniają wiadomości i wywołują efekty w systemach. Gdy te działania są nieprzejrzyste, porażki są niewidoczne, a odpowiedzialność znika.

4/ Lagrange adresuje tę lukę, dodając weryfikację w czasie wykonania. Używając DeepProve, działania agenta mogą emitować dowody zerowej wiedzy, które potwierdzają, że działanie było zgodne z autoryzowaną logiką i ważnymi danymi wejściowymi, bez ujawniania wewnętrznego rozumowania lub wrażliwych danych. Wynikiem jest dowód, a nie założenie.

5/ To tworzy weryfikowalny proces wykonania dla agentów działających w rozproszonej infrastrukturze: • Podejmowanie decyzji • Wywoływanie narzędzi • Wnioskowanie modelu • Aktualizacje stanu • Działania zewnętrzne Każdy krok może być niezależnie weryfikowany przez inne agenty, aplikacje lub logikę egzekwowania.

6/ W tym modelu zaufanie nie jest już pokładane w agencie ani w sprzęcie, na którym działa. Zaufanie pokładane jest w dowodach kryptograficznych, które potwierdzają prawidłowe zachowanie. Kassai zapewnia infrastrukturę wykonawczą. Lagrange zapewnia warstwę dowodową, która czyni tę egzekucję odpowiedzialną.

7/ W miarę jak systemy agentowe zaczynają koordynować działalność gospodarczą, zarządzanie i operacje w rzeczywistym świecie, weryfikacja staje się obowiązkowa. Autonomia na dużą skalę wymaga dowodu. To jest kierunek, w którym zmierzają Lagrange i Kassai.