Gate News Nachrichten, 15. März: Scallop Lend hat die vollständige formale Verifikation durch Asymptotic (offizieller Prüfer von Mysten Labs) abgeschlossen. Diese Verifikation bestätigt die mathematische Korrektheit der Kernmechanismen des Protokolls, einschließlich der zentralen Buchhaltungslogik, Abrechnungsberechnungen, Zugriffskontrolle und Fixed-Point-Arithmetik.
Disclaimer: The information on this page may come from third parties and does not represent the views or opinions of Gate. The content displayed on this page is for reference only and does not constitute any financial, investment, or legal advice. Gate does not guarantee the accuracy or completeness of the information and shall not be liable for any losses arising from the use of this information. Virtual asset investments carry high risks and are subject to significant price volatility. You may lose all of your invested principal. Please fully understand the relevant risks and make prudent decisions based on your own financial situation and risk tolerance. For details, please refer to
Disclaimer.
Verwandte Artikel
eCash-Vorschlag zieht Entwicklerwarnungen wegen Risiko und Verteilung an
Entwickler und Branchenvertreter haben Bedenken gegen einen eCash-Vorschlag geäußert, der mit Paul Sztorc in Verbindung gebracht wird. Als zentrale Punkte werden dabei das Nutzer-Risiko, eine ungleichmäßige Verteilung und die philosophische Spannungen als Hauptprobleme genannt.
Der Vorschlag wurde so beschrieben, dass er gefährliche Elemente einführt, die im Bereich der Krypto-Währung zur Vorsicht Anlass geben.
CryptoFrontier6M her
Wasabi-Protocol-Nutzer können nun ihre verbleibenden Gelder sicher abziehen
Laut der offiziellen X-Statement von Wasabi Protocol können Nutzer nun sicher mit den Smart Contracts des Protokolls interagieren und die verbleibenden Gelder abziehen. Das Team arbeitet daran, den Vorfall zu untersuchen, hat jedoch derzeit keine weiteren Details offengelegt und erklärt, dass weitere Updates geteilt werden mit
GateNews16M her
dYdX-Community genehmigt die Entfernung von 4 Handels-Paaren, einschließlich AKT-USD, GNO-USD
Laut Odaily hat die dYdX-Community die Entfernung von vier Handelspaaren – AKT-USD, GNO-USD, MNRY-USD und MOG-USD – per Governance-Abstimmung genehmigt. Der Vorschlag wurde mit 90,96% Zustimmung unter 16 aktiven Validatoren und 124 teilnehmenden Accounts angenommen, was einer gesamten Wahlbeteiligung von 46,86% entspricht.
No vo
GateNews46M her
Arbitrum bereitet die Veröffentlichung von $71M ETH nach dem KelpDAO-Hit vor
Arbitrum bringt einen Plan vor, 30.765 ETH über eine DAO-Abstimmung freizugeben, um die Wiederherstellung zu unterstützen und betroffene DeFi-Protokolle zu stabilisieren.
Der Kelp-DAO-Exploit erzeugte eine erhebliche rsETH-Unterdeckung, wobei die bereitgestellten Wiederherstellungs-Fonds nur einen Teil der Liquiditätsdifferenz abdeckten.
Mehrere Protokolle sagen 43.000 ETH zu, was die…
CryptoFrontNews1Std her
Bakkt schließt die DTR-Übernahme ab – während das Umsatzwachstum anhält und ein strategischer Umbau erfolgt
Bakkt hat den Abschluss der Übernahme von Distributed Technologies Research vollzogen. Damit soll eine stabilcoinbasierte Infrastruktur, die von Künstlicher Intelligenz (KI) ausgelegt ist, in die zentralen Finanzdienstleistungen von Bakkt integriert werden.
Modernisierung globaler Abwicklung
Bakkt Inc. hat seine Übernahme von Distributed Technologies
Coinpedia6Std her
Wasabi Protocol-Nutzer können jetzt sicher mit Verträgen interagieren und Gelder abheben
Laut Wasabi Protocol können Nutzer nun sicher mit den Verträgen des Protokolls interagieren, um die noch verbleibenden Mittel abzuziehen. Das Team untersucht den Vorfall und erklärte, dass es derzeit keine weiteren Details offenlegen kann, aber die Community mit Updates auf dem Laufenden halten wird, sobald sich die Lage ändert.
GateNews7Std her
