House of ZK Radio #80: Jon Stephens, CEO de Veridise - ya disponible en Spotify y YouTube 🔳 En este episodio nos sentamos con @FormallyJon, CEO de @VeridiseInc, para desentrañar cómo los métodos formales están remodelando la seguridad de Web3. Jon rastrea el viaje de Veridsi desde las auditorías manuales hasta las revisiones aumentadas por herramientas y presenta @AuditHubDev, una plataforma de seguridad continua que brinda análisis estático, fuzzing y verificación formal en su CI / CD para que los errores se detecten mientras construye, no después del envío. Si le importa enviar sistemas ZK más seguros y rápido, este es para usted. Spotify: YouTube: