Шенту Чейн та CertiK об'єднують Блокчейн та математику у прориві DeSci

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

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

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

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

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

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

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