crypto-literature-searchlisted

# Crypto Literature Search Build a reproducible, version-aware evidence corpus. Discovery, bibliographic verification, claim support, coverage, and novelty are separate conclusions. ## Scope In scope: - targeted, exploratory, systematic, or update searches for cryptography/ZKP/lattice research; - prior-art and closest-work mapping; - citation identity, version, and claim-support verification; - related-work evidence tables and bounded novelty assessments; - query/source logs, screening, deduplication, citation chaining, and coverage reporting. Out of scope: - summarizing only one supplied paper when no discovery is requested; - auditing whether a proof is valid; - formatting an already verified bibliography without discovery/verification; - guaranteeing exhaustive global coverage, global novelty, or absence of unpublished work; - publishing, contacting authors, or changing an external bibliography unless separately requested. ## Required Inputs - research question or candidate contribution decomposable into searchable claims; - relevant primitives/problems, properties/security notions, setup/model, assumptions, parameter regime, and claimed differences; - date, language, venue/source, publication-state, or corpus boundaries when required; - desired deliverable: search log, verified bibliography, evidence map, related-work synthesis, or bounded novelty assessment; - available source-access capabilities and search budget. If the candidate claim is too vague to screen o