Shentu Chain та CertiK запускають OpenMath: першу у світі платформу для верифікації математичних доказів на блокчейні

Shentu Chain та CertiK об`єднують блокчейн і математику в прориві DeSci

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

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

Природний дім для DeSci

OpenMath розгорнутується на Shentu Chain, орієнтованому на безпеку Level-1, що простежує свої корені до CertiK та дослідницької громади формальної верифікації. Сам ланцюг, який був перейменований на Shentu в 2021 році після інкубації в CertiK, був розроблений з явним акцентом на верифіковані обчислення та інструменти безпеки в блокчейні, що робить його природним домом для експерименту DeSci, побудованого навколо математичної істини.

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

Зростання DeSci

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

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