Shentu Chain dan CertiK Menyatukan Blockchain dan Matematika dalam Terobosan DeSci

Shentu Chain dan CertiK minggu ini meluncurkan OpenMath, yang disebut sebagai platform DeSci matematis pertama di dunia, membuka babak baru di mana matematika formal, komputasi terverifikasi, dan blockchain bertemu. Peluncuran ini, yang diumumkan dalam siaran bersama dan diperkuat di saluran sosial, memposisikan OpenMath sebagai ruang di mana peneliti dan “prover” dapat mengajukan, berkolaborasi, dan memverifikasi masalah matematis dengan solusi yang dicatat secara immutable di on-chain.

Di jantung OpenMath adalah verifikasi formal: bukti dan solusi yang diajukan ke platform diperiksa menggunakan teknologi asisten bukti sehingga kebenaran dapat diverifikasi secara mekanis daripada dibiarkan untuk ditinjau secara informal oleh rekan sejawat. Materi Shentu menggambarkan sistem ini sebagai mengintegrasikan alat formal yang dikenal seperti Coq dan Lean ke dalam alur kerja yang berbasis blockchain, memungkinkan teorema dan bukti yang diperiksa mesin mereka dirujuk, divalidasi, dan diawetkan di buku besar.

Rumah Alami untuk DeSci

OpenMath dikerahkan di Shentu Chain, sebuah Layer-1 yang berfokus pada keamanan yang berasal dari CertiK dan komunitas penelitian verifikasi formal. Rantai itu sendiri, yang diberi merek ulang sebagai Shentu pada tahun 2021 setelah diinkubasi dari CertiK, dikembangkan dengan fokus eksplisit pada komputasi yang dapat diverifikasi dan alat keamanan on-chain, menjadikannya rumah yang alami untuk eksperimen DeSci yang dibangun di sekitar kebenaran matematis.

Arsitek platform mengatakan OpenMath dirancang dengan kolaborasi dan perlindungan hak kekayaan intelektual dalam pikiran: proses pengajuan dua tahap melindungi pekerjaan provers sambil tetap memungkinkan komunitas global untuk berpartisipasi, memvalidasi, dan membangun hasil yang telah diverifikasi. Dengan merekam asal usul, langkah peninjauan, dan verifikasi on-chain, OpenMath bertujuan untuk menghapus hambatan institusional tradisional, memastikan kredit yang adil untuk kontributor, dan mempercepat laju di mana pengetahuan matematis yang ketat menjadi dapat ditemukan dan dapat digunakan kembali.

Peluncuran OpenMath datang pada saat Ilmu Terdesentralisasi, atau DeSci, mendapatkan momentum sebagai pendekatan untuk mendemokratisasi cara penelitian dibiayai, diterbitkan, dan divalidasi. Para pendukung berpendapat bahwa jaringan terdesentralisasi dapat memperluas akses, mendiversifikasi mekanisme pendanaan, dan membuat proses validasi lebih transparan, tujuan yang secara eksplisit dicerminkan oleh OpenMath dengan menggabungkan akses terbuka ke hasil yang terverifikasi dengan jejak on-chain.

Shentu Chain dan CertiK menganggap rilis ini sebagai kelanjutan dari misi bersama untuk menerapkan blockchain dan verifikasi formal untuk “dampak dunia nyata,” dan mereka mengatakan perluasan lebih lanjut direncanakan untuk memungkinkan para peneliti menangani masalah yang semakin maju dan untuk memperluas insentif dalam ekosistem OpenMath. Untuk saat ini, situs dan platform sudah aktif, mengundang matematikawan, peneliti metode formal, dan komunitas DeSci yang lebih luas untuk menjelajahi lingkungan baru di mana kebenaran matematis menjadi barang publik yang dapat diverifikasi dan dirujuk.