House of ZK Radio #80: Джон Стивенс, CEO Veridise - уже доступен на Spotify и YouTube 🔳 В этом эпизоде мы беседуем с @FormallyJon, CEO @VeridiseInc, чтобы обсудить, как формальные методы меняют безопасность Web3. Джон рассказывает о пути Veridise от ручных аудитов к инструментам, которые помогают в обзорах, и представляет @AuditHubDev, платформу непрерывной безопасности, которая включает статический анализ, фуззинг и формальную верификацию в ваш CI/CD, чтобы ошибки были обнаружены во время разработки, а не после выпуска. Если вам важно быстрее выпускать более безопасные ZK-системы, этот эпизод для вас. Spotify: YouTube: