Tendermint light client: update misbehaviour handling #616
Labels
A: blocked
Admin: blocked by another (internal/external) issue or PR
O: security
Objective: aims to enhance security and improve safety
tendermint-rs's light client does an extra check that should be removed in
ProdVerifier::verify()
, that we call inClientState::verify_client_message()
. We are currently blocked on tendermint-rs providing a new API that we can use.Context: #584 (comment)
Blocked on: informalsystems/tendermint-rs#1294
The text was updated successfully, but these errors were encountered: