Náklady na benzín nejsou skutečným úzkým hrdlem. @brevis_zk ukazuje, co skutečně rozbíjí systémy. Opakovaná logika, opětovné ověřování historie a opětovné ověřování předpokladů fragmentují skládatelnost. To není bezpečnost. Je to zbytečná koordinace. ZK mění model tím, že umožňuje protokolům znovu používat ověřené pravdy. Efektivita přichází z toho, že nevykonáte to, co už bylo prokázáno.