Většina zkVM vypadá na papíře skvěle. SP1 byl vytvořen pro skutečný svět. Succinct nepoužil Risc0, zkSync nebo zkVM od Polygonu, a to z dobrého důvodu. SP1 není napodobenina. Je to od základu vytvořený zkVM vytvořený tak, aby poháněl novou generaci důvěryhodné infrastruktury. Zde je důvod, proč je to důležité: Proč vytvořit nový zkVM? Mohl @SuccinctLabs zvolit existující zkVMs. Risc0, Káhira, nebo dokonce zkEVM. Ale nestalo se tak a zde je důvod: Většina zkVMs není dostatečně univerzální Mnoho z nich nepodporuje rekurzi ihned po vybalení Některé jsou úzce propojeny s vlastními DSL (např. Cairo) Jiné postrádají transparentnost nebo jsou hluboce zakořeněny ve větších kumulativních sadách Stručnost potřebovala něco víc: → zkVM, který dokáže spustit jakýkoli program, kdekoli a efektivně to dokázat. To je SP1. Co je SP1? SP1 je výkonný, modulární zkVM postavený v Rustu, který podporuje: - Univerzální výpočty - Efektivní rekurze - Důkaz přenositelnosti na jiné řetězce A hlavně flexibilita open-source Je navržen na základě prvních principů kolem několika základních myšlenek: • ZK musí být přístupné. • Generování důkazů musí být složitelné a ověřitelné napříč řetězci. • Vývojáři by se neměli učit kryptografii, aby mohli používat ZK. SP1 je postaven na vlastní architektuře ISA (instrukční sada), nikoli na kopii EVM, díky čemuž je mnohem výkonnější a rozšiřitelnější. A již se používá k napájení cross-chain light klientů, EigenLayer AVS a dalších. V čem se SP1 liší? Ve srovnání s jinými zkVMs se SP1 vyznačuje několika velkými způsoby: Navrženo pro testování v reálném světě Není optimalizováno pro hry s nulovými znalostmi nebo soutěž v rollupu, optimalizováno pro víceřetězcové ověřování. Extrémně modulární SP1 můžete upravovat, vyměňovat komponenty a připojovat k různým dokazovacím křivkám nebo rekurzím Zkušenosti vývojářů Rust-native Pište programy ZK v bezpečném a efektivním Rustu, ne v exotických DSL. Vestavěná podpora rekurzivních důkazů Zásadní pro škálovatelnost a skládatelnost při ověřování mnoha událostí mimo řetězec v řetězci. Proč je to důležité právě teď Budoucnost kryptoměn je víceřetězcová. To znamená více lehkých klientů, více mostů a více sdílených zkušebních systémů. Bezpečné prokázání stavu jednoho řetězce na druhém však vyžaduje zkVMs, které jsou optimalizovány nejen pro propustnost, ale také pro flexibilitu a přenositelnost. SP1 přesně toto dělá. → Není to jen primitiv ZK – je to zkušební motor za interoperabilitou bez důvěry. V dalším příspěvku rozebereme Succinct Prover Network: jak spouští výpočty ZK off-chain a co to odemyká vývojářům a řetězcům. Tagování gigachadů, které by mohly 👇 být předmětem tohoto zájmu - @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_