Shentu Chain bekerja sama dengan CertiK meluncurkan platform DeSci matematika pertama di dunia OpenMath

【链文】10 Oktober, Shentu Chain hari ini mengumumkan peluncuran resmi platform DeSci pertama di dunia yang fokus pada bidang matematika, OpenMath. Platform ini dikembangkan melalui kerjasama strategis antara Shentu Chain dan CertiK, perusahaan keamanan Web3 terbesar di dunia serta pemimpin di bidang Verifikasi Formal.

OpenMath berkomitmen untuk membangun ekosistem DeSci yang berfokus pada "kebenaran matematis yang dapat diverifikasi", di mana peneliti dan verifier dapat berkolaborasi untuk mengajukan dan menyelesaikan masalah matematis, serta melakukan verifikasi logis menggunakan teknologi verifikasi formal berbasis Rocq, untuk memastikan ketepatan dan keakuratan penalaran dengan tingkat presisi matematis. Peserta yang berhasil menyelesaikan verifikasi akan mendapatkan imbalan token, mewujudkan transparansi publik dalam proses penelitian dan penggabungan mekanisme insentif yang efektif.

Diketahui bahwa OpenMath dikerahkan di rantai Shentu, yang sebelumnya merupakan rantai CertiK, yang diinkubasi secara pribadi oleh Profesor Zhao Zhong dan Profesor Gu Ronghui dari Universitas Yale. Pada bulan Agustus 2021, Shentu secara resmi memisahkan diri dari CertiK dan beroperasi secara mandiri sebagai entitas independen. Peluncuran OpenMath kali ini adalah eksplorasi bersama dari kedua belah pihak berdasarkan hubungan kemitraan baru untuk penerapan blockchain dan Verifikasi Formal dalam skenario matematika.