Nakipagtulungan ang Certora sa Cork at Hypernative upang Magtakda ng Bagong Pamantayan para sa Seguridad ng Web3

Nobyembre 13, 2025 – Tel Aviv, Israel

Inanunsyo ngayon ng Certora, ang security assurance partner na pinagkakatiwalaan ng mga pinaka-advanced na team sa Web3, ang isang estratehikong pakikipagtulungan sa Cork, isang protocol na nangunguna sa risk-management infrastructure para sa DeFi, at Hypernative, isang lider sa real-time threat monitoring.

Sa pamamagitan ng kolaborasyong ito, magiging Security Partner of Record ng Cork ang Certora, na maglalagay ng seguridad sa bawat layer ng lifecycle ng protocol, mula sa disenyo at beripikasyon hanggang sa deployment, monitoring, at operasyon.

Pinagsasama ng partnership na ito ang tatlong lider na nakatuon sa pagpapalago ng seguridad at integridad ng mga Web3 system. Sa pagsasanib ng formal verification at end-to-end security framework ng Certora at advanced real-time monitoring ng Hypernative, makikinabang ang mga user ng Cork mula sa institutional-grade na mga pananggalang at proaktibong risk mitigation na idinisenyo para sa susunod na henerasyon ng onchain finance.

“Hindi sapat ang karaniwang seguridad sa DeFi,” sabi ni Baptiste Florentin, CTO ng Cork. “Kami ay isang nakatutok na team na bumubuo ng kritikal na market infrastructure, at totoo ang mga panganib. Pinili namin ang Certora hindi lang para sa point-in-time audits kundi para bumuo ng holistic, end-to-end security discipline na malalim na naka-integrate sa aming codebase, change management, at production operations.”

Habang lumalawak ang Web3 ecosystem, patuloy ding tumataas ang gastos ng mahinang seguridad. Ayon sa 2024 Internet Crime Complaint Center (IC3) report ng FBI, umabot sa $9.3 billion ang naitalang crypto-related fraud, tumaas ng 66% mula sa nakaraang taon, na may halos 150,000 reklamo na may kaugnayan sa digital assets. Layunin ng mga ganitong partnership na baligtarin ang trend na ito sa pamamagitan ng pagpapataas ng baseline ng industriya para sa seguridad at risk standards. Hindi na sapat ang kasalukuyang paraan ng DeFi audits, nangangailangan na ngayon ang industriya ng mas advanced at proaktibong security posture. 

Ang Certora ay nagmamarka ng bagong paraan sa pagpapalago ng ating approach sa seguridad sa pamamagitan ng pakikipagtulungan sa pinakamahusay sa industriya. Sa pagpapasimula ng bagong modelo na nagpapataas ng standards para sa DeFi security, nagkakaisa ang Certora at Cork na dalhin ito sa merkado sa unang pagkakataon.

“Itinatag ang Certora upang dalhin ang rigor ng enterprise-grade assurance, na ginagamit sa mga industriya tulad ng aeronautics at finance, sa mga decentralized system,” sabi ni Seth Hallem, CEO ng Certora. “Sa pakikipagtulungan sa Cork at Hypernative, hindi lang kami tumutulong sa isang protocol; tinutulungan naming muling tukuyin kung paano hinaharap ng Web3 ang risk, transparency, at operational resilience.”“Ang seguridad ng Web3 ay muling umuunlad ngayon upang salain ang masasamang aktor sa industriyang ito,” dagdag ni Gal Sagie, Co-Founder at CEO ng Hypernative. “Ngunit natutuwa rin ako na sa pamamagitan ng kolaborasyong ito, nakakahanap tayo ng mga paraan upang itaas ang risk standards para sa lahat ng gumagana sa espasyong ito.”

Sama-sama, ang Cork, Certora, at Hypernative ay bumubuo ng modelo kung paano maaaring isama ng mga protocol ang seguridad sa disenyo, lumilikha ng mga sistemang hindi lamang mas ligtas para sa mga user kundi mas matatag at scalable din para sa mga developer.

Tungkol sa Certora

Ang Certora ay isang blockchain security company na nagbibigay ng industry-leading formal verification tools at smart contract audits. Ang pangunahing security product ng Certora, ang Prover, ay tumutulong sa mga protocol tulad ng Aave, Lido, at Maker na isama ang kapangyarihan ng formal verification sa kanilang development pipeline upang mahuli kahit ang mga bihira at mahirap mahanap na bug.

Tungkol sa Cork

Ang Cork ay nagpapakilala ng bagong primitive para sa tokenized risk, na nagsisilbing programmable risk layer para sa mga onchain asset tulad ng vault tokens, yield-bearing stablecoins, liquid (re)staking tokens, at RWAs. Ang core primitive ng Cork ay nagbibigay-daan sa mga asset manager at issuer na lumikha ng custom swap markets na nagpapahusay sa redemption liquidity, risk transparency, at market confidence para sa kanilang mga onchain asset. Sinusuportahan ng a16z crypto, OrangeDAO & Steakhouse Financial, ang Cork ay bumubuo ng risk infrastructure na kinakailangan upang dalhin ang institutional capital sa onchain credit markets.

Tungkol sa Hypernative

Ang Hypernative ay isang real-time monitoring, risk detection, at automated response solution na nakakakilala ng mga banta nang may mataas na accuracy, na nagbibigay sa mga customer ng mahahalagang minuto upang makapagresponde bago magdulot ng pinsala ang mga exploit. Sinusubaybayan ng platform ang parehong onchain at offchain data sources. Gumagamit ito ng battle-tested, sopistikadong machine learning models, heuristics, simulations, at graph-based detections upang matukoy ang higit sa 300 uri ng panganib, mula sa smart contract hacks at bridge security incidents hanggang sa frontend compromises, market manipulations, at pagnanakaw ng private key.

Contact

Senior PR Manager
Wahaj Khan
Serotonin