Pranav Ghorpade

DAGベースのコンセンサスプロトコルの正しさを確認するための正式なアプローチ。