Hier is mijn nieuwe artikel over het vinden van soundness bugs in ZK circuits, met concrete voorbeelden in Circom, Cairo en Rust. Link in reactie.
Verbinden:
176