#dusk $DUSK @Dusk
A maioria das pessoas trata uma auditoria de segurança como um selo de aprovação e segue em frente. Eu não.
O que importa não é o logotipo da empresa que analisou o código. São os lugares silenciosos onde duas partes de um sistema — que, por conta própria, parecem funcionar bem — acabam fazendo uma suposição errada e silenciosa uma sobre a outra. É geralmente aí que as coisas realmente falham.
Uma prova matematicamente bem-feita não te protege se o ambiente ao redor interpretar mal o estado. Um esquema de assinatura sólido não te salva de uma implementação desajeitada. Um contrato cuidadosamente escrito ainda pode receber lixo de tudo o que fica ao lado dele.
O sinal útil nunca é a lista de componentes que foram revisados. É o que acontece depois que alguém encontra os casos extremos incômodos: se a resposta é um patch rápido ou um aperto mais profundo dos limites, das verificações e das formas como essas peças conversam entre si.
Uma auditoria não comprova que um sistema é seguro. Ela mostra como o time se comporta quando alguém é pago para tentar arduamente quebrá-lo. Essa é a parte que vale a pena observar.
$ETH $BTC
A maioria das pessoas trata uma auditoria de segurança como um selo de aprovação e segue em frente. Eu não.
O que importa não é o logotipo da empresa que analisou o código. São os lugares silenciosos onde duas partes de um sistema — que, por conta própria, parecem funcionar bem — acabam fazendo uma suposição errada e silenciosa uma sobre a outra. É geralmente aí que as coisas realmente falham.
Uma prova matematicamente bem-feita não te protege se o ambiente ao redor interpretar mal o estado. Um esquema de assinatura sólido não te salva de uma implementação desajeitada. Um contrato cuidadosamente escrito ainda pode receber lixo de tudo o que fica ao lado dele.
O sinal útil nunca é a lista de componentes que foram revisados. É o que acontece depois que alguém encontra os casos extremos incômodos: se a resposta é um patch rápido ou um aperto mais profundo dos limites, das verificações e das formas como essas peças conversam entre si.
Uma auditoria não comprova que um sistema é seguro. Ela mostra como o time se comporta quando alguém é pago para tentar arduamente quebrá-lo. Essa é a parte que vale a pena observar.
$ETH $BTC