Aquí tienes mi nuevo artículo sobre cómo encontrar bugs de solidez en circuitos ZK, con ejemplos concretos en Circom, El Cairo y Rust. Enlace en respuesta.
Enlace:
165