Shentu Zinciri ve CertiK, Blok Zinciri ve Matematiği DeSci'de Bir Atılımda Birleştiriyor

Shentu Chain ve CertiK bu hafta, resmi matematik, doğrulanabilir hesaplama ve blockchain'in buluştuğu yeni bir bölüm açarak, dünyanın ilk matematiksel DeSci platformu olarak tanıtılan OpenMath'ı duyurdu. Ortak bir duyuruyla açıklanan ve sosyal kanallarda genişletilen lansman, OpenMath'ı araştırmacıların ve "pro"ların matematiksel problemleri ortaya koyabileceği, işbirliği yapabileceği ve çözümleri kalıcı olarak on-chain olarak kaydedebileceği bir alan olarak konumlandırıyor.

OpenMath'in kalbinde formal doğrulama yer alıyor: platforma sunulan kanıtlar ve çözümler, doğruluğun mekanik olarak doğrulanabilmesi için kanıt asistanı teknolojisi kullanılarak kontrol ediliyor; bu, resmi olmayan akran incelemesine bırakılmıyor. Shentu'nun materyalleri, sistemin Coq ve Lean gibi iyi bilinen formal araçları blockchain'e özgü bir iş akışına entegre ettiğini ve teoremlerin ve makine ile kontrol edilen kanıtlarının defterde referans alınmasını, doğrulanmasını ve korunmasını sağladığını açıklıyor.

DeSci için Doğal Bir Ev

OpenMath, CertiK ve resmi doğrulama araştırma topluluğuna dayanan güvenlik odaklı bir Layer-1 olan Shentu Chain üzerinde dağıtılmıştır. Kendisi, 2021'de CertiK'ten inkübe olduktan sonra Shentu olarak yeniden markalaşan zincir, doğrulanabilir hesaplama ve on-chain güvenlik araçlarına açık bir odakla geliştirilmiştir ve bu da onu matematiksel gerçek etrafında inşa edilmiş bir DeSci deneyi için doğal bir ev haline getirmiştir.

Platformın mimarları, OpenMath'ın işbirliği ve fikri mülkiyet koruması düşünülerek tasarlandığını söylüyor: iki aşamalı bir başvuru süreci, kanıtlayıcıların çalışmalarını korurken, global topluluğun katılmasına, doğrulamasına ve doğrulanmış sonuçlar üzerinde inşa etmesine olanak tanır. Provenansı, inceleme ve doğrulama adımlarını on-chain kaydederek, OpenMath geleneksel kurumsal darboğazları ortadan kaldırmayı, katkıda bulunanlar için adil kredi sağlamayı ve titiz matematiksel bilginin keşfedilebilir ve yeniden kullanılabilir hale gelme hızını artırmayı hedefliyor.

OpenMath'ın lansmanı, Merkeziyetsiz Bilim veya DeSci'nin, araştırmanın nasıl finanse edildiğini, yayımlandığını ve doğrulandığını demokratikleştirme yaklaşımı olarak momentum kazanmasıyla gerçekleşiyor. Savunucular, merkeziyetsiz ağların erişimi genişletebileceğini, finansman mekanizmalarını çeşitlendirebileceğini ve doğrulama süreçlerini daha şeffaf hale getirebileceğini öne sürüyor; bu hedefler, OpenMath'ın doğrulanmış sonuçlara açık erişimi, on-chain izlenebilirlik ile birleştirerek açıkça yansıttığı amaçlardır.

Shentu Chain ve CertiK, bu yayınlamayı blockchain ve resmi doğrulamayı “gerçek dünya etkisi” için uygulama ortak misyonunun devamı olarak çerçevelerken, araştırmacıların giderek daha gelişmiş sorunlarla uğraşmalarını sağlamak ve OpenMath ekosisteminde teşvikleri genişletmek için daha fazla genişleme planlandığını belirtiyorlar. Şu an için, site ve platform aktif, matematikçileri, resmi yöntemler araştırmacılarını ve daha geniş DeSci topluluğunu matematiksel gerçeğin doğrulanabilir, referans alınabilir bir kamu malı haline geldiği yeni ortamı keşfetmeye davet ediyor.