Tel Aviv, Israel, 13 de novembro de 2025, Chainwire
A Certora , parceira de garantia de segurança em quem as equipes mais avançadas da Web3 confiam, anunciou hoje uma parceria estratégica com a Cork , um protocolo pioneiro em infraestrutura de gerenciamento de riscos para DeFi , e a Hypernative , líder em monitoramento de ameaças em tempo real. Por meio dessa colaboração, a Certora se torna a Parceira de Segurança Oficial da Cork, incorporando segurança em todas as camadas do ciclo de vida do protocolo, desde o design e verificação até a implantação, monitoramento e operações.
Essa parceria reúne três líderes comprometidos com o avanço da 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 o monitoramento avançado em tempo real da Hypernative, os usuários da Cork se beneficiarão de salvaguardas de nível institucional e mitigação proativa de riscos, projetadas para a próxima geração de finanças on-chain.
“A segurança tradicional simplesmente não é suficiente no DeFi”, disse Baptiste Florentin, CTO da Cork. “Somos uma equipe focada na construção de infraestrutura crítica de mercado, e os riscos são reais. Escolhemos a Certora para ir além de auditorias pontuais e construir uma disciplina de segurança holística e de ponta a ponta, profundamente integrada ao nosso código-fonte, gerenciamento de mudanças e operações de produção.”
À medida que o ecossistema Web3 se expande, o custo da segurança frágil continua a aumentar. De acordo com o de 2024 do Centro de Reclamações sobre Crimes na Internet (IC3) do FBI, as fraudes relacionadas a criptomoedas representaram perdas de US$ 9,3 bilhões, um aumento de 66% em relação ao ano anterior, com quase 150.000 reclamações envolvendo ativos digitais. Parcerias como esta visam reverter essa tendência, elevando o padrão mínimo do setor em termos de segurança e gestão de riscos. A abordagem atual para DeFi não é mais suficiente; o setor agora exige uma postura de segurança mais avançada e proativa.
Certora marca um novo caminho para aprimorar nossa abordagem à segurança, trabalhando com os melhores do setor. Pioneira em um novo modelo que eleva os padrões de segurança para DeFi , Certora e Cork se unem para trazer essa inovação ao mercado pela primeira vez.
“A Certora foi fundada para trazer o rigor da garantia de nível empresarial, usada em setores como aeronáutica e finanças, para sistemas descentralizados”, disse Seth Hallem, CEO da Certora. “Ao firmar parceria com a Cork e a Hypernative, não estamos apenas ajudando um protocolo; estamos ajudando adeficomo a Web3 lida com risco, transparência e resiliência operacional.”
“A segurança da Web3 está dando mais um salto hoje para filtrar os agentes mal-intencionados neste setor”, acrescentou Gal Sagie, cofundador e CEO da Hypernative. “Mas estou igualmente satisfeito por, através desta colaboração, também estarmos encontrando maneiras de elevar os padrões de risco para todos que operam neste espaço.”
Em conjunto, Cork, Certora e Hypernative estão a construir um modelo de como os protocolos podem incorporar a segurança desde a sua conceção, criando sistemas que não só são mais seguros para os utilizadores, como também mais robustos e escaláveis para os programadores. Para obter informações mais detalhadas sobre o que esta parceria inclui, visite este blogue .
Sobre a Certora
A Certora é uma empresa de segurança blockchain que fornece ferramentas de verificação formal e auditorias detracinteligentes líderes do setor. 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 seus processos de desenvolvimento para detectar até mesmo os bugs mais raros e difíceis de encontrar.
Sobre Cork
A Cork introduz um novo mecanismo para risco tokenizado, servindo como uma camada de risco programável para ativos on-chain, como tokens de cofre, stablecoins com rendimento, tokens de (re)staking líquidos e RWAs (ativos ponderados pelo risco). O mecanismo principal da Cork permite que gestores de ativos e emissores criem mercados de swap personalizados que aprimoram a liquidez de resgate, a transparência de risco e a confiança do mercado para seus ativos on-chain. Com o 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 monitoramento em tempo real, detecção de riscos e resposta automatizada que identifica dent com alta precisão, dando aos clientes preciosos minutos para reagir antes que as explorações causem danos. A plataforma trac fontes de dados on-chain e off-chain. Ela utiliza modelos sofisticados de aprendizado de máquina, heurísticas, simulações e detecções baseadas em grafos, testados em combate, para identificar dent de 300 tipos de risco, desde ataques a contratos inteligentes trac incidentes de segurança em pontes dent comprometimentos de front-end, 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
Serotonina
[email protegido]
Aviso Legal. Este é um comunicado de imprensa pago. Os leitores devem realizar sua própria pesquisa antes de tomar qualquer decisão relacionada à empresa promovida ou a qualquer uma de suas afiliadas ou serviços. O Cryptopolitan não se responsabiliza, direta ou indiretamente, por quaisquer danos ou perdas causados ou supostamente causados pelo uso ou pela confiança em qualquer conteúdo, produto ou serviço mencionado neste comunicado de imprensa.
