チェック可能な状態PBFTコンセンサスアルゴリズムに基づくブロックチェーンの電子健康記録共有モデル | Synapse