ZK-Audits ≠ Smart Contract-Audits. Was unterscheidet sie? @FormallyJon erklärt es im @HouseofZK-Podcast.