Startup odporny na wiedzę zerową (ZKP) Succinct Labs ogłosił rozpoczęcie pierwszego konkursu na audyt maszyn wirtualnych o zerowej wiedzy o zerowej wiedzy (zkVM), w pełni open source. Ma na celu poprawę przejrzystości i bezpieczeństwa ich technologii poprzez zaangażowanie społeczności.

Zgodnie z regulaminem konkursu osoby, którym uda się złamać sieć testową SP1, otrzymają nagrodę w wysokości 110 000 dolarów. Konkurs audytowy, dostępny wyłącznie na zaproszenie, rozpoczął się 3 czerwca o godzinie 20:00 UTC i potrwa do godziny 20:00 UTC 24 czerwca. Zaproszenia można otrzymać na rynku rozwiązań zabezpieczających Web3, Cantina, w ciągu 24 godzin od rozpoczęcia konkursu. Zachęcamy uczestników do przesyłania dalej wszystkich postów z ogłoszeniami na platformie mediów społecznościowych X w celu otrzymania zaproszenia.

Audyt koncentruje się na programach podstawowych dodatku SP1. Niedawno podstawowy system sprawdzania, ograniczeń i rekurencji SP1 przeszedł audyty przeprowadzone przez dwóch wiodących audytorów o wiedzy zerowej (ZK). Konkurs ten pełni rolę wtórnego procesu weryfikacji, mającego na celu zapewnienie, że dodatek SP1 jest wolny od wszelkich potencjalnych exploitów i luk w zabezpieczeniach.

Aby pomóc uczestnikom w zrozumieniu każdego programu, na serwerze Cantina Discord dostępny jest opis kodu dodatku SP1.

SP1 reprezentuje wysokowydajną, w pełni otwartą i przyjazną dla współautorów zkVM zaprojektowaną do sprawdzania wykonywania programów Rust lub dowolnych programów skompilowanych za pomocą LLVM.

Jest to oprogramowanie typu open source objęte licencjami MIT/Apache 2.0, bez zaciemniania kodu, a cały rozwój jest prowadzony publicznie. W przeciwieństwie do istniejących maszyn ZkVM z zamkniętym źródłem i niezmienną logiką ograniczeń, dodatek SP1 charakteryzuje się architekturą modułową zaprojektowaną z myślą o dostosowywaniu od samego początku. Ta możliwość dostosowania pozwala użytkownikom dodawać „prekompilacje” do podstawowej logiki ZkVM, co prowadzi do zauważalnej poprawy wydajności.

Ogłaszamy pierwszy konkurs audytowy dla ZkVM w 100% open source. Nagroda w wysokości 110 000 dolarów za przełamanie SP1. Przetestuj swoje umiejętności pic.twitter.com/V3YEIKYrZV

— Zwięzłe (@SuccinctLabs) 3 czerwca 2024 r

Czym są zwięzłe laboratoria?

Succinct Labs rozwija zdecentralizowaną sieć dowodową, aby ułatwić tworzenie aplikacji i infrastruktury typu blockchain zabezpieczonej weryfikacją kryptograficzną. Ujednolicając łańcuch dostaw dowodów, oferuje wysoce dostępną infrastrukturę generowania dowodów po konkurencyjnych cenach dla pakietów zbiorczych, koprocesorów i innych aplikacji wykorzystujących ZKP.

Niedawno startup pozyskał 55 milionów dolarów z funduszy zalążkowych i serii A, pod przewodnictwem Paradigm Capital, przy udziale Robot Ventures, Bankless Ventures, Geometry i innych prominentnych inwestorów.

Wpis Succinct Labs ogłasza konkurs audytu ZkVM typu open source z nagrodą w wysokości 110 000 dolarów pojawił się jako pierwszy w Metaverse Post.