Firm verification

Reading on-chain state…