DISCに受け入れられたフォローアップ作業:O(nL+n^2 log n)のバイナリABAが与えられた完全なセキュリティと最適な回復力を持つ多値非同期ビザンチン合意