#Cardano fundador Charles Hoskinson reagiu ao roubo noticiado de 4.000 Bitcoin da carteira de federação da Liquid Network.
A Liquid confirmou o incidente em uma postagem no X ontem, afirmando que hackers desviaram aproximadamente 4.000 Bitcoin, no valor de US$ 320 milhões, de sua carteira de federação. De acordo com a rede, os atacantes movimentaram os recursos por meio do serviço SideSwap Peg-out Authorization Key (PAK).
No entanto, a Liquid e a SideSwap indicaram que o PAK em si não foi comprometido. Em vez disso, a SideSwap disse que o L-BTC envolvido na transação teve origem em uma vulnerabilidade no Elements, o software derivado do Bitcoin que alimenta o sidechain da Liquid.
Após o incidente, a Liquid desativou seus nós de ponte e pausou a atividade da rede enquanto os membros da federação investigavam a brecha. Enquanto isso, as exchanges receberam notificações e começaram a pausar — ou a se preparar para pausar — depósitos e retiradas de L-BTC.
A transação também continha uma mensagem OP_RETURN, na qual os atacantes, que afirmaram ser “white hats”, solicitaram contato on-chain.
Hoskinson Adverte sobre Riscos de Cibersegurança Impulsionados por IA
Em reação ao incidente, Hoskinson usou a brecha para destacar o que ele vê como uma ameaça crescente de cibersegurança vinda da inteligência artificial.
Ele argumentou que os métodos formais podem fornecer uma das defesas mais fortes contra ataques cada vez mais capazes conduzidos por IA. À medida que sistemas de IA ficam melhores em analisar código-fonte, identificar vulnerabilidades e automatizar ataques sofisticados, desenvolvedores de blockchain enfrentam uma janela cada vez mais estreita entre a descoberta de uma fraqueza de software e sua exploração.
A IA já começou a mudar o cenário de segurança das criptomoedas ao ajudar atacantes a identificar possíveis alvos, analisar códigos complexos e automatizar campanhas de phishing e de engenharia social. O hack do Coldcard reportado — que envolveu o roubo de US$ 130 milhões em Bitcoin — também intensificou as preocupações sobre como ferramentas avançadas de IA poderiam tornar vulnerabilidades difíceis mais fáceis de identificar e explorar.
Neste contexto, Hoskinson argumenta que apenas testes convencionais talvez não ofereçam mais proteção suficiente. Em vez disso, ele aponta para métodos formais, que usam especificações matemáticas e provas para estabelecer se um software se comporta de acordo com o design pretendido.
Ênfase da Cardano em Verificação Formal
O aviso de Hoskinson também se alinha com a ênfase de longa data da Cardano no desenvolvimento de blockchains com rigor matemático.
A filosofia de desenvolvimento da Cardano incorpora pesquisa acadêmica, revisão por pares e verificação formal como componentes importantes da sua abordagem de segurança. Seu protocolo de consenso Ouroboros, por exemplo, surgiu de pesquisa acadêmica formal, enquanto o ecossistema mais amplo tem enfatizado a comprovação de propriedades críticas de protocolos e software em vez de depender exclusivamente de testes experimentais.
Essa abordagem dá suporte ao argumento de Hoskinson porque a verificação formal busca demonstrar matematicamente que propriedades especificadas se mantêm. Como resultado, os desenvolvedores podem potencialmente identificar classes inteiras de vulnerabilidades antes de colocar o código em produção.
A Cardano também depende de tecnologias de programação funcional como Haskell e Plutus. Seus sistemas de tipos robustos e fundamentos matemáticos podem ajudar os desenvolvedores a detectar certas categorias de erros de programação mais cedo no processo de desenvolvimento.
Vale notar que a abordagem da Cardano tem como objetivo prevenir vulnerabilidades antes que elas cheguem à produção, em vez de depender apenas de testes e práticas convencionais de segurança.