Bend 2 中实现 SHA-256 并给出机器可验的正确性证明
banteg · x · 2026-09-18
开发者 Giulio2002 开源 bend-sha256:纯 Bend 2.0.5 实现的 SHA-256,附针对 FIPS 180-4 独立可执行规范的机器校验功能正确性证明,通用证明覆盖预处理与完整摘要计算,不依赖任何外部密码库。
- 作者还搭了一条 agentic 流水线(自称 AUTOResearch)自动迭代优化性能,早期结果显示有望把差距缩到优化版 2 倍以内
- 形式化验证与 Lean 版本核对一致
- 仓库含 Quick Start,需 Bend 2.0.5 与 Python 3 测试脚本
「编程与Agent」频道最新
- 开源 auto-router 按实时成本路由请求：揭示暖缓存比便宜模型更值钱 — airesearch12 · 2026-09-19
- Stripe Link + Browserbase 打通 agent 网页支付，无需商家改造站点 — Scobleizer · 2026-09-19
- Google Workspace CLI 工具 gog 推出 MCP 服务器,默认只读可白名单放行 — steipete · 2026-09-19
- Bolt:开源模型上线首周,DeepSeek V4.1 Flash 用量达 V4 Pro 十倍 — rohanpaul_ai · 2026-09-19
- 多人共享 Agent 会话:能看到对方正在输入什么 — steipete · 2026-09-19
- npm 联创 Laurie Voss:人人都将是产品工程师,岗位年薪24万美元 — round · 2026-09-19