Dusk’s privacy layer protects ~$60M of DUSK and hinges on one proof check. dusk-plonk’s verifier never validated four of the prover’s polynomial commitments, enough to mint DUSK from nothing and forge shielded spends the network confirmed as real.Himanshu Sheoran, Valter Wik
A zkVM verifier should be faithful to one thing above all else: its public claims. Yet we found six systems where this guarantee breaks. Learn how a subtle ordering bug lets an attacker bypass the cryptography entirely and prove mathematically impossible statements.Himanshu Sheoran, Valter Wik
Here, we explore zk-proofs, Merkle trees, and our new open-source implementation, PoRv2. Our proof of reserves enables users to verify exchange liabilities without relying on external auditors, setting a new standard for trust.Caue Obici
