diff --git a/light-client-verifier/src/verifier.rs b/light-client-verifier/src/verifier.rs index 748821060..efd653bd0 100644 --- a/light-client-verifier/src/verifier.rs +++ b/light-client-verifier/src/verifier.rs @@ -252,6 +252,11 @@ where /// **NOTE**: If the untrusted state's `next_validators` field is `None`, /// this will not (and will not be able to) check whether the untrusted /// state's `next_validators_hash` field is valid. + /// + /// **NOTE**: It is the caller's responsibility to ensure that + /// `trusted.next_validators.hash() == trusted.next_validators_hash`, + /// as typically the `trusted.next_validators` validator set comes from the relayer, + /// and `trusted.next_validators_hash` is the hash stored on chain. fn verify( &self, untrusted: UntrustedBlockState<'_>,