zk-SNARKs act like reversible computation: validity is proven, the witness is never erased, zero joules dissipated
Privacy is the only path to negative ledger entropy