Większość zkVM wygląda świetnie na papierze. Dodatek SP1 został stworzony z myślą o prawdziwym świecie. Succinct nie używał Risc0, zkSync ani zkVM firmy Polygon i nie bez powodu. Dodatek SP1 nie jest jego kopią. Jest to zkVM zbudowany od podstaw, aby zasilać następną generację infrastruktury niewymagającej zaufania. Oto dlaczego ma to znaczenie: Dlaczego warto zbudować nową maszynę zkVM? @SuccinctLabs mogli wybrać istniejące zkVM. Risc0, Cairo, a nawet zkEVM. Ale tak się nie stało, a oto dlaczego: Większość maszyn wirtualnych zkVM nie jest wystarczająco ogólnego przeznaczenia Wiele z nich nie obsługuje rekurencji po wyjęciu z pudełka Niektóre są ściśle powiązane z niestandardowymi DSL (np. Kair) Inne nie są przezroczyste lub są głęboko osadzone w większych stosach zbiorczych Succinct potrzebował czegoś więcej: → Maszyna wirtualna, która może uruchomić dowolny program w dowolnym miejscu i skutecznie to sprawdzić. To jest SP1. Co to jest dodatek SP1? SP1 to wydajna, modułowa maszyna zkVM wbudowana w język Rust, która obsługuje: - Obliczenia ogólnego przeznaczenia - Wydajna rekurencja - Dowód przenośności do innych łańcuchów I, co najważniejsze, elastyczność oprogramowania open source Został zaprojektowany w oparciu o podstawowe zasady i kilka podstawowych idei: • ZK musi być dostępny. • Generowanie dowodów musi być komponowalne i weryfikowalne we wszystkich łańcuchach. • Programiści nie powinni musieć uczyć się kryptografii, aby korzystać z ZK. Dodatek SP1 jest zbudowany w oparciu o niestandardową architekturę ISA (Instruction Set Architecture), a nie kopię EVM, dzięki czemu jest znacznie bardziej wydajny i rozszerzalny. I jest już używany do zasilania lekkich klientów cross-chain, AVS EigenLayer i nie tylko. Co wyróżnia dodatek SP1? W porównaniu z innymi maszynami zkVM dodatek SP1 wyróżnia się pod kilkoma istotnymi względami: Zaprojektowany z myślą o testach w warunkach rzeczywistych Nie zoptymalizowany pod kątem gier z zerową wiedzą lub konkurencji rollupów, zoptymalizowany pod kątem weryfikacji wielołańcuchowej. Niezwykle modułowy Możesz modyfikować SP1, zamieniać komponenty i podłączać się do różnych krzywych dowodzenia lub strategii rekurencji. Środowisko deweloperskie natywne dla języka Rust Pisz programy ZK w bezpiecznym, wydajnym Rust, a nie egzotycznych DSL. Wbudowana obsługa dowodów rekurencyjnych Kluczowe dla skalowalności i komponowalności w weryfikacji wielu zdarzeń off-chain w łańcuchu. Dlaczego to ma teraz znaczenie Przyszłość kryptowalut to wielołańcuchowość. Oznacza to więcej lekkich klientów, więcej mostów i więcej wspólnych systemów dowodzenia. Jednak bezpieczne udowodnienie stanu jednego łańcucha na drugim wymaga zkVM, które są zoptymalizowane nie tylko pod kątem przepustowości, ale także pod kątem elastyczności i przenośności. Dodatek SP1 właśnie to robi. → To nie jest tylko prymitywa ZK — to silnik sprawdzający stojący za bezzaufaną interopcją. W następnym poście omówimy Succinct Prover Network: jak uruchamia obliczenia ZK poza łańcuchem i co to odblokowuje dla programistów i łańcuchów. Oznaczanie gigachadów, które mogą być tym zainteresowane 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_