Dům ZK Radio #80: Jon Stephens, CEO Veridise - nyní vychází na Spotify a YouTube 🔳 V této epizodě si sedneme s @FormallyJon, generálním ředitelem společnosti @VeridiseInc, abychom odhalili, jak formální metody přetvářejí zabezpečení Web3. Jon sleduje cestu společnosti Veridise od manuálních auditů k recenzím rozšířeným o nástroje a představuje @AuditHubDev, nepřetržitou bezpečnostní platformu, která přináší statickou analýzu, fuzzing a formální ověření do vašeho CI/CD, takže chyby jsou zachyceny během vytváření – nikoli po odeslání. Pokud vám záleží na rychlejší přepravě bezpečnějších systémů ZK, tento je pro vás. Spotify: Na YouTube: