Certora Parceria com Cork e Hypernative para Estabelecer um Novo Padrão de Segurança na Web3

Tel Aviv, Israel, Novembro 13, 2025, Chainwire

Certora, o parceiro de garantia de segurança confiável pelas equipas mais avançadas na Web3, anunciou hoje uma parceria estratégica com Cork, um protocolo pioneiro em infraestrutura de gestão de riscos para DeFi, e Hypernative, líder em monitorização de ameaças em tempo real. Através desta colaboração, a Certora torna-se a Parceira de Segurança de Referência da Cork, incorporando a segurança em todas as camadas do ciclo de vida do protocolo, desde o design e verificação até ao deployment, monitorização e operações.

Esta parceria reúne três líderes comprometidos em avançar a segurança e integridade dos sistemas Web3. Ao combinar a verificação formal e o quadro de segurança end-to-end da Certora com a monitorização avançada em tempo real da Hypernative, os utilizadores da Cork beneficiarão de salvaguardas de nível institucional e mitigação proativa de riscos projetadas para a próxima geração de finanças onchain.

“A segurança no modelo ‘business-as-usual’ simplesmente não é suficiente em DeFi”, disse Baptiste Florentin, CTO da Cork. “Somos uma equipe focada na construção de infraestrutura de mercado crítica, e os riscos são reais. Escolhemos a Certora para ir além das auditorias pontuais e construir uma disciplina de segurança holística e de ponta a ponta, profundamente integrada ao nosso código, gestão de mudanças e operações de produção.”

À medida que o ecossistema Web3 escala, o custo da segurança fraca continua a aumentar. De acordo com o relatório do Centro de Reclamações de Crimes na Internet do FBI de 2024 (IC3), a fraude relacionada com criptomoedas representou perdas de $9,3 mil milhões, um aumento de 66% em relação ao ano anterior, com quase 150.000 queixas envolvendo ativos digitais. Parcerias como esta visam reverter essa tendência, elevando a linha de base da indústria para padrões de segurança e risco. A abordagem atual às auditorias DeFi já não é suficiente; a indústria agora exige uma postura de segurança mais avançada e proativa.

A Certora marca um novo caminho para amadurecer nossa abordagem de segurança, trabalhando com os melhores do setor. Pioneirando um novo modelo que eleva os padrões de segurança em DeFi, a Certora e a Cork estão unidas para trazer isso ao mercado pela primeira vez.

“A Certora foi fundada para trazer o rigor da garantia de nível empresarial, usada em indústrias como a aeronáutica e a financeira, para sistemas descentralizados”, disse Seth Hallem, CEO da Certora. “Ao fazer parceria com a Cork e a Hypernative, não estamos apenas ajudando um protocolo; estamos ajudando a redefinir como a Web3 lida com risco, transparência e resiliência operacional.”

“A segurança na Web3 está dando outro salto hoje para filtrar os agentes mal-intencionados desta indústria”, acrescentou Gal Sagie, Co-Fundador e CEO da Hypernative. “Mas também estou igualmente satisfeito por, através desta colaboração, estarmos encontrando maneiras de elevar os padrões de risco para todos que operam neste espaço.”

Juntos, Cork, Certora e Hypernative estão a construir um modelo de como os protocolos podem incorporar a segurança por design, criando sistemas que não são apenas mais seguros para os utilizadores, mas também mais robustos e escaláveis para os desenvolvedores. Para mais informações detalhadas sobre o que esta parceria inclui, por favor visite este blog.

Sobre a Certora

A Certora é uma empresa de segurança blockchain que fornece ferramentas de verificação formal líderes na indústria e auditorias de contratos inteligentes. O principal produto de segurança da Certora, o Prover, está ajudando protocolos como Aave, Lido e Maker a integrar o poder da verificação formal em seu pipeline de desenvolvimento para detectar até os bugs mais raros e difíceis de encontrar.

Sobre a Cork

A Cork introduz um novo primitivo para risco tokenizado, atuando como uma camada de risco programável para ativos on-chain, como tokens de vault, stablecoins com rendimento, tokens de (re)staking líquido e RWAs. O primitivo central da Cork permite que gestores de ativos e emissores criem mercados de swap personalizados que aprimoram a liquidez de resgate, a transparência de riscos e a confiança do mercado para seus ativos on-chain. Com apoio da a16z crypto, OrangeDAO e Steakhouse Financial, a Cork está construindo a infraestrutura de risco necessária para trazer capital institucional para os mercados de crédito on-chain.

Sobre a Hypernative

A Hypernative é uma solução de monitorização em tempo real, deteção de riscos e resposta automatizada que identifica ameaças com alta precisão, dando aos clientes preciosos minutos para responder antes que as explorações possam causar danos. A plataforma rastreia fontes de dados onchain e offchain. Usa modelos de machine learning sofisticados e testados em batalha, heurísticas, simulações e deteções baseadas em grafos para identificar mais de 300 tipos de risco, desde hacks de contratos inteligentes e incidentes de segurança de bridges a compromissos de frontend, manipulações de mercado e roubo de chaves privadas. Para mais informações, visite hypernative.io.

Contato

Gerente Sênior de Relações Públicas
Wahaj Khan
Serotonin
[email protected]

Aviso Legal. Este é um comunicado de imprensa pago. Os leitores devem fazer sua própria diligência antes de tomar qualquer ação relacionada à empresa promovida ou a qualquer uma de suas afiliadas ou serviços. Cryptopolitan.com não é responsável, direta ou indiretamente, por qualquer dano ou perda causada ou alegadamente causada por ou em conexão com o uso ou dependência de qualquer conteúdo, bens ou serviços mencionados no comunicado de imprensa.