Pricing the Unprovable: Ambiguity, Turnstile Runs, and the Verifiability Discount in Crypto Protocols

arXiv:2610.21540 · q-fin.TR, cs.CR, q-fin.GN, q-fin.RM · Submitted 2026-10-15 · Read on arXiv