Kompozabilnost tiše selhává, když každý protokol trvá na přepočítání reality. To je problém, který @brevis_zk přímo řeší. Znovu kontroluji historii. Znovu spouštím Logic. Znovu potvrzujeme stejné předpoklady. To není decentralizace. To je fragmentace. ZK to mění tím, že umožňuje protokolům znovu používat ověřené pravdy místo opakování práce. Místo opakovaného provádění stejné logiky mohou systémy ověřit jednou a sdílet výsledky. Složitost se neškáluje s větším provedením. Škáluje se sdíleným ověřováním.