Zero Knowledge AI and ZK Auditing with David Wong
Jun 18, 2025
David Wong from ZK Security, an expert in zero-knowledge auditing, discusses the transformative impact of AI on auditing practices. He highlights how AI agents are integrated into workflows, creating both opportunities and challenges. The conversation delves into the unique demands of auditing ZK systems versus traditional smart contracts. Wong also addresses ethical concerns surrounding AI in security, false positives in auditing tools, and how AI can detect vulnerabilities in cryptocurrency, showcasing the future synergy between AI and zero-knowledge technology.
AI Snips
Chapters
Transcript
Episode notes
AI's Strong Effectiveness in Coding
- AI is very effective at coding and bug finding, especially on complex low-level languages like CIRCOM.
- Integrating AI into auditing workflows is a promising existential opportunity and challenge.
Use State-Of-The-Art AI Models
- Use state-of-the-art models rather than training custom ones to improve AI auditing faster.
- Frequent upgrades of AI models enhance product capabilities without retraining overhead.
Master Prompt Engineering
- Experiment extensively with prompt engineering to get better AI results.
- Tailor prompts specifically; aggression and directness can yield more accurate outputs.