Spec change proposal: resolve TRACE v0.2 verifier contradictions from #591
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Documentación
- Claridad
- Bien especificado
- Estado de actividad
- Activo
- Stack tecnológico
- python
- Área
- documentation, security
Línea de trabajo
Read the v0.2 text in §§3.1, 3.1.5, 3.2.2, and 3.3, then review the per-input study and reproduction linked in #591. The proposed text, schema descriptions, and tests are expected in a linked draft PR; use them to check that each reported contradiction has a testable resolution. Done means the proposal has been discussed through the required 30-day comment period and has organizational sponsorship and Project Lead approval.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Spec sections affected
§3.1 (base-record fields and conformance levels), §3.1.5 (platform measurement appraisal), §3.2.2 (embedded signature), and §3.3 (verification sequence).
Problem
Issue #591 reports four reproducible disagreements between the v0.2 text, schema, and reference verifier: whether a base record requires tool_transcript and transparency; whether a signature checked only against the record's own cnf key authenticates origin; whether the verifier rejects a signed platform appraisal about another runtime measurement; and whether JWT-context ES256 support defines an ES256 top-level embedded signature. The report does not establish a deployed vulnerability.
Proposed change
- In §3.1, mark
tool_transcriptoptional in the base record and required for Level 2 transcript checks. Marktransparencyoptional below Level 2 and required for Level 2 anchoring checks. Omission makes no transcript commitment or anchoring claim. - In §3.3, require an issuer key trusted independently of the incoming record, or a signature chain validated to an accepted root, before reporting authenticated origin or a verification pass. Verify the signature against that trusted key and confirm that it matches
cnf. A self-key-only check is diagnostic internal consistency. - Retain the §3.1.5 rule that signed
appraisal.platform_measurement.measurementequals this record'sruntime.measurement, and enforce it in the reference verifier and conformance suite. - In §3.2.2, specify Ed25519 with an
OKP/Ed25519cnf.jwkand a 64-byte signature for the v0.2 base embedded form. A different embedded algorithm needs a separately defined profile. JWT-context algorithms and separately defined enveloping profiles are unaffected.
The proposed text, schema descriptions, and tests will be in a linked draft PR. This issue starts discussion; it is not a request for immediate acceptance.
Backward compatibility
- Non-breaking (new optional field, informative addition)
- Breaking (changes algorithm set or accepted records)
Existing top-level embedded records using ES256 or another non-Ed25519 algorithm would need to use Ed25519 or a separately defined profile/enveloping form. Verifiers that accept only a self-supplied cnf key as authenticated origin must instead obtain an independent trust anchor. A signed appraisal about a different measurement must be rejected. Level 2 still requires transcript and anchoring evidence; base records without those fields remain valid at lower levels. Existing Ed25519 records with matching appraisals and separately defined enveloping signatures are unaffected.
Motivation
Give independent implementers and the reference library one testable interpretation of the same v0.2 record. See the per-input study and reproduction linked in #591. The required 30-day comment period, organizational sponsorship, and Project Lead approval remain open before any merge.
Related issues or PRs
#591
- Lenguaje dominante
- Python
- Estrellas
- 37
- Forks
- 33
- Merge medio
- 1 d 4 h
- PR fusionados (30 d)
- 122
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de agentrust-io/trace-spec
-
bug needs-review:HIGH
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
agentrust-io/trace-spec#591 · 4 comentarios ·
Los mantenedores suelen responder en 1 día
-
prototype(manifest_requirements): resolve accepted_methods without duplicating bindings and reject unconfigured binding endpoints with ProfileErrorPosiblemente ocupada @drk-ram la tomó hace 1 día. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 78/100
agentrust-io/trace-spec#580 ·
Los mantenedores suelen responder en 1 día
-
feat(delegation): add parent_record_hash, verify_delegation_link, and verify_delegation_chain to agentrust_tracePosiblemente ocupada @drk-ram la tomó hace 1 día. Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 58/100
agentrust-io/trace-spec#581 ·
Los mantenedores suelen responder en 1 día
-
revocation,trust-record-verify: implement es256 and es384 bundle verification and add EC revocation vectors (#448 items 1, 10)Posiblemente ocupada @drk-ram la tomó hace 1 día. Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
agentrust-io/trace-spec#584 ·
Los mantenedores suelen responder en 1 día
-
trust-record-verify: add citationResolver (citations) and platformAppraiser (platformMeasurement) parity with Python verify_recordPosiblemente ocupada @drk-ram la tomó hace 2 días. Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 72/100
agentrust-io/trace-spec#569 ·
Los mantenedores suelen responder en 1 día
Todos los issues de agentrust-io/trace-spec
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 80/100
521xueweihan/HelloGitHub#4063 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
Vanilla-OS/apx-gui#112 ·
-
Devstral and Voxtral: section 5 fails in us-east-1 with 400 "Model does not support audio modality"Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
aws-samples/sample-per-model-bedrock#409 ·
Los mantenedores suelen responder en 1 día
-
DuckDB 2.0 breaks to_pyarrow_batchesPosiblemente ocupada @DG47 la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
ibis-project/ibis#12196 ·
Los mantenedores suelen responder en 1 día