一致性:经过orderer deliver的交易,seqno一定时,blob和prevhash都一样;
hash链的完整性:对于deliver(seqno, hash0, blob0)和deliver(seqno-1, hash1, blob1),HASH(seqno-1, hash1, blob1) == hash0;
不会凭空创造交易:每一次deliver,都是由于一次boardcast产生的;
不会缺失交易:如果一个deliver(seqno, hash, blob)已经发生,那么一定有deliver(seqno-1, hash0, blob0) ... deliver(0, default-hash, blob);
不会重复交易:如果产生了两次 boardcast(blob),boardcast(blob1),则deliver(seqno1, hash, blob1)和deliver(seqno, hash0, blob)中,seqno1==seqno,hash==hash0,blob==blob1。