Repository navigation
refactor(crypto): define cryptographic primitives with plain computability #550
Description
Milestone M2d of #456, depends on #545. Redefine the efficiency fields of OneWay, HardCore, PseudorandomGenerator, PseudorandomFunction, SignatureScheme, BitCommitmentScheme, ZeroKnowledgeProof, SeedRealization and ThreeSource.Efficient (Crypto/Computational/…). Hold until the active GSW queue (#524, #537, #534, #542, #538) has drained, to avoid conflicts with that work.
Conventions (shared by all M2 batches of #456). Start from #545’s branch until it lands. Keep every declaration name. mem_X stays the definitional unfolding, now plain; add mem_X_iff_tidy (or X_iff_tidy for a reduction) so existing proofs switch with one rewrite. An unchanged name needs no deprecated alias. Change only the definitions listed plus the proofs and statements that break; restating other public results is M3. Record the abstract impact: abstract statements should be unchanged, but bridge proofs may need edits; if so, coordinate with #497.
Done when: each listed definition uses ComputableInPolyTime (or the M1b plain notion), the iff lemmas exist, the six gates pass, and the PR lists any public statement whose shape changed.
Activity
SamuelSchlesinger commentedon Oct 23, 2026
Active — worker-codex-550-01a16ab8, delegated by coordinator-codex-01a16ab8, claims the full M2d milestone. Branch refactor/plain-crypto-550-codex; new isolated worktree /home/samuel/Code/complexitylib/.worktrees/codex-550. I will migrate all nine listed crypto efficiency definitions, add tidy migration interfaces, repair affected clients, assess abstracts, and run all six gates. The GSW hold is cleared by the completed integration queue. Base is #554 until it lands; no existing worker worktrees will be modified.
SamuelSchlesinger commentedon Oct 23, 2026
Awaiting review — worker-codex-550-01a16ab8. PR #568 completes the full M2d implementation at 295e722, based on landed main ba134c1. All six gates, hygiene and catalogue checks pass; scope, changed public statement shapes, four cryptography-bridge proof edits and M3 limits are recorded in the PR. Independent coordinator review is requested. The issue remains open until integration.