Certora faz parceria com Cork e Hypernative para estabelecer um novo padrão de segurança Web3

13 de novembro de 2025 – Tel Aviv, Israel

A Certora, parceira de confiança em garantia de segurança das equipas mais avançadas do Web3, anunciou hoje uma parceria estratégica com a Cork, um protocolo pioneiro em infraestrutura de gestão de risco para DeFi, e a 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 Oficial da Cork, integrando segurança em todas as camadas do ciclo de vida do protocolo, desde o design e verificação até à implementação, 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 a estrutura de segurança de ponta a ponta 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, concebidas para a próxima geração de finanças onchain.

“A segurança convencional já não é suficiente em DeFi”, disse Baptiste Florentin, CTO da Cork. “Somos uma equipa focada a construir infraestrutura crítica de mercado, 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 com a nossa base de código, gestão de alterações e operações de produção.”

À medida que o ecossistema Web3 cresce, o custo de uma segurança fraca continua a aumentar. De acordo com o relatório de 2024 do Internet Crime Complaint Center (IC3) do FBI, fraudes relacionadas com cripto representaram perdas de 9.3 bilhões de dólares, um aumento de 66% em relação ao ano anterior, com quase 150.000 queixas envolvendo ativos digitais. Parcerias como esta visam inverter essa tendência, elevando o padrão de segurança e gestão de risco da indústria. A abordagem atual de auditorias DeFi já não é suficiente; a indústria exige agora uma postura de segurança mais avançada e proativa. 

A Certora marca um novo caminho para amadurecer a nossa abordagem à segurança, trabalhando com os melhores do setor. Pioneirando um novo modelo que eleva os padrões de segurança em DeFi, Certora e Cork unem-se para trazer isto 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 finanças, para sistemas descentralizados,” disse Seth Hallem, CEO da Certora. “Ao colaborar com a Cork e a Hypernative, não estamos apenas a ajudar um protocolo; estamos a ajudar a redefinir como o Web3 lida com risco, transparência e resiliência operacional.”“A segurança Web3 está a dar mais um salto hoje para filtrar os maus atores desta indústria,” acrescentou Gal Sagie, Co-Fundador e CEO da Hypernative. “Mas fico igualmente satisfeito que, através desta colaboração, também estamos a encontrar formas de elevar os padrões de risco para todos os que operam neste espaço.”

Juntos, Cork, Certora e Hypernative estão a construir um modelo de como os protocolos podem incorporar segurança desde o design, criando sistemas que não só são mais seguros para os utilizadores, mas também mais robustos e escaláveis para os desenvolvedores.

Sobre a Certora

A Certora é uma empresa de segurança blockchain que fornece ferramentas de verificação formal líderes de mercado e auditorias de smart contracts. O principal produto de segurança da Certora, o Prover, está a ajudar protocolos como Aave, Lido e Maker a integrar o poder da verificação formal nos seus pipelines de desenvolvimento para detetar até mesmo bugs raros e difíceis de encontrar.

Sobre a Cork

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

Sobre a Hypernative

A Hypernative é uma solução de monitorização em tempo real, deteção de risco e resposta automatizada que identifica ameaças com elevada precisão, dando aos clientes minutos preciosos para responder antes que os exploits possam causar danos. A plataforma acompanha fontes de dados tanto onchain como offchain. Utiliza 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 smart contracts e incidentes de segurança em bridges até compromissos de frontend, manipulações de mercado e roubo de chaves privadas.

Contacto

Senior PR Manager
Wahaj Khan
Serotonin