Crovia, in your words or ours.
Everything needed to describe Crovia accurately: boilerplate in three lengths, one-liners, logos and colours, the live numbers, the names we use and the claims we never make. The same content is machine-readable at press.json, and a condensed version lives in llms.txt for the models that will summarise us. Questions, interviews, data requests: [email protected].
One-liners
Silence you can verify.
Crovia records what AI providers disclose about training data, and the absence of it.
Crovia Trust runs TACET, a public log that turns the absence of an AI training-data disclosure into a signed, Bitcoin-anchored, offline-verifiable proof.
Transparency logs prove presence. TACET proves absence over time: hourly, signed, Bitcoin-anchored evidence that an AI model published no training-data disclosure. Every proof is an unmodified Crovia Seal you can verify offline. croviatrust.com/registry/tacet/
Boilerplate
Crovia Trust is an independent observatory of AI training-data disclosure. Its protocol, TACET, records every hour whether AI models on public registries carry a training-data disclosure, signs what it saw, anchors it in Bitcoin, and issues portable proofs of absence — silence you can verify, without trusting Crovia.
Crovia Trust is an independent observatory of AI training-data disclosure. Existing transparency logs prove that something happened; Crovia's protocol, TACET, proves that something did not. Every hour it opens an epoch with a public randomness beacon, fetches the model cards of the AI systems under watch, runs a published predicate over the bytes, signs the result and closes the hour with a Bitcoin anchor. A model that never discloses accumulates anchored negative observations — and nothing else. The result is a portable proof, delivered as a Crovia Seal, that anyone can verify offline. Data is CC-BY-4.0; specifications are public domain.
Crovia Trust is an independent observatory of AI training-data disclosure, based in Italy. It publishes observation facts, never accusations: what a provider disclosed about a model's training data, when, and — its distinctive product — for how long nothing was disclosed at all.
Its core protocol, TACET (Latin: "it is silent"), is a transparency log whose output is a proof of absence over time. Each hour an epoch is opened with a drand randomness round, the public surfaces of the models under watch are fetched, a published predicate is evaluated over the bytes, every observation is signed, and the epoch head is anchored in Bitcoin through OpenTimestamps. Silence never accrues without an anchored negative observation: downtime and gaps count zero. Proofs are sparse-Merkle non-inclusion paths across a contiguous range of epochs, wrapped in an unmodified Crovia Seal (crovia.seal.v1), Crovia's cryptographic receipt format, so any Seal verifier can check them offline.
PNX, a TACET profile, turns the same machinery inward: it lets a company prove that none of its protected assets left an AI agent's run. TACET and Crovia Seal are documented as IETF Internet-Drafts with public conformance vectors and Apache-2.0 reference code; all observation data is CC-BY-4.0 and every weekly snapshot is archived with a DOI.
Names, and what we never say
| write | meaning | notes |
|---|---|---|
| Crovia · Crovia Trust | the project · the organization | Never CROVIA in prose, never "Crovia.ai". |
| TACET | the protocol of verifiable silence | Always upper case. Not "Tacet", not "the TACET index". |
| PNX | Proof of Non-Exfiltration, a TACET profile (crovia.pnx.v1) | For AI agents: proves protected assets never left a run. |
| LACUNA | a TACET level-2 silence proof for a model with anchored negative observations | Upper case. A LACUNA is evidence of absence, not a verdict. |
| Crovia Seal | the receipt format, crovia.seal.v1 | "Seal" alone is fine after first mention. One format, one draft. |
| silence | observed epochs with an anchored negative observation | Always with observed_to: "silent for N observed days, to <date>". Never a wall-clock count. |
Logos and colours
Facts
| Founded | 2026, Italy · founder Tarik En Nakhai | [email protected] · security.txt |
| TACET genesis | 2026-09-19 18:00 UTC · one epoch per hour · map urn:crovia:tacet:map:disclosure | live log |
| Predicate | crovia.pred.hf-card-training-data 1.0.0, published, evaluated over the model-card bytes | spec §7 |
| Anchors | drand round opens each epoch · Bitcoin (OpenTimestamps) closes it | verify without a node |
| Specifications | TACET 0.1-draft + PNX · Crovia Seal v0.5 · Internet-Drafts draft-crovia-tacet-00, draft-crovia-seal-01 | TACET · Seal · 47 + 41 conformance tests |
| Code | Apache-2.0 · Python and TypeScript | crovia-tacet · crovia-seal · @crovia/seal · pnx-action |
| Licences | observation data CC-BY-4.0 · specification text CC0 · code Apache-2.0 | weekly snapshots archived: DOI 10.5281/zenodo.20111130 |
| For machines | llms.txt · JSON API · MCP server com.croviatrust/crovia in the official registry · RSS | weekly Silence Report |
Quotable
"Transparency logs prove presence. TACET proves absence over time."
— TACET specification, §1
"No observation, no silence."
— Crovia canon
"Precision is the product. The limits are part of the specification."
— croviatrust.com/registry/tacet/
Text on this page may be reproduced without permission. Logos may be used to refer to Crovia; do not imply endorsement. Machine-readable copy: press.json. Corrections to [email protected].