Taahhüt özeti
Bir hesabın tam girdileri, faktörleri ve sonucu üzerinden alınan özet; aynı girdiler her zaman aynı değeri üretir.
Taahhüt, bir hesabı yerine sabitler. Aynı girdiler ve faktörlerle yeniden hesaplayın, aynı özeti alırsınız; bir şey değişirse özet de değişir.
Kanıtladığı şey yeniden üretilebilirliktir: bu sonuç bu girdilerden çıkar. Kanıtlamadığı şey hesabın ne zaman yapıldığıdır — bunun için taahhüdün, bağımsız bir zaman damgası taşıyan bir şeye çapalanması gerekir.
Bu ayrımı net tutmakta fayda var; çünkü ikisi sık sık birlikte anlatılır ve çoğu sistemde yalnız biri vardır.