{"paper":{"title":"SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"SILMARILS builds transferable designated-verifier signatures from 2-out-of-2 Shamir sharing over finite fields to deliver information-theoretic security and post-quantum guarantees.","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Chen Feng, Dariia Porechna, Hassan Khodaiemehr, Khadijeh Bagheri","submitted_at":"2026-05-04T23:48:01Z","abstract_excerpt":"SILMARILS is built from a minimal algebraic core over $\\mathbb{F}_p$ using true randomness and perfect $2$-out-of-$2$ Shamir secret sharing. The framework supports both two-party and three-party modes. In the two-party setting, SILMARILS realizes a transferable designated-verifier (TDV) signature scheme. The designated verifier can simulate accepting transcripts indistinguishable from real ones, achieving Jakobsson-Sako-Impagliazzo DV security. The verifier may publish a receipt $r$ enabling public verification, yet even with $r$, no external party can tell whether a transcript was signed or s"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"SILMARILS realizes a transferable designated-verifier signature scheme achieving Jakobsson-Sako-Impagliazzo DV security, with EUF-CMA^¬DV security for non-designated verifiers in both ROM and QROM, plus statistically secure three-party mode with error 1/p, and substantially smaller keys/signatures than Dilithium, Falcon, and SPHINCS+.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The construction assumes that true randomness and the algebraic properties of 2-out-of-2 Shamir sharing over F_p suffice to produce simulation-indistinguishable transcripts and the claimed security reductions; if the indistinguishability or the extension to quantum adversaries with classical I/O fails, the security guarantees collapse.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"SILMARILS is a new transferable designated-verifier signature scheme with information-theoretic security, proven EUF-CMA^¬DV security in ROM and QROM, and substantially smaller keys and signatures than Dilithium, Falcon, or SPHINCS+.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"SILMARILS builds transferable designated-verifier signatures from 2-out-of-2 Shamir sharing over finite fields to deliver information-theoretic security and post-quantum guarantees.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5eff4c59aac7964363c732dcdb0e2a165c2fd12f74908571c920c117d7c5df52"},"source":{"id":"2605.03230","kind":"arxiv","version":2},"verdict":{"id":"69278ab7-4c08-414c-8e5a-a08b93d4f129","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-08T17:42:10.127620Z","strongest_claim":"SILMARILS realizes a transferable designated-verifier signature scheme achieving Jakobsson-Sako-Impagliazzo DV security, with EUF-CMA^¬DV security for non-designated verifiers in both ROM and QROM, plus statistically secure three-party mode with error 1/p, and substantially smaller keys/signatures than Dilithium, Falcon, and SPHINCS+.","one_line_summary":"SILMARILS is a new transferable designated-verifier signature scheme with information-theoretic security, proven EUF-CMA^¬DV security in ROM and QROM, and substantially smaller keys and signatures than Dilithium, Falcon, or SPHINCS+.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The construction assumes that true randomness and the algebraic properties of 2-out-of-2 Shamir sharing over F_p suffice to produce simulation-indistinguishable transcripts and the claimed security reductions; if the indistinguishability or the extension to quantum adversaries with classical I/O fails, the security guarantees collapse.","pith_extraction_headline":"SILMARILS builds transferable designated-verifier signatures from 2-out-of-2 Shamir sharing over finite fields to deliver information-theoretic security and post-quantum guarantees."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.03230/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T15:34:04.229308Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"94621e98b15c4ac1036a881a824471e478a06caec8ccd99a2d1fcb9600282cd1"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":3,"snapshot_sha256":"94330fc197006cf8573b0483cdb0da0ab3c52d3c5264376d34c6fda976ecc682"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}