Cieszymy się, że Lagrange buduje w środowisku Lattice SDK @anduriltech, aby dostarczyć AI w czasie rzeczywistym, które można zweryfikować dla procesów obronnych. To ważny krok w zastosowaniu dowodów ZK w systemach AI o krytycznym znaczeniu dla misji w celu osiągnięcia przewagi kryptograficznej. Dowiedz się więcej🧵

2/ Lagrange zbudował i przetestował przypadek użycia DeepProve w środowisku Lattice, prezentując weryfikowalną AI dla obrony. Eksperymentujemy z wdrażaniem weryfikacji kryptograficznej w całym stosie obronnym dla: → Bezpieczeństwa → Operacji dronów autonomicznych → Komunikacji na polu bitwy i nie tylko

3/ Dlaczego udowodnienie AI w obronie, takiego jak Lattice firmy Anduril, ma znaczenie: → Systemy obronne zyskują weryfikowalne gwarancje, które zastępują zaufanie → Programiści mogą włączyć DeepProve do istniejących procesów roboczych → Misje wdrażają szybsze, bezpieczniejsze i bardziej odpowiedzialne AI w czasie rzeczywistym

4/ W miarę jak AI w obronie przechodzi od analizy do działania w czasie rzeczywistym, zaufanie do systemów automatycznych nie jest już wystarczające. DeepProve jest w stanie dostarczyć bezproblemowe gwarancje kryptograficzne, które w przeciwnym razie byłyby niemożliwe dla każdej decyzji AI w otwartych platformach obronnych, takich jak Lattice.