pub trait UnforgeableSignatures { }Expand description
Assumption (Cryptographic soundness). ValidatorSignature is existentially unforgeable:
no party without a validator’s secret key produces a signature that
ValidatorSignature::check accepts for that validator’s public key. CryptoHash is
collision resistant, so distinct values — in particular distinct Blocks and distinct
VoteValues — have distinct hashes.
Collision resistance is what lets the specification move between “the certificate’s
value_hash” and “the block”, and between block equality and hash equality.