Eles não terminaram o código e foram embora, mas começaram pela base, adicionando seguros camada por camada, enfatizando a rigidez do código, testes adequados e práticas operacionais.
O contrato principal deles não é decidido apenas por eles, mas sim revisado por equipes de segurança renomadas da indústria, como Zeppelin e Bramah, cada uma com uma perspectiva diferente sobre os problemas, o que equivale a fazer uma varredura completa no sistema.
Como módulos críticos como oráculos e controle de permissões, eles também contrataram especialistas da Zokyo e da Guardian para monitorar, focando em verificar se as rotas de execução com múltiplas assinaturas têm vulnerabilidades.
Os testes também são feitos de forma muito prática, com automação e trabalho manual juntos, conseguindo uma cobertura de cem por cento de todas as linhas de código, ramificações e declarações — ou seja, cada linha de código foi realmente executada e verificada.
Os pontos de foco de cada auditor também são muito interessantes: a Zeppelin dá grande importância à proteção contra ataques de reentrada e à segurança de atualizações, enquanto a Bramah foca no modelo econômico e na lógica de autorização, para evitar que alguém manipule o pool de empréstimos.
A SECBIT é ainda mais rigorosa, simulando diretamente ambientes de rede adversos, especialmente buscando aqueles riscos competitivos que só se revelam sob pressão. E a Cyfrin até usou verificação formal, realizando provas matemáticas sobre mudanças de estado central, o que equivale a colocar um bloqueio matemático.
Não é apenas o código que eles escreveram que deve ser rigorosamente verificado, a Dolomite também procura usar bibliotecas de código aberto que foram testadas no mercado, especialmente componentes que foram usados e auditados por outros projetos DeFi maduros, sem reinventar a roda.
No nível operacional, também há muitas garantias concretas, como o preço do oráculo que vai considerar várias fontes, estabelecer mecanismos de interrupção de transações, e até os processos de resposta a emergências estão previamente escritos em um manual de operações, para que, quando algo acontecer, saibamos como lidar passo a passo.
Eles também enfatizam bastante a transparência, os relatórios de auditoria e os registros de modificações são públicos, e qualquer problema encontrado é corrigido o mais rápido possível, minimizando o tempo de exposição ao risco.
Segurança não é algo que se conquista de uma vez por todas, a Dolomite também está continuamente planejando reauditorias, mantendo a velocidade de desenvolvimento e atendendo às expectativas de segurança em nível institucional.
Há rumores de que, a seguir, eles podem lançar um cartão de pontuação de risco para cada tipo de ativo, e até simular os resultados de testes de estresse em condições de mercado extremo.
Há quem especule que eles estão estudando o uso de assinaturas múltiplas FROST para gerenciar o fundo, aumentando uma camada de garantia, enquanto garantem a descentralização.
Claro, isso tudo não é uma recomendação de investimento, é apenas uma conversa sobre como eles estão passo a passo tornando a infraestrutura DeFi mais sólida.
@Dolomite #DolomiteProtocol $DOLO
