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 досліджувати нове середовище, в якому математична істина стає перевірюваним, посилальним суспільним благом.