Entä jos todistekustannukset voitaisiin kääntää avoimiksi markkinoiksi? Tämä on visio Boundlessin takana, jonka @hashcashier (@RiscZero & @boundless_xyz:n vanhempi insinööri) esitteli tässä SBC @WPReadingClub -istunnossa. Sen sijaan, että kehittäjät ylläpitäisivät omaa todistusinfrastruktuuriaan, Boundless luo luvattoman markkinapaikan todisteille - jossa kuka tahansa voi pyytää todisteita, asettaa hinnan, jonka he ovat valmiita maksamaan, ja todistajat kilpailevat sen täyttämisestä. Suunnittelussa otetaan käyttöön käänteinen hollantilainen huutokauppamalli hinnan ja elävyyden tasapainottamiseksi: pyytäjät määrittelevät aikakatkaisut ja vähimmäishinnoittelun, kun taas testaajat panostavat vakuuksia ja heitä leikataan, jos he eivät toimita. Kannustimia vahvistetaan ZKC-tokenilla, joka tukee kustannuksia "todennettavissa olevan työn todisteen" mekanismin avulla - palkitsee todistajia paitsi kelvollisten tulosten tuottamisesta, myös laskentasyklien todistettavasta kuluttamisesta. Istunnon keskeiset teemat: • Miksi hajautetuilla testausverkoilla on merkitystä zk-sovellusten skaalaamisessa yhden operaattorin asetusten ulkopuolelle. • How Boundless välttää uuden L1:n tai L2:n lanseerauksen sudenkuopat elämällä sen sijaan sopimussarjana, joka voidaan ottaa käyttöön missä tahansa. • Reaalimaailman kysyntä: rollupien tehostamisesta luotettavaan siltaan @wormhole kanssa ja yritystason todennettavissa olevaan laskentaan. • Tietoturvakompromissit, mukaan lukien redundanssin tarve (usean todisteen asetukset) ja muodollinen verifiointi, kun zkVM:t tulevat tuotantokäyttöön. Rajattomat uudelleenkehystykset eivät ole käyttämäsi infrastruktuuri, vaan markkinat, joihin kytkeydyt - joissa todisteista tulee hyödyke, joka hinnoitellaan ja toimitetaan avoimen kilpailun kautta. Yhteenveto: Paperi: Saatavilla myös YouTubessa: