Research workflows for crypto
Twelve focused skills for researchers working on cryptographic constructions and papers, especially secure multiparty computation and zero-knowledge proofs.
Formulate research questions, trace literature claims to primary sources, draft and minimally edit technical prose, and examine security arguments under their stated definitions and assumptions. For implementation work, use separate workflows for protocol correspondence, benchmark accounting, evaluation writing, and reproducible artifacts.
The skills emphasize precise models, evidence provenance, conservative claims, and keeping the requested scope small. Proof audits distinguish confirmed errors, proof gaps, unstated assumptions, and unverified dependencies. They are read-only unless edits or proof completion are requested.
This package provides workflow instructions and references. It does not certify security, replace expert review, or supply a proof assistant. The host agent's available tools determine which searches, file edits, builds, and experiments can actually run.