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