Web3:n oletusarvoinen suojaus on täällä. Verifying Intelligencessä (yhteistyössä @GoogleCloud ja @boundless_xyz:n kanssa) @VeridiseInc toimitusjohtaja esitteli @FormallyJon AuditHubin - jatkuvan tietoturva-alustan, joka tuo auditoinnit CI/CD-levyllesi. Ajattele yhtä asetusta, aina päällä olevia skannauksia DeFi:ssä ja ZK:ssa: staattiset analysaattorit, sumennus ja jopa muodollinen varmennus (esim. determinististen piirien tarkistukset) sekä mukautetut ilmaisimet, ohjattu triage väärien positiivisten tulosten leikkaamiseksi ja täydellinen projektin kattavuus (ei "soveltamisalan ulkopuolisia" sokeita pisteitä). Jos välität liiketoimintalogiikkavirheiden havaitsemisesta varhaisessa vaiheessa, ZK-piirien tarkistamisesta ja nopeammasta toimittamisesta todellisilla takuilla, tämä pääpuheenvuoro on pakko katsoa: