Dva z nejambicióznějších projektů ZK, Succinct a Boundless, se předhánějí v tom, aby přinesly ověřitelné výpočetní prostředky do každého koutu onchain prostoru.
Oba používají zkVMs, ale nejsou stejné.
Zde je přehled toho, jak se liší 🧠🧵
2/ Na vysoké úrovni:
- @SuccinctLabs buduje svůj zkVM (SP1) a provozuje decentralizovanou síť, kde si kdokoli může vyžádat důkaz o práci mimo blockchain.
- @boundless_xyz (z RISC Zero) vytváří vrstvu protokolu ZK, která promění jakýkoli offchain výpočet na ověřitelný příjem.
Oba chtějí nahradit důvěru kryptografickou pravdou.
3/ Začněme s jejich zkušebními motory
- SP1 společnosti Succinct spouští programy Rust a vytváří ZKP pomocí rekurzivních SNARKů. Je rychlý, modulární a optimalizovaný pro úlohy podobné kumulativním verzím.
- Boundless používá zkVM RISC Zero ke zpracování masivních výpočtů a škálovatelného provingu.
4/ Pod kapotou:
Succinct využívá offchain dražebníka. Odešlete úlohu (například "dokažte tento výpočet") a síť v reálném čase najde nejlevnější dokazovatel.
Dokazovači se navzájem podbízejí v počtu pracovních míst, čímž vytvářejí trh pro prokazování práce.
Připadá mi to jako Web2 API. Rychlé, efektivní, ale zabezpečené ZKP zveřejněno onchain později, aby vám poskytlo kryptografický důkaz, že program běžel správně.
5/ Engine, který za ním stojí, se nazývá SP1 - zkVM, který dokáže spouštět složitou logiku, ověřovat podpisy, simulovat rollupy nebo fungovat jako light klient pro jiné řetězce.
SP1 je optimalizován pro rychlost, opakované použití a nízkonákladové ověřování v řetězci. Důkazy jsou malé a levné na ověření (kolem 200 tisíc plynu na Ethereu).
6/ SP1 zkVM je v provozu. Tvůrci mohou ověřovat důkazy v řetězci a dodávat aplikace na produkční úrovni pomocí aktualizace SP1.
Ale Succinct Prover Network - decentralizovaná vrstva, kde může kdokoli spustit prover a vydělávat - je stále v závěrečné fázi testnetu (fáze 2.5).
Mainnet pro síť Prover Network se blíží.
7/ Boundless se na druhou stranu prokazování stává veřejnou službou. Každý řetězec ho může požádat, aby něco dokázal. Každá aplikace na ni může outsourcovat složitou logiku.
Není to jen síť, je to celá vrstva pro ověřitelné výpočty.
Boundless si můžete představit jako cloud computing s kryptografickými účtenkami.
8/ Boundless, postavený na RISC Zero, také spouští kód Rust nebo C++ v zkVM.
Ale zabalí to do protokolu, kde jsou úlohy zveřejněny v řetězci, poté nárokovány a vypočítány mimo řetězec dokazovateli.
9/ Představuje novou myšlenku nazvanou Proof of Verifiable Work (PoVW). Dokazovatelé jsou odměňováni na základě toho, kolik skutečných výpočtů provedou.
Je to jako těžba, ale místo hashování náhodných čísel se ukazuje jako užitečná práce, spouštění skutečných programů.
Boundless tomu říká zk-mining.
10/ Prvním případem živého použití Boundless je The Signal na Mainnet Beta, konsensuální klient ZK, který dokazuje konečnost Etherea do jediného ověřitelného důkazu.
Tento důkaz může být čten libovolným řetězcem, což umožňuje crosschain aplikacím číst stav Etherea bez multi-sigů nebo orákul.
Signal se příště ukáže jako další řetězce, jak se síť rozšiřuje.
11/ Jaký je mezi nimi rozdíl?
Stručné: rychlá, offchain aukce → jeden prover vyhraje zakázku → předloží důkaz onchain. Rychle získáte nízkou latenci a ověřitelné výsledky.
Boundless: úkoly zveřejněné v řetězci → jakýkoli dokazovatel vypočítá offchain → předloží důkaz onchain → PoVW odměňuje prokazovatele. Otevřená konkurence a od začátku zcela nedůvěryhodná.
12/ Kdo je používá?
- @Mantle_Official → Upgradováno z Optimistic na zkRollup pomocí Succinct SP1 zkVM pro rychlou finalitu a ekvivalenci EVM.
- Platformy Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Nabízejí ZK rollupy prostřednictvím OP-Succinct, což vývojářům umožňuje spouštět L2s s upgrady finality poháněnými 1 kliknutím SP1.
- @Agglayer → Polygonu používá SP1 k implementaci vrstvy zk-unifikace napříč kumulativními vrstvami Polygon, čímž se zlepšuje kompozice napříč souhrnnými vrstvami.
- @celestia (Blobstream DA Bridge) → SP1 ověřuje zařazení bloku Celestia pro přemostění DA bez nutnosti důvěryhodnosti, což umožňuje kumulativním postupům vypořádat se na Ethereu s bloby Celestia.
13/ - @eigenlayer → Používá Boundless k výpočtu aktualizací vsazené hodnoty offchain a zveřejňuje důkazy ZK, které snižují plyn L1 o ~99,9 %.
- @hibachi_xyz → Vybudoval první prokazatelnou burzu. Offchain párování se provádí s vysokou frekvencí; každá dávka je ověřena s R0VM na Boundless.
- @citrea_xyz (Bitcoin zkRollup) → používá Boundless k prokázání dávkových bitcoinových transakcí, což umožňuje ZK rollupy kompatibilní s EVM na Bitcoinu.
- @build_on_bob → Boundless pohání hybridní L2 BOB a přináší do Bitcoinu chytré kontrakty EVM a rollupy kryté proof-backem.
14/ Kdo vyhraje hru ZK?
Nejsou přímými konkurenty. Ve skutečnosti by se jejich přístupy mohly vzájemně doplňovat.
Jasné je toto: Infrastruktura ZK se stává modulární. Rychlé, univerzální a důvěryhodné výpočty už nejsou sci-fi, ale právě teď.
19,34 tis.
9
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.