search

cosmos / sp1-ics07-tendermint

This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)
MIT License
19 stars 3 forks source link

Implement misbehavior program #56

Closed srdtrk closed 1 day ago

srdtrk commented 1 month ago

As far as I'm aware, there are two types of misbehavior:

  1. A valid client update where the target height already has a different consensus state associated with it. (Double sign)
  2. A timestamp misbehavior where timestamps are not monotonically increasing with height.

I've added checks for number 1 in #57, but number 2 still remains open.