Server definition
- Hash
- sha256:75cdf73e25d74d11a9b14d3c4728d69aa27756009b376ce2c25ac9ee628261a0
- What it is
- What a remote MCP server returned when asked what it offers: 6 tools
The blob, as servednamed by its sha256
{
"instructions": "Receipts attest signed declarations, not independently observed execution. Public issuance costs 0.002 USDC when payments are enabled. Preserve event, idempotencyKey AND the original x402 payment payload across retries. A pending payment must not be replaced with a new authorization. EOA EIP-3009 wallets on the advertised network are supported.",
"tools": [
{
"description": "Return public keys of this issuer. The operator must establish trust in this issuer independently.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "get_agent_public_keys",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"issuer": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"keys": {
"items": {
"additionalProperties": false,
"properties": {
"jwk": {
"additionalProperties": false,
"properties": {
"crv": {
"const": "Ed25519",
"type": "string"
},
"ext": {
"type": "boolean"
},
"key_ops": {
"items": {
"type": "string"
},
"type": "array"
},
"kty": {
"const": "OKP",
"type": "string"
},
"x": {
"type": "string"
}
},
"required": [
"kty",
"crv",
"x"
],
"type": "object"
},
"keyId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
}
},
"required": [
"keyId",
"jwk"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"issuer",
"keys"
],
"type": "object"
}
},
{
"description": "Persist a signed execution declaration receipt. Public price: 0.002 USDC via x402 on the advertised network. Preserve event, idempotencyKey and payment authorization on retries. Signed declarations do not independently prove execution.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"event": {
"additionalProperties": false,
"properties": {
"agentId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"completedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"inputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"outcome": {
"enum": [
"success",
"error"
],
"type": "string"
},
"outputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"runId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"startedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"stepId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"tool": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"version": {
"const": "datoka.agent.execution.v1",
"type": "string"
}
},
"required": [
"version",
"agentId",
"runId",
"stepId",
"tool",
"outcome",
"startedAt",
"completedAt",
"inputHash",
"outputHash"
],
"type": "object"
},
"idempotencyKey": {
"pattern": "^[\\x21-\\x7e]{16,200}$",
"type": "string"
}
},
"required": [
"event",
"idempotencyKey"
],
"type": "object"
},
"name": "issue_agent_receipt",
"outputSchema": null
},
{
"description": "Issue a Datoka Proof Receipt v0.1 from a commitment-only statement. Authenticated non-production pilot only; not sold through x402 in this release. Never send raw prompts or artifacts.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"chain": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"idempotencyKey": {
"pattern": "^[\\x21-\\x7e]{16,200}$",
"type": "string"
},
"statement": {
"additionalProperties": false,
"properties": {
"artifact": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"bytes",
"jcs"
],
"type": "string"
},
"mediaType": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest",
"mediaType"
],
"type": "object"
},
"attestation": {
"const": "signed_declaration",
"type": "string"
},
"createdAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"independentlyVerified": {
"const": false,
"type": "boolean"
},
"parentReceipts": {
"items": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"maxItems": 64,
"type": "array"
},
"references": {
"items": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"payment",
"authorization",
"anchor"
],
"type": "string"
},
"protocol": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"reference": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"kind",
"protocol",
"reference"
],
"type": "object"
},
"maxItems": 16,
"type": "array"
},
"sources": {
"items": {
"additionalProperties": false,
"properties": {
"description": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"retrievedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"snapshot": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"bytes",
"jcs"
],
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest"
],
"type": "object"
},
"uri": {
"format": "uri",
"maxLength": 2048,
"type": "string"
}
},
"required": [
"uri",
"retrievedAt"
],
"type": "object"
},
"maxItems": 64,
"type": "array"
},
"transformations": {
"items": {
"additionalProperties": false,
"properties": {
"id": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"version": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"maxItems": 32,
"type": "array"
},
"validUntil": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"version": {
"const": "datoka.proof.v0.1",
"type": "string"
}
},
"required": [
"version",
"createdAt",
"artifact",
"sources",
"transformations",
"parentReceipts",
"attestation",
"independentlyVerified",
"references"
],
"type": "object"
}
},
"required": [
"statement",
"chain",
"idempotencyKey"
],
"type": "object"
},
"name": "issue_proof_receipt",
"outputSchema": null
},
{
"description": "Validate an agent execution declaration and compute its commitment. Does not create a receipt.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"event": {
"additionalProperties": false,
"properties": {
"agentId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"completedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"inputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"outcome": {
"enum": [
"success",
"error"
],
"type": "string"
},
"outputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"runId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"startedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"stepId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"tool": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"version": {
"const": "datoka.agent.execution.v1",
"type": "string"
}
},
"required": [
"version",
"agentId",
"runId",
"stepId",
"tool",
"outcome",
"startedAt",
"completedAt",
"inputHash",
"outputHash"
],
"type": "object"
}
},
"required": [
"event"
],
"type": "object"
},
"name": "prepare_agent_event",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"chain": {
"type": "string"
},
"commitment": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"type": "string"
},
"encoding": {
"const": "jcs",
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest"
],
"type": "object"
},
"event": {
"additionalProperties": false,
"properties": {
"agentId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"completedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"inputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"outcome": {
"enum": [
"success",
"error"
],
"type": "string"
},
"outputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"runId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"startedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"stepId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"tool": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"version": {
"const": "datoka.agent.execution.v1",
"type": "string"
}
},
"required": [
"version",
"agentId",
"runId",
"stepId",
"tool",
"outcome",
"startedAt",
"completedAt",
"inputHash",
"outputHash"
],
"type": "object"
}
},
"required": [
"event",
"commitment",
"chain"
],
"type": "object"
}
},
{
"description": "Verify the declaration against a trusted Datoka receipt. A valid signature does not independently prove the action occurred.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"event": {
"additionalProperties": false,
"properties": {
"agentId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"completedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"inputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"outcome": {
"enum": [
"success",
"error"
],
"type": "string"
},
"outputHash": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
}
},
"required": [
"algorithm",
"digest"
],
"type": "object"
},
"runId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"startedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"stepId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"tool": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"version": {
"const": "datoka.agent.execution.v1",
"type": "string"
}
},
"required": [
"version",
"agentId",
"runId",
"stepId",
"tool",
"outcome",
"startedAt",
"completedAt",
"inputHash",
"outputHash"
],
"type": "object"
},
"receipt": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "Ed25519",
"type": "string"
},
"body": {
"additionalProperties": false,
"properties": {
"id": {
"format": "uuid",
"pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
"type": "string"
},
"issuedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"issuer": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"keyId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"previous": {
"anyOf": [
{
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
{
"type": "null"
}
]
},
"request": {
"additionalProperties": false,
"properties": {
"chain": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"eventType": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"scope": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"subject": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"jcs",
"bytes"
],
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest"
],
"type": "object"
}
},
"required": [
"scope",
"chain",
"eventType",
"subject"
],
"type": "object"
},
"sequence": {
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"version": {
"const": "datoka.receipt.v1",
"type": "string"
}
},
"required": [
"version",
"id",
"issuer",
"keyId",
"issuedAt",
"request",
"sequence",
"previous"
],
"type": "object"
},
"signature": {
"pattern": "^[A-Za-z0-9_-]{86}$",
"type": "string"
}
},
"required": [
"body",
"algorithm",
"signature"
],
"type": "object"
}
},
"required": [
"event",
"receipt"
],
"type": "object"
},
"name": "verify_agent_receipt",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"agentId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"attestation": {
"const": "signed_declaration",
"type": "string"
},
"receiptId": {
"format": "uuid",
"pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
"type": "string"
},
"runId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"scope": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"stepId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"valid": {
"const": true,
"type": "boolean"
}
},
"required": [
"valid",
"receiptId",
"scope",
"agentId",
"runId",
"stepId",
"attestation"
],
"type": "object"
}
},
{
"description": "Free verification of a common Datoka proof against an independently obtained caller-supplied public trust registry and explicit issuer/scope/chain. Send only the proof, never raw documents. receiptVerified concerns signature, context and dates; status remains incomplete because the artifact is checked locally. No payment, factual accuracy or parent signatures are verified.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"chain": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"issuer": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"proof": {
"additionalProperties": false,
"properties": {
"receipt": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "Ed25519",
"type": "string"
},
"body": {
"additionalProperties": false,
"properties": {
"id": {
"format": "uuid",
"pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
"type": "string"
},
"issuedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"issuer": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"keyId": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"previous": {
"anyOf": [
{
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
{
"type": "null"
}
]
},
"request": {
"additionalProperties": false,
"properties": {
"chain": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"eventType": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"scope": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"subject": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"jcs",
"bytes"
],
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest"
],
"type": "object"
}
},
"required": [
"scope",
"chain",
"eventType",
"subject"
],
"type": "object"
},
"sequence": {
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"version": {
"const": "datoka.receipt.v1",
"type": "string"
}
},
"required": [
"version",
"id",
"issuer",
"keyId",
"issuedAt",
"request",
"sequence",
"previous"
],
"type": "object"
},
"signature": {
"pattern": "^[A-Za-z0-9_-]{86}$",
"type": "string"
}
},
"required": [
"body",
"algorithm",
"signature"
],
"type": "object"
},
"statement": {
"additionalProperties": false,
"properties": {
"artifact": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"bytes",
"jcs"
],
"type": "string"
},
"mediaType": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest",
"mediaType"
],
"type": "object"
},
"attestation": {
"const": "signed_declaration",
"type": "string"
},
"createdAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"independentlyVerified": {
"const": false,
"type": "boolean"
},
"parentReceipts": {
"items": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"maxItems": 64,
"type": "array"
},
"references": {
"items": {
"additionalProperties": false,
"properties": {
"kind": {
"enum": [
"payment",
"authorization",
"anchor"
],
"type": "string"
},
"protocol": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"reference": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"kind",
"protocol",
"reference"
],
"type": "object"
},
"maxItems": 16,
"type": "array"
},
"sources": {
"items": {
"additionalProperties": false,
"properties": {
"description": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"retrievedAt": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"snapshot": {
"additionalProperties": false,
"properties": {
"algorithm": {
"const": "sha256",
"type": "string"
},
"digest": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"encoding": {
"enum": [
"bytes",
"jcs"
],
"type": "string"
}
},
"required": [
"algorithm",
"encoding",
"digest"
],
"type": "object"
},
"uri": {
"format": "uri",
"maxLength": 2048,
"type": "string"
}
},
"required": [
"uri",
"retrievedAt"
],
"type": "object"
},
"maxItems": 64,
"type": "array"
},
"transformations": {
"items": {
"additionalProperties": false,
"properties": {
"id": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"version": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"maxItems": 32,
"type": "array"
},
"validUntil": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"version": {
"const": "datoka.proof.v0.1",
"type": "string"
}
},
"required": [
"version",
"createdAt",
"artifact",
"sources",
"transformations",
"parentReceipts",
"attestation",
"independentlyVerified",
"references"
],
"type": "object"
}
},
"required": [
"statement",
"receipt"
],
"type": "object"
},
"scope": {
"pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$",
"type": "string"
},
"trust": {
"additionalProperties": false,
"properties": {
"keys": {
"items": {
"additionalProperties": false,
"properties": {
"issuer": {
"minLength": 1,
"type": "string"
},
"jwk": {
"additionalProperties": false,
"properties": {
"crv": {
"const": "Ed25519",
"type": "string"
},
"kty": {
"const": "OKP",
"type": "string"
},
"x": {
"pattern": "^[A-Za-z0-9_-]{43}$",
"type": "string"
}
},
"required": [
"kty",
"crv",
"x"
],
"type": "object"
},
"keyId": {
"minLength": 1,
"type": "string"
},
"notAfter": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"notBefore": {
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d\\.\\d{3}(?:Z))$",
"type": "string"
},
"revoked": {
"type": "boolean"
},
"scopes": {
"items": {
"minLength": 1,
"type": "string"
},
"minItems": 1,
"type": "array"
}
},
"required": [
"issuer",
"keyId",
"scopes",
"revoked",
"notBefore",
"notAfter",
"jwk"
],
"type": "object"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"version": {
"const": "datoka.trust.v0.1",
"type": "string"
}
},
"required": [
"version",
"keys"
],
"type": "object"
}
},
"required": [
"proof",
"trust",
"issuer",
"scope"
],
"type": "object"
},
"name": "verify_proof_receipt",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"artifactHandling": {
"const": "not_received",
"type": "string"
},
"checks": {
"additionalProperties": false,
"properties": {
"anchor": {
"const": "not_checked",
"type": "string"
},
"artifact": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
},
"authorization": {
"const": "not_checked",
"type": "string"
},
"chainContinuity": {
"const": "not_checked",
"type": "string"
},
"factualAccuracy": {
"const": "not_checked",
"type": "string"
},
"parentReceipts": {
"items": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
},
"type": "array"
},
"payment": {
"const": "not_checked",
"type": "string"
},
"signature": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
},
"sourceSnapshots": {
"items": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
},
"type": "array"
},
"statement": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
},
"validity": {
"enum": [
"verified",
"not_provided",
"not_checked"
],
"type": "string"
}
},
"required": [
"signature",
"statement",
"validity",
"artifact",
"sourceSnapshots",
"parentReceipts",
"factualAccuracy",
"payment",
"authorization",
"anchor",
"chainContinuity"
],
"type": "object"
},
"code": {
"type": "string"
},
"receiptId": {
"format": "uuid",
"pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
"type": "string"
},
"receiptVerified": {
"type": "boolean"
},
"status": {
"enum": [
"verified_integrity",
"incomplete",
"invalid"
],
"type": "string"
},
"trustSource": {
"const": "caller_supplied",
"type": "string"
}
},
"required": [
"status",
"receiptVerified",
"trustSource",
"artifactHandling",
"checks"
],
"type": "object"
}
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:75cdf73e25d74d11a9b14d3c4728d69aa27756009b376ce2c25ac9ee628261a0 | sha256sum