Ecco il mio nuovo articolo su come trovare bug di solidità nei circuiti ZK, con esempi concreti in Circom, Cairo e Rust. Link nella risposta.
Link:
174