Shentu Chain und CertiK haben diese Woche OpenMath vorgestellt, das als weltweit erste mathematische DeSci-Plattform angepriesen wird und ein neues Kapitel eröffnet, in dem formale Mathematik, verifizierbare Berechnungen und Blockchain zusammentreffen. Die in einer gemeinsamen Pressemitteilung angekündigte und über soziale Kanäle verbreitete Einführung positioniert OpenMath als einen Raum, in dem Forscher und "Beweisführer" mathematische Probleme aufwerfen, zusammenarbeiten und verifizieren können, wobei die Lösungen unveränderlich On-Chain gespeichert werden. Im Mittelpunkt von OpenMath steht die formale Verifizierung: Beweise und Lösungen, die auf der Plattform eingereicht werden, werden mit Hilfe von Beweisassistenz-Technologie überprüft, sodass die Korrektheit mechanisch verifiziert werden kann, anstatt sie einer informellen Peer-Review zu überlassen. Shentus Materialien beschreiben das System als Integration bekannter formaler Tools wie Coq und Lean in einen Blockchain-nativen Workflow, der es ermöglicht, Theoreme und ihre maschinell überprüften Beweise zu referenzieren, zu validieren und im Ledger zu bewahren. Ein natürliches Zuhause für DeSci OpenMath wird auf der Shentu Chain eingesetzt, einem sicherheitsorientierten Layer-1, der seine Wurzeln bei CertiK und der Forschungsgemeinschaft für formale Verifizierung hat. Die Kette selbst, die 2021 nach der Inkubation aus CertiK in Shentu umbenannt wurde, wurde mit einem expliziten Fokus auf verifizierbare Berechnungen und On-Chain-Sicherheitswerkzeuge entwickelt, was sie zu einem natürlichen Zuhause für ein DeSci-Experiment macht, das auf mathematischer Wahrheit aufbaut. Die Architekten der Plattform sagen, dass OpenMath mit Blick auf Zusammenarbeit und Schutz des geistigen Eigentums entwickelt wurde: Ein zweiphasiger Einreichungsprozess schützt die Arbeit der Beweisführer und ermöglicht gleichzeitig der globalen Gemeinschaft, an verifizierten Ergebnissen teilzunehmen, diese zu validieren und darauf aufzubauen. Durch die Aufzeichnung von Herkunft, Überprüfung und Verifizierungsschritten On-Chain zielt OpenMath darauf ab, traditionelle institutionelle Engpässe zu beseitigen, eine faire Anerkennung für Mitwirkende zu gewährleisten und das Tempo zu beschleunigen, mit dem strenges mathematisches Wissen auffindbar und wiederverwendbar wird. Die Einführung von OpenMath erfolgt zu einem Zeitpunkt, an dem Dezentralisierte Wissenschaft oder DeSci als Ansatz zur Demokratisierung der Forschungsfinanzierung, -veröffentlichung und -validierung an Dynamik gewinnt. Befürworter argumentieren, dass dezentralisierte Netzwerke den Zugang erweitern, Finanzierungsmechanismen diversifizieren und Validierungsprozesse transparenter gestalten können – Ziele, die OpenMath explizit widerspiegelt, indem es offenen Zugang zu verifizierten Ergebnissen mit On-Chain-Rückverfolgbarkeit kombiniert. Shentu Chain und CertiK haben die Veröffentlichung als Fortsetzung einer gemeinsamen Mission dargestellt, Blockchain und formale Verifizierung für "reale Auswirkungen" anzuwenden, und sie sagen, dass weitere Erweiterungen geplant sind, um Forschern die Bewältigung zunehmend fortgeschrittener Probleme zu ermöglichen und die Anreize innerhalb des OpenMath-Ökosystems zu erweitern. Vorerst sind die Website und die Plattform live und laden Mathematiker, Forscher für formale Methoden und die breitere DeSci-Community ein, die neue Umgebung zu erkunden, in der mathematische Wahrheit zu einem verifizierbaren, referenzierbaren öffentlichen Gut wird.Shentu Chain und CertiK haben diese Woche OpenMath vorgestellt, das als weltweit erste mathematische DeSci-Plattform angepriesen wird und ein neues Kapitel eröffnet, in dem formale Mathematik, verifizierbare Berechnungen und Blockchain zusammentreffen. Die in einer gemeinsamen Pressemitteilung angekündigte und über soziale Kanäle verbreitete Einführung positioniert OpenMath als einen Raum, in dem Forscher und "Beweisführer" mathematische Probleme aufwerfen, zusammenarbeiten und verifizieren können, wobei die Lösungen unveränderlich On-Chain gespeichert werden. Im Mittelpunkt von OpenMath steht die formale Verifizierung: Beweise und Lösungen, die auf der Plattform eingereicht werden, werden mit Hilfe von Beweisassistenz-Technologie überprüft, sodass die Korrektheit mechanisch verifiziert werden kann, anstatt sie einer informellen Peer-Review zu überlassen. Shentus Materialien beschreiben das System als Integration bekannter formaler Tools wie Coq und Lean in einen Blockchain-nativen Workflow, der es ermöglicht, Theoreme und ihre maschinell überprüften Beweise zu referenzieren, zu validieren und im Ledger zu bewahren. Ein natürliches Zuhause für DeSci OpenMath wird auf der Shentu Chain eingesetzt, einem sicherheitsorientierten Layer-1, der seine Wurzeln bei CertiK und der Forschungsgemeinschaft für formale Verifizierung hat. Die Kette selbst, die 2021 nach der Inkubation aus CertiK in Shentu umbenannt wurde, wurde mit einem expliziten Fokus auf verifizierbare Berechnungen und On-Chain-Sicherheitswerkzeuge entwickelt, was sie zu einem natürlichen Zuhause für ein DeSci-Experiment macht, das auf mathematischer Wahrheit aufbaut. Die Architekten der Plattform sagen, dass OpenMath mit Blick auf Zusammenarbeit und Schutz des geistigen Eigentums entwickelt wurde: Ein zweiphasiger Einreichungsprozess schützt die Arbeit der Beweisführer und ermöglicht gleichzeitig der globalen Gemeinschaft, an verifizierten Ergebnissen teilzunehmen, diese zu validieren und darauf aufzubauen. Durch die Aufzeichnung von Herkunft, Überprüfung und Verifizierungsschritten On-Chain zielt OpenMath darauf ab, traditionelle institutionelle Engpässe zu beseitigen, eine faire Anerkennung für Mitwirkende zu gewährleisten und das Tempo zu beschleunigen, mit dem strenges mathematisches Wissen auffindbar und wiederverwendbar wird. Die Einführung von OpenMath erfolgt zu einem Zeitpunkt, an dem Dezentralisierte Wissenschaft oder DeSci als Ansatz zur Demokratisierung der Forschungsfinanzierung, -veröffentlichung und -validierung an Dynamik gewinnt. Befürworter argumentieren, dass dezentralisierte Netzwerke den Zugang erweitern, Finanzierungsmechanismen diversifizieren und Validierungsprozesse transparenter gestalten können – Ziele, die OpenMath explizit widerspiegelt, indem es offenen Zugang zu verifizierten Ergebnissen mit On-Chain-Rückverfolgbarkeit kombiniert. Shentu Chain und CertiK haben die Veröffentlichung als Fortsetzung einer gemeinsamen Mission dargestellt, Blockchain und formale Verifizierung für "reale Auswirkungen" anzuwenden, und sie sagen, dass weitere Erweiterungen geplant sind, um Forschern die Bewältigung zunehmend fortgeschrittener Probleme zu ermöglichen und die Anreize innerhalb des OpenMath-Ökosystems zu erweitern. Vorerst sind die Website und die Plattform live und laden Mathematiker, Forscher für formale Methoden und die breitere DeSci-Community ein, die neue Umgebung zu erkunden, in der mathematische Wahrheit zu einem verifizierbaren, referenzierbaren öffentlichen Gut wird.