Dynamic costly state verification · Study