用 Aristotle 形式化验证 bunnie 的安全芯片，出具 RISC-V 指令一致性报告
satnam6502 · x · 2026-11-13
Satnam Singh 称，bunnie（知名硬件黑客）把安全芯片放到他手上，他回赠了一份由 HarmonicMath 的 Aristotle 生成的形式化验证报告。
报告验证了该芯片与 RISC-V M 型指令的 SAIL 形式规范的一致性（proof of conformance），并附上可阅读的报告链接。帖子简短，未展开验证方法与细节。
所属事件:bunnie 赠安全芯片，获 Aristotle 形式化验证报告回礼(2 条相关)→
「研究」频道最新
- ELLIS 图宾根研究所六位研究员入选新届 Fellow 与 Scholar — orvieto_antonio · 2026-11-13
- 仅需编辑 7 个神经元，即可让 LLM 智能体近乎必然后门触发 — DimitrisPapail · 2026-11-13
- 开源复现 Vision Banana：FLUX.2 Klein 反超 Google 原版，还提出免训练新配方 — y_m_asano · 2026-11-13
- DeepMind 开源 WeatherNext 3 底层气象数据集 PARDIG 与 SatWeave — GoogleDeepMind · 2026-11-13
- 「周围空间」如何在大脑中编码自我与环境的即时交互 — AnnaCiaunica · 2026-11-13
- Nature:科学家找到驱动组织衰老的酶颗粒酶 K,敲除后小鼠心肺肾功能改善 — AnnaCiaunica · 2026-11-13