Setenta y cinco familias consolidadas desde informes canónicos. Cada entrada nueva incorpora fundamento científico, modelo matemático, controles de validación y limitaciones explícitas. Algunas investigaciones requieren semanas o meses de captura, replicación y análisis.
6 entradas publicadas siguen experimentales o en curso.
“Ventaja local” tiene un sentido estricto: reducción medida de trabajo diagnóstico o capacidad exacta que evita una enumeración dentro de un subproblema registrado. No significa SHA-256 completo más rápido, mayor hashrate, menos energía por bloque válido ni ventaja económica minera.
El predicado B8 exacto puede rechazar en el primer bit requerido que no coincida, sin evaluar todos los bits demandados.
El mecanismo lazy exacto sigue siendo válido antes de R56 y permite medir dónde domina el coste de dependencias.
Solo hace falta transportar la interfaz semántica demandada entre checkpoints para reproducir la decisión progresiva exacta.
Clases de contexto y representaciones cociente pueden comprimir comportamiento repetido sin alterar decisiones exactas.
Un portafolio de representaciones exactas especializadas puede cubrir más contextos que una sola gramática global.
El estado de acarreo explícito puede factorizar comportamiento contextual opaco a nivel de palabra.
Un motor parcial seguro solo debe emitir rechazo exacto o delegación al baseline.
La evidencia de poda puede separarse del descubridor y comprobarse mediante una interfaz pequeña.
Los estados Bitcoin alcanzables ocupan contextos estructurados capaces de seleccionar capacidades exactas reutilizables.
Para un job fijo, el carril dependiente del nonce nace de una fuente W3 de 32 bits con traslaciones A4/E4 exactas.
El contexto exacto heredado puede guiar qué representación especializada aplica en la ronda siguiente.
El descubrimiento offline puede separarse de un motor online pequeño y exacto con procedencia explícita.
Casos llamados GENERAL por una gramática gruesa pueden admitir estructura exacta en bits bajos.
Los cuatro bits bajos de R4.T2 pueden clasificarse en fórmulas afines exactas por contexto.
La regla contextual de V14 puede promoverse de observación a teorema exacto de contexto fijo.
Valores nTime legales pueden despachar capacidades R4 exactas con version y merkle fijos.
Una representación M4 exacta sigue siendo útil al heredarse hacia M5 aunque la etiqueta gruesa sea GENERAL.
Los casos R5 low4 pueden expresarse como función afín más, como máximo, x2·x3.
AQ23 y metadatos de borrow pueden preservar estructura dispersa en transiciones posteriores.
La complejidad global puede localizarse en fronteras de carry y ramas condicionales de Majority.
El muro low-bit de Σ0/carry y Majority en R5 puede sustituirse por familias finitas de programas exactos, y cualquier simplificación que sobreviva hasta R6 puede detectarse sin aproximación.
La propagación de carry en intervalos A5 puede representarse mediante estados exactos Kill/Propagate/Generate, y P idénticamente cero vuelve irrelevante el carry de entrada.
Los saltos P=0 frecuentes pueden explicarse mediante reinicios exactos de un bit o certificados pequeños que impiden que la propagación atraviese todo el intervalo.
Los hard resets de bits 16–18 surgen de certificados compactos de constancia o relaciones por pares en T1 y T2, no de un evento irreducible.
El freeze dominante en bit 18 debe reconstruirse desde el carry interno de Σ0(a4)+Maj4; el atajo original por predicados fuente debe rechazarse si no supera revisión independiente.
Para bits 15–18, Σ0(a4) se congela exactamente cuando se congela un único bit fuente rotado bajo el contexto registrado.
El certificado V26 puede derivarse desde una traza fuente base y fronteras modulares, sin enumerar online los 16 hijos W3.low4.
El hard reset externo completo T1/T2 en bit 18 puede predecirse con máscaras de 16 lanes y ripple carry desde un estado base M4.
El certificado en bit 18 puede saltar dependencia previa y propagarse por bits 19–21 hasta el carry 22 real de la misma población superviviente.
Si la ruta conectada retiene simplificación, debe observarse en a5[22] o en las cuatro lanes bajas de Σ0(a5) para supervivientes reales.
La atenuación en Σ0(a5) lane 0 puede atribuirse exactamente a cancelación entre monomios de entradas rotadas.
Si la atenuación es difusa, el mapa de todos los monomios mostrará diferencias pequeñas distribuidas en lugar de una cancelación dominante reproducible.
El patrón replicado puede localizarse en términos que contienen x3 y trazarse a los componentes rotados que los crean o cancelan.
La supresión atribuida a x3 puede borrarse cuando la suma modular regenera términos no lineales mediante carry.
La regeneración de carry 21 puede separarse entre Generate en bit 20 y el producto Propagate por carry entrante.
Una simplificación local solo importa si sobrevive al consumidor T2₅ completo, incluido Σ0(a5), Majority y carry interno.
El aumento de complejidad Majority puede deberse a mezclar ramas c5=0 y c5=1, no a un mecanismo estable dentro de cada rama.
Si el contraste Majority es estructural, debe conservar coherencia después de condicionar por familias exactas y ramas c5.
Una reducción relevante más allá de T2₅ debe permanecer visible tras la actualización completa hacia a6 y e6.
La atenuación e6 solo sostiene la línea bit18→R6 si replica el conjunto completo de monomios, no una selección favorable.
Un reinicio duro en el bit 17 solo sigue siendo operativo cuando ningún reinicio posterior en el bit 18 lo sobrescribe; bajo esa condición debe reconstruir exactamente el acarreo 22.
Si el reinicio efectivo en bit 17 crea una simplificación conectada, su dirección debe replicarse en acarreo22, a5[22], Σ0(a5)[0], T2₅.low4 y a6.low4 frente a controles emparejados.
Las posiciones 16–18 pueden unificarse con una regla exacta: elegir el último reinicio activo y evaluar solo su sufijo.
Un árbol de certificados de reinicio exactos puede evaluar el predicado objetivo de R60 con menos trabajo que el ripple exacto.
Un candidato que supera el primer byte objetivo puede probar el segundo incrementalmente, con trabajo total igual a B8 más el trabajo condicional de B16 y sin errores.
La regla B8→B16 se generaliza byte a byte por B24 y B32 dentro de la palabra 7 del digest.
La escalera puede cruzar de palabra 7 al primer byte de palabra 6 incorporando la identidad exacta e62/feedforward.
Tras el puente, la familia byte a byte debe extenderse por B48, B56 y B64 dentro de palabra 6.
La escalera puede entrar a palabra 5 reconstruyendo exactamente e63/feedforward y evaluando el byte siguiente desde el digest final.
Tras B72, la comparación puede clasificar muchos estados como ACCEPT o REJECT definitivos y delegar solo empates de prefijo.
En los DEFER de V50, comparar el byte siguiente con 0x35 debe producir acciones exactas y un conjunto DEFER menor.
Aplicar 0x3D a los DEFER de V51 debe resolver casi todos y mostrar si un defer con sufijo cero aún satisface PoW.
La relación objetivo de palabra 5 puede transportarse exactamente a R59 mediante una identidad afín fija y cuatro primitivas T1 reducidas.
Una ronda SHA-256 es biyectiva sobre estados puntuales cuando Wt y Kt están fijados, permitiendo invertir y reiniciar exactamente.
Fijar el estado siguiente salvo a′ define una fibra predecesora compacta con soporte invariante, leyes afines en d/h y reinicio exacto.
El kernel local M2 debería superar a un baseline CUDA SHA-256d externo, fijo y mantenido, con trabajo equivalente.
Otra combinación de hilos por bloque y nonces por hilo puede mejorar el kernel externo al menos 1%.
Tres perfiles independientes pueden revelar cuellos del baseline T512-N32.
El compilador sm_120 ya traduce SHA-256d a shifts, booleanos y sumas nativas de Blackwell.
Una puntuación lineal congelada del estado parcial puede seleccionar nonces mejores que terminar uniformemente con igual trabajo SHA.
Recorrer bloques de 32 nonces en Gray reutiliza σ₀ por linealidad XOR y mejora al menos 1%.
Un loop no desenrollado preserva reutilización sin expansión de código.
Forzar dos o cuatro nonces puede exponer ILP suficiente para superar el baseline.
Una muestra piloto selecciona headers con mayor densidad posterior que asignación aleatoria de igual trabajo.
La densidad piloto B8 de una región por byte alto predice un holdout low24 disjunto.
Mover σ0(W16/W17) al setup CPU reduce trabajo GPU.
Mover W18…W61 justo antes de su consumo reduce vidas, registros o instrucciones.
NPT 1/2/4/8 con TPB 256/512 supera T512-N32 al menos 1%.
La señal pequeña de N4 replica con binarios congelados y headers inéditos.
N4 mantiene velocidad sin empeorar energía/hash ni temperatura.
Balancear ABBA/BAAB dentro de cada header confirma no inferioridad energética.
NPT 3/5/6/7 mejora NPT4 al menos 0,2%.
Agrupar launches antes de copiar/sincronizar mejora throughput end-to-end.
La ganancia P8 replica y mantiene intervalo menor a 0,20 s.
P8 conserva velocidad y cumple no inferioridad energética/térmica pareada.