Autor: Nairolf, badacz szyfrowania Tłumaczenie: Golden Finance xiaozou;
Co to jest Lagrange ZK Prover? W tym artykule wyjaśniono to w bardzo prosty sposób, dzięki czemu można to zrozumieć na pierwszy rzut oka.
Lagrange’s Prover Network to pierwsza w branży kryptowalut gotowa do produkcji sieć ZK Prover. ZK Prover to komponent odpowiedzialny za tworzenie dowodów obliczeniowych. Wszyscy powinniście już wiedzieć, czym jest dowód ZK. Każda aplikacja ZK wymaga wygenerowania dowodu obliczeniowego.
„Kto generuje dowody obliczeniowe?”
Odpowiedzią jest Prover, program specjalnie zaprojektowany do tworzenia proofów ZK. Możesz myśleć o dowodzie jako o piekarzu specjalizującym się w robieniu ciasta truskawkowego. Jeśli chodzi o dowód, generuje on specjalnie dowody ZK.
„Powiedziałeś, że sieć dowodowa.”
Całkowicie poprawne. Lagrange zapewnia zdecentralizowaną sieć sprawdzającą lub grupę sprawdzającą zawierającą wiele sprawdzających, jeśli chcesz to tak nazwać. Każda aplikacja może wykorzystywać sieć dowodową do generowania dowodów. Aby to osiągnąć, Lagrange wykorzystuje ponowne obstawianie i bramy EigenLayer.
„Poczekaj chwilę…”
Dzięki EigenLayer sieć Lagrange ZK Prover będzie miała ten sam poziom bezpieczeństwa co Ethereum. Mówiąc najprościej, każdy, kto chce wygenerować dowód, musi zobowiązać się do zrobienia tego poprawnie i szybko, w przeciwnym razie straci część postawionego ETH.
– Więc są dowodami?
Całkowicie poprawne. Prover generujący dowód jest operatorem EigenLayer. Generują dowód umożliwiający zdobycie nagród i przekazują pieniądze, aby zagwarantować, że poprawnie wykonają zadanie. Wcale nie jest to trudne.
„Więc czym jest brama?”
Możesz myśleć o bramce jako o menedżerze w McDonald's. Przyjmują zamówienia klientów i przekazują je do kuchni. Podobnie bramka odbiera żądania wygenerowania dowodów, organizuje je w zadania i rozdziela do sprawdzających.
– A potem co?
Gdy zamówienie jest już gotowe, menadżer dostarcza je i odbiera pieniądze klienta. Podobnie w przypadku ZK Prover, po wygenerowaniu dowodu, jest on odsyłany do żądającej aplikacji, a następnie Prover pobiera opłatę.
„Kto tego używa?”
Pierwszą bramką, pierwszym konsumentem sieci dowódowej ZK, będzie koprocesor ZK firmy Lagrange.
Podsumowanie: Sieć Lagrange ZK Prover została zaprojektowana w celu bezpiecznego generowania proofów ZK dla aplikacji. Żądanie zaświadczenia obsługiwane jest przez bramkę, która prosi Provera – operatora EigenLayer – o wygenerowanie zaświadczenia.