Auditorias de segurança: âmbito e limites

Esta página reúne duas auditorias ao contrato ERC-20 do $HYPER verificadas junto de fontes primárias — Coinsult e SolidProof — e analisa o respetivo âmbito e limites. Distingue explicitamente estas auditorias do token das auditorias do protocolo Layer 2, da bridge, do sequencer e dos restantes componentes da arquitetura. A página será atualizada quando estiver disponível nova informação pública verificável.

Atualizado a 10 de agosto de 2026

⚠ Âmbito e limites das auditorias publicadas

As duas auditorias aqui apresentadas incidem sobre o contrato ERC-20 do token HYPER, endereço 0xA86c39fa8341aDC5219f355468fc78Cec7e8702B na Ethereum (implementado a 2 de maio de 2025, Solidity, oferta total de 21 000 000 000 HYPER).

Estas auditorias não permitem estabelecer que a bridge, o sequencer, o SVM Relay Program, a geração ou a verificação das provas ZK, nem o modelo de disponibilidade dos dados tenham sido auditados. A SolidProof precisa que o seu exame incide sobre um único contrato token e não sobre os restantes contratos associados ao projeto. Estes componentes constituem uma parte essencial da superfície de ataque da arquitetura Layer 2 descrita pelo projeto.

A afirmação promocional «O Bitcoin Hyper foi auditado» deve ser interpretada com rigor : existem auditorias ao contrato ERC-20 do token, mas não permitem concluir que o protocolo Layer 2, a bridge, o sequencer ou o sistema de provas tenham sido auditados. Fornecem informação sobre alguns riscos do contrato token e não sobre o conjunto dos riscos arquitetónicos do sistema proposto.

📖 Nota editorial

Esta análise baseia-se em «Due Diligence of a Layer 2 – The Bitcoin Hyper Case», de Michele Stefanelli (primeira edição, julho de 2026). Para uma apresentação mais aprofundada da metodologia de avaliação das auditorias de segurança dos projetos cripto antes da mainnet, ver o capítulo 21 do volume I e o capítulo 34 do volume II, ou a lista de verificação de due diligence.