Residual Delta
Independent Verification Portal
A program office or a prime can check the record on their own machine. No dashboard is required.
Proof-Grade Chain, Hardware-Attested Receipts
CURRENT DEPLOYMENT
Production computer. TPM-signed chain. ASARS 0.1.0.
RECEIPTS
214,867+ hardware-attested in production chain
The live feed is only a picture of the chain. It is not the check. The check is the three files, run on your machine.
Check The Record
Cryptographic Hardware Proof
For a program office, a prime, or an assessor.
No server connection required after you receive the files. Verify our TPM root-of-trust on your own machine with OpenSSL.
We deliver three files generated from our bare-metal production node:
trl7_ak_public.pem — Public key from Infineon TPM 2.0 chip trl7_signature.bin — ECDSA P-256 hardware signature trl7_test_message.txt — The exact signed message
openssl dgst -sha256 \ -verify trl7_ak_public.pem \ -signature trl7_signature.bin \ trl7_test_message.txt
Expected result: Verified OK
Files delivered by email. Save all three to one folder before running the command.
Session
For a program office or a prime.
Scheduled session with Residual Delta engineering.
Watch a destination that is not on the list get refused. The refusal is the next line in the chain. The chain is signed by the chip on that computer.
Include a preferred time in UTC.
Proof Workflow
From Kernel Event to Third-Party Verification
ASARS v0.1
The record follows ASARS v0.1, so the check does not depend on our software.
[ VIEW GITHUB SPEC ]