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