Keys Were Never the Point

An HSM protects cryptographic keys. But nobody actually wants protected keys — they want the things keys make possible: payments that cannot be forged, identities that cannot be usurped, signatures that stand up in court, updates that cannot be hijacked. The key is an instrument. What organizations ultimately need to protect is decisions: who may do what, under which policy, with which evidence.

Traditional HSMs stop at the instrument. They will sign anything a correctly authenticated caller asks them to sign. The approval workflow, the business rules, the policy — the actual governance — live outside the cryptographic boundary, in ordinary software on ordinary infrastructure, where they can be bypassed, misconfigured, or compromised. We have written before about why formal verification matters for modern HSMs and how incremental certification reconciles assurance with product velocity.

Those two properties — proven isolation and composable certification — are what let ProvenHSM pull governance logic inside the trusted boundary: custody approval flows, policy engines, signature activation, post-quantum hybrid schemes — running as isolated trusted applications on a formally verified kernel.

That is the platform thesis: the HSM is the first trusted application on it, not the last.

Then AI Changed the Urgency

Software is being rewritten at machine speed. As we argued in When AI Writes the World's Software, Who Verifies It?, code generation is racing ahead of code verification. But the deeper shift is not AI writing software — it is AI operating it. Autonomous agents are beginning to move money, commit capital, trigger settlements, and reconfigure systems, at a pace no human oversight loop can match.

This breaks the industry's default control model, which is retrospective: log everything, alert on anomalies, audit afterward. By the time an alert fires, the transaction has settled. "The AI did it" is not an audit trail, and a log is not governance — it tells you what happened, not what was allowed to happen. Regulators are already drawing that distinction, as reflected in the NIST AI Risk Management Framework and emerging guidance on autonomous financial systems.

There is a second, subtler problem: most policy-enforcement software runs in the same environment as the systems it polices. If the runtime is compromised — or simply misconfigured — the policy dies with it. Governance you cannot separate from the governed is not governance; it is decoration.

So the question becomes: on what foundation can you build enforcement that is provably independent of the thing it constrains? Testing cannot answer that question — testing shows presence of function, never absence of interference. Only formal verification does: a mathematical proof that the isolation between the enforcing component and everything else holds on every execution path. This is precisely the property ProvenCore was built to prove, and precisely why EAL7 under Common Criteria exists as an assurance level.

Radix: The Thesis Made Concrete

This is no longer theoretical. Radix — founded by the team behind NGRAVE, with ProvenRun as founding partner — has built the first hardware-enforced governance platform for autonomous systems, on ProvenCore and ProvenHSM-grade hardware.

The model inverts the logging paradigm. Policies — say, a treasury mandate authorizing intraday transfers up to a ceiling, within market hours, to approved entities — are authored, co-signed by compliance, security, and operations, then compiled into a trusted runtime that executes inside a formally verified enclave, separate from the AI systems proposing actions. Every action is checked before execution. Every decision, approval or denial, produces a signed governance receipt: what was checked, what was authorized, and cryptographic attestation of the trusted boundary that enforced it, down to the kernel hash.

When a regulator asks "can you demonstrate governance?", the answer is no longer a log archive. It is a certificate-anchored proof of isolation that is mathematically proven, not configured or audited, as Radix puts it. That anchoring is what ProvenRun contributes, and it is not replicable on a foundation that was merely tested.

The Roadmap, in Three Horizons

Seen from here, our direction is one line with three points on it.

1. Protect the instruments. ProvenHSM as a certified, cloud-operated, PQC-ready root of trust for keys, identities, and credentials. This is shipping.

2. Host the trust services. Customers and partners deploy their own trusted applications — signature activation, wallet services, custody logic, custom cryptography — inside the proven boundary, with delta-certification keeping assurance intact as the platform evolves. This is what the SDK and the trusted-application catalog exist for, and what partners are building today.

3. Govern the decisions. The boundary extends from executing cryptographic operations to authorizing actions, human or autonomous, under enforceable, attestable policy. Radix is the first platform on this horizon; finance and digital-asset custody are the first markets, because that is where ungoverned autonomy is most immediately expensive. Critical infrastructure, healthcare, and government follow the same pattern.

The through-line is the same conviction that produced ProvenCore fifteen years ago: in security, the difference between a claim and a proof is everything. AI has simply raised the price of that difference. Autonomy without verifiable governance is a liability; with it, delegation becomes something an institution can defend — to its auditors, its regulators, and itself.

The HSM was step one.

ProvenCore is Common Criteria EAL7 certified (ANSSI, 2019). ProvenHSM is in evaluation for FIPS 140-3 Level 3 and CC EAL5+ (AVA_VAN.5), target Q4 2026