Композитивність тихо ламається, коли кожен протокол наполягає на повторному обчисленні реальності. Це проблема, яку @brevis_zk вирішує безпосередньо. Перевіряю історію. Повторюю логіку. Повторне підтвердження тих самих припущень. Це не децентралізація. Це фрагментація. ZK змінює це, дозволяючи протоколам повторно використовувати перевірені істини замість повторення роботи. Замість того, щоб виконувати одну й ту ж логіку знову і знову, системи можуть перевірити її один раз і поділитися результатами. Композиційність не масштабується при кращому виконанні. Він масштабується за допомогою спільної верифікації.