Hvem betaler egentlig for sikkerhet i Web3? Og fungerer den nåværende modellen? Vår CSO-@BenSepanski tok scenen på @ETHDenver Security Summit for å analysere den reelle økonomien bak revisjoner, dusører og sikkerhetsinsentiver. Svaret er ikke så enkelt som de fleste tror 👇

Formell verifisering for zkVM-er: hent ut begrensninger som verifikatoren sjekker, og kjør deretter en verifikator på disse begrensningene. Sjekk først for ikke-deterministiske kretser, og verifiser deretter spesifikke egenskaper. Samme prosess skalerer til systemer så komplekse som zkVM-er.

De fleste Web3-team bruker 10-20 timer i uken på sikkerhetsarbeid som kunne automatiseres. Problemet? Du vet ikke hvilke oppgaver som faktisk kan automatiseres før noen viser deg det. Hos ETH Denver tilbyr vi gratis 10-minutters sikkerhetsautomatiseringsvurderinger sammen med vår CSO, @bensepanski