#termmax @TermMax
Ao olhar para a segurança do TermMax, estou menos interessado no número de auditorias do que no que o rastro de auditoria revela sobre como o sistema se comporta sob pressão.
Essa distinção importa.
As revisões das Fases 1, 2 e 3 da ABDK, juntamente com trabalhos posteriores relacionados à V2 e ao TMX, mostram um código que foi desafiado repetidamente. A parte interessante não é a existência dos relatórios. É a classe de problemas que continuou surgindo em torno de reentrância, lógica de resgate, atualizações de reserva, contabilização de saldos, matemática de créditos de liquidação ruim e caminhos de controle de ativos.
Já vi isso antes em DeFi. O bug óbvio é corrigido e, então, aparece outro na fronteira entre dois contratos que pareciam seguros quando considerados isoladamente.
É aí que eu me concentro com o TermMax.
A avaliação da Cantina reportou múltiplos achados, incluindo problemas de alta severidade, e o status publicado mostra esses achados como corrigidos. Isso é uma evidência útil de um processo ativo de remediação, mas eu não trato “todos os achados resolvidos” como equivalente a “a arquitetura é formalmente segura”.
A questão maior são as invariantes.
Para um protocolo construído em torno de tokens fixos, tokens de câmbio, curvas de ordem, cofres (vaults) e alavancagem, eu quero saber se propriedades como conservação contábil, solvência e liquidação correta de FT/XT são impostas mecanicamente em cada transição de estado significativa, e não apenas cobertas por testes.
O programa público da Immunefi é outra peça do quadro. Uma recompensa ativa dá aos pesquisadores um incentivo para atacar o sistema implantado, o que é valioso. Mas a cobertura de recompensas ainda é reativa.
Então meu entendimento é simples: o TermMax parece ter passado por iterações sérias de segurança. O que ainda não me convence plenamente é a lacuna entre “os bugs conhecidos foram corrigidos” e “as importantes invariantes econômicas são preservadas de forma comprovável”.
É nessa lacuna que eu continuaria cavando.
Ao olhar para a segurança do TermMax, estou menos interessado no número de auditorias do que no que o rastro de auditoria revela sobre como o sistema se comporta sob pressão.
Essa distinção importa.
As revisões das Fases 1, 2 e 3 da ABDK, juntamente com trabalhos posteriores relacionados à V2 e ao TMX, mostram um código que foi desafiado repetidamente. A parte interessante não é a existência dos relatórios. É a classe de problemas que continuou surgindo em torno de reentrância, lógica de resgate, atualizações de reserva, contabilização de saldos, matemática de créditos de liquidação ruim e caminhos de controle de ativos.
Já vi isso antes em DeFi. O bug óbvio é corrigido e, então, aparece outro na fronteira entre dois contratos que pareciam seguros quando considerados isoladamente.
É aí que eu me concentro com o TermMax.
A avaliação da Cantina reportou múltiplos achados, incluindo problemas de alta severidade, e o status publicado mostra esses achados como corrigidos. Isso é uma evidência útil de um processo ativo de remediação, mas eu não trato “todos os achados resolvidos” como equivalente a “a arquitetura é formalmente segura”.
A questão maior são as invariantes.
Para um protocolo construído em torno de tokens fixos, tokens de câmbio, curvas de ordem, cofres (vaults) e alavancagem, eu quero saber se propriedades como conservação contábil, solvência e liquidação correta de FT/XT são impostas mecanicamente em cada transição de estado significativa, e não apenas cobertas por testes.
O programa público da Immunefi é outra peça do quadro. Uma recompensa ativa dá aos pesquisadores um incentivo para atacar o sistema implantado, o que é valioso. Mas a cobertura de recompensas ainda é reativa.
Então meu entendimento é simples: o TermMax parece ter passado por iterações sérias de segurança. O que ainda não me convence plenamente é a lacuna entre “os bugs conhecidos foram corrigidos” e “as importantes invariantes econômicas são preservadas de forma comprovável”.
É nessa lacuna que eu continuaria cavando.