Interface: InclusionProof
@kortexya/reasoninglayer / InclusionProof
Interface: InclusionProof
Section titled “Interface: InclusionProof”Defined in: src/types/compliance.ts:473
Response of GET /api/v1/compliance/audit/scopes/{scope_id}/inclusion/{record_id}
— an RFC 6962 inclusion proof of one record under a sealed scope’s commitment.
Remarks
Section titled “Remarks”Verifiable offline, with no access to the other records, by the RFC 9162
§2.1.3.2 algorithm: start from leafHash, fold in each hash of
path as SHA-256(0x01 || left || right) (the side follows from
leafIndex and treeSize), and compare the result with
commitment. Hashes are lowercase hex.
Properties
Section titled “Properties”commitment
Section titled “commitment”commitment:
string
Defined in: src/types/compliance.ts:489
The sealed scope’s commitment, which the path leads to.
leafHash
Section titled “leafHash”leafHash:
string
Defined in: src/types/compliance.ts:485
SHA-256(0x00 || record_hash).
leafIndex
Section titled “leafIndex”leafIndex:
number
Defined in: src/types/compliance.ts:481
Zero-based position of the leaf under the commitment.
path:
string[]
Defined in: src/types/compliance.ts:487
Sibling hashes from the leaf to the root.
recordHash
Section titled “recordHash”recordHash:
string
Defined in: src/types/compliance.ts:479
The record’s recordHash — the leaf data.
recordId
Section titled “recordId”recordId:
string
Defined in: src/types/compliance.ts:477
The record proved.
scopeId
Section titled “scopeId”scopeId:
string
Defined in: src/types/compliance.ts:475
The sealed scope.
treeSize
Section titled “treeSize”treeSize:
number
Defined in: src/types/compliance.ts:483
Number of leaves under the commitment.