OpenMath上线：Shentu链与Certi携手打造首个数学领域DeSci平台

 10/13 21:44

哈世链闻消息，Shentu链宣布推出全球首个以数学为核心的DeSci平台OpenMath。该平台是Shentu链与Web3安全公司CertiK的合作成果，旨在通过“可验证的数学真理”进行学术研究的DeSci生态构建。参与者可以合作提出并解决数学问题，通过Rocq形式化验证技术进行逻辑验证，以确保推理的精确性。完成验证的参与者将获得代币奖励，以促进研究过程的透明和有效激励。OpenMath部署在Shentu链上，最初由耶鲁大学的教授创立，并于2021年开始独立运营。OpenMath的推出标志着Shentu与CertiK的新合作关系，以及在数学应用场景中对区块链和形式化验证的探索。