BlockBeats Nachrichten, 5. März, laut offizieller Mitteilung hat Aave Labs den vollständigen Transparenzbericht zum Sicherheitsplan von Aave V4 veröffentlicht, einschließlich Methoden, Prozessen und Ergebnissen, mit gemeinsamer Unterstützung von Sicherheitsorganisationen wie Trail of Bits, Blackthorn, Certora und anderen. Durch manuelle Audits, formale Verifikation, Invarianztests, Fuzz-Tests und öffentliche Sicherheitswettbewerbe wurden insgesamt etwa 345 Tage Sicherheitsüberprüfungen durchgeführt. Der Plan wird durch ein speziell für Sicherheit reserviertes Budget von 1,5 Millionen US-Dollar unterstützt, das vom DAO genehmigt wurde.
Aave Labs kündigte an, fünf Kernversprechen des Sicherheitsplans von Aave V4 fortzusetzen: Frühzeitige Integration formaler Verifikation während der Entwicklungsphase, um sicherzustellen, dass die Architektur sicherheitsorientiert gestaltet wird, nicht nur verifiziert; Einsatz einer mehrschichtigen Sicherheitsstrategie, einschließlich manueller Überprüfungen, formaler Verifikation, Invarianztests, KI-gestützter Überprüfung, Fuzz-Tests und öffentlicher Sicherheitswettbewerbe, um potenzielle Schwachstellen umfassend abzudecken; kontinuierliche Sicherheitsüberwachung, wobei das Rahmenwerk für formale Verifikation und die Invarianztests bei Iterationen des Protokolls laufend eingesetzt werden; Einrichtung eines langfristigen Bug-Bounty-Programms, um die Sicherheitsgemeinschaft für kontinuierliche Überwachung zu nutzen; sowie Optimierung der KI-Scan-Fähigkeiten, um basierend auf bisherigen Testerfahrungen die intelligente Sicherheitsüberprüfung zukünftiger Versionen stetig zu verbessern.
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
Hedera führt die Agent Lab Plattform ein, um Entwicklern den Aufbau von On-Chain KI-Agenten zu ermöglichen.
Hedera hat am 26. März die Hedera Agent Lab Plattform eingeführt, die Entwicklern beim Aufbau von On-Chain-KI-Agenten hilft und drei Entwicklungsmodi anbietet: No-Code, Low-Code und High-Code. Zukünftig werden weitere Funktionen integriert.
GateNews29M her
Das vollständige Kettestabilecoin-Protokoll USDT0 ist auf der Zahlungs-Blockchain Tempo gestartet und bereits auf 23 Netzwerken bereitgestellt.
Das vollkettige Stablecoin-Protokoll USDT0 wurde am 26. März auf der Tempo-Blockchain gestartet, die von Stripe und Paradigm entwickelt wurde. Es basiert auf dem LayerZero OFT-Standard, ist 1:1 an USDT gekoppelt und wurde auf mindestens 23 Netzwerken bereitgestellt, um den nahtlosen Transfer zwischen mehreren Ketten ohne Brücken zu ermöglichen.
GateNews47M her
Marathon Digital, der weltweit größte Bitcoin-Miner, ändert seine Richtlinien grundlegend: Ab 2026 wird der Verkauf von auf der Bilanz stehenden Bitcoins erlaubt.
Der weltweit größte Bitcoin-Miner Marathon Digital kündigte an, ab 2026 seine Treasury-Politik zu ändern. Neben dem Verkauf der durch das Mining erzielten Bitcoins wird das Unternehmen auch langfristige gehaltene Bitcoins verkaufen, um auf die Marktnachfrage zu reagieren. Dieser Strategiewechsel spiegelt wider, dass Miner angesichts von Marktschwankungen und Kostendruck ihre Finanzstrategie anpassen, um flexibel zu bleiben. Im Jahr 2025 verzeichnete das Unternehmen enorme Verluste, die Mining-Produktion ging zurück, aber die Hashrate wurde kontinuierlich ausgebaut.
ChainNewsAbmedia2Std her
Ripple RLUSD Pilot geht live: Singapur testet den Wandel im Handelsfinanzierungsbereich
Ripple testet den RLUSD-Stablecoin im Singapore-MAS-Sandbox, um den Handel mit XRPL-Smart-Contracts und von BNY Mellon unterstütztem Custody zu automatisieren.
Ripple testet den RLUSD-Stablecoin im Singapore-MAS-Sandbox für Handelszahlungen und markiert damit einen neuen Schritt in der Nutzung von Unternehmensblockchains.
Der Pilot konzentriert sich auf die Verbesserung
LiveBTCNews2Std her
MARA Holdings verkauft 15.000 Bitcoin! Mit 11 Milliarden US-Dollar Erlös werden 10 Milliarden US-Dollar Wandelanleihen zurückgekauft, um den Einstieg in die KI-Rechenleistung zu demonstrieren.
MARA Holdings kündigt den Verkauf von 15.133 Bitcoin an und erzielt dabei rund 1,1 Milliarden US-Dollar. Das Geld wird hauptsächlich verwendet, um 1 Milliarde US-Dollar an zinslosen Wandelanleihen zurückzukaufen, um die Schulden des Unternehmens und das Risiko der Verwässerung der Eigenkapitalanteile zu verringern. Gleichzeitig expandiert MARA aktiv in die Bereiche KI und Hochleistungsrechnen, um die finanzielle Flexibilität zu erhöhen.
動區BlockTempo2Std her
Sonic SVM übernimmt ForgeX, Open-Source-Chain-Markttool ForgeX CLI
Sonic SVM Stiftung kündigte am 26. März den Erwerb des Market-Making-Tools-Entwicklers ForgeX an und veröffentlichte dessen ForgeX CLI-Produkt als Open Source. Das Tool bietet Solana-Entwicklern mehrere On-Chain-Operationen, unterstützt Token-Erstellung, Cross-DEX-Marktgestaltung und gibt strukturierte JSON-Formate aus, die AI-Agenten zur Verfügung stehen.
GateNews2Std her
