Certificados abstractos SAFE-PRUNE
La evidencia de poda puede separarse del descubridor y comprobarse mediante una interfaz pequeña.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La evidencia de poda puede separarse del descubridor y comprobarse mediante una interfaz pequeña.
Por qué la prueba es relevante
Separar productor y verificador reduce la base de confianza. El productor puede explorar, pero el checker acepta solo un esquema fijo suficiente para rechazo exacto.
Cert(x,w)=verdadero ⇒ B(x)=REJECTVerify(w,contexto)∈{SAFE_PRUNE,DEFER}error = SAFE_PRUNE mientras el predicado completo continúaCómo se probó
Se definió el esquema, se produjeron certificados y se verificaron independientemente en un contexto de job Bitcoin real.
Qué ocurrió
Producción y comprobación cerraron manteniendo las puertas semánticas.
Controles de exactitud y estadísticos
Certificados de módulos aislados se verificaron independientemente sobre estados alcanzables con formato Bitcoin. Esquema, contexto y acción se controlaron por separado.
Qué significa
Un verificador estrecho reduce confianza necesaria en el descubridor; no mide frecuencia ni economía.
Limitaciones
- Valida solidez, no prevalencia.
- El productor puede seguir siendo caro.
- Se excluyen identificadores operativos privados.
Trazabilidad
Esquema congelado y checker independiente sobre estados alcanzables.
Variantes canónicas
SUBENGINE-V8ASUBENGINE-V8BSUBENGINE-V8CSUBENGINE-V8DSUBENGINE-V8ESUBENGINE-V8FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.