El desarrollador de Hazync informa una verificación en milisegundos para los bloques 1 a 1.789, mientras que la campaña de pruebas para toda la cadena sigue sin terminar.
El desarrollador de azync informa que un verificador independiente de 1,7 MB comprobó un recibo criptográfico de 226.434 bytes que cubre los primeros 1.789 bloques de Bitcoin en 27 milisegundos. La divulgación del 15 de agosto limita ese resultado a un tramo inicial de la historia de Bitcoin. Una campaña completa de pruebas desde el génesis hasta el final de la cadena sigue sin terminar.
Hazync es un prototipo de investigación que utiliza la máquina virtual de conocimiento cero de RISC Zero, o zkVM, para hacer que la validación de Bitcoin sea reutilizable. La zkVM ejecuta el programa de validación y el recibo resultante le da a otros usuarios un archivo compacto para comprobar. El diseño del desarrollador concentra la generación de pruebas entre los verificadores y deja la verificación del recibo a una población mucho más amplia.
Esos dos trabajos tienen costos radicalmente diferentes. El desarrollador estima aproximadamente 17 años-GPU para el relleno histórico, seguido de capacidad equivalente a unos seis GPUs Nvidia L40S para mantenerse al ritmo de los bloques nuevos. Las comprobaciones baratas de recibos llegan después de que los proveedores de pruebas, los auditores y los operadores de archivo hayan aportado el trabajo costoso aguas arriba.
El repositorio público de Hazync describe un programa invitado construido a partir de partes sustanciales del código de consenso de Bitcoin Core v28 y libsecp256k1, compilado para RISC-V de 32 bits. Reutilizar el código de Core reduce la cantidad de comportamiento de consenso que tiene que restablecerse en un circuito separado.
Esa medición informa la estimación del desarrollador de aproximadamente 17 años-GPU para el relleno de génesis a punta. El material disponible ofrece puntos de referencia representativos del proyecto en lugar de una medición auditada a lo largo de cada era de la historia de Bitcoin. Por lo tanto, el rendimiento de cadena completa de Hazync sigue siendo una estimación hasta que se complete la campaña.
Los cambios en el software también pueden borrar trabajos completados. Cada recibo de Hazync se compromete con un METHOD_ID, una huella del programa invitado compilado. Un nuevo build del invitado recibe un identificador nuevo, dejando recibos anteriores vinculados a la versión previa.
El proyecto reinició su tablero de génesis el 4 de agosto después de que una auditoría interna obligara a establecer una nueva línea base. Una corrección posterior de solidez podría provocar el mismo reinicio después de que se haya acumulado mucho más tiempo de GPU. Por lo tanto, el presupuesto de pruebas abarca código estable, el relleno histórico y capacidad continua para la punta.
El propio invitado contiene un límite de revisión importante, ya que dentro de él se ejecuta un código sustancial de consenso de Core, junto con fragmentos mantenidos por el proyecto para el calendario de la subvención y las alturas de activación del script. El proyecto afirma que su calendario de bandera de script se prueba de forma diferencial como un superconjunto sólido de las reglas de Core, lo que permite rechazos adicionales en la dirección destinada a preservar la solidez.
Una capa de portabilidad en C++ adapta Core al zkVM, y un acumulador Utreexo no-Core se compromete con el conjunto de salidas de transacciones no gastadas de Bitcoin. Las suposiciones divulgadas también cubren el sistema de pruebas de RISC Zero, SHA-256 y secp256k1. Hazync identifica los ajustes de portabilidad y el acumulador como sus objetivos residuales de revisión de mayor prioridad.
El repositorio informa dos revisiones externas asistidas por IA en agosto que no lograron encontrar una vía para que el invitado acepte una cadena inválida. Una auditoría profesional encargada sigue pendiente. El código público permite el escrutinio externo y la verificación de producción aún recae en el examen adversarial del invitado exacto y de cada componente dentro de su límite de prueba.
Hazync divide la sincronización sin confianza en varios trabajos con distintos operadores y presupuestos. La verificación de recibos puede alcanzar milisegundos para un rango probado. La generación de pruebas consume capacidad de GPU; los operadores de archivo conservan los datos subyacentes; los nodos comparan las puntas y los auditores evalúan el invitado.
Una implementación estable con suficiente capacidad de cómputo y revisión externa podría reducir la validación repetida en nodos nuevos. En la etapa actual del proyecto, la verificación de 27 milisegundos reportada por el desarrollador cubre una columna vertebral limitada, mientras que la estimación de 17 años-GPU describe la ruta aún no terminada hasta la punta de Bitcoin.