Sign UK gate reports with Ed25519 so anyone can verify a cut
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
- 35/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Stack tecnológico
- python
- Área
- cryptography, security
Línea de trabajo
Start with docs/uk-cut-anyone.md § Signing keys and the registry introduced by #1405, then trace how UK gate reports, release-cut certifications, and dense gate reports are signed and verified. Resolve the migration, dependency, and retirement questions before implementation. Done means reports use Ed25519 public-key verification, with a documented decision for existing HMAC-signed cuts and retired keys.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
UK gate reports, release-cut certifications and dense gate reports are signed with HMAC-SHA256. The keys are registered by fingerprint in microcosm.data.gate_signing_keys, from #1405. HMAC is symmetric, so the signature can't do some of what a certificate should. Vahid set out the limits in his review of #1405:
- Verifying needs the secret. Whoever can verify a cut can also sign one. A "certified" cut is its key holder vouching for their own reports. policyengine.py and users downstream rely on Hugging Face write access and the registry, not on a signature they can check.
- Retirement can't be checked.
retired_onis only recorded. Whoever still holds a retired key can mint reports that verify. - Revocation is local. It binds only checkouts and wheels that include the revoking commit.
#1405 documents these limits in docs/uk-cut-anyone.md § Signing keys.
Proposal
Sign with Ed25519 instead. The registry would hold each builder's public key in place of a fingerprint, signers would keep the private key, and anyone with the repository could verify a cut, including policyengine.py at certification time.
Open questions:
- Migration. Keep HMAC verification for the cuts already signed (
66bf0e29…and the team keydd31e325…), or re-sign them? - Dependency. Which library? The standard library has no Ed25519, and the workspace doesn't lock
cryptographyor PyNaCl today, so this adds one tomicrocosm-data. - Retirement. Should verifiers compare a report's signing time with
retired_on? That would need a trusted time source, or a signed release log.
🤖 Generated with Claude Code
- Lenguaje dominante
- Python
- Estrellas
- 0
- Forks
- 6
- Merge medio
- 1 d 23 h
- PR fusionados (30 d)
- 134
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin 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 PolicyEngine/microcosm
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
PolicyEngine/microcosm#1220 ·
Los mantenedores suelen responder en 1 día
-
Update two stale comments about the export-mass reviewed-exclusion registerPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100
PolicyEngine/microcosm#1108 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
PolicyEngine/microcosm#475 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
PolicyEngine/microcosm#1423 ·
Los mantenedores suelen responder en 1 día
-
UK: data fixes for the Budget 2026 household measuresPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100
PolicyEngine/microcosm#1418 · 6 comentarios ·
Los mantenedores suelen responder en 1 día
Todos los issues de PolicyEngine/microcosm
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
pytest-dev/pytest-html#1085 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
pollen-robotics/reachy_mini#1527 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 66/100
Los mantenedores suelen responder en 2 días
-
Variadic arguments that aren't objects are passed as objects (stringWithFormat_ with %d / %f)Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
A seed and its negative give the same run, so realizations of a negative seed repeat each otherAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
Los mantenedores suelen responder en 1 día