Chokepoint 用最小割分析 449 万笔转账，揪出 FalkorDB 最大流 bug
JeremyCMorgan · x · 2026-10-29
Chokepoint 项目通过对 449 万笔转账做最小割（min cut）来挑选冻结哪些骡子账户。过程中它发现 FalkorDB 的 maxFlow 在 12%–17% 的输入上返回非法流。作者展示了「证书校验—再修复」思路：对任何不是自己写的图算法，都可以先验证其输出的正确性证书，再进行修复，而不必盲目信任第三方实现。
「安全」频道最新
- 安全圈「黑色十月」：没人死，只是全员更新依赖 — AlexTensor · 2026-10-29
- 纽约州禁未成年人用 AI 聊天bot，网友质疑根本拦不住 — RachelVT42 · 2026-10-29
- LessWrong 提案:用 ASIC 固化模型拆分训练与部署,消解前沿 AI 公司风险 — LessWrong 精选 · 2026-10-29
- Miles Brundage 附议:政府应用 AI 合同杠杆逼厂商做出安全承诺 — Miles_Brundage · 2026-10-29
- 加拿大中学 10 名学生因传播教职员工 AI 换脸图被停课 — ubcstaffer123 · 2026-10-29
- 网友警告：AI 生成假视频或成同情式 GoFundMe 诈骗新手法 — churchkey · 2026-10-29