Aquí está mi nuevo artículo sobre cómo encontrar errores de solidez en circuitos ZK, con ejemplos concretos en Circom, Cairo y Rust. Enlace en la respuesta.
Enlace:
164