Shentu Chain и CertiK объединяют блокчейн и математику в прорыве DeSci

Shentu Chain и CertiK на этой неделе представили OpenMath, который позиционируется как первая в мире математическая платформа DeSci, объединяющая формальную математику, проверяемое вычисление и блокчейн.

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

Материалы Shentu описывают систему как такую, что интегрирует известные формальные инструменты, такие как Coq и Lean, в блокчейн-ориентированный рабочий процесс, позволяющий теоремам и их машина-проверенным доказательствам быть зарегистрированными, подтвержденными и сохраненными в реестре. OpenMath работает на Shentu Chain, безопасном Layer-1, который имеет корни в CertiK и исследовательской сообществе формальной верификации.

Этот блокчейн, переименованный в Shentu в 2021 году, был разработан с четким акцентом на проверяемом вычислении и инструментах безопасности на базе блокчейн, что делает его естественной средой для эксперимента DeSci, основанного на математической истине. Архитекторы платформы отмечают, что OpenMath было спроектировано с учетом сотрудничества и защиты интеллектуальной собственности: двухфазный процесс подачи защищает работу доказчиков, одновременно позволяя глобальному сообществу участвовать, проверять и строить на основе подтвержденных результатов.

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

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

В настоящее время сайт и платформа доступны, приглашая математиков, исследователей формальных методов и более широкое сообщество DeSci исследовать новое окружение, в котором математическая истина становится проверяемым, ссылочным общественным благом.