More precisely, a Consensus protocol must satisfy the four formal properties below.
Cụ thể hơn, một giao thức đồng thuận phải đáp ứng bốn tính chất chính thức dưới đây.