Paper: arXiv 2610.21540

Authors: Doohwi Cha, Hanhee Kim, Hyeonjun Yeo, Minsuk Sung, Minjae Lee, Seunghan Son, Donghwa Seo, Juyeong Lee

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.

Complexity vs Empirical Score

  • Math Complexity: 7.0/10
  • Empirical Rigor: 7.0/10
  • Quadrant: Holy Grail — high math complexity, high empirical rigor

Why this score: The paper presents a novel concept of ‘verifiability discount’ with a formal turnstile model, backed by empirical analysis on crypto events. The mathematical modeling is robust, and the empirical framework, VDISC, demonstrates strong rigor in data collection and analysis, even if causality is not fully established. The paper is well-structured and provides clear implications for protocol design.

Research Flowchart

  flowchart TD
    A[Research Goal: Quantify Verifiability Discount & its Impact on Crypto Protocols] --> B{Key Methodology Steps};

    B --> C[Develop 'Verifiability Discount' (VDISC) Framework];
    B --> D[Turnstile Model: Analyze Early Withdrawal & Shortfall Shift];

    C --> E[Data Input: Orchard Disclosures, Zcash Cases, 40-Event Security Panel];
    D --> E;

    E --> F{Computational Processes};
    F --> G[Analyze Market Responses, Returns, Pool Flows];
    F --> H[Correlate Reported Loss & Unresolved Exposure];

    G --> I[Key Findings/Outcomes];
    H --> I;

    I --> J[Orchard: Muted Response after Repair/Assurance, Negative Return/Outflow with Unruled-Out Abuse];
    I --> K[Across Events: High Correlation (Pearson 0.86) between Reported Loss & Unresolved Exposure];
    I --> L[Design Priorities: Privacy-Compatible Evidence, Limit Exposed State, Explicit Disclosure of Uncertainty];