Aristotle Formal Verification Proves bunnie's Security Chip Conforms to RISC-V SAIL Spec
satnam6502 · x · 2026-11-13
Satnam Singh says hardware hacker bunnie handed him his security chip, and he returned a formal verification report produced with HarmonicMath's Aristotle.
The report proves conformance with the SAIL formal specification of M-type RISC-V instructions, with a link to read it. The post is brief and does not detail the verification method.
Related event: bunnie Gifts Security Chip, Gets Formal Verification Report in Return(2 posts)→
More from Research
- Six PIs at ELLIS Institute Tübingen Named ELLIS Fellows and Scholars — orvieto_antonio · 2026-11-13
- Open Replication of DeepMind's Vision Banana Beats Original on Cityscapes — y_m_asano · 2026-11-13
- DeepMind releases PARDIG and SatWeave, the datasets behind WeatherNext 3 — GoogleDeepMind · 2026-11-13
- Peripersonal Space: How the Brain Maps Self-Environment Interaction Here and Now — AnnaCiaunica · 2026-11-13
- Nature: enzyme granzyme K drives tissue ageing; knocking it out improves organ function in aged mice — AnnaCiaunica · 2026-11-13
- No-training weight surgery: a Claude Code plugin that fixes repetition loops by editing transformer weights directly — AchelousAce · 2026-11-13