PANews는 10월 13일, Shentu Chain이 세계 최초의 수학 중심 DeSci 플랫폼인 OpenMath의 공식 출시를 발표했다고 보도했습니다. 이 플랫폼은 Shentu Chain과 세계 최대 웹 3.0 보안 기업이자 형식 검증 분야의 선두주자인 CertiK의 전략적 파트너십을 통해 개발되었습니다.

OpenMath는 검증 가능한 수학적 진실을 중심으로 하는 DeSci 생태계 구축에 전념합니다. 연구자와 검증자는 협력하여 수학 문제를 제안하고 해결한 후, Rocq 기반 형식 검증 기술을 사용하여 논리를 검증함으로써 수학적 정밀도를 갖춘 엄격하고 정확한 추론을 보장합니다. 검증을 성공적으로 완료한 참여자는 토큰 보상을 받게 되며, 이는 연구 과정의 투명성과 효과적인 인센티브 메커니즘을 효과적으로 통합합니다.

OpenMath는 예일대학교 중샤오(Zhong Shao) 교수와 롱후이 구(Ronghui Gu) 교수가 인큐베이팅한 셴투 체인(Shentu Chain, 이전 CertiK 체인)에 구축되었습니다. 2021년 8월, 셴투는 CertiK에서 공식적으로 분리되어 독립적으로 운영되고 있습니다. OpenMath의 출시는 양사 간의 새로운 파트너십을 기반으로 수학적 시나리오에서 블록체인과 형식 검증을 적용하는 공동 연구의 일환입니다.