Crypto Related Work Synthesis
Synthesize relations among verified works. Do not substitute topical similarity for claim-level evidence or turn a corpus gap into global novelty.
Scope
In scope: corpus normalization, taxonomy, chronological/intellectual lineage, compatible comparison, assumption/model/parameter tradeoffs, contradictions, limitations, and evidence-linked gap statements.
Out of scope: broad discovery without a corpus, one-paper deep reading, proof verification, universal novelty, or prose polishing detached from evidence.
Required Inputs
- screened corpus with exact versions and verification status;
- synthesis question and intended contribution/section;
- inclusion/exclusion and coverage boundaries;
- claim-evidence records or access to inspected papers.
Success Criteria
- Work/version identity and claim-support status remain visible.
- Taxonomy axes are technically meaningful, mutually explained, and evidence-backed.
- Comparisons align security model, assumptions, parameters, functionality, and cost model.
- Historical influence/citation claims are verified rather than inferred from dates.
- Contradictions and non-comparable results remain explicit.
- Gap statements are bounded by corpus/search coverage and distinguish missing study from impossible/unknown result.
Failure Modes
- Abstract-only corpus: produce a provisional topic map, not technical synthesis.
- Mixed/unknown versions: stop affected comparisons until reconciled.
- Incompatible metrics: qualify rather than rank.
- Sparse corpus: return coverage gaps and next-search needs.
- Advocacy request: preserve adverse closest work and counterevidence.
Never fabricate citations, relationships, priorities, theorem content, or comparative superiority.
Workflow
- Apply protocol.md to normalize the corpus and build claim-level comparison axes.
- Construct taxonomy, lineage, tradeoff/contradiction matrix, and bounded research gaps.
- Trace every synthesis sentence to verified corpus entries or label it interpretation.
- Return an evidence map usable for writing, plus unresolved search/verification needs.
- Use evaluation-scenarios.md for future independent evaluation.
Output Contract
Return: corpus/version summary; synthesis question; taxonomy with rationale; chronology/influence map; claim-comparison matrix; assumption/model/parameter/cost tradeoffs; contradictions; bounded gaps; evidence-linked outline; excluded/unverified items; next searches.
1---2name: crypto-related-work-synthesis3description: Use when synthesizing a verified cryptography, ZKP, or lattice paper corpus into a taxonomy, historical development, claim comparison, tradeoff map, research gaps, or related-work section evidence base.4---56# Crypto Related Work Synthesis78Synthesize relations among verified works. Do not substitute topical similarity for claim-level evidence or turn a corpus gap into global novelty.910## Scope1112In scope: corpus normalization, taxonomy, chronological/intellectual lineage, compatible comparison, assumption/model/parameter tradeoffs, contradictions, limitations, and evidence-linked gap statements.1314Out of scope: broad discovery without a corpus, one-paper deep reading, proof verification, universal novelty, or prose polishing detached from evidence.1516## Required Inputs1718- screened corpus with exact versions and verification status;19- synthesis question and intended contribution/section;20- inclusion/exclusion and coverage boundaries;21- claim-evidence records or access to inspected papers.2223## Success Criteria2425- Work/version identity and claim-support status remain visible.26- Taxonomy axes are technically meaningful, mutually explained, and evidence-backed.27- Comparisons align security model, assumptions, parameters, functionality, and cost model.28- Historical influence/citation claims are verified rather than inferred from dates.29- Contradictions and non-comparable results remain explicit.30- Gap statements are bounded by corpus/search coverage and distinguish missing study from impossible/unknown result.3132## Failure Modes3334- Abstract-only corpus: produce a provisional topic map, not technical synthesis.35- Mixed/unknown versions: stop affected comparisons until reconciled.36- Incompatible metrics: qualify rather than rank.37- Sparse corpus: return coverage gaps and next-search needs.38- Advocacy request: preserve adverse closest work and counterevidence.3940Never fabricate citations, relationships, priorities, theorem content, or comparative superiority.4142## Workflow43441. Apply [protocol.md](references/protocol.md) to normalize the corpus and build claim-level comparison axes.452. Construct taxonomy, lineage, tradeoff/contradiction matrix, and bounded research gaps.463. Trace every synthesis sentence to verified corpus entries or label it interpretation.474. Return an evidence map usable for writing, plus unresolved search/verification needs.485. Use [evaluation-scenarios.md](references/evaluation-scenarios.md) for future independent evaluation.4950## Output Contract5152Return: corpus/version summary; synthesis question; taxonomy with rationale; chronology/influence map; claim-comparison matrix; assumption/model/parameter/cost tradeoffs; contradictions; bounded gaps; evidence-linked outline; excluded/unverified items; next searches.53
jiayaoqijia