Shentu Chain, CertiK ile iş birliği içinde, matematiğe odaklanan ilk merkeziyetsiz bilim (DeSci) platformu olan OpenMath'i başlattı. Bu yenilikçi platform, kullanıcıların matematiksel problemler önermesine ve çözmesine olanak tanıyor ve mantıksal doğrulamayı sağlamak için Rocq formal doğrulama teknolojisinden yararlanıyor. Çözümleri başarıyla doğrulayan katılımcılar, şeffaflığı teşvik eden ve iş birliğini özendiren token ödülleri kazanacaklar. OpenMath, başlangıçta Yale Üniversitesi profesörleri tarafından kurulan ve 2021'den beri bağımsız olarak faaliyet gösteren Shentu Chain üzerinde konuşlandırıldı. Bu lansman, Shentu ile CertiK arasında blok zinciri teknolojisi ve formal doğrulamanın matematiksel uygulamalara entegrasyonunu amaçlayan stratejik bir ortaklığı simgeliyor.