bunnie 展示安全芯片，回赠 Harmonic Aristotle 形式化验证报告
satnam6502 · x · 2026-11-13
作者 satnam6502 分享了一个有趣的当面交换：开源硬件名人 bunnie（bounded error 芯片设计者，baochip.com）把他的安全芯片实物放在作者手心，作者则回赠了一份由 @HarmonicMath 的 Aristotle 系统对该芯片做的形式化验证报告。
验证报告证明了该芯片符合 SAIL 对 M-type RISC-V 指令的形式化规范（conformance proof），报告链接已公开。配图中可见 baochip 的晶圆图卡片「join the infrared team」以及手掌中的微型芯片实物。
这是一个「硬件安全芯片 + AI 形式化验证」结合的具体案例，展示了用形式化方法（Harmonic Aristotle）验证真实开源 RISC-V 芯片指令级规范一致性的实践。
所属事件:bunnie 赠安全芯片，获 Aristotle 形式化验证报告回礼(2 条相关)→
「Infra」频道最新
- Nscale 承认 320 亿美元 Anthropic 算力项目未获绑定融资承诺 — GaryMarcus · 2026-11-13
- SEO算账：Google 用 Gemini 服务 10 亿次 AI Mode 查询成本仅约 400 万美元 — gaganghotra_ · 2026-11-13
- 黄仁勋辞职后韩国召开紧急会议：核查 26 万块 GPU 供应计划 — JungWooHa2 · 2026-11-13
- Qwen3.8-27B 在 16GB 显存上跑 109K 上下文,连续 9 小时自主做出可玩游戏 — Antique_Grass_73 · 2026-11-13
- 同规格云主机速度差近一倍：语音识别服务排查 CPU 代际陷阱 — shauntrennery · 2026-11-13
- 韩媒盘点 GPU 停滞：NVIDIA Blackwell 或成末代独显，IPC 零提升 — soham_btw · 2026-11-13