Certora Bermitra dengan Cork dan Hypernative untuk Menetapkan Standar Baru Keamanan Web3

13 November 2025 – Tel Aviv, Israel

Certora, mitra jaminan keamanan yang dipercaya oleh tim paling maju di Web3, hari ini mengumumkan kemitraan strategis dengan Cork, protokol yang memelopori infrastruktur manajemen risiko untuk DeFi, dan Hypernative, pemimpin dalam pemantauan ancaman secara real-time.

Melalui kolaborasi ini, Certora menjadi Security Partner of Record untuk Cork, menanamkan keamanan di setiap lapisan siklus hidup protokol, mulai dari desain dan verifikasi hingga penerapan, pemantauan, dan operasi.

Kemitraan ini mempertemukan tiga pemimpin yang berkomitmen untuk memajukan keamanan dan integritas sistem Web3. Dengan menggabungkan verifikasi formal dan kerangka keamanan menyeluruh dari Certora dengan pemantauan real-time canggih dari Hypernative, pengguna Cork akan mendapatkan perlindungan setara institusi dan mitigasi risiko proaktif yang dirancang untuk generasi berikutnya dari keuangan onchain.

“Keamanan standar saja tidak cukup di DeFi,” kata Baptiste Florentin, CTO Cork. “Kami adalah tim yang fokus membangun infrastruktur pasar yang krusial, dan risikonya nyata. Kami memilih Certora untuk melampaui audit sesaat dan membangun disiplin keamanan menyeluruh yang terintegrasi secara mendalam dengan basis kode, manajemen perubahan, dan operasi produksi kami.”

Seiring ekosistem Web3 berkembang, biaya dari keamanan yang lemah terus meningkat. Menurut laporan Internet Crime Complaint Center (IC3) FBI 2024, penipuan terkait kripto menyumbang kerugian sebesar $9,3 miliar, meningkat 66% dari tahun sebelumnya, dengan hampir 150.000 pengaduan yang melibatkan aset digital. Kemitraan seperti ini bertujuan membalikkan tren tersebut dengan meningkatkan standar dasar industri untuk keamanan dan risiko. Pendekatan audit DeFi saat ini sudah tidak cukup lagi, industri kini menuntut postur keamanan yang lebih maju dan proaktif. 

Certora menandai langkah baru dalam mematangkan pendekatan keamanan kami dengan bekerja sama dengan yang terbaik di bidangnya. Dengan memelopori model baru yang meningkatkan standar keamanan DeFi, Certora dan Cork bersatu untuk menghadirkan ini ke pasar untuk pertama kalinya.

“Certora didirikan untuk membawa ketelitian jaminan setara perusahaan, yang digunakan di industri seperti aeronautika dan keuangan, ke sistem terdesentralisasi,” kata Seth Hallem, CEO Certora. “Dengan bermitra dengan Cork dan Hypernative, kami tidak hanya membantu satu protokol; kami membantu mendefinisikan ulang bagaimana Web3 menangani risiko, transparansi, dan ketahanan operasional.”“Keamanan Web3 hari ini melangkah lebih jauh untuk menyaring pelaku buruk di industri ini,” tambah Gal Sagie, Co-Founder dan CEO Hypernative. “Namun saya juga senang bahwa melalui kolaborasi ini, kami juga menemukan cara untuk meningkatkan standar risiko bagi semua orang yang beroperasi di ruang ini.”

Bersama-sama, Cork, Certora, dan Hypernative membangun model tentang bagaimana protokol dapat menanamkan keamanan sejak desain, menciptakan sistem yang tidak hanya lebih aman bagi pengguna tetapi juga lebih tangguh dan skalabel bagi pengembang.

Tentang Certora

Certora adalah perusahaan keamanan blockchain yang menyediakan alat verifikasi formal terdepan di industri dan audit smart contract. Produk keamanan utama Certora, Prover, membantu protokol seperti Aave, Lido, dan Maker mengintegrasikan kekuatan verifikasi formal ke dalam pipeline pengembangan mereka untuk menangkap bug yang langka & sulit ditemukan.

Tentang Cork

Cork memperkenalkan primitif baru untuk risiko ter-tokenisasi, berfungsi sebagai lapisan risiko yang dapat diprogram untuk aset onchain seperti vault tokens, stablecoin penghasil hasil, liquid (re)staking tokens, dan RWA. Primitif inti Cork memungkinkan manajer aset dan penerbit untuk membuat pasar swap kustom yang meningkatkan likuiditas penebusan, transparansi risiko, dan kepercayaan pasar untuk aset onchain mereka. Didukung oleh a16z crypto, OrangeDAO & Steakhouse Financial, Cork membangun infrastruktur risiko yang dibutuhkan untuk membawa modal institusi ke pasar kredit onchain.

Tentang Hypernative

Hypernative adalah solusi pemantauan real-time, deteksi risiko, dan respons otomatis yang mengidentifikasi ancaman dengan akurasi tinggi, memberikan pelanggan waktu berharga untuk merespons sebelum eksploitasi dapat menyebabkan kerusakan. Platform ini melacak sumber data onchain dan offchain. Ia menggunakan model machine learning canggih yang telah teruji, heuristik, simulasi, dan deteksi berbasis grafik untuk mengidentifikasi lebih dari 300 jenis risiko, mulai dari peretasan smart contract dan insiden keamanan bridge hingga kompromi frontend, manipulasi pasar, dan pencurian private key.

Kontak

Senior PR Manager
Wahaj Khan
Serotonin