khi đọc về độ an toàn và chứng minh tính sống còn của các giao thức đồng thuận, tôi đã quan sát thấy một mẫu, một khuôn mẫu trong một tập hợp cố định các định lý giao nhau của đa số luôn cần thiết. nếu điều này đúng, chúng ta không thể chỉ viết điều này như một đống hộp lego trong ngôn ngữ chính thức và để những hộp này luôn được chạy cho bất kỳ giao thức đồng thuận mới nào sao? có vẻ như R&D của các giao thức đồng thuận mới dựa trên yêu cầu của lớp ứng dụng có thể được thúc đẩy nhanh chóng, thay vì phải chờ đợi nhiều năm.