Vitalik Buterin w swoim najnowszym artykule przedstawia nowe rozwiązanie dla wydajnego ZK-EVM
W skrócie
Vitalik Buterin opublikował na swoim blogu nowy artykuł zatytułowany „Exploring Circle STARKs”, przedstawiający nowe rozwiązanie dla wydajnego ZK-EVM.
Współzałożyciel Ethereum Vitalik Buterin opublikował na swoim blogu nowy artykuł zatytułowany „Exploring Circle STARKs”. W artykule podkreślono, że Starkware bez uprawnień zdecentralizowany pakiet ważności może przetworzyć 620,000 2 wartości skrótu Poseidon3 na sekundę na notebooku z chipem M2. Postęp ten sugeruje, że jeśli PoseidonXNUMX jest zaufany jako funkcja skrótu, wyzwaniem w opracowaniu wydajnej funkcji o wiedzy zerowej Ethereum Maszyna wirtualna (EVM) została rozwiązana.
W artykule wskazano, że okrągłe STARK-y wprowadzają minimalną dodatkową złożoność dla programistów w porównaniu do standardowych STARK-ów. Podstawowe różnice ograniczają się zasadniczo do trzech kluczowych kwestii przy ich wdrażaniu, w przeciwieństwie do zwykłego FRI.
Chociaż zasady matematyczne stojące za „wielomianami” używanymi w okręgu FRI są nieco sprzeczne z intuicją i ich pełne zrozumienie może wymagać czasu, ta złożoność jest w dużej mierze ukryta przed programistami. W artykule podkreślono, że zawiła natura zasad matematycznych koła jest raczej zamknięta niż usystematyzowana.
Tymczasem zrozumienie kołowych FRI i kołowych FFT może również służyć jako przydatne wprowadzenie do innych wyspecjalizowanych FFT. W szczególności obejmuje to FFT pola binarnego, które są używane w systemach takich jak Binius i LibSTARK, a także bardziej złożone konstrukcje, takie jak FFT krzywej eliptycznej. FFT na krzywych eliptycznych wykorzystują mapowania kilka do 1, które dobrze integrują się z operacjami na punktach na krzywych eliptycznych.
Vitalik Buterin przewiduje, że arytmetyka podstawowych elementów podstawowych będzie kluczowym postępem w optymalizacji STARK
Wreszcie, Vitalik Buterin sugeruje, że łączenie technik takich jak Mersenne31, BabyBear i metod pola binarnego, takich jak Binius, zbliża się do granicy wydajności „warstwy podstawowej” STARK. Przewiduje, że przyszły postęp w STARK optymalizacja skoncentruje się na optymalizacji arytmetyki podstawowych operacji podstawowych, takich jak funkcje skrótu i podpisy, oraz na ulepszaniu samych tych operacji, aby osiągnąć cel.
Ponadto nacisk zostanie położony na opracowywanie konstrukcji rekurencyjnych, aby umożliwić większą równoległość, arytmetyzowanie maszyn wirtualnych (VM) w celu zwiększenia komfortu programistów oraz wykonywanie innych zaawansowanych zadań.
Odpowiedzialność
Zgodnie z Zaufaj wytycznym projektu, należy pamiętać, że informacje zawarte na tej stronie nie mają na celu i nie powinny być interpretowane jako porady prawne, podatkowe, inwestycyjne, finansowe lub jakiekolwiek inne formy porad. Ważne jest, aby inwestować tylko tyle, na utratę czego możesz sobie pozwolić, a w przypadku jakichkolwiek wątpliwości zasięgnąć niezależnej porady finansowej. Aby uzyskać więcej informacji, sugerujemy zapoznać się z warunkami oraz stronami pomocy i wsparcia udostępnianymi przez wydawcę lub reklamodawcę. MetaversePost zobowiązuje się do sporządzania dokładnych i bezstronnych raportów, jednakże warunki rynkowe mogą ulec zmianie bez powiadomienia.
O autorze
Alisa, oddana dziennikarka w MPost, specjalizuje się w kryptowalutach, dowodach wiedzy zerowej, inwestycjach i ekspansywnej dziedzinie Web3. Ze szczególnym uwzględnieniem pojawiających się trendów i technologii zapewnia wszechstronne informacje, aby informować czytelników i angażować ich w stale zmieniający się krajobraz finansów cyfrowych.
Więcej artykułów
Alisa, oddana dziennikarka w MPost, specjalizuje się w kryptowalutach, dowodach wiedzy zerowej, inwestycjach i ekspansywnej dziedzinie Web3. Ze szczególnym uwzględnieniem pojawiających się trendów i technologii zapewnia wszechstronne informacje, aby informować czytelników i angażować ich w stale zmieniający się krajobraz finansów cyfrowych.
