Verify that a revealed signal exactly matches its original cryptographic commitment.
No trust required — math does the verification.