search

cosmos / sp1-ics07-tendermint

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

Create a not frozen modifier for SP1ICS07Tendermint #101

Closed gjermundgaraba closed 2 weeks ago

gjermundgaraba commented 3 months ago

We need to validate a few places that the clientState is not frozen (before updating client, membership proofs, misbehavior). To make things a bit smoother, we could have a simple modifier that verifies this on public methods that need it.