bunnie 赠安全芯片，获 Aristotle 形式化验证报告回礼

知名开源硬件黑客 bunnie 将其安全芯片实物当面赠予微软研究院的 Satnam Singh，Singh 则回赠了一份由 HarmonicMath 的 Aristotle 工具生成的形式化验证报告。报告对该芯片进行了 RISC-V 指令一致性验证，这场趣味交换被视为硬件社区中实物与形式化验证成果互赠的佳话。

2026-11-13 ~ 2026-11-13 · 2 条相关

• bunnie 展示安全芯片，回赠 Harmonic Aristotle 形式化验证报告 — satnam6502 · 2026-11-13
• 用 Aristotle 形式化验证 bunnie 的安全芯片，出具 RISC-V 指令一致性报告 — satnam6502 · 2026-11-13