Zcash Orchard pool vulnerability proven not exploited by Dec 31, 2026?

·Science and Technology

This market resolves to YES if, on or before December 31, 2026, 11:59 PM ET, a Mathematical Proof is published and accepted by the Source Agency demonstrating that the June 2026 Zcash Orchard shielded-pool soundness vulnerability (the under-constrained element in the Orchard Action circuit in the halo2_gadgets crate, present since Orchard activation in May 2022, disclosed by the Zcash Open Development Lab and Shielded Labs, and remediated via the emergency network upgrade activated June 1-3, 2026) was NOT exploited in a production environment prior to the deployment of the official remediation. "Mathematical Proof" means a cryptographically valid, formally verified, or peer-reviewed publication that demonstrates with mathematical or cryptographic certainty that the vulnerability was or was not exploited prior to remediation (e.g., formal circuit verification, exploit reconstruction, chain-state proof, supply-audit/turnstile-accounting mechanism, or an equivalent technique) and that is accepted by the Source Agency. This market resolves to NO if, on or before December 31, 2026, 11:59 PM ET, a Mathematical Proof is published and accepted by the Source Agency demonstrating that the vulnerability WAS exploited, OR if no qualifying Mathematical Proof (of either exploitation or non-exploitation) is published and accepted by the Source Agency on or before that date. (For clarity: a NO resolution covers two distinct situations -- (i) a proof that the vulnerability WAS exploited, and (ii) the absence of any accepted Mathematical Proof either way by the deadline. A NO share should not be read as a bet that exploitation occurred.) The Source Agency for this iteration is the official Zcash security disclosure published by the Zcash Open Development Lab (ZODL), with the Zcash Foundation and Shielded Labs disclosures designated as equivalents. If the Source Agency determination is unavailable or under bona fide dispute at the Resolution Deadline, the Exchange may initiate the Market Outcome Review Process under Rule 7.1 of the Rulebook. Read the full full rules.