A public ledger of falsifiable claims — each re-proven nightly by deterministic zero-tok…