O Protocolo EVAA é seguro? Auditorias, oráculos e riscos de contratos inteligentes

KTX
KTX
  • Atualizado

O Protocolo EVAA publicou análises de segurança da Quantstamp e da Trail of Bits para os seus contratos de empréstimo na TON. Isto constitui uma evidência relevante de escrutínio externo, mas não é uma resposta definitiva à pergunta “O EVAA é seguro?”. Uma auditoria analisa uma base de código definida; os utilizadores também dependem da versão implementada, dos dados de preços, dos controlos administrativos e da liquidez disponível quando precisam de sair.

A questão prática é saber quais os riscos abordados por uma determinada análise e quais as dependências que permanecem fora do seu âmbito. Comprar um token com a marca EVAA também representa uma exposição diferente de fornecer garantias ou pedir empréstimos através do protocolo de empréstimos.

KTX Learn: EVAA audits, oracles and smart-contract risks

Comece pela versão auditada, não pelo logótipo do auditor

O repositório público de contratos do EVAA identifica a v6 como tendo sido analisada pela Quantstamp e a v8 como tendo sido analisada pela Trail of Bits. Também fornece referências às revisões e instruções para comparar os hashes dos ficheiros com o material da auditoria. Isto torna o âmbito mais útil do que um selo genérico de “auditado”.

Há três comparações importantes: o código analisado, as alterações efetuadas após a análise e o código implementado no pool que utiliza. Um relatório sobre uma versão anterior não abrange automaticamente atualizações posteriores, um fork ou um contrato de token diferente. A configuração do pool também é relevante: o mesmo código subjacente pode comportar-se de forma diferente com garantias, limites ou definições de oráculo diferentes.

Evidência O que ajuda a estabelecer O que não estabelece
Auditoria identificada e revisão do código Qual a implementação que foi submetida a análise externa Que todas as implementações posteriores estão abrangidas
Estado das conclusões e das correções Como foi tratada uma questão documentada Que não existem vulnerabilidades ainda não descobertas
Pacote de oráculo assinado A origem e a integridade dos dados segundo as regras de verificação Que o preço está sempre economicamente correto
Administração com várias assinaturas Que podem ser necessárias várias aprovações para ações privilegiadas Que desaparece todo o risco administrativo ou de atualização

A leitura do âmbito é especialmente importante quando uma aplicação adiciona ativos ou integrações. Uma análise de um contrato de empréstimo não deve ser estendida a uma bridge, interface de carteira ou pool de terceiros apenas porque os componentes aparecem no mesmo percurso do utilizador.

Leia as conclusões juntamente com a resposta

O relatório da Trail of Bits publicado em agosto de 2025 regista nove conclusões: sete resolvidas e duas não resolvidas após a análise das correções. Os dois itens não resolvidos foram classificados como informativos e diziam respeito à aplicação da comissão de originação após uma verificação de colateralização e ao efeito das alterações do limiar de liquidação nas posições existentes. O relatório inclui o contexto apresentado pela equipa para essas decisões.

Estes estados históricos não provam uma exploração atual nem sustentam a afirmação de que todas as conclusões foram corrigidas. Ilustram por que motivo a resposta é importante: uma preocupação pode ser abordada através de uma alteração de código, de uma restrição de configuração ou de um compromisso operacional, e estas medidas proporcionam diferentes tipos de proteção.

Para o leitor, a questão de acompanhamento útil é saber se uma mitigação é aplicada pelo contrato ou se depende de pessoas que mantêm uma política. Uma promessa de notificar os mutuários antes de uma alteração de parâmetro é operacionalmente relevante, mas é diferente de uma restrição técnica que impeça essa alteração.

Os oráculos ligam a informação de preços às decisões de empréstimo

A documentação dos oráculos do EVAA descreve pacotes de preços assinados, várias instâncias de oráculos configuradas e agregação por mediana. Enumera fontes que incluem Pyth, RedStone e Stork, juntamente com valores derivados para alguns ativos. Os contratos verificam a validade dos pacotes, as assinaturas, os carimbos temporais e o número de fontes necessário.

Estas verificações abordam diferentes modos de falha. Uma assinatura autentica o relatório segundo a chave aceite; um carimbo temporal limita a sua antiguidade aceite; um requisito relativo ao número de fontes impede que um único relatório satisfaça uma regra de múltiplas fontes. Nenhum destes elementos, por si só, prova que o mercado subjacente permaneceu líquido ou que os dados aparentemente independentes não tinham uma vulnerabilidade comum.

Considere um empréstimo puramente ilustrativo: uma garantia no valor de 1 000 $ suporta uma dívida de 600 $. Se a garantia descer para 700 $, enquanto a dívida se mantém inalterada, a dívida aumenta de 60% para aproximadamente 85,7% do valor da garantia. A possibilidade de liquidação depende dos parâmetros efetivos desse pool. Um preço elevado desatualizado poderia ocultar a deterioração, enquanto um preço falsamente baixo poderia fazer com que uma posição saudável parecesse mais fraca.

Price observations pass through signed reports and contract checks before affecting lending decisions; audit scope and token identity remain separate questions

Rejeitar dados inválidos pode proteger a contabilidade e, ao mesmo tempo, impedir temporariamente uma operação sensível ao preço. Assim, um utilizador pode enfrentar um problema de disponibilidade mesmo quando as verificações funcionam conforme previsto. O nosso guia sobre oráculos de blockchain explica por que motivo a entrega, a atualidade e a interpretação precisam de ser avaliadas separadamente.

Um código correto ainda pode deixar um utilizador sem conseguir sair

A segurança dos contratos inteligentes e a segurança económica sobrepõem-se, mas não são idênticas. A documentação de riscos e levantamentos do EVAA explica que os fundos fornecidos só podem ser levantados na medida em que exista liquidez no pool. Os ativos emprestados por outros utilizadores não estão imediatamente disponíveis para levantamento apenas porque a conta de um fornecedor apresenta um saldo positivo.

Os mutuários enfrentam uma exposição diferente: a descida do valor da garantia, a subida do valor da dívida ou os juros acumulados podem reduzir a sua margem de segurança. Os liquidadores também têm de conseguir executar a operação e alienar as garantias durante períodos de stress. Uma posição calculada corretamente não garante que todas as transações necessárias sejam concluídas antes de o mercado se mover ainda mais.

Os controlos administrativos acrescentam outra camada. O EVAA afirma que as funções administrativas utilizam controlo com várias assinaturas. Os utilizadores devem ainda compreender quais as ações que essas chaves podem autorizar, incluindo atualizações ou alterações de parâmetros. A aprovação com várias assinaturas pode reduzir a dependência de uma única chave sem eliminar os poderes privilegiados.

Para conhecer melhor a mecânica dos empréstimos, consulte a nossa análise das liquidações e dos riscos de empréstimo do EVAA. A margem relevante é específica da posição e do pool, e não uma percentagem universal de empréstimo “segura”.

Mantenha o risco de mercado do token separado da segurança do protocolo

Um token com a marca EVAA noutra rede não está automaticamente abrangido pelas auditorias dos contratos de empréstimo na TON. Confirme o seu emissor ou a relação de bridge documentada antes de o considerar o token do protocolo. A posse de tokens, o fornecimento a um pool de empréstimos e a detenção de um ativo emprestado são posições distintas, com direitos e riscos diferentes.

O mercado EVAA identificado na Solana na KTX ON-Chain fornece uma entrada de dados de mercado para essa mint específica. O nome e a cotação apresentados não estabelecem uma relação de auditoria com o protocolo na TON. Analise a liquidez executável e a identidade completa do token; um gráfico quase plano não demonstra um valor estável nem uma revenda fácil.

Perguntas frequentes

Uma auditoria significa que os fundos estão segurados?

Não. Uma análise técnica não é uma apólice de seguro nem uma garantia de reembolso. Qualquer acordo de proteção separado teria de incluir os seus próprios termos, exclusões e processo de reclamação.

Os fornecedores podem ser liquidados sem pedir empréstimos?

Uma posição composta apenas por fornecimento não cria, por si só, um défice de empréstimo. Os fornecedores continuam expostos a riscos relacionados com o contrato, o ativo e a liquidez para levantamentos. Pedir empréstimos altera o perfil de risco da posição.

Um pequeno levantamento bem-sucedido prova que todo o saldo está seguro?

Não. Testa uma transação num determinado momento. Levantamentos maiores podem enfrentar restrições de liquidez diferentes, e uma atualização posterior ou um choque de mercado pode alterar as condições.

Um APY elevado compensa todos estes riscos?

Não. O rendimento indicado pode mudar e não contabiliza todos os cenários de perda. Compare a origem dos juros, os incentivos, as condições de levantamento e a potencial perda do capital.

Uma ligação à carteira, por si só, permite avaliar a segurança do EVAA?

Não. Uma ligação à carteira não é uma análise de segurança. Leia cada assinatura e transação solicitada, utilize a rede pretendida e nunca divulgue uma frase de recuperação ou uma chave privada a uma conta de suporte.

Os protocolos DeFi e os mercados de tokens podem originar perdas substanciais. As auditorias reduzem alguma incerteza, mas não garantem segurança, liquidez ou rendimentos. Este artigo tem fins educativos e não constitui uma recomendação de investimento.

Este artigo foi útil?

0 de 0 acharam isto útil

Tem mais dúvidas? Submeter um pedido