AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Automated Analysis and the Need for Practice
The speakers discuss the process of building an automated analysis tool and the importance of practicing in this field. They explain the challenges of dynamic analysis and the need to familiarize developers and auditors with circuit and logic vulnerabilities. They also emphasize the importance of more projects and practice in the ZKVM field.