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 analizar cómo los métodos formales están transformando la seguridad en Web3. Jon traza el camino de Veridise desde auditorías manuales hasta revisiones aumentadas por herramientas e introduce @AuditHubDev, una plataforma de seguridad continua que integra análisis estático, fuzzing y verificación formal en tu CI/CD para que los errores se detecten mientras construyes, no después de que envíes. Si te importa enviar sistemas ZK más seguros y más rápido, este episodio es para ti. Spotify: YouTube: