House of ZK Radio #80: Jon Stephens, VD för Veridise - ute nu på Spotify och YouTube 🔳 I det här avsnittet sätter vi oss ner med @FormallyJon, VD för @VeridiseInc, för att reda ut hur formella metoder omformar Web3-säkerhet. Jon spårar Veridies resa från manuella granskningar till verktygsförstärkta granskningar och introducerar @AuditHubDev, en kontinuerlig säkerhetsplattform som för in statisk analys, fuzzing och formell verifiering i din CI/CD så att buggar fångas upp medan du bygger – inte efter att du har skickat. Om du bryr dig om att leverera säkrare ZK-system snabbare är det här för dig. Spotify: På YouTube: