OpenMath diluncurkan, Shentu chain dan Certi bekerja sama untuk menciptakan platform DeSci pertama di bidang matematika

Berita dari CoinWorld pada 13 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 matematika yang dapat diverifikasi", di mana peneliti dan validator dapat berkolaborasi untuk mengajukan dan menyelesaikan masalah matematika, serta melakukan verifikasi logika menggunakan teknologi verifikasi formal berbasis Rocq, untuk memastikan ketelitian dan akurasi penalaran dengan tingkat presisi matematika. Peserta yang berhasil menyelesaikan verifikasi akan mendapatkan hadiah koin, mewujudkan kombinasi transparansi proses penelitian dan mekanisme insentif yang efektif. Berita dari CoinWorld, OpenMath dikerahkan di Shentu Chain, yang sebelumnya dikenal sebagai CertiK Chain, diinkubasi secara pribadi oleh Profesor Zhong Shao dari Universitas Yale dan Profesor Ronghui Gu. Pada Agustus 2021, Shentu secara resmi memisahkan diri dari CertiK, beroperasi secara mandiri sebagai entitas independen. Peluncuran OpenMath kali ini merupakan eksplorasi bersama kedua belah pihak dalam aplikasi blockchain dan verifikasi formal di dalam skenario matematika berdasarkan kemitraan baru.