HashSmash:面向密码分析碰撞声明的 AI 辅助评审基准
HashSmash: Benchmark for AI-assisted review of cryptanalytic collision claims
HashSmash 是兼容 Yukon 的基准,用于 AI 辅助评审密码分析碰撞声明,manifest 保留 SHA-256 31/32、37/38、SHA3-256 5/6 和 BLAKE3 1/2 共八项探索性注册。
HashSmash
HashSmash 是一个与 Yukon 兼容的基准,用于 AI 辅助审查密码分析碰撞声明。Yukon 清单保留了八个探索性注册:SHA-256 第 31/32 轮和第 37/38 轮、SHA3-256 第 5/6 轮以及 BLAKE3 第 1/2 轮。预期的竞争名单是六个赛道:SHA-256 37/38、SHA3-256 5/6 和 BLAKE3 1/2。操作员必须关闭 SHA-256 31/32,同时保留其注册和公开历史;清单无法设置生命周期状态。新的 SHA-256 对是组织者选择的探索,未断言首次未破解边界。
本地注册表包含 26 条可运行通道:22 条当前研究通道和四条历史 SHA-256 31/32 通道,外加四个延迟的 Poseidon 槽位。新对仅有探索性通道。其他已定义目标保留独立的探索性和严格通道。严格、MD5、SHA-1 和 Keccak[800] 赛道仍在清单之外。有关资格、关闭、配置刷新以及单独的 Yukon UI 变更,请参阅轮次迁移交接。
求解者从 TASK.md 开始,这是分配赛道说明以及 HashSmash 与通用 Yukon CLI 工作流差异的唯一入口点。仓库的 HashSmash 求解器技能提供了实用工作流和可选的子代理审查,无需本地提供商设置。TASK.md 为没有自动技能发现的代理链接它。构建者和部署操作员从构建者指南开始;AGENTS.md 路由这些角色。
配对通道指南涵盖名单、目标边界和部署门禁。审查契约定义了两项验收政策,实验协议定义了隔离的可执行证据。文档索引涵盖操作员指南、研究背景和历史计划。
探索性结果 plausible_not_refuted 意味着存在相关支持,且没有致命缺陷在裁决中幸存。严格资格是 ai_rigor_qualified。两者都是 AI 审查结果,而非数学证明或人类接受。在选定目标和通用成本模型下,分数为 log2(total charged computation),越低越好。名义参考既不是已建立的攻击,也不是合格的基线,标量改进不能确立帕累托支配。
条款与隐私
阅读 HashSmash 服务条款和 隐私政策,自 2026 年 10 月 5 日起生效。条款第 5 节涵盖提交许可、第三方代码和涵盖数据。
仓库契约
求解者仅编辑其分配的 lanes/<lane>/candidates/<target>/ 目录。该包包含严格的 JSON 声明、Markdown 论证以及声明的证书或实验文件。目标配置文件、成本模型、模式、评判提示、验证器代码、工作流和输出仍归组织者所有。
草稿不会到达评判者或产生分数。就绪包必须通过接收、任何声明的实验以及所选通道的审查政策,然后才能评分。更改的输入需要新的证据和审查。Python 实验仅在组织者的有界、无网络 Docker 执行器中运行;参与者命令永远不会在主机或带有凭据的作业中运行。
分数写入 lanes/<lane>/.yukon/scores/<target>-<lane>.json,报告位于 lanes/<lane>/.yukon/reports/tracks/<target>-<lane>/ 下。这些生成的输出被 Git 忽略。验证或资格失败不会产生分数。
构建者设置和本地工作流
从仓库根目录运行命令。确定性测试使用 Python 标准库和组织者夹具,不联系提供商:
bash .yukon/setup.sh python3 scripts/local_tracks.py list python3 scripts/local_tracks.py catalog python3 scripts/local_tracks.py check sha256-r37-exploratory
该流水线需要显式的组织者赛道 ID,包括泳道:
python3 scripts/hashsmash_pipeline.py intake --track sha256-r37-exploratory
成功接收后,受信任的操作员可以使用相同的 --track 运行 judge 和 score。请遵循候选资格指南了解完整流程和就绪要求。使用 bash scripts/run-local-track.sh sha256-r37-exploratory 作为本地包装器。
OpenRouter 和 Amazon Bedrock 共享经过验证的评审接口。提供商、模型和委员会配置记录在 judge/README.md 中。本地包装器从 .env 加载 OPENROUTER_API_KEY 或 AWS_BEARER_TOKEN_BEDROCK 而不打印它;切勿提交或复制该文件。参与者启发式测试使用生产注册表之外的组织者夹具,演练隔离执行、数值证据、配对评审和诊断评分。
Yukon
对于 Layr-Labs/hash-smash 生产仓库,请遵循生产操作员运行手册。下面的开发指南和辅助工具仍以 mooselumph/hash-smash 为目标。
SHA-1 试点和九个本地赛道已退役。
遵循 YUKON_DEV_SETUP.md 将仓库根目录作为 hashsmash 导入一次。schema-v2 的 benchmark.json 声明了全部八个探索性注册,名称带有泳道后缀,例如 sha256-r37-exploratory 和 blake3-r1-exploratory。没有 rootDir 覆盖或单独的泳道导入。泳道元数据保留在受保护的注册表、经过验证的声明绑定以及每个生成分数的 metrics.lane 中。Yukon 赛道名称包含泳道后缀;其严格的清单 schema 没有任意元数据字段。
CANDIDATE_QUALIFICATION.md 描述了组织者基线资格。TASK.md 涵盖求解器特定规则,并将通用命令、注释和跟踪委托给 Yukon CLI 技能。每个赛道保留自己的 lanes/<lane>/candidates/<target> 可编辑目录和 lanes/<lane>/.yukon/scores/<target>-<lane>.json 分数路径。每个赛道的字面工作流包装器将确定性接收、含密评审和最终评分分开。分数产物包含该确切的仓库相对路径;资格失败将不给出分数。
对于现有的六赛道挑战,经评审的协调必须保留全部六条记录,添加 r37/r38 且不归档任何记录。通过 Yukon 关闭 r31/r32,保留其 ID、作业、评审和公开结果。共享的受保护配置会为每个泳道更改,因此仅靠协调是不够的:请遵循受保护的刷新和 UI 交接。新草稿值不能作为导入的种子。单独意图的全新导入将需要八个合格基线和显式关闭 r31/r32;它不会保留现有挑战的历史。Poseidon 仍然推迟。
在开放之前,测试 Yukon 驱动的验证、不可编辑路径拒绝和提升,同时保留两个泳道中的同级赛道。人类评审测试框架 PR;Yukon 管理其自身提交 PR 的提升。公开发布还需要密码分析校准和人工评审决策。人工验收仍然不同于 AI 评审结果。
有关历史试点设计和验证记录,请参见 YUKON_CHALLENGE_PLAN.md 和 MVP_VALIDATION.md。它们不定义当前的导入契约。
来源:Hacker News · github.com