Shentu Chain und CertiK vereinen Blockchain und Mathematik in einem DeSci-Durchbruch

Shentu Chain und CertiK haben diese Woche OpenMath vorgestellt, das als die weltweit erste mathematische DeSci-Plattform gilt und ein neues Kapitel aufschlägt, in dem formale Mathematik, verifiable Computing und Blockchain aufeinandertreffen. Der Start, der in einer gemeinsamen Mitteilung angekündigt und über soziale Kanäle verbreitet wurde, positioniert OpenMath als einen Raum, in dem Forscher und „provers“ mathematische Probleme aufwerfen, zusammenarbeiten und Lösungen verifizieren können, die unveränderlich on-chain aufgezeichnet werden.

Im Zentrum von OpenMath steht die formale Verifikation: Beweise und Lösungen, die der Plattform eingereicht werden, werden mithilfe von Technologien zur Unterstützung von Beweisen überprüft, sodass die Korrektheit mechanisch verifiziert werden kann, anstatt auf informelle Peer-Reviews angewiesen zu sein. Shentus Materialien beschreiben das System als Integration bekannter formaler Werkzeuge wie Coq und Lean in einen blockchain-nativen Workflow, der es ermöglicht, Theoreme und deren maschinell geprüfte Beweise im Hauptbuch zu referenzieren, zu validieren und zu bewahren.

Ein natürlicher Ort für DeSci

OpenMath ist auf der Shentu Chain bereitgestellt, einer sicherheitsfokussierten Layer-1, die ihre Wurzeln in CertiK und der formalen Verifizierungsforschergemeinschaft hat. Die Chain selbst, die 2021 nach der Inkubation aus CertiK in Shentu umbenannt wurde, wurde mit einem expliziten Fokus auf verifizierbares Rechnen und on-chain Sicherheitswerkzeuge entwickelt, was sie zu einem natürlichen Zuhause für ein DeSci-Experiment macht, das sich um mathematische Wahrheit dreht.

Die Architekten der Plattform sagen, dass OpenMath mit dem Ziel der Zusammenarbeit und des Schutzes geistigen Eigentums entwickelt wurde: Ein zweiphasiger Einreichungsprozess schützt die Arbeiten der Beweiser, während die globale Gemeinschaft weiterhin teilnehmen, validieren und auf verifizierten Ergebnissen aufbauen kann. Durch die Aufzeichnung der Herkunft, der Überprüfungs- und Verifizierungsschritte on-chain zielt OpenMath darauf ab, traditionelle institutionelle Engpässe zu beseitigen, fairen Kredit für die Beitragsleistenden zu gewährleisten und das Tempo zu erhöhen, mit dem rigorose mathematische Kenntnisse entdeckbar und wiederverwendbar werden.

Der Start von OpenMath erfolgt zu einem Zeitpunkt, an dem die Dezentrale Wissenschaft, oder DeSci, an Schwung gewinnt als Ansatz zur Demokratisierung der Finanzierung, Veröffentlichung und Validierung von Forschung. Befürworter argumentieren, dass dezentrale Netzwerke den Zugang erweitern, die Finanzierungsmechanismen diversifizieren und die Validierungsprozesse transparenter gestalten können, Ziele, die OpenMath ausdrücklich widerspiegelt, indem es den offenen Zugang zu verifizierten Ergebnissen mit on-chain Rückverfolgbarkeit kombiniert.

Shentu Chain und CertiK rahmten die Veröffentlichung als Fortsetzung einer gemeinsamen Mission ein, Blockchain und formale Verifikation für “reale Auswirkungen” anzuwenden, und sie sagen, dass weitere Erweiterungen geplant sind, um Forschern zu ermöglichen, zunehmend fortgeschrittene Probleme anzugehen und Anreize im OpenMath-Ökosystem zu erweitern. Für den Moment sind die Webseite und die Plattform live und laden Mathematiker, Forscher der formalen Methoden und die breitere DeSci-Community ein, die neue Umgebung zu erkunden, in der mathematische Wahrheit zu einem verifizierbaren, referenzierbaren öffentlichen Gut wird.