A signature binds a digest. It does not hide the fare, route, or cabin.
Do not take our word. Take the bytes.
Ride inherits the Foundation's posture: integrity is an engineering claim. Trip receipts are specified in the Falcon-1024 shape demonstrated on Algorand TestNet application 763809096. Verification instructions live on the protocol site, not in a PDF we control.
Shape § I
A receipt is an inscription-shaped record, not a vault cell for sale.
The Foundation protocol inscribes artifacts into 1,024 Vault Cells under a Falcon-1024 signature verified on-chain by falcon_verify. Ride trip receipts are designed to the same cryptographic family and message discipline (domain-separated, hash-bound). They are not a Cell pre-sale, not a token, and not a MainNet commercial write path.
QRL (Quantum Resistant Ledger) is listed as a complementary post-quantum rail under evaluation. That sentence is not a claim that Ride currently dual-writes receipts to QRL mainnet.
Claims matrix § II
| Claim | Status |
|---|---|
| Falcon-1024 verified on-chain by native falcon_verify (Foundation contract) | Demonstrated · TestNet · unaudited |
| Reference application 763809096 | TestNet · inspectable |
| Ride commercial receipts written to Algorand MainNet | Not claimed · not live |
| Ride commercial receipts written to QRL mainnet | Not claimed · rail under evaluation |
| FIPS 206 (FN-DSA) final-standard compliance | Not claimed — FIPS 206 in development |
| Encryption / confidentiality of trip contents | Not provided by Falcon (signature scheme) |
| Independent audit of Ride receipts | Pending · protocol is pre-audit |
| Legal tax invoice / evidence by inscription alone | Not established |
The byte-level signed message, deterministic encoding, and known-answer vectors are documented at trelyan.foundation/verify. Use them. The open-source verifier is @trelyan/verify-pqc (MIT), self-attested, pre-audit.
Honest boundary § III
What a receipt does not prove.
A TestNet demonstration is not a CPUC permit or a Swiss concession.
Payment, if any, stays on a regulated rail. The receipt is integrity, not clearing.