Voici mon nouvel article sur la recherche de bugs de solidité dans les circuits ZK, avec des exemples concrets en Circom, Cairo et Rust. Lien dans la réponse.
Lien:
184