뉴욕 Shentu Chain이 세계 최초의 수학 중심 탈중앙화 과학(DeSci) 플랫폼 ‘OpenMath’를 공식 출시했다. 이 플랫폼은 Shentu Chain과 CertiK이 공동으로 개발했으며, 글로벌 최대 Web3 보안 기업이자 정형 검증(Formal Verification) 분야의 선도 기업인 CertiK이 핵심 기술 지원을 제공했다.

OpenMath는 Cosmos 기반으로 구축된 레이어 1 블록체인인 Shentu Chain 위에 배포돼 있다. Shentu Chain은 과거 CertiK 체인으로 알려졌으며, 예일대학교의 Zhong Shao 교수와 컬럼비아대학교의 Ronghui Gu 교수가 공동으로 인큐베이팅한 프로젝트다

OpenMath는 연구자와 증명자가 함께 수학 문제를 제시하고 해결할 수 있도록 설계됐으며, 모든 해답은 Rocq 기반의 정형 검증 기술을 통해 결과의 논리적 타당성을 수학적 정밀도로 검증함으로써 추론의 엄밀성과 정확성을 보장한다. 아울러 플랫폼은 증명자에게 토큰화된 보상을 제공해 연구 과정에서 투명성과 인센티브 정렬을 동시에 실현한다.

OpenMath는 Cosmos 기반으로 구축된 레이어 1 블록체인인 Shentu Chain 위에 배포돼 있다. Shentu Chain은 과거 CertiK 체인으로 알려졌으며, 예일대학교의 Zhong Shao 교수와 컬럼비아대학교의 Ronghui Gu 교수가 공동으로 인큐베이팅한 프로젝트다. 2021년 8월, Shentu Chain은 CertiK으로부터 공식적으로 분리돼 독립적인 주체로 운영되기 시작했으며, 이번 OpenMath 출시는 양측이 새로운 파트너십을 기반으로 블록체인과 정형 검증을 수학적 영역에 적용하기 위한 공동 연구를 본격화한 의미 있는 행보로 평가된다.

주목할 점은 OpenMath의 출시가 DeSci 분야가 빠르게 성장하는 시점에 이루어졌다는 것이다. DeSci는 과학 지식의 생산, 자금 조달, 그리고 배포 방식을 새롭게 정의하는 것을 목표로 하며, 기존의 중앙화된 기관 중심의 폐쇄적 연구 구조에서 벗어나 Web3 기술을 기반으로 한 개방형 협업, 투명한 자금 조달, 그리고 기여자 직접 보상 구조를 가능하게 한다.

Binance Academy는 DeSci의 핵심을 “탈중앙화 네트워크를 통해 과학의 민주화를 실현하고, 연구의 투명성·인센티브·접근성을 향상시키는 것”이라고 정의했다. OpenMath는 이러한 철학을 바탕으로 오픈 액세스 출판, P2P 자금 조달 모델, 연구 결과의 공개 검증 등 DeSci의 핵심 원칙을 충실히 구현하고 있다.

OpenMath는 모든 연구 과정을 블록체인 상에 투명하고 변경 불가능한 형태로 기록함으로써 제도적 장벽을 제거하고 연구 결과의 추적 가능성을 보장한다. 또한 ‘2단계 제출 메커니즘(Two-phase Submission Mechanism)’을 도입해 증명자의 지식 재산권(IP)을 보호하는 동시에 전 세계 연구자들이 자유롭게 참여할 수 있는 개방형 연구 환경을 조성하고 있다.

OpenMath는 자사의 생태계가 ‘커뮤니티 주도, 검증 가능, 참조 가능, 추적 가능’ 이라는 네 가지 핵심 원칙을 기반으로 설계됐다고 밝혔다. 이러한 구조는 글로벌 수학 연구 협업을 활성화하고, 학문적 발견의 속도를 가속화하는 데 기여할 것으로 기대된다. 앞으로 OpenMath는 첨단 수학 난제 해결과 응용 분야 확장에 집중하며, 보다 공정하고 효율적인 연구 생태계 구축을 목표로 발전을 이어갈 예정이다.

CertiK 소개

CertiK은 블록체인 보안 분야의 선구자로서, 현재 최첨단 정형 검증 기술, AI 감사 기술, 보안 전문가 수동 감사를 활용해 블록체인 프로토콜과 스마트 컨트랙트를 스캔 및 모니터링해 그 안전성을 보장한다. 예일대와 컬럼비아대 교수 두 명이 2018년에 설립한 CertiK은 학계 최첨단의 혁신 기술을 산업에 적용함으로써 기업이 중요한 소프트웨어 및 애플리케이션을 충분히 안전하고 올바른 환경에서 구축할 수 있도록 해 Web3 세계를 보호하고 있다. 블록체인 보안 분야에서 가장 빠르게 성장하고 가장 신뢰받는 기업 중 하나인 CertiK은 진정한 업계 리더로 거듭났다. 현재까지 CertiK은 4100개 이상의 기업과 협력해 7만 개 이상의 블록체인 코드 취약점을 탐지했으며, 3700억달러 이상의 자산을 보호했다. 고객으로는 Aptos, Ripple, Sandbox, Polygon, BNB Chain 및 TON과 같은 주요 프로젝트 등이 있다. 또한 CertiK은 Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital 등 VC들에게 투자를 받았다.

웹사이트: https://www.certik.com/