Co kdyby se prokazování nákladů dalo změnit na otevřený trh? To je vize Boundless, kterou představil @hashcashier (Senior Engineer ve společnosti @RiscZero & @boundless_xyz) v této @WPReadingClub sekci SBC. Namísto toho, aby vývojáři provozovali vlastní infrastrukturu pro dokazování, vytváří Boundless tržiště pro důkazy bez povolení - kde si kdokoli může vyžádat důkaz, nastavit cenu, kterou je ochoten zaplatit, a dokazovatelé soutěží o její splnění. Návrh zavádí reverzní nizozemský aukční model, který má vyvážit cenu a živost: žadatelé specifikují časové limity a minimální ceny, zatímco žadatelé vkládají kolaterál a jsou seškrtáni, pokud nedodají. Pobídky jsou posilovány prostřednictvím tokenu ZKC, který dotuje náklady prostřednictvím mechanismu "důkazu ověřitelné práce" - odměňuje dokazovatele nejen za produkci platných výstupů, ale i za prokazatelně vynaložené výpočetní cykly. Klíčová témata sekce: • Proč jsou decentralizované zkušební sítě důležité pro škálování aplikací zk nad rámec nastavení s jedním operátorem. • Jak se Boundless vyhýbá nástrahám uvedení dalšího L1 nebo L2 tím, že místo toho žije jako sada kontraktů nasaditelných kdekoli. • Poptávka v reálném světě: od napájení rollupů, přes přemostění s @wormhole bez důvěry, až po ověřitelné výpočty na podnikové úrovni. • Bezpečnostní kompromisy, včetně potřeby redundance (nastavení s více odborníky) a formálního ověření, když zkVMs vstupují do produkčního použití. Neomezené přerámování dokazuje, že ne jako infrastruktura, kterou provozujete, ale jako trh, na který se připojujete - kde se důkazy stávají komoditou, oceňovanou, dodávanou a zajištěnou prostřednictvím otevřené soutěže. Shrnutí: Papír: K dispozici také na YouTube: