Bezpieczne z założenia dla Web3 jest tutaj. Na Verifying Intelligence (we współpracy z @GoogleCloud i @boundless_xyz), CEO @VeridiseInc @FormallyJon zaprezentował AuditHub - ciągłą platformę bezpieczeństwa, która wprowadza audyty do Twojego CI/CD. Pomyśl o jednym ustawieniu, zawsze aktywnych skanowaniach w DeFi i ZK: analizatory statyczne, fuzzing, a nawet formalna weryfikacja (np. kontrole deterministycznych obwodów), plus niestandardowe detektory, prowadzone triage, aby zredukować fałszywe pozytywy, oraz pełne pokrycie projektu (bez „poza zakresem” martwych punktów). Jeśli zależy Ci na wczesnym wychwytywaniu błędów logiki biznesowej, weryfikacji obwodów ZK i szybszym dostarczaniu z rzeczywistymi gwarancjami, ten wykład to pozycja obowiązkowa do obejrzenia: