Ooh! Fantastyczny! Formalna weryfikacja (w tym przypadku przy użyciu Lean) może pomóc w zapobieganiu niektórym błędom, takim jak niewykrywalna luka w zabezpieczeniach przed fałszerstwami, która została ujawniona trzy dni temu w funkcji szyfrowanych kwot Solana. W dłuższej perspektywie jest to ważna praca:
Otrzymaliśmy grant z programu @ethereumfndn Verified zkEVM na opracowanie planów Lean dla STIR i WHIR – dwóch protokołów IOPP dla kodów Reeda-Solomona. Rozwijamy formalną weryfikację, aby zapewnić bezpieczniejszą przyszłość zkEVM. #zkEVM #FormalVerification @EF_ESP
Pokaż oryginał
6,28 tys.
28
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.