Komponerbarhet brytes stille sammen når alle protokoller insisterer på å omberegne virkeligheten. Dette er problemet @brevis_zk tar tak i. Sjekker historikken på nytt. Kjører logikken på nytt. Validerer de samme antakelsene på nytt. Det er ikke desentralisering. Det er fragmentering. ZK endrer dette ved å la protokoller gjenbruke verifiserte sannheter i stedet for å gjenta arbeidet. I stedet for å kjøre den samme logikken om og om igjen, kan systemer verifisere én gang og dele resultatene. Komponerbarhet skalerer ikke med mer utførelse. Den skalerer med delt verifisering.