{"id":22478,"plugin_id":"plugins_6ab0c5fbd69081919fa85386d207bb40","kind":"skill","collection_source":null,"comparison_source":null,"observed_at":"2026-09-30T23:17:17.743Z","digest":"2df8c249b6371a67f66f17d4593e5864b5fed81f4232ec47b3c4cb4c7121fad6","against":null,"payload":{"description":"Turn an exploratory cryptography idea into a candidate lemma, construction approach, counterexample, or precise obstruction. Use for choosing the next mathematical step, not local prose edits or auditing an existing proof.","included_files":[{"relative_path":"agents/openai.yaml","size_in_bytes":262},{"relative_path":"references/compatible-input-simulation.md","size_in_bytes":5191},{"relative_path":"references/definition-and-interface-gaps.md","size_in_bytes":6400},{"relative_path":"references/mpc-worked-example.md","size_in_bytes":4140},{"relative_path":"references/proof-representations.md","size_in_bytes":7741},{"relative_path":"references/research-moves.md","size_in_bytes":6990}],"name":"crypto-research-framing","skill_md_contents":"---\nname: crypto-research-framing\ndescription: Turn an exploratory cryptography idea into a candidate lemma, construction approach, counterexample, or precise obstruction. Use for choosing the next mathematical step, not local prose edits or auditing an existing proof.\n---\n\n# Cryptography Research Framing\n\nFind a useful next mathematical step. A precise obstruction can be as useful as a candidate construction; a modest question needs no grand unifying objective.\n\n## Keep the target fixed\n\nSeparate the desired capability from the assumptions and setup available to realize it. Fix, or explicitly leave open, the functionality, leakage, adversary and corruption, composition, abort or delivery, interaction, and quantitative goal when relevant. A missing choice does not authorize selecting an easier theorem. Label changes to these conditions as alternative targets and continue work that does not depend on unresolved choices.\n\nA request for research directions does not authorize manuscript edits or experiments. Do not imitate a researcher's persona, infer individual contributions from coauthorship, or use reputation as evidence for a lemma.\n\n## Develop a candidate\n\n1. State the capability and obstacle. Distinguish an impossibility theorem, a limitation of the current approach, and an intuition.\n2. Isolate the intermediate object the argument needs: inputs, outputs, joint law, adversarial choices, exposed state, and simulator information. An ideal functionality performing the entire target may only rename the problem.\n3. Compare a few meaningfully different mechanisms. For each serious candidate, identify the missing lemma and a plausible failure. Test the smallest instance that retains the relevant correlations, auxiliary information, and adaptive choices; a passing example is not a proof.\n4. Connect the local property to its consumer. Assign correctness, privacy, simulation/extraction, consistency, and error bounds to the components actually responsible. Account for repeated use and retained state.\n\nSelect additional guidance by the obstacle:\n\n- [Research moves](references/research-moves.md): change a definition, representation, component role, or assumption.\n- [Proof representations](references/proof-representations.md): missing reduction capabilities, proof-only modes, or adaptive timing.\n- [Definition and interface gaps](references/definition-and-interface-gaps.md): intended use exceeds the available theorem or quantitative bound; includes an optional simulation example.\n- [MPC worked example](references/mpc-worked-example.md): isolate a preprocessing interface and communication calculation.\n\nThese are optional methods and hypothetical exercises, not a sequence every project must complete.\n\n## Return the mathematical result\n\nGive a candidate lemma with a proof attempt, a counterexample identifying the violated requirement, a justified local transformation, or a precise remaining obstacle. State what is derived, assumed, source-supported, or open, and which unresolved premise most affects the next step. Do not promote a local calculation to whole-construction security.\n\nVerify paper-specific mechanisms and theorem premises against versioned primary sources. Separate their claims from proposed adaptations and explanatory failed candidates. Use `crypto-literature-evidence` for additional source research, `crypto-proof-auditor` for a substantive validity audit, or `cryptography-writing` for authorized manuscript drafting only when that separate task is needed.\n"},"changes":[],"summary":"First saved snapshot. No earlier version is available for comparison.","summary_kind":"deterministic","summary_metadata":{}}