Shentu ağı, CertiK ile birlikte dünyanın ilk matematik DeSci platformu OpenMath'ı piyasaya sürdü.

【链文】13 Ekim'de yapılan açıklamaya göre, Shentu ağı bugün matematik alanına odaklanan dünyanın ilk DeSci platformu OpenMath'ı resmi olarak tanıttı. Bu platform, Shentu ağı ile dünyanın en büyük Web3 güvenlik şirketi ve biçimsel doğrulama alanındaki lider CertiK'in stratejik işbirliği ile geliştirildi.

OpenMath, "doğrulanabilir matematik gerçekleri" merkezli DeSci ekosistemini inşa etmeye kendini adamıştır. Araştırmacılar ve doğrulayıcılar, matematik problemlerini işbirliği içinde ortaya koyup çözebilir ve Rocq tabanlı biçimsel doğrulama teknolojisi ile mantıksal doğrulama yaparak, çıkarımların titizlikle ve doğru bir şekilde yapılmasını sağlamak için matematik seviyesinde hassasiyetle çalışabilirler. Doğrulama sürecini başarıyla tamamlayan katılımcılar, token ödülleri alacak ve araştırma sürecinin açık ve şeffaf olmasını ile teşvik mekanizmasının etkin bir şekilde birleşmesini sağlayacaktır.

Edinilen bilgilere göre, OpenMath Shentu zincirine konuşlandırılmıştır. Bu zincir, Yale Üniversitesi'nden Profesör Shao Zhong ve Profesör Gu Ronghui tarafından kişisel olarak inkübe edilen CertiK zincirinin öncüsüdür. 2021 Ağustos'unda Shentu, CertiK'ten resmi olarak ayrılarak bağımsız bir varlık olarak kendi kendine işletilmeye başlamıştır. OpenMath'ın lansmanı, her iki tarafın matematiksel senaryolarda blok zinciri ve Biçimsel Doğrulama uygulamaları üzerine yeni bir ortaklık ilişkisi temelinde ortak keşfidir.