O desenvolvedor do Hazync relata verificação em milissegundos para blocos de 1 a 1.789, enquanto a campanha completa de prova da cadeia inteira permanece inacabada.
O desenvolvedor do Hazync relata que um verificador autônomo de 1,7 MB verificou um recibo criptográfico de 226.434 bytes que cobria os primeiros 1.789 blocos do Bitcoin em 27 milissegundos. A divulgação de 15 de agosto limita esse resultado a um trecho inicial da história do Bitcoin. Uma campanha completa de provas do genesis ao tip permanece inacabada.
Hazync é um protótipo de pesquisa que usa a máquina virtual de conhecimento zero do RISC Zero, ou zkVM, para tornar a validação do Bitcoin reutilizável. A zkVM executa o programa de validação e o recibo resultante fornece a outros usuários um arquivo compacto para checar. A concepção do desenvolvedor concentra a geração de provas entre os provedores e deixa a verificação do recibo para uma população muito maior.
Esses dois trabalhos têm custos radicalmente diferentes. O desenvolvedor estima cerca de 17 anos-GPU para o preenchimento histórico, seguido de capacidade equivalente a cerca de seis GPUs Nvidia L40S para acompanhar blocos novos. Verificações baratas de recibos chegam depois que provedores, auditores e operadores de arquivo forneceram o trabalho caro a montante.
O repositório público do Hazync descreve um programa convidado construído a partir de partes substanciais do código de consenso do Bitcoin Core v28 e da libsecp256k1, compilado para RISC-V de 32 bits. Reaproveitar o código do Core reduz a quantidade de comportamento de consenso que precisa ser reexposto em um circuito separado.
Essa medição informa a estimativa do desenvolvedor de cerca de 17 anos-GPU para o preenchimento do genesis até a ponta. O material disponível fornece benchmarks representativos do projeto, em vez de uma medição auditada ao longo de toda a história do Bitcoin. Portanto, o desempenho de cadeia completa do Hazync permanece uma estimativa até que a campanha seja concluída.
Mudanças no software também podem apagar trabalhos concluídos. Cada recibo do Hazync se compromete com um METHOD_ID, uma impressão digital do programa convidado compilado. Um novo build do convidado recebe um novo identificador, deixando recibos anteriores vinculados à versão anterior.
O projeto reiniciou sua placa de genesis em 4 de agosto após uma auditoria interna forçar uma nova linha de base. Uma correção posterior de solidez poderia acionar o mesmo reset após muito mais tempo de GPU se acumular. Assim, o orçamento de prova abrange código estável, o preenchimento histórico e capacidade contínua para a ponta.
O próprio convidado contém uma fronteira de revisão importante, pois o código substancial de consenso do Core é executado dentro dele, juntamente com fatias mantidas pelo projeto para o cronograma de subsídios e alturas de ativação de scripts. O projeto afirma que seu cronograma de flags de script é testado de forma diferencial como um superconjunto sólido das regras do Core, permitindo rejeição extra na direção pretendida para preservar a solidez.
Uma camada de portabilidade em C++ adapta o Core para o zkVM, e um acumulador Utreexo não-Core se compromete com o conjunto de saídas de transações não gastas do Bitcoin. As suposições divulgadas também cobrem o sistema de provas do RISC Zero, SHA-256 e secp256k1. O Hazync identifica as adaptações de portabilidade e o acumulador como seus alvos residuais de revisão com maior prioridade.
O repositório relata duas revisões externas com assistência de IA em agosto que não conseguiram encontrar um caminho para o convidado aceitar uma cadeia inválida. Uma auditoria profissional encomendada permanece pendente. O código público permite escrutínio externo, e a garantia de produção ainda depende de exame adversarial do convidado exato e de cada componente dentro de sua fronteira de prova.
O Hazync divide a sincronização sem confiança em vários trabalhos com operadores e orçamentos diferentes. A verificação de recibos pode chegar a milissegundos para um intervalo comprovado. A geração de provas consome capacidade de GPU; operadores de arquivo mantêm os dados subjacentes; nós comparam as pontas; e auditores avaliam o convidado.
Uma implementação estável com computação suficiente e revisão externa poderia reduzir validações repetidas em novos nós. No estágio atual do projeto, a verificação de 27 milissegundos reportada pelo desenvolvedor cobre uma coluna limitada, enquanto a estimativa de 17 anos-GPU descreve o caminho ainda inacabado até a ponta do Bitcoin.