#formal-verification

• Jolt Soundness Bug -- Writing To Control Status Registers
  Ari 2026-06-19