Pico is an open-source, modular, and efficient zkVM that enables developers to generate zero-knowledge proofs for Rust programs. This contest focuses on identifying and eliminating potential security vulnerabilities or bugs to ensure Pico’s robustness before it is adopted in production by other projects.