Confidential computing for high-assurance RISC-V embedded systems

In plain words

ACE is a trusted execution environment for embedded RISC-V systems that creates isolated virtual machine compartments with hardware-backed security. Built for high-assurance applications requiring strong isolation, the system's security firmware is written in Rust and formally verified using Coq through automated specification translation. The design emphasizes auditability and follows the RISC-V confidential VM extension specification, enabling developers to build systems with verifiable security guarantees at the firmware level.

written from the facts on this page · September 2026

From the sources

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. - IBM/ACE-RISCV

ACE-RISCV is an open-source project, whose goal is to deliver a confidential computing framework with a formally proven security monitor. It is based on the canonical architecture and targets RISC-V with the goal of being portable to other architectures. The formal verification efforts focus on the security monitor implementation . We invite collaborators to work with us to push the boundaries of provable confidential computing technology. Formal verification: This project implements the RISC-V CoVE spec's deployment model 3 referenced in Appendix D . The formal specification is embedded in the security monitor's source code and the proofs are in the verification/ folder. Please read our…from github.com

In the maker’s words, at launch

Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from…

• 
  RISC-V core written in 600 lines of C892023 · github.com · ▲190

  32-bit RISC-V CPU in ~800 lines of C89. Contribute to mnurzia/rv development by creating an account on GitHub.

• AR
  A RISC-V core in Racket2021 · guillaume.baierouge.fr · ▲122
• 
  ArcaneVM – A Fully Homomorphic Encryption Brainfuck Virtual Machine2019 · github.com · ▲131

  A Fully Homomorphic Encryption Brainfuck virtual machine - f-prime/arcanevm

• RA
  Rust, ARM Cortex M, and a Generated HAL2016 · jamesmunns.com · ▲137
• 
  AEVSJun 2026 · aevs.fetch.ai · ▲131

  proof-of-execution for AI agents

• 
  Assembla Enterprise Cloud Version Control (ECVC)2017 · get.assembla.com · ▲68

  Move your SVN into the cloud

• 
  /dev/null▲490

  a social network for devs

  Dev tools · 4d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 24d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 29d ago · corespeed.io

• 
  Tapflow 2.0▲1,125

  We built Tapflow for devs, designers, PMs, and tech folks who’ve been sitting on internal docs, templates, and systems — but never productized them. Upload a PDF, notes, or workshop deck, and Tapflow drafts a structured product (with chapters, teaser and pricing plans). It’s good for AI kits, onboarding guides, design systems, and frameworks. You can sell through Stripe, LemonSqueezy, or PayPal. Real-time collaboration is in early beta. No site builder, no LMS — clean design and just focused tools to ship. Fully bootstrapped and just launched on PH today →…

  Work · 2025 · tapflow.ai

• C9
  Clippy – 90s UI for local LLMs▲1,122

  Life & fun · 2025 · felixrieseberg.github.io

• 
  Appwrite Sites▲990

  Appwrite 2.0 brings a new engine, a rebuilt Console, five database types, an S3 API, an OAuth 2.1 server, and organization-level Domains and Firewall.

  Dev tools · 2025 · appwrite.io

• 
  AI Meeting Notes by Notion▲965

  Perfect meeting memory in Notion

  AI · 2025 · notion.com

• 
  Den▲948

  Multiplayer AI agent builder

  AI · 2025 · getden.io

• 
  Raycast for iOS▲870

  Powerful productivity on the go

  AI · 2025 · raycast.com