Block and transaction verifications