Shentu链 совместно с CertiK запустили первую в мире математическую платформу DeSci OpenMath

【链文】13 октября Shentu Chain объявила о запуске первой в мире DeSci платформы OpenMath, сосредоточенной на математической области. Эта платформа была разработана в стратегическом сотрудничестве Shentu Chain с крупнейшей в мире компанией по безопасности Web3 и лидером в области Формальная верификация CertiK.

OpenMath стремится создать экосистему DeSci, основанную на "проверяемых математических истинах", где исследователи и проверяющие могут совместно предлагать и решать математические задачи, а также проводить логическую верификацию с помощью технологии формальной верификации на основе Rocq, обеспечивая строгую и точную аргументацию с математической точностью. Участники, успешно завершившие верификацию, получат вознаграждение в виде токенов, что реализует эффективное сочетание открытости и прозрачности исследовательского процесса с механизмом стимулов.

Согласно сообщениям, OpenMath развернут на цепи Shentu, которая является предшественником цепи CertiK и была индивидуально инкубирована профессорами Шао Чжуном и Гу Ронгхуем из Йельского университета. В августе 2021 года Shentu официально отделилась от CertiK и начала самостоятельную деятельность как независимый субъект. Запуск OpenMath является совместным исследованием применения блокчейна и Формальной верификации в математических сценариях в рамках нового партнерства между обеими сторонами.