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

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

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

Естественный дом для DeSci

OpenMath развернут в блокчейне Shentu, ориентированном на безопасность Layer-1, который восходит к CertiK и сообществу исследований формальной верификации. Сам блокчейн, переименованный в Shentu в 2021 году после инкубации в CertiK, был разработан с явным акцентом на верифицируемые вычисления и инструменты безопасности в блокчейне, что делает его естественным домом для эксперимента DeSci, построенного вокруг математической истины.

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

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

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