CrypFormBench v1：密码形式模型能力

原作者覆盖符号及计算安全模型的解释、生成、补全、转换和修正。

原文位置：§3五类任务；§5设置/结果；§6错误与语义；代码b5540654533dbb7a491ece75e50c8da67defc604

不能据此推出：可编译和目标一致不等于部署安全；论文700实例/677方案等统计不混成每种任务统一分母。

核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-CRYPFORM

实际引用在哪里

密码形式分析专属的能力/失败证据。

关系：直接对应

模型语义失配决定验收边界。

关系：相邻工作参照

相邻模型/语义能力提示需要核对安全前提。

关系：相邻工作参照