Kluczowe punkty
Lagrange to platforma zdecentralizowanej infrastruktury składająca się z trzech głównych części: sieci ZK Prover, ZK-koprocesora i DeepProve, biblioteki zkML.
Projekt pozwala programistom przeprowadzać skomplikowane obliczenia poza blockchainem i udowadniać prawdziwość wyników za pomocą dowodów z zerowym ujawnieniem (ZKP).
Z pomocą Lagrange można weryfikować dane historyczne, wykonywać obliczenia poza blockchainem i bezpiecznie przesyłać informacje między sieciami.
Wprowadzenie
Wyobraź sobie, że chcesz obliczyć średnią cenę ETH na kilku blockchainach. To nie jest proste zadanie, szczególnie jeśli nie chcesz korzystać z orakli lub płacić wysokich opłat za dostęp do danych historycznych.
Lagrange upraszcza proces, przenosząc złożone obliczenia poza blockchain, generując dowody z zerowym ujawnieniem (ZKP) i weryfikując wyniki na blockchainie. W ten sposób można wykonywać obliczenia, przenosić i potwierdzać dane na różnych blockchainach bardziej bezpiecznie i efektywnie.
Czym jest Lagrange
Lagrange — to projekt infrastruktury kryptowalutowej, składający się z trzech głównych produktów: sieci ZK Prover, ZK-soprocesora i DeepProve, biblioteki zkML.
Sieć ZK Prover
Prover od Lagrange — to zdecentralizowana sieć operatorów, zdolna do generowania ZKP na żądanie. Jeśli zdecentralizowane aplikacje (DApp) muszą udowodnić poprawność obliczeń, po prostu wysyłają zapytanie do Lagrange.
Sieć Prover wykonuje złożone obliczenia matematyczne poza blockchainem i zwraca kompaktowy dowód, który mogą zweryfikować inteligentne kontrakty. DApp nie musi ponownie przeprowadzać obliczeń na blockchainie ani angażować strony trzeciej do weryfikacji.
W przeciwieństwie do tradycyjnych schematów, w których używany jest jeden koordynator (co może stać się wąskim gardłem), Lagrange dzieli swoją sieć na niezależne podsieci. Oznacza to, że wiele blockchainów, rollupów lub aplikacji może jednocześnie korzystać z platformy, a sama sieć skalowalnie dostosowuje się do rosnącego obciążenia.
ZK-soprocesor
ZK-soprocesor pozwala na zapytania o dane z blockchaina, nie wymagając zaufania. Deweloperzy mogą pisać zapytania SQL, aby wydobywać dane z magazynu inteligentnych kontraktów w tysiącach bloków, wykonywać obliczenia (na przykład średnią lub sumę) i uzyskiwać ZK-dowód. Ten dowód można następnie bezpośrednio wbudować w inteligentny kontrakt i zweryfikować.
Ta funkcja działa w różnych sieciach blockchainowych, co pozwala na zapytania o dane z sieci drugiego poziomu, na przykład Base, i weryfikację wyniku na Ethereum, nie używając mostu. Teraz deweloperzy mają jeszcze jedną opcję zapytania danych blockchaina — oprócz budowania własnych indeksatorów, pisania złożonej logiki lub korzystania z scentralizowanych API.
zkML DeepProve
DeepProve — to system zkML od Lagrange, który pozwala deweloperom udowadniać, że ich modele sztucznej inteligencji (AI) działają poprawnie, nie ujawniając samego modelu i jego danych wejściowych. Tworzy ZKP dla wniosków podejmowanych przez AI, co pozwala każdemu upewnić się, że prognoza została uzyskana za pomocą właściwego modelu i nie została zmieniona. To czyni AI bardziej przejrzystym i wiarygodnym.
Jak działa Lagrange
Sieć Prover
Sieć Prover działa na bazie EigenLayer i jest wspierana przez ponad 85 operatorów AVS instytucjonalnego poziomu. Ci operatorzy uruchamiają uproszczony program (worker binary), który śledzi nadchodzące zadania. Kiedy deweloper potrzebuje dowodu, sieć wysyła zadanie, a wyznaczeni operatorzy wykonują obliczenia poza blockchainem, zanim zwrócą ZKP.
Dla operatorów ważne jest, aby być rzetelnym: jeśli nie wykonają zadań poprawnie i na czas, ryzykują utratę części swoich środków w stakowaniu. Sieć Prover wspiera różne systemy weryfikacji, takie jak Plonky2 i Plonky3, a w przyszłości także inne, w zależności od potrzeb.
DARA (Podwójna Aukcja Alokacji Zasobów)
DARA — to systema rozdzielania zasobów Lagrange, która zapewnia działanie sieci Prover. System łączy deweloperów, którzy potrzebują obliczeń, z operatorami gotowymi je wykonać. Oto jak to działa:
Deweloper określa, jaki zakres obliczeń jest potrzebny i ile jest gotów za nie zapłacić.
Operator informuje, jaką moc może zaoferować, a także swoje koszty.
DARA automatycznie łączy obie strony, gwarantując, że deweloperzy nie przepłacają, a operatorzy otrzymują sprawiedliwe wynagrodzenie.
System został zaprojektowany w celu zapewnienia efektywności i sprawiedliwości: opłata jest pobierana tylko w przypadku możliwości wykonania całego zakresu pracy. Jeśli sieć nie może w pełni przetworzyć zapytania, nie zostanie ono zrealizowane. Zachęcając do uczciwych przetargów i eliminując częściowe lub sfałszowane wyniki, DARA pomaga w ustaleniu działania rynku.