semisol · 1d

Why are one-time-use proofs being cached? Why is the cache key exactly not what is being proven ??