Lattice Parameter Audit
Audit formal assumptions, concrete attacks, correctness probability, and implementation compatibility separately. No single reduction or estimator run certifies a parameter set.
Scope
In scope: exact lattice problem/structure, dimension/modulus/samples/distributions/norms, reductions, tail/smoothing/rejection/decryption failures, classical/quantum attacks, estimator reproducibility, parameter sensitivity, NTT/packing/gadget/noise compatibility.
Out of scope: claiming certified security without reproducible attack evaluation, side-channel certification, or silently selecting missing parameters.
Required Inputs
- scheme/proof specification and exact parameter set;
- problem variant, algebraic structure, secret/error distributions, norms/bounds;
- target correctness and classical/quantum security levels/cost metrics;
- reduction claims, estimator/tool configuration, implementation regime.
Success Criteria
- Exact LWE/SIS variant and parameter ledger are complete.
- Formal reduction assumptions/constraints and concrete deployed regime are compared.
- Correctness/decryption/rejection/statistical failures are derived and composed.
- Relevant primal, dual, decoding, hybrid, combinatorial, algebraic/structural, and implementation attacks are considered.
- Estimator/tool version, config, samples, memory, cost model, and reproducible inputs are recorded.
- Security sensitivity and margins are reported, not only one point estimate.
- Formal, concrete, correctness, and compatibility verdicts remain separate.
Failure Modes
- Missing distribution/norm/structure: block affected bounds and estimates.
- Unreproducible estimator output: mark concrete security unverified.
- Reduction outside parameter regime: do not transfer worst-case foundation.
- Failure probability without workload composition: report per-operation only.
- Incompatible cost metrics or hidden memory/data: refuse bit-security comparison.
Never fabricate parameters, estimator runs, reduction applicability, attack costs, or failure rates.
Workflow
- Apply protocol.md to freeze the exact problem and parameter ledger.
- Audit reductions, distributions/norms, correctness failures, attack surface, and concrete estimates.
- Check implementation compatibility and parameter sensitivity.
- Return four verdicts plus assumptions and unverified evidence.
- Use evaluation-scenarios.md for future independent evaluation.
Output Contract
Return: scheme/version; exact problem/structure; parameter ledger; reduction audit; distribution/norm audit; correctness/failure derivation; attack matrix; estimator reproducibility record; implementation compatibility; sensitivity/margins; blocking/major/minor findings; formal/concrete/correctness/compatibility verdicts.
1---2name: lattice-parameter-audit3description: Use when auditing LWE, Ring-LWE, Module-LWE, SIS-family, lattice KEM/signature/FHE/ZKP parameters, reductions, correctness failures, concrete attacks, estimator outputs, or implementation compatibility.4---56# Lattice Parameter Audit78Audit formal assumptions, concrete attacks, correctness probability, and implementation compatibility separately. No single reduction or estimator run certifies a parameter set.910## Scope1112In scope: exact lattice problem/structure, dimension/modulus/samples/distributions/norms, reductions, tail/smoothing/rejection/decryption failures, classical/quantum attacks, estimator reproducibility, parameter sensitivity, NTT/packing/gadget/noise compatibility.1314Out of scope: claiming certified security without reproducible attack evaluation, side-channel certification, or silently selecting missing parameters.1516## Required Inputs1718- scheme/proof specification and exact parameter set;19- problem variant, algebraic structure, secret/error distributions, norms/bounds;20- target correctness and classical/quantum security levels/cost metrics;21- reduction claims, estimator/tool configuration, implementation regime.2223## Success Criteria2425- Exact LWE/SIS variant and parameter ledger are complete.26- Formal reduction assumptions/constraints and concrete deployed regime are compared.27- Correctness/decryption/rejection/statistical failures are derived and composed.28- Relevant primal, dual, decoding, hybrid, combinatorial, algebraic/structural, and implementation attacks are considered.29- Estimator/tool version, config, samples, memory, cost model, and reproducible inputs are recorded.30- Security sensitivity and margins are reported, not only one point estimate.31- Formal, concrete, correctness, and compatibility verdicts remain separate.3233## Failure Modes3435- Missing distribution/norm/structure: block affected bounds and estimates.36- Unreproducible estimator output: mark concrete security unverified.37- Reduction outside parameter regime: do not transfer worst-case foundation.38- Failure probability without workload composition: report per-operation only.39- Incompatible cost metrics or hidden memory/data: refuse bit-security comparison.4041Never fabricate parameters, estimator runs, reduction applicability, attack costs, or failure rates.4243## Workflow44451. Apply [protocol.md](references/protocol.md) to freeze the exact problem and parameter ledger.462. Audit reductions, distributions/norms, correctness failures, attack surface, and concrete estimates.473. Check implementation compatibility and parameter sensitivity.484. Return four verdicts plus assumptions and unverified evidence.495. Use [evaluation-scenarios.md](references/evaluation-scenarios.md) for future independent evaluation.5051## Output Contract5253Return: scheme/version; exact problem/structure; parameter ledger; reduction audit; distribution/norm audit; correctness/failure derivation; attack matrix; estimator reproducibility record; implementation compatibility; sensitivity/margins; blocking/major/minor findings; formal/concrete/correctness/compatibility verdicts.54
jiayaoqijia