Wie betaalt er eigenlijk voor de beveiliging in Web3? En werkt het huidige model? Onze CSO @BenSepanski stond op het podium tijdens de Security Summit van @ETHDenver om de echte economie achter audits, beloningen en beveiligingsprikkels uit te leggen. Het antwoord is niet zo eenvoudig als de meeste mensen denken 👇

Formele verificatie voor zkVM's: haal de beperkingen op die de verifier controleert, en voer vervolgens een verifier uit op die beperkingen. Controleer eerst op niet-deterministische circuits, en verifieer vervolgens specifieke eigenschappen. Hetzelfde proces schaalt naar systemen die zo complex zijn als zkVM's.

De meeste Web3-teams besteden 10-20 uur per week aan beveiligingswerk dat geautomatiseerd kan worden. Het probleem? Je weet niet welke taken daadwerkelijk geautomatiseerd kunnen worden totdat iemand het je laat zien. Tijdens ETH Denver bieden we gratis 10-minuten Security Automation Assessments aan met onze CSO, @bensepanski