E se i costi di proving potessero essere trasformati in un mercato aperto? Questa è la visione dietro Boundless, presentata da @hashcashier (Ingegnere Senior presso @RiscZero e @boundless_xyz) in questa sessione SBC @WPReadingClub. Invece che i programmatori gestiscano la propria infrastruttura di proving, Boundless crea un mercato permissionless per le prove - dove chiunque può richiedere una prova, impostare il prezzo che è disposto a pagare e i provers competono per soddisfarla. Il design introduce un modello di asta olandese inversa per bilanciare prezzo e disponibilità: i richiedenti specificano scadenze e prezzi minimi, mentre i provers mettono in gioco garanzie e vengono penalizzati se non riescono a consegnare. Gli incentivi sono rafforzati attraverso il token ZKC, che subsidia i costi tramite un meccanismo di “proof of verifiable work” - premiando i provers non solo per la produzione di output validi, ma anche per l'impegno dimostrabile di cicli di calcolo. Temi chiave nella sessione: • Perché le reti di proving decentralizzate sono importanti per scalare le applicazioni zk oltre le configurazioni a operatore singolo. • Come Boundless evita le insidie del lanciare un altro L1 o L2 vivendo invece come un insieme di contratti deployabili ovunque. • La domanda nel mondo reale: dal potenziamento dei rollup, al bridging senza fiducia con @wormhole, fino alla computazione verificabile di livello enterprise. • Compromessi di sicurezza, inclusa la necessità di ridondanza (configurazioni multi-prover) e verifica formale mentre i zkVM entrano in uso produttivo. Boundless riformula il proving non come un'infrastruttura da gestire, ma come un mercato a cui collegarsi - dove le prove diventano una merce, prezzate, fornite e garantite attraverso la competizione aperta. Riepilogo: Carta: Disponibile anche su YouTube: