返回

Shentu Chain携手CertiK推出OpenMath，去中心化数学平台

OpenMath利用基于Rocq的形式化验证确保解答精确性，并为通过验证的数学问题求解参与者发放代币奖励。

摘要

Shentu Chain与CertiK合作推出了OpenMath，这是全球首个专注于数学领域的去中心化科学平台。该系统允许研究人员与验证者协作解决数学问题，采用基于Rocq的形式化验证来保证逻辑准确性。已验证的解答可获得代币奖励，从而推动透明性并激励参与。OpenMath部署于Shentu Chain，该链前身为CertiK Chain，2021年独立运营，此次标志着双方在将区块链技术应用于数学形式化验证方面的再度合作。

术语与概念
  • 去中心化科学（DeSci）: 一种利用区块链技术开展开放、透明、合作的科学研究范式，避免集中化控制。
  • 基于Rocq的形式化验证: 使用Rocq框架对解答进行数学证明，以确保逻辑精确性的方法。
  • 代币奖励: 在区块链生态中因贡献已验证解答或执行关键行动而向参与者发放的数字资产激励。