Victor Taelin 悬赏 1000 美元挑战破解开源 Bend Bank 应用
jd_pressman · x · 2026-10-23
Bend 语言作者 Victor Taelin 发起公开破解挑战：其演示项目「Bend Bank」代码完全开源，任何人只要完成以下三项之一即可获得 1000 美元赏金——
- 泄露 taelin 账户私密笔记中存储的暗语
- 花掉别人的钱
- 凭空创造货币
该应用宣称由 Bend 语言的证明机制保障「只有你能看到自己的账户、没人能拿走你的钱、货币不会凭空产生或销毁」，并提供了 bend PROOF.bend --verdict 的校验命令。挑战页面附完整源码，是对 Bend 语言形式化验证能力的一次公开压力测试。
「Fun」频道最新
- 美国官网 AI 客服一本正经回答负十亿人口问题，Conitzer 晒翻车截图 — conitzer · 2026-10-23
- 让 Opus 逗人开心，它让 Tesla Roadster 飞越海湾 — bilawalsidhu · 2026-10-23
- 万圣节巨脸装置幕后：滑轨加电机驱动的机械结构 — simpsoka · 2026-10-23
- 自制万圣节巨脸装置红光下从窗户凝视街坊 — simpsoka · 2026-10-23
- 10万美元内核挑战赛被曝抄袭：直接拿 GPU MODE 开源代码让 Agent 重写成 Go — josh_wills · 2026-10-23
- 加密崩盘还是 AI 蜂群自救?两种声音的拉扯 — mimi10v3 · 2026-10-23