Unverified evaluations in Dusk’s PLONK
osec.io | blog | #web3 | #vulnerability-research | #vulnerability | #blockchain | #zero-knowledge | #plonk | #dusk | #soundness
Summary
OtterSec finds a critical soundness flaw in dusk-plonk: the verifier never validated four prover-supplied polynomial commitments, enabling forged proofs and minting DUSK from nothing.
- Published
- Collected
Skip to content