Shentu Chain은 CertiK와 협력하여 수학에 중점을 둔 최초의 분산 과학(DeSci) 플랫폼인 OpenMath를 출시했습니다. 이 혁신적인 플랫폼은 사용자가 수학 문제를 제안하고 해결할 수 있도록 하며, Rocq 형식 검증 기술을 활용하여 논리적 검증을 보장합니다. 해결책을 성공적으로 검증한 참가자들은 토큰 보상을 받게 되어 투명성을 촉진하고 협업을 장려합니다. OpenMath는 예일 대학교 교수들이 처음 설립하고 2021년부터 독립적으로 운영 중인 Shentu Chain에 배포되었습니다. 이번 출시는 Shentu와 CertiK 간의 전략적 파트너십을 의미하며, 블록체인 기술과 형식 검증을 수학 응용 분야에 통합하는 것을 목표로 합니다.