House of ZK Radio #80: Jon Stephens, CEO Veridise - już dostępny na Spotify i YouTube 🔳 W tym odcinku rozmawiamy z @FormallyJon, CEO @VeridiseInc, aby omówić, jak metody formalne przekształcają bezpieczeństwo Web3. Jon przedstawia drogę Veridise od ręcznych audytów do przeglądów wspomaganych narzędziami i wprowadza @AuditHubDev, platformę ciągłego bezpieczeństwa, która wprowadza analizę statyczną, fuzzing i weryfikację formalną do twojego CI/CD, aby błędy były wychwytywane podczas budowy - a nie po wysłaniu. Jeśli zależy ci na szybszym dostarczaniu bezpieczniejszych systemów ZK, ten odcinek jest dla ciebie. Spotify: YouTube: