читаючи докази безпеки та живості консенсусних протоколів, я помітив закономірність — завжди потрібен шаблон у фіксованому наборі лем перетину кворуму. Якщо це правда, хіба ми не можемо просто написати це як купу LEGO-коробок формальною мовою і завжди запускати ці коробки для будь-якого нового консенсусного протоколу? здається, що R&D нових консенсусних протоколів, заснованих на вимогах рівня додатків, можна прискорити, замість того, щоб чекати роками.