Newest papers

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

Doohwi Cha, Hanhee Kim, Hyeonjun Yeo, Minsuk Sung, Minjae Lee, 손승한, Donghwa Seo, Juyeong Lee · 2026 · arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.21540 · cited by 0 works (OpenAlex) · open-access PDF

Vietnamese

Các giao thức tiết lộ riêng tư duy nhất có thể sửa chữa một lỗ hổng mà không xác định xem nó đã được khai thác trước, ngay cả khi không có vụ trộm được báo cáo và cung cấp tổng thể được bảo vệ. Chúng tôi gọi giảm giá trị tiềm năng từ khoảng cách này là giảm giá xác minh. Một mô hình kiểu xoay cho thấy cách rút tiền sớm có thể chuyển một lỗ hổng có thể xảy ra cho các chủ sở hữu còn lại và lý do tại sao bằng chứng đáng tin cậy có thể trở nên có giá trị hơn khi tiếp xúc tăng lên. Chúng tôi giới thiệu VDISC, một khuôn khổ có thể tái tạo được ghi lại báo cáo mất mát, giá trị tiếp xúc, bằng chứng công khai, lợi nhuận và dòng chảy của bể cá riêng biệt. Nó kết hợp các tiết lộ theo giai đoạn của Orchard với các dòng chảy trên chuỗi được tái tạo, các trường

Machine translation (Meta M2M100); the English original follows.

Abstract

Privacy-preserving protocols can repair a vulnerability without establishing whether it was exploited beforehand, even when no theft is reported and aggregate supply is protected. We call the potential value reduction from this gap the verifiability discount. A turnstile model shows how early withdrawal can shift a possible shortfall to remaining holders and why credible evidence can become more valuable as exposure grows. We introduce VDISC, a reproducible framework that records reported loss, exposed value, public evidence, returns, and pool flows separately. It combines Orchard's staged disclosures with reconstructed on-chain flows, earlier Zcash cases, and a 40-event security panel. Orchard follows the predicted direction: market responses were muted after repair and supply assurance, while the largest negative return and aggregate shielded-pool net outflow aligned with the acknowledgment that past abuse could not be ruled out. These patterns are directional, not causal. Across events, market-cap-normalized reported loss and unresolved exposure overlap among the 38 events with a public loss figure (Pearson 0.86, Spearman 0.56), partly because exposure is often coded from the loss itself, so returns alone cannot distinguish reported loss from unresolved history. The findings motivate three candidate design priorities: produce privacy-compatible evidence about past states, limit the state exposed by a single flaw, and disclose residual uncertainty explicitly.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Turnstile, Computer security, Economics, Computer science, Aggregate (composite), Business

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange