#LagrangeLA #LagrangeLA $LA #LagrangeCrash

DeepProve

Ramka uczenia maszynowego z zerową wiedzą Lagrange’a (zkML) umożliwia programistom kryptograficzne udowodnienie poprawności wniosków modeli AI bez ujawniania podstawowych parametrów modelu czy danych. Może to być wykorzystywane przez projekty do ochrony ich własnych danych, jednocześnie dowodząc autentyczności wyników.

Dzięki wykorzystaniu zaawansowanych technik kryptograficznych, DeepProve osiąga czasy dowodzenia, które są znacznie szybsze niż w poprzednich rozwiązaniach zkML. Na przykład, może udowodnić wniosek z sieci neuronowej do 158 razy szybciej niż wiodące alternatywy.

ZK Koprocesor

Lagrange wprowadził koprocesor ZK oparty na SQL, który jest zaprojektowany do wykonywania złożonych obliczeń poza łańcuchem na danych i weryfikacji wyników w łańcuchu za pomocą dowodów kryptograficznych. Aby osiągnąć ten cel, dane blockchainowe są przekształcane w format przyjazny ZK. Dowodzący wykorzystują te dane do wykonywania intensywnych obliczeń poza łańcuchem i generowania dowodów ZK, które potwierdzają poprawność obliczeń. Dowody te są następnie przesyłane do smart kontraktów w łańcuchu, co umożliwia weryfikację bez zaufania bez ujawniania podstawowych danych.

Komitety Stanów Lagrange’a

Oprócz tych trzech komponentów, Lagrange wprowadził również Komitety Stanów Lagrange’a, zdecentralizowaną sieć, która działa jako protokół ZK lekkiego klienta dla optymistycznych rollupów, takich jak Arbitrum, Optimism i Mantle Network. Każdy komitet składa się z węzłów, które ponownie stakowały co najmniej 32 ETH za pośrednictwem EigenLayer. Te węzły monitorują aktywność rollupów i potwierdzają ostateczność bloków. Ich zbiorowe podpisy są agregowane w zwięzłe dowody ZK, które aplikacje mogą wykorzystać do weryfikacji stanów rollupów bez oczekiwania na długie okresy wyzwań.