This is a very thorough description of a bug detected in a Zero Knowledge Proof (ZKP) library used by a blockchain. If you are interested in how modern ZKPs work, this article gives a condensed overview of what is happening in a ZKP, and what the security guarantees are. As always, the devil is in the details, and in this case, a missing verification allowed an attacker to prove anything they wanted.
https://osec.io/blog/2026-04-30-unverified-evaluations-dusk-plonk/

