Nhà của ZK Radio #80: Jon Stephens, Giám đốc điều hành của Veridise - đã có trên Spotify & YouTube 🔳 Trong tập này, chúng tôi ngồi xuống với @FormallyJon, Giám đốc điều hành của @VeridiseInc, để khám phá cách các phương pháp chính thức đang định hình lại an ninh Web3. Jon kể về hành trình của Veridise từ các cuộc kiểm toán thủ công đến các đánh giá được hỗ trợ bởi công cụ và giới thiệu @AuditHubDev, một nền tảng an ninh liên tục mang lại phân tích tĩnh, fuzzing và xác minh chính thức vào CI/CD của bạn để các lỗi được phát hiện trong khi bạn xây dựng - không phải sau khi bạn phát hành. Nếu bạn quan tâm đến việc phát hành các hệ thống ZK an toàn hơn nhanh hơn, thì đây là dành cho bạn. Spotify: YouTube: