Sonic Labs, das Team hinter der Sonic-Blockchain, hat die neue formale Verifikationsbibliothek für auf DAG basierende Konsensprotokolle gestartet. Das Ziel ist es, Beweiswerkzeuge für die Sicherheit der Blockchains anzubieten.
Sonic Labs und die Sicherheit der Blockchain: die Einführung der neuen Bibliothek zur formalen Verifikation
Sonic Labsdas Team hinter der Sonic-Blockchain, hat den Start der neuen Bibliothek zur formalen Verifikation angekündigt, die sich den auf DAG basierenden Konsensprotokollen widmet.
Im Grunde handelt es sich um eine Open-Source-Bibliothek, die die formale Verifikation verwendet, um mathematisch die Sicherheit der gerichteten azyklischen Graph-Blockchains zu beweisen, einschließlich der EVM-Blockchain von Sonic.
Dank der Nutzung des TLA+-Testassistenten ist es möglich, den Verifizierungsprozess von auf DAG basierenden Konsensprotokollen zu vereinfachen, wodurch Entwickler die Protokolle mit minimalem Aufwand modellieren und verifizieren können.
Es handelt sich um ein Testinstrument zur Überprüfung der Sicherheit von Blockchains. Die Bibliothek enthält Tests für wichtige DAG-basierte Protokolle wie DAG-Rider, Cordial Miner, Bullshark, Hashgraph und Alephwobei das Konsensprotokoll von Sonic als abgeleitet verifiziert wurde.
Die formale Verifikationsbibliothek wurde erstmals auf der NASA Formal Methods 2025 (NFM 2025) in Williamsburg, Virginia, vom 11. bis 13. Juni vorgestellt.
Sonic Labs und der rigorose mathematische Ansatz zur Demonstration der Sicherheit eines Protokolls
Die aktuelle Situation der Sicherheit von Blockchains zeigt oft die Verwundbarkeit der Konsensprotokolledie auch zu katastrophalen Exploits führen können. Die doppelte Ausgabe oder die Inkonsistenzen im Hauptbuch sind ein Beispiel dafür.
Im Allgemeinen sind die traditionellen Tests und Überprüfungen zur Gewährleistung der Sicherheit von Blockchains unzureichend geworden.
Hier hat sich Sonic Labs in diesem Sinne entschieden, die Herausforderung des Augenblicks mit einem streng mathematischen Ansatz anzugehen, der beweist, dass ein Protokoll in allen möglichen Szenarien sicher ist, ohne Raum für Fehler zu lassen.
In diesem Zusammenhang hat Dr. Bernhard ScholzChief Research Officer, Sonic Labs, kommentiert:
„In der Blockchain resultieren Sicherheitsfehler oft aus Annahmen, die nicht überprüft werden, bis es zu spät ist. Mit dieser Bibliothek gehen wir von der Hoffnung zum Beweis über und bieten die Werkzeuge, um mit mathematischer Sicherheit zu überprüfen, dass ein Protokoll unter allen Bedingungen sicher funktioniert. Unser Ziel ist es, die formale Verifikation für alle Protokollentwickler zugänglich zu machen“.
Sonic Labs hat begonnen, die formale Verifizierung zu implementieren, um zu beweisen, dass unsicheres Verhalten auf der Blockchain von Sonic mathematisch unmöglich ist.
Der Eintritt des Tokens S auf Coinbase
In den letzten Stunden wird auch über den Eintritt des Tokens Sonic (S) auf der bekannten Krypto-Börse Coinbase gesprochen.
$ S ist jetzt live auf @Coinbase. pic.twitter.com/e6aiy6yusf
– Sonic Labs (@soniclabs) 24. Juni 2025
In der Praxis können die Kunden von Coinbase auch auf die iOS- und Android-App von Coinbase zugreifen, um den Token S zu kaufen, zu verkaufen, zu konvertieren, zu senden, zu empfangen oder zu speichern.
Derzeit befindet sich Sonic (S) auf dem 73. Platz in der allgemeinen Krypto-Rangliste, mit einer Marktkapitalisierung von 932 Millionen Dollar. Zum Zeitpunkt des Schreibens beträgt der Wert von S 0,32 $.
Es war Mitte April 2025, als Freund das letzte Sonic-Update zur Revolutionierung der DeFi einführte. Mit einer Kapazität von über 10.000 Transaktionen pro Sekunde (TPS) und Finalisierungszeiten von weniger als 2 Sekunden präsentierte sich Sonic sofort als eines der schnellsten und skalierbarsten Layer-1-Netzwerke in der Krypto-Landschaft. Mit Sonic debütierte auch der Token S, der zunächst an FTM von Fantom gekoppelt war.
Dieser Beitrag ist ein öffentlicher RSS Feed. Sie finden den Original Post unter cryptonomist.ch .
Unser Portal ist ein RSS-Nachrichtendienst und distanziert sich vor Falschmeldungen oder Irreführung. Unser Nachrichtenportal soll lediglich zum Informationsaustausch genutzt werden. Die auf dieser Website bereitgestellten Informationen stellen keine Finanzberatung dar und sind nicht als solche gedacht. Die Informationen sind allgemeiner Natur und dienen nur zu Informationszwecken. Wenn Sie Finanzberatung für Ihre individuelle Situation benötigen, sollten Sie den Rat von einem qualifizierten Finanzberater einholen. Kryptohandel hat ein großes Handelsrisiko was zum Totalverlust führen kann.
