Lock on a block only when the block is verified

Our Tendermint implementation locks on a block if 2/3 of prevotes are collected even though the block is not received yet. Changing the behavior should not affect safety. If more than 2/3 of peers are byzantine(very rare case) the node should not send a precommit on the block.

prevote、ブロックの受信、locking、precommit の判断に関する Tendermint のコンセンサス処理を追跡します。現在の実装がブロックを検証する前にどのように locking するかを確認し、そのうえで、ブロックの受信が遅延する場合と、記載された Byzantine peer のケースに対するテストを定義します。locking と precommit の挙動が issue に一致し、安全性を弱めていなければ完了です。

索引モデルが issue の本文から書いたものです。