Apertura de R5 GENERAL con un término cuadrático
Los casos R5 low4 pueden expresarse como función afín más, como máximo, x2·x3.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Los casos R5 low4 pueden expresarse como función afín más, como máximo, x2·x3.
Por qué la prueba es relevante
Si lo afín no basta, AQ23 añade un único monomio x2·x3. Conservar borrow es obligatorio porque la resta modular acopla ecuaciones low-bit.
f=b⊕Σaᵢxᵢ⊕q(x₂∧x₃)q∈{0,1}; grado≤2borrow siguiente se calcula exactamenteCómo se probó
Se enumeraron cubos, aisló monomio, conservó borrow y compiló programas AQ23.
Qué ocurrió
AQ23 abrió todas las transiciones registradas y el motor de prueba tuvo cero errores.
Controles de exactitud y estadísticos
Cada cubo de 16 puntos se enumeró, compiló y comparó con un motor independiente; cero errores.
Qué significa
Complejidad multiplicativa controlada en low4; no afirma nada sobre SHA-256 completo o velocidad.
Limitaciones
- Solo el término cuadrático registrado.
- Cuatro bits y borrow asociado.
- Grado controlado no prueba velocidad.
Trazabilidad
Enumeración de 16 puntos y verificación independiente AQ23.
Variantes canónicas
SUBENGINE-V18ASUBENGINE-V18BSUBENGINE-V18CSUBENGINE-V18DSUBENGINE-V18ESUBENGINE-V18FSUBENGINE-V18GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.