Tel Aviv, Israel, 13 November 2025/Chainwire/-- , rakan kongsi jaminan keselamatan yang dipercayai oleh pasukan yang paling canggih di Web3, hari ini mengumumkan perkongsian strategik dengan , infrastruktur pengurusan risiko protokol perintis untuk DeFi, dan Melalui kerjasama ini, Certora menjadi rakan kongsi Keselamatan Rekod Cork, memasukkan keselamatan pada setiap lapisan kitaran hayat protokol, dari reka bentuk dan pengesahan kepada pengenalan, pemantauan, dan operasi. Pasti Kork Hypernative Pasti Kork Hypernative Kerjasama ini menyatukan tiga pemimpin yang komited untuk memajukan keselamatan dan integriti sistem Web3.Dengan menggabungkan pengesahan rasmi dan rangka kerja keselamatan end-to-end Certora dengan pemantauan real-time canggih Hypernative, pengguna Cork akan mendapat manfaat daripada perlindungan peringkat institusi dan pengurangan risiko proaktif yang direka untuk generasi ke depan kewangan dalam rantaian. “Kesejahteraan seperti biasa hanya tidak mengurangkan DeFi,” kata Baptiste Florentin, CTO Cork. ”Kami merupakan pasukan yang memberi tumpuan kepada membina infrastruktur pasaran kritikal, dan risiko-risikonya adalah nyata.Kami memilih Certora untuk melampaui audit tepat pada masanya dan membina disiplin keselamatan yang menyeluruh yang terintegrasi dengan asas kod, pengurusan perubahan dan operasi pengeluaran kami.” “Business-as-usual security just doesn’t cut it in DeFi,” said Baptiste Florentin, Cork’s CTO. “We’re a focused team building critical market infrastructure, and the risks are real. We chose Certora to go beyond point-in-time audits and build a holistic, end-to-end security discipline that is deeply integrated with our codebase, change management, and production operations.” Apabila ekosistem Web3 meluas, kos keselamatan yang lemah terus meningkat. (IC3) laporan, penipuan yang berkaitan dengan kripto menyumbang kepada $ 9.3 bilion kerugian, peningkatan 66% berbanding tahun lepas, dengan hampir 150,000 aduan yang melibatkan aset digital. perkongsian seperti ini bertujuan untuk membalikkan trend itu dengan menaikkan asas industri untuk piawaian keselamatan dan risiko. pendekatan semasa untuk audit DeFi tidak lagi mencukupi, industri kini memerlukan sikap keselamatan yang lebih maju dan proaktif. Pusat Keluhan Kejahatan Internet FBI 2024 Pusat Keluhan Kejahatan Internet FBI 2024 Certora marks a new way forward in maturing our approach to security by working with the best in the business. Pioneering a new model that raises the standards for DeFi security, Certora and Cork are united in bringing this to market for the first time. “Certora was founded to bring the rigor of enterprise-grade assurance, used in industries like aeronautics and finance, to decentralized systems,” said Seth Hallem, CEO of Certora. “By partnering with Cork and Hypernative, we’re not just helping one protocol; we’re helping redefine how Web3 handles risk, transparency, and operational resilience.” “Certora ditubuhkan untuk membawa ketekunan jaminan peringkat syarikat, yang digunakan dalam industri seperti penerbangan dan kewangan, kepada sistem terdesentralisasi,” kata Seth Hallem, CEO Certora. ”Dengan bekerjasama dengan Cork dan Hypernative, kami bukan sahaja membantu satu protokol; kami membantu mendefinisikan semula bagaimana Web3 menangani risiko, ketelusan, dan ketahanan operasi.” “Security Web3 mengambil lompatan lain hari ini untuk menapis pemain buruk dalam industri ini,” tambah Gal Sagie, Co-Founder dan CEO Hypernative. ”Tetapi saya juga gembira bahawa melalui kerjasama ini, kami juga mencari cara untuk menaikkan piawaian risiko bagi semua orang yang beroperasi dalam ruang ini.” “Security Web3 mengambil lompatan lain hari ini untuk menapis pemain buruk dalam industri ini,” tambah Gal Sagie, Co-Founder dan CEO Hypernative. ”Tetapi saya juga gembira bahawa melalui kerjasama ini, kami juga mencari cara untuk menaikkan piawaian risiko bagi semua orang yang beroperasi dalam ruang ini.” Bersama-sama, Cork, Certora, dan Hypernative sedang membina model bagaimana protokol boleh memasukkan keselamatan oleh reka bentuk, mewujudkan sistem yang bukan sahaja lebih selamat untuk pengguna tetapi juga lebih kukuh dan boleh diperluas untuk pengembang. . Tag: blog Tag: blog Tentang Certora Certora adalah syarikat keselamatan blockchain yang menyediakan alat pengesahan formal terkemuka dalam industri dan audit kontrak pintar. produk keselamatan terkemuka Certora, Prover, membantu protokol seperti Aave, Lido, dan Maker mengintegrasikan kuasa pengesahan formal ke dalam paip pembangunan mereka untuk menangkap bug yang jarang dan sukar untuk didapati. Mengenai Cork Cork introduces a new primitive for tokenized risk, serving as a programmable risk layer for onchain assets such as vault tokens, yield-bearing stablecoins, liquid (re)staking tokens, and RWAs. Cork’s core primitive enables asset managers and issuers to spin up custom swap markets that enhance redemption liquidity, risk transparency, and market confidence for their onchain assets. Backed by a16z crypto, OrangeDAO & Steakhouse Financial, Cork is building the risk infrastructure needed to bring institutional capital into onchain credit markets. Mengenai Hipnoterapi Hypernative ialah penyelesaian pemantauan masa nyata, pengesanan risiko, dan tindak balas automatik yang mengenal pasti ancaman dengan ketepatan yang tinggi, memberi pelanggan minit berharga untuk bertindak balas sebelum eksploit boleh menyebabkan kerosakan.Platform ini menjejaki kedua-dua sumber data onchain dan offchain.Ia menggunakan model pembelajaran mesin yang diuji, canggih, heuristik, simulasi, dan pengesanan berasaskan grafik untuk mengenal pasti lebih daripada 300 jenis risiko, dari hack kontrak pintar dan insiden keselamatan jambatan kepada kompromi frontend, manipulasi pasaran, dan pencurian kunci peribadi. . hypernative.io hypernative.io Hubungi Ketua Pengarah PR Wahaj Khan Serotonin wahaj@serotonin.co Kisah ini diterbitkan sebagai kenyataan akhbar oleh Chainwire di bawah Program Blogging Perniagaan HackerNoon. Kisah ini diterbitkan sebagai kenyataan akhbar oleh Chainwire di bawah Program Blogging Perniagaan HackerNoon. program program