Cine plătește de fapt pentru securitate în Web3? Și funcționează modelul actual? CSO-ul nostru @BenSepanski a urcat pe scenă la Summitul de Securitate din @ETHDenver pentru a analiza adevărata economie din spatele auditurilor, recompenselor și stimulentelor pentru securitate. Răspunsul nu este atât de simplu pe cât cred 👇 majoritatea oamenilor

Verificare formală pentru zkVM-uri: extrage constrângerile verificate de verificator, apoi rulează un verificator pe acele constrângeri. Mai întâi verifică circuitele nedeterministe, apoi verifică proprietățile specifice. Același proces se scalează la sisteme la fel de complexe precum zkVM-uri.

Majoritatea echipelor Web3 petrec 10-20 de ore pe săptămână pe muncă de securitate care ar putea fi automatizată. Problema? Nu știi care sarcini sunt de fapt automatizabile până când cineva nu îți arată. La ETH Denver, oferim evaluări gratuite de automatizare a securității în 10 minute împreună cu CSO-ul nostru, @bensepanski