Qui paie réellement pour la sécurité dans le Web3 ? Et le modèle actuel fonctionne-t-il ? Notre CSO @BenSepanski est monté sur scène au Security Summit d'@ETHDenver pour expliquer les véritables enjeux économiques derrière les audits, les primes et les incitations à la sécurité. La réponse n'est pas aussi simple que la plupart des gens le pensent 👇

Vérification formelle pour les zkVM : extraire les contraintes que le vérificateur vérifie, puis exécuter un vérificateur sur ces contraintes. Vérifiez d'abord les circuits non déterministes, puis vérifiez des propriétés spécifiques. Le même processus s'applique à des systèmes aussi complexes que les zkVM.

La plupart des équipes Web3 passent 10 à 20 heures par semaine sur des travaux de sécurité qui pourraient être automatisés. Le problème ? Vous ne savez pas quelles tâches sont réellement automatisables tant que quelqu'un ne vous le montre pas. À ETH Denver, nous proposons des évaluations gratuites de 10 minutes sur l'automatisation de la sécurité avec notre CSO, @bensepanski