Skip to content

Commit ea0ef54

Browse files
committed
correct CBOR tags, migrate to standards-tree media types, and add use cases section
1 parent aa0feff commit ea0ef54

File tree

3 files changed

+285
-52
lines changed

3 files changed

+285
-52
lines changed

cddl/witnessd-pop.cddl

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
; Proof of Process (PoP) Evidence and Attestation Result Schema
2-
; draft-condrey-rats-pop-protocol-04 / draft-condrey-rats-pop-appraisal-03
2+
; draft-condrey-rats-pop-protocol-06 / draft-condrey-rats-pop-appraisal-04
33
;
44
; This schema defines the CBOR-encoded data structures for the
55
; Proof of Process framework. Evidence Packets are identified by
6-
; CBOR tag 1347571280 ("POP ") and Attestation Results by
7-
; CBOR tag 1463894560 ("WAR ").
6+
; CBOR tag 1129336656 ("CPOP") and Attestation Results by
7+
; CBOR tag 1129791826 ("CWAR").
88
;
99
; All map keys use integer encoding per IETF CBOR conventions.
1010
; All floating-point fields MUST use 32-bit IEEE 754 binary32.
@@ -15,8 +15,8 @@
1515
; CBOR Tag Wrappers
1616
; ============================================================
1717

18-
pop-evidence = #6.1347571280(evidence-packet)
19-
pop-war = #6.1463894560(attestation-result)
18+
pop-evidence = #6.1129336656(evidence-packet)
19+
pop-war = #6.1129791826(attestation-result)
2020

2121
; ============================================================
2222
; Evidence Packet (Protocol)
@@ -158,7 +158,7 @@ channel-binding = {
158158

159159
; ============================================================
160160
; Attestation Result / WAR (Appraisal)
161-
; CBOR tag 1463894560
161+
; CBOR tag 1129791826
162162
; ============================================================
163163

164164
attestation-result = {

draft-condrey-rats-pop-appraisal.xml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,7 @@
105105
A Verifier MUST perform the following procedure to appraise a PoP Evidence Packet:
106106
</t>
107107
<ol>
108-
<li><em>Structural Validation:</em> The Verifier MUST reject with verdict invalid (4) any Evidence Packet that: (a) fails CBOR decoding, (b) lacks CBOR tag 1347571280, (c) has version != 1, (d) is missing mandatory fields (keys 1-6 in evidence-packet, keys 1-9 in each checkpoint), or (e) contains CBOR types that do not match the CDDL schema.</li>
108+
<li><em>Structural Validation:</em> The Verifier MUST reject with verdict invalid (4) any Evidence Packet that: (a) fails CBOR decoding, (b) lacks CBOR tag 1129336656, (c) has version != 1, (d) is missing mandatory fields (keys 1-6 in evidence-packet, keys 1-9 in each checkpoint), or (e) contains CBOR types that do not match the CDDL schema.</li>
109109
<li><em>Chain Integrity:</em> Verify the SHA-256 hash link between all checkpoints. Any break invalidates the entire Evidence Packet. The Verifier MUST set the verdict to invalid (4). The warnings field SHOULD include the checkpoint sequence number where the break was detected.</li>
110110
<li><em>Temporal Order:</em> For each process-proof, recompute Argon2id from the declared seed to obtain state_0, then verify sampled Merkle proofs against the committed root (process-proof key 4, merkle-root). Verify that claimed-duration is within [0.5x, 3.0x] of the expected wall-clock time for the declared proof-params on reference hardware (defined as a system with DDR4 memory providing approximately 25 GB/s sustained bandwidth). Expected times are defined in <xref target="PoP-Protocol"/>, Mandatory SWF Parameters section.</li>
111111
<li><em>Entropy Threshold:</em> Independently estimate entropy from the jitter-binding intervals array using a standard entropy estimator (e.g., NIST SP 800-90B most common value estimator). Verify the independent estimate meets or exceeds 3.0 bits per inter-keystroke interval. The Attester's self-reported entropy-estimate field MUST NOT be relied upon. Low-entropy segments (below threshold) MUST be flagged as "Non-Biological."</li>
@@ -383,11 +383,11 @@
383383
<t>
384384
The Writers Authenticity Report (WAR) is a CBOR-encoded
385385
<xref target="RFC8949"/> Attestation Result identified by semantic
386-
tag 1463894560 (encoding ASCII "WAR "). The CDDL notation
386+
tag 1129791826 (encoding ASCII "CWAR"). The CDDL notation
387387
<xref target="RFC8610"/> defines the wire format:
388388
</t>
389389
<artwork type="cddl"><![CDATA[
390-
pop-war = #6.1463894560(attestation-result)
390+
pop-war = #6.1129791826(attestation-result)
391391
392392
attestation-result = {
393393
1 => uint, ; version (MUST be 1)
@@ -473,7 +473,7 @@ attestation-tier = &(
473473
<t>
474474
The evidence-ref field MUST contain a hash-value computed as
475475
SHA-256 over the CBOR-encoded evidence-packet structure
476-
(including CBOR tag 1347571280), excluding any COSE_Sign1
476+
(including CBOR tag 1129336656), excluding any COSE_Sign1
477477
wrapper. This binds the Attestation Result to a specific
478478
Evidence Packet.
479479
</t>

0 commit comments

Comments
 (0)