Theorem · T-GAV25-CONSTR10
Gavinsky et al. 2025 · Definition 9
P06 · arXiv v2 (2025-10-21)
- Status
- NOT VERIFIEDField not checked against the primary source; see the reason.NOT_VERIFIED; NOT_VERIFIED fields: claim13_inequality, construction15_parameters
- Game
- A1
- Anchor
- Definition 9; Construction 10 parameter statement (arXiv v2 PDF, Section 3 end, before Sec. 3.1); Claims 12-13 (Sec. 3.1-4); Construction 15
- Source file
- research/THEOREM_REGISTRY_SEED.yaml
Statement summary
Construction 10 satisfies Definition 9 with n = k, m = k 2^{k/4}, N_Mint = 2^{k/4}, N_Verify = 2^{k/2}, t = k, eps_loss = 2^{-k/2}, eps_fraud = 2^{-k/4}, for any 4 | k. Anonymity (Claim 13) is an audit bound via swap test. Its exact inequality was not transcribed.
Citations
Record
Every field of the source record, in file order.
- Proof obligationproof_obligation
- P-PRIV
- Gamegame
A1
- Source paper idsource_paper_id
- P06
- Source urlsource_url
https://arxiv.org/abs/2510.06212
- Anchoranchor
Definition 9; Construction 10 parameter statement (arXiv v2 PDF, Section 3 end, before Sec. 3.1); Claims 12-13 (Sec. 3.1-4); Construction 15
- Statusstatus
NOT_VERIFIED
- Verificationverification
statement_summary: VERIFIED_FROM_SOURCE claim13_inequality: NOT_VERIFIED construction15_parameters: NOT_VERIFIED
- Not verified reasonsnot_verified_reasons
claim13_inequality: PDF text extraction garbled the inequality. Lane O1 must read the typeset PDF. construction15_parameters: Not read in detail. Lane A only had time for a summary-level reading of P06.