Koncovka ZK: Bez hranic vs. stručnost Sezóna ZK je před námi a předpokládá se, že trh s infrainfrastrukturou ZK do roku 2030 vzroste na 10 miliard > USD. Mezitím se Boundless a Succinct rýsují jako dokazující se dominátoři. Mnozí nechápou, že i když jsou si podobní, jsou odlišní. Dovolte mi rozbalit toto ↓ Boundless: "Uber pro ZK Compute" - Model provádění: Poskytuje univerzální tržiště, kde jsou zakázky zveřejňovány onchain (možné na jakémkoli řetězci bez přemostění, což je klíčový rozlišovací prvek), reverzní holandské aukce a Proof of Verifiable Work (PoVW) s cílem vytvořit konkurenční trh spojující žadatele o důkazy a dokazovatele, přičemž ty druhé odměňuje na základě skutečných výpočetních cyklů, které provádějí. Boundless používá třívrstvou architekturu: Bento (místní proving), Broker (tržní rozhraní) a vypořádání v řetězci. - Výkon a přijetí: Otevřené prokazovací tržiště, které pohání R0 zkVM (založený na RISC-V) od RiscZero, které snižuje náklady na dokazování z tisíců na pouhých několik dolarů a produkuje důkazy 7x menší než SP1 (zkVM od Succinct), což je ideální pro ověřování v řetězci a menší pracovní zátěže. Boundless má již >1,700 dokazovatelů živých na beta verzi mainnetu a >391 tisíc důkazů požadovaných od "The Signal" (ZK state proofs for interop public good). Stručné: Vysoce výkonná vývojářská platforma - Model provádění: Štíhlá, vysoce výkonná síť fungující jako "API pro důkazy ZK", poháněná svým SP1 zkVM (také založeným na RISC-V) a rychlým offchain dražitelem, který přiřazuje/přiřazuje jeden prover na úlohu, optimalizuje se pro nízkou latenci a umožňuje vývojářům generovat důkazy ze standardního kódu Rust, které jsou následně ověřeny v řetězci (na Ethereu). Společnost Succinct spouští aktualizaci SP1 buď prostřednictvím místního dokazování, nebo prostřednictvím hostovaného rozhraní API sítě dokazování. - Výkon a přijetí: Vysoce výkonná síť proverů SP1 vyniká ve složitých kryptografických operacích díky své architektuře předkompilace. Je plně připraven k výrobě a například zkracuje >2h nátisk Tendermint na pouhou záležitost několika minut. Sítě dokazování již vygenerovaly téměř 5 milionů důkazů s 99,9%+ dostupností a hostovaly > 1 600 programů. Jaké jsou hlavní poznatky? I když oba v konečném důsledku usilují o to, aby se ZK prokazování zefektivnilo a bylo pro stavitele široce dostupné, na technické úrovni k tomuto poslání přistupují odlišně. Například Boundless je spíše otevřená síť, kde každý dokazovatel může počítat mimo řetězec, zatímco všechny důkazy jsou odesílány v řetězci, a s tržními kontrakty napříč všemi hlavními ekosystémy/řetězci. Mezitím PoVW zajišťuje měřené odměny za dokazování na základě skutečně provedených výpočtů. Je také důkazem systémově agnostické infrastruktury a jako tržiště bez povolení si klade za cíl být jednotným kontaktním místem pro všechny ověřitelné výpočetní a dokazovací potřeby (kromě napájení celé sady produktů RiscZero ZK včetně R0 zkVM, Kailua, jejího ocelového koprocesoru atd. nebo v poslední době "The Signal" od Boundless). Ekosystém RiscZero kolem Boundless jako celek poskytuje kompletní vývojářské řešení ZK. Na druhou stranu v síti dokazovačů Succinct je to systém dražitelů sítě, který v reálném čase najde nejlevnější dokazovač, přičemž zakázku vyhraje jediný prover, a následné onchain ověření dodaného důkazu, přičemž komponenty onchain žijí na Ethereu. Konkrétně se zaměřuje na napájení SP1, vysoce výkonného zkVM společnosti Succinct a vývojářských nástrojů kolem něj. Velká část současného přijetí Succinctu pramení z rollupů "ZKfiyng" s rámcem OP Succinct nebo z napájení aplikací ZK (např. Hibachi) se zaměřením na modulární ekosystém. Jsou to konkurenti? Z velké části ano, protože skutečnost, že jak @boundless_xyz, tak @SuccinctLabs v konečném důsledku poskytují důkazní služby, také znamená, že nevyhnutelně budou existovat produkty postavené na této infrastruktuře, které si nakonec navzájem konkurují, pokud jde o přijetí (a prokázání poptávky, která narůstá do základní infrastruktury). Zde jsou některé příklady jejich zkVMs (R0 a SP1) a mnoho případů použití, které jsou tím povoleny, vč. Rámec OP Kailua společnosti RiscZero pro hybridní důkazy proti podvodům ZK, který konkuruje OP Succinct (rámec ZK společnosti Succinct pro OP řetězce), dvě verze Blobstreamu poháněné ZK (DA most pro Celestii), které oba týmy postavily na své infrastruktuře, nebo jejich interní koprocesory ZK (Steel vs SP1-CC) atd. Domnívám se však, že trh s prokazující infrastrukturou ZK je dostatečně velký pro dva (nebo více?) velkých hráčů a že zejména v případě aplikací s vysokými sázkami (např. institucionální DeFi, některé případy použití AI atd.) nebo řetězců, které se starají o tyto vertikály, budou stále více převládat systémy s více odborníky (zlepšující robustnost a bezpečnost), což potenciálně povede k duálním integracím s oběma sítěmi. Podle mého názoru také uvidíme agregační vrstvy postavené na více zkušebních trzích/sítích, což nakonec obojí povede k tomu, že tyto infra vrstvy budou do určité míry fungovat v tandemu. ZK je koncovka. Sezóna ZK je za dveřmi. Studie ZK.