EDENRefinery
EDEN SSI · Signed Satellite Inference

The black box for every AI.

When an AI decision costs money, someone has to prove what it actually did. Today the only record belongs to whoever might be at fault. EDEN gives every AI decision a sealed receipt anyone can check, in orbit and on the ground, without trusting the operator or us. We started with satellites, because orbit is the hardest place to do it.

Don't recompute it. Verify it.
Loading orbits…
Positions computed in your browser from public orbital dataSentinel · LandsatOther Earth observationReal reception, signedDrag to rotate · tap a satellite
713bytes
Signed proof for a whole 2,000-image pass
~2ms
To record one image on an ARM processor
~5ms
From fire detection to signed alert
24/ 24
Automated tests passing, laptop and handset
Measured on an Android ARM handset, synthetic images, 22 Oct 2026
The problem

Once a satellite's AI decides, nobody on the ground can check it.

Onboard AI saves bandwidth by throwing data away and acts faster by raising alerts in orbit. What it saw, what it decided and whether the record was changed later are invisible. As insurance payouts, emissions reports and security decisions start to depend on those calls, "trust us" stops being enough.

How it works

A flight recorder for onboard AI.

  1. Record

    Each decision becomes a record: the image's fingerprint, the exact model weights, the score and the verdict.

  2. Sign the pass

    Records chain into a Merkle tree. At the end of the pass the satellite signs one small summary.

  3. Lock in alerts

    An alert is signed the moment it fires. The final pass must extend it, so history can't be rewritten afterwards, even by the key holder.

  4. Verify anywhere

    Anyone with the public key checks the pass, or any single image, kept or discarded, on their own machine.

  5. Re-run

    A second machine recomputes sampled decisions with the same model and flags any it wouldn't have made.

Standard cryptography throughout: SHA-256, RFC 6962 Merkle trees and Ed25519. It sits beside your existing models and leaves the radio link and its security to the platform.

bundle.json · signed pass summary● signed
pass
pass-wildfire-0142
decisions
300 · 86 kept · 211 discarded · 3 alerts
status
OK
alerts locked
3 checkpoints
root
82abf4e9aac899cc2665…5cc2d4be
key
d42d2a07c9df2295
signature
4011f1d89695dd58…5b0fa601
size
926 bytes for the whole pass
From the simulated sample pass in the verifier.
Don't take our word for it

Check a pass in your browser in ten seconds.

The verifier runs entirely on your device and loads no outside code. Try the tampered sample: its signature still checks out, and the verifier still catches the rewritten history and the swapped fire image.

Open the verifier →
Evidence

What we've measured, and what comes next.

ClaimFigureStatus
Automated tests, laptop and Android ARM handset24 / 24IMPLEMENTED
Time to record one 64 kB image on an ARM handset, two runs1.8–2.1 msMEASURED
Fire alert signed and ready after detection~5 msMEASURED
Signed summary for a 2,000-image pass713 BMEASURED
Proof about any single image, including discarded ones~1 kBMEASURED
History rewritten and re-signed with the real key is caughtcaughtTESTED · SIMULATED ATTACK
Corrupted onboard decision caught by a ground re-runcaughtTESTED · SIMULATED FAULT
Real satellite imagery—NEXT
Flight-representative hardware, then in orbit—PILOT
Who it's for

Anyone who has to defend a machine's decision to someone else.

Satellite operators
Prove to customers what your onboard AI kept, discarded and flagged, for under a kilobyte per pass.
Parametric insurers
Satellite-triggered payouts get a record both sides can check, so fewer disputes about the data.
Emissions monitoring
Detections that hold up when the operator concerned disputes them.
Defence and space security
Tamper-evident records of autonomous decisions, jamming and intrusions, with re-runs that expose faulty or manipulated ones.
Ground stations
A neutral record that a pass was delivered complete and unaltered.
AI assurance
The same engine proves any AI decision on any device. Orbit is simply the hardest place to do it.
What a pass check proves

What the satellite decided, on which image, with which model version, in what order, and that none of it changed afterwards.

What it doesn't prove

That the decision was right: a verified fire alert proves the AI said "fire", not that there was one. Wall-clock time needs a trusted time source, which isn't in place yet.

Pilots

Fixed-price pilots, handled in writing.

We run EDEN SSI on one of your recorded passes, or on a development board of your flight computer, over 8 to 12 weeks.

  • Integration beside your existing onboard model
  • Signed records for every decision in the pass
  • Verification reports your customers can check themselves
  • A findings memo: overhead on your hardware and what it would change for you

Hardware makers: we also run joint tests with no fee either way.

Start a pilot

Email Daniel Clarke, founder, with your platform and one question you'd want answered.

danielclarke1661@gmail.com

Company

Eden OS and Refinery Ltd is a UK company building verification for automated decisions. Public evidence: EDEN-OS and eden-os-evidence on GitHub. Founder ORCID: 0009-0004-3797-2396.