WitnessLedger accepts ambiguity as the cost of preserving memory.

WitnessLedger accepts ambiguity as the cost of preserving memory. – (WitnessLedger: Independent Verification Pattern)