Secure-by-default pro Web3 je tady. Na konferenci Verifying Intelligence (ve spolupráci s @GoogleCloud a @boundless_xyz) představil generální ředitel @VeridiseInc @FormallyJon AuditHub – platformu pro nepřetržité zabezpečení, která přináší audity do vašeho CI/CD. Představte si jedno nastavení, vždy zapnuté skenování napříč DeFi a ZK: statické analyzátory, fuzzing a dokonce i formální ověření (např. kontroly deterministických obvodů), plus vlastní detektory, řízené třídění pro snížení falešně pozitivních výsledků a plné pokrytí projektu (žádná slepá místa "mimo rozsah"). Pokud vám záleží na včasném zachycení chyb v obchodní logice, ověření obvodů ZK a rychlejším dodání se skutečnými zárukami, tuto přednášku musíte vidět: