It's just unlocking, but the value is equal to the mkc of the proof