OpenMath запущен, Shentu цепь и Certi совместно создают первую платформу DeSci в области математики

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