|
웹3 보안업체 서틱(CertiK)이 셴투 체인(Shentu Chain)과 함께 세계 최초의 수학 분야 탈중앙화 과학(DeSci) 플랫폼 ‘오픈매쓰(OpenMath)’를 선보였다. 셴투 체인에 배포된 오픈매쓰는 검증 가능한 수학 정리 생태계 구축을 목표로 하며, Rocq 기반 정형 검증 기술로 논리적 정확성을 확보한다. 검증을 완료한 참가자에게는 토큰이 보상으로 주어진다. 셴투는 예일대 샤오 중(Zhong Shao)· 컬럼비아대학교 구룽후이(Ronghui Gu) 교수가 공동 인큐베이팅한 프로젝트로, 2021년 서틱에서 분리돼 독립 운영 중이다. 이번 출시는 블록체인과 정형 검증의 수학적 응용을 공동 탐구하기 위한 협력의 일환이다.
|
  많이 본 기사
Breaking news 많이 본 기사
|
