Aqui está meu novo artigo sobre como encontrar bugs de solidez em circuitos ZK, com exemplos concretos em Circom, Cairo e Rust. Link em resposta.
Link:
165