codexproof

glossary / W3C PROV (and the typed links)

the W3C's 2013 standard vocabulary for provenance - entities, activities, and agents, connected by typed relations like wasGeneratedBy, used, wasDerivedFrom, and wasAttributedTo - a grammar for saying where things came from.

dagc2paenveloperats and attestationprov-agent
W3C PROV (and the typed links) - Entity, activity, agent - and the four workhorse edges between them

Entity, activity, agent - and the four workhorse edges between them.

Etymology and backstory

provenance is an art-world word (French provenir, to originate) - the documented custody history that makes a painting sellable. The e-science community of the 2000s (workflow systems like Taverna and Kepler, the Open Provenance Model workshops) needed the same custody story for computational results, and the W3C PROV working group distilled it into PROV-DM in 2013: a small core model (Entity, Activity, Agent) with a dozen typed edges, plus serializations.

Ecosystem

scientific workflow systems, data-governance tooling, museum and library metadata, and a long academic literature on provenance capture and querying (the paper's traces-survey citation). PROV is the lingua franca; most systems dialect it.

In codexproof

the paper's typed links ARE PROV relations - but with one structural twist that is the whole contribution: the 32-byte target of every typed link is the cid of its parent node. In standard PROV, links point at identifiers that some database resolves; in codexproof, links point at digests that the bytes themselves must satisfy. Same grammar, incorruptible pronouns.

"We speak standard PROV - entities, activities, typed edges - but our edges point at hashes instead of names, so citing a parent and committing to its exact bytes became the same act."
References: W3C, "PROV-DM: The PROV Data Model," W3C Recommendation (2013). Moreau and Groth, "Provenance: An Introduction to PROV," Morgan & Claypool (2013). The paper's traces-survey citation for the capture literature.

All terms · Questions & answers · The verifier