1dzień temu
1/ Istnieje niezliczona ilość projektów ZK – Zcash, Polygon, StarkNet – każdy z własnym językiem frontendowym, systemem dowodów backendowych lub aplikacją.
Ale wszystkie mają jedną wspólną warstwę:
Frontend → Obwód algebraiczny (IR) → Backend
Reprezentacja pośrednia (IR) lub obwód algebraiczny to wspólny wątek.
Minimalizacja IR może być kluczowa w osiągnięciu dowodów ZK w czasie rzeczywistym, nie dla pojedynczej aplikacji, ale w całym ekosystemie ZK.
3/ Ponieważ pisanie zoptymalizowanego IR jest trudne.
Rozszerzanie ograniczeń może prowadzić do eksplozji pamięci, a projektowanie IR w ZK to wciąż młoda dziedzina, w przeciwieństwie do tradycyjnej matematyki czy teorii kompilacji, które mają dziesięciolecia pracy nad optymalizacją.
Wierzymy, że mapując sprawdzone pomysły z algebry i innych dziedzin matematycznych do obszaru ZK, możemy odblokować nową falę efektywności.
4,64 tys.
75
Treści na tej stronie są dostarczane przez strony trzecie. O ile nie zaznaczono inaczej, OKX nie jest autorem cytowanych artykułów i nie rości sobie żadnych praw autorskich do tych materiałów. Treść jest dostarczana wyłącznie w celach informacyjnych i nie reprezentuje poglądów OKX. Nie mają one na celu jakiejkolwiek rekomendacji i nie powinny być traktowane jako porada inwestycyjna lub zachęta do zakupu lub sprzedaży aktywów cyfrowych. Treści, w zakresie w jakim jest wykorzystywana generatywna sztuczna inteligencja do dostarczania podsumowań lub innych informacji, mogą być niedokładne lub niespójne. Przeczytaj podlinkowany artykuł, aby uzyskać więcej szczegółów i informacji. OKX nie ponosi odpowiedzialności za treści hostowane na stronach osób trzecich. Posiadanie aktywów cyfrowych, w tym stablecoinów i NFT, wiąże się z wysokim stopniem ryzyka i może podlegać znacznym wahaniom. Musisz dokładnie rozważyć, czy handel lub posiadanie aktywów cyfrowych jest dla Ciebie odpowiednie w świetle Twojej sytuacji finansowej.