OpenMath faaliyete geçti, Shentu zinciri ve Certi, matematik alanında ilk DeSci platformunu oluşturmak için iş birliği yaptı.

CoinJie.net'in 13 Ekim tarihli haberine göre, Shentu Zinciri bugün matematik alanına odaklanan dünyanın ilk DeSci platformu OpenMath'ı resmen tanıttı. Bu platform, Shentu Zinciri ile dünyanın en büyük Web3 güvenlik şirketi ve biçimsel doğrulama alanında lider olan CertiK'in stratejik işbirliğiyle geliştirildi. OpenMath, 'doğrulanabilir matematik gerçekleri' merkezli bir DeSci ekosistemi oluşturmayı amaçlamaktadır; araştırmacılar ve doğrulayıcılar matematik problemleri önerebilir ve çözebilir, ayrıca Rocq tabanlı biçimsel doğrulama teknolojisi ile mantıksal doğrulama yaparak çıkarımın titiz ve doğru olmasını matematiksel hassasiyetle sağlarlar. Doğrulama sürecini başarıyla tamamlayan katılımcılar, araştırma sürecinin şeffaflığını sağlamak ve teşvik mekanizmalarının etkili bir şekilde bir araya gelmesini gerçekleştirmek için token ödülleri alacaklardır. CoinJie.net'in haberine göre, OpenMath Shentu Zinciri üzerinde konuşlandırılmıştır; bu zincir, Yale Üniversitesi'nden Prof. Zhong Shao ve Prof. Ronghui Gu'nun kişisel olarak kuluçkaya yatırdığı CertiK Zinciri'nin öncüsüdür. 2021 yılının Ağustos ayında, Shentu resmi olarak CertiK'ten ayrılarak bağımsız bir varlık olarak kendi kendine işletilmeye başlamıştır. OpenMath'ın lansmanı, her iki tarafın matematik sahnesinde blok zinciri ve biçimsel doğrulamanın uygulanmasına yönelik yeni bir işbirliği ilişkisi çerçevesinde ortak keşfidir.