House of ZK Radio #80: Jon Stephens, CEO di Veridise - ora disponibile su Spotify e YouTube 🔳 In questo episodio ci sediamo con @FormallyJon, CEO di @VeridiseInc, per analizzare come i metodi formali stanno rimodellando la sicurezza del Web3. Jon ripercorre il viaggio di Veridise dagli audit manuali alle revisioni supportate da strumenti e introduce @AuditHubDev, una piattaforma di sicurezza continua che integra analisi statica, fuzzing e verifica formale nel tuo CI/CD in modo che i bug vengano individuati mentre costruisci - non dopo che hai spedito. Se ti interessa spedire sistemi ZK più sicuri e più velocemente, questo è per te. Spotify: YouTube: