succinctlabs/tendermintx

Verify `SKIP_MAX` + `trusted_block` > `target_block` > `trusted_block`

Closed this issue · 1 comments

ratankaliani commented

This is correctly constrained by the contract, but if developers use the TendermintX circuit with a different smart contract, it's probable they'll underconstrain.

  • Verify target header height > trusted header height.
  • Verify target header height < trusted header height + SKIP_MAX for skip circuits. Add this as a constant to consts.