House of ZK Radio #80: Jon Stephens, administrerende direktør i Veridise - ute nå på Spotify og YouTube 🔳 I denne episoden setter vi oss ned med @FormallyJon, administrerende direktør i @VeridiseInc, for å pakke ut hvordan formelle metoder omformer Web3-sikkerhet. Jon sporer Veridises reise fra manuelle revisjoner til verktøyutvidede gjennomganger og introduserer @AuditHubDev, en kontinuerlig sikkerhetsplattform som bringer statisk analyse, fuzzing og formell verifisering inn i CI/CD-en din, slik at feil fanges opp mens du bygger - ikke etter at du har sendt. Hvis du bryr deg om å sende sikrere ZK-systemer raskere, er dette noe for deg. Spotify: YouTube: