House of ZK Radio #80: Jon Stephens, CEO da Veridise - disponível agora no Spotify & YouTube 🔳 Neste episódio, conversamos com @FormallyJon, CEO da @VeridiseInc, para explicar como os métodos formais estão remodelando a segurança da Web3. Jon traça a jornada de Veridise de auditorias manuais a revisões aprimoradas por ferramentas e apresenta @AuditHubDev, uma plataforma de segurança contínua que traz análise estática, fuzzing e verificação formal em seu CI/CD para que os bugs sejam detectados enquanto você cria - não depois de enviar. Se você se preocupa em enviar sistemas ZK mais seguros e mais rápidos, este é para você. Spotify: YouTube: