ATEP-R

Autonomy Trust Envelope Protocol, robotics profile. Live simulator: a generic autonomous fleet. Real cryptography, simulated robots.

Real cryptography: Ed25519 + ML-DSA-65 signatures, X25519 + ML-KEM-768 + AES-256-GCM encryption, running as Rust compiled to WebAssembly. Only movement and the map are simulated.

Certificates were issued earlier; checking them needs no contact with the controller.

A new revocation cannot reach units while the controller is offline.

Fleet map

Attack

Each attack is really attempted against the real verifier. Nothing here is mocked.

Envelope log 0

Every envelope sent, newest first. Select an envelope to inspect it.
EnvelopeTimeKindClass FromToSizeResultWhat the receiver did

Inspect envelope

Select an envelope in the log or click one in flight on the map.

Live trust policy and claims

What is real and what is simulated. Real: every key, attestation, revocation list and envelope, every signature, encryption, verification and decryption, including the error codes and steps shown, all done by the reference Rust crate compiled to WebAssembly. Simulated: the map, unit movement, battery values, the scripted timeline, the clock, the moment the controller goes offline, and the certified status of Units 2 and 4, so no real certification is implied. When the controller is offline, units verify each other with the certificates and revocation lists they saved earlier; a revocation published meanwhile cannot reach them until the controller is back. This is an illustration of the robotics profile, not a product.

atep.dev | About | Specification | Source | Third-party notices