Esta conversación entre la líder de educación de ZKM, @alicelingl, y Jon Stephens de @VeridiseInc sobre la aplicación de métodos formales de seguridad es imprescindible para cualquiera que esté construyendo infraestructura ZK 🤝

House of ZK Radio #49: Jon Stephens, CEO de Veridise - ya disponible en Spotify y YouTube 🔲🔳

En este episodio, nos sentamos con @FormallyJon, cofundador y CEO de @VeridiseInc, para explorar el estado de la seguridad en los sistemas de conocimiento cero.

Desde auditorías de contratos inteligentes hasta la verificación formal de circuitos ZK y ZKVMs, Jon explica dónde fallan las cosas, cómo Veridise crea herramientas internas como Vanguard y Picasso, y qué deben saber los desarrolladores al crear aplicaciones verificables.

Escucha esencial para cualquier persona que se tome en serio la seguridad de ZK 🤝

Spotify: https://t.co/PPUMHyf4sj

YouTube: https://t.co/FbkbRCLq7L