På eth_proofs Day brukte @drakefjustin zklighthouse-klienten til å verifisere beviset på @brevis_zk Pico ZKVM på stedet – direkte ferdigstilte blokker uten å utføre transaksjoner på nytt, og ropte at Gigagas ETH-æraen nærmer seg. Det er ingen tvil om at Brevis nok en gang er håndplukket av Ethereum Foundation. Så hva slags spill spiller Brevis? Etter å ha bladd gjennom deres siste ProverNet-white paper og lagt til en demo, fant jeg ut at det faktisk er annerledes enn andre zk-løsninger: 1) Generelt følger ZK-bevismarkedet en enkeltleverandør-modell, men Brevis fant et pinlig problem i produksjonsmiljøet: for eksempel krever @Uniswap sin off-chain rebate-prosess at ZK gir en transparent løsning, @PancakeSwap VIP-rate krever sub-sekunders bevissjekker før hver transaksjon, og @eulerfinance krever en viss tid for å batche fordelingen av insentiver for mer enn 10w-adresser, noe som krever gjennomstrømning. Ifølge normal logikk har flere ulike etterspørselsscenarier helt forskjellige maskinvarekonfigurasjoner, bevissystemspesifikasjoner og optimaliseringsretninger. Hvis det er en enkelt leverandør, kan den enten kun gjøre grundig scenariooptimalisering for midlertidige behov, eller den kan bare gi en generell plan. På denne måten er det åpenbart vanskelig å møte de differensierte behovene i vanskelige vertikale scenarioer; 2) ProverNet-løsningen Brevis ønsker å gjøre er veldig enkel: bygg et bilateralt marked, applikasjonssiden øker etterspørselen, og den profesjonelle Prover byr og mottar ordre, det vil si TODA (Real Reproduction Double Auction)-mekanismen. En slik «markedsorientert» løsning kan naturlig håndtere flere heterogene bevistyper samtidig, slik at applikasjoner som møter behovene til underdelte scenarier kan få den mest profesjonelle og gode Prover for spesielle motparttjenester. For eksempel kan et zkVM-bevis bestå av A for chunking, B for komprimering, C for aggregering og D for endelig innkapsling. Kort sagt, profesjonell arbeidsdeling og spin-off for å møte mer diversifiserte markedsbehov. Over. Faktisk er logikken veldig enkel, det vil si fra tanken om å «selge spader» tidligere til å bygge et «marked», og det rene sentraliserte leverandørtjenestesystemet har tidligere gått over til et desentralisert marked. I den såkalte Gigagas ETH-æraen trengs ikke én enkelt verktøytjeneste, men en infrastruktur som kan planlegge hele nettverket av bevisere.