Stellar Development Foundation führt Sicherheitsüberprüfung für Soroban durch
Die Stellar Development Foundation (SDF) hat angekündigt, umfassende Sicherheitsüberprüfungen für Soroban durchzuführen, die fortschrittliche Smart Contract-Plattform im Stellar-Netzwerk. Dies geschieht in Vorbereitung auf den Start von Soroban.
Um diese umfassenden Sicherheitsprüfungen durchzuführen, hat sich die SDF mit Certora, einer renommierten Sicherheitsfirma, zusammengeschlossen, die für ihre formalen Verifikationstools bekannt ist, wie in einer offiziellen Pressemitteilung 1 erklärt wird.
Diese Zusammenarbeit unterstreicht die entscheidende Notwendigkeit rigoroser Sicherheitsbewertungen in der Blockchain, wo kleine Schwachstellen zu erheblichen Verlusten führen können.
Smart Contracts, die Aktionen und Workflows in Blockchain-Netzwerken automatisieren, sind zudem äußerst anfällig für Angriffe. Daher erfordern sie robuste Sicherheitsprotokolle, um potenzielle Risiken zu verringern.
Certora hilft Entwicklern, Sicherheitslücken in ihren Smart Contracts zu identifizieren und zu verhindern, bevor der Code bereitgestellt wird. Dies geschieht durch die Identifizierung von Regelverstößen, die in Smart Contracts vermieden werden sollten.
Bislang hat Certora Fehler in SushiSwap’s Trident Liquiditätspool, Aave, Compound und Balancer verhindert 2. Im vergangenen Jahr sammelte die Sicherheitsfirma bei einer Serie-B-Finanzierungsrunde, angeführt von Jump Crypto, 36 Millionen US-Dollar ein.
Mooly Sagiv, CEO von Certora, erklärte in der Pressemitteilung: „Eine der Lehren aus unserer Erfahrung im DeFi-Bereich ist, dass Tools und Audits zu spät im Entwicklungsprozess kommen. Dieser Fehler führt dazu, dass Softwarekosten steigen und Fehler erst erkannt werden, nachdem Schwachstellen ausgenutzt wurden. Certoras Tools können Entwicklern helfen, Spezifikationen zu erstellen, bevor der Code fertig ist, um sichere und zuverlässige Anwendungen zu gewährleisten. Wir freuen uns, Teil des Soroban-Ökosystems zu sein.“
Stellar betonte in der Ankündigung, dass Soroban eine neue Ära von Smart Contracts repräsentiert, die auf Skalierbarkeit, Nachhaltigkeit und gründlichen Tests basiert.
Soroban nutzt WASM, ein anpassbares Binärcode-Format, das ideal für Blockchain-Einstellungen ist. Dadurch wird die Kompatibilität mit verschiedenen Programmiersprachen und Tools erleichtert, was den Entwicklern die Erstellung von Anwendungen im Stellar-Netzwerk erleichtert.
Darüber hinaus wird die formale Verifikationsfähigkeit von Certora den Entwicklern der Soroban-Plattform helfen, die Vertrauenswürdigkeit und Sicherheit ihrer Smart Contracts zu gewährleisten. Dies wird auch den Benutzern ein erhöhtes Vertrauen in die von ihnen genutzten Anwendungen geben.
Eine lohnenswerte Partnerschaft
Neben der Entwicklung eines formalen Verifikationstools für Soroban wird das Sicherheitsteam von Certora auch an der Soroban Audit Bank Initiative teilnehmen. Sie werden Zeit und Ressourcen aufwenden, um die Soroban-Community über die Nutzung dieses neuartigen Dienstes zu informieren.
Stellars proaktiver Ansatz, Sicherheitschecks und Audits für Soroban durchzuführen, zeigt das Engagement für eine sichere und verlässliche Smart Contract-Plattform.
Indem potenzielle Schwachstellen adressiert werden, unternimmt die SDF die notwendigen Schritte, um sicherzustellen, dass der Start von Soroban so reibungslos und sicher wie möglich verläuft.
Häufig gestellte Fragen
Was ist Soroban?
Soroban ist eine fortschrittliche Smart Contract-Plattform im Stellar-Netzwerk, die auf Skalierbarkeit, Nachhaltigkeit und gründlichen Tests basiert. Sie ermöglicht die Automatisierung von Aktionen und Workflows in Blockchain-Netzwerken.
Wer führt die Sicherheitsüberprüfung für Soroban durch?
Die Stellar Development Foundation (SDF) führt die Sicherheitsüberprüfung für Soroban durch, indem sie sich mit Certora, einer renommierten Sicherheitsfirma, zusammengeschlossen hat.
Wie hilft Certora bei der Sicherheitsüberprüfung von Smart Contracts?
Certora hilft Entwicklern, Sicherheitslücken in ihren Smart Contracts zu identifizieren und zu verhindern, indem sie Regelverstöße in den Smart Contracts erkennen und vermeiden.
Welche anderen Projekte hat Certora bereits unterstützt?
Certora hat bereits Bugs in SushiSwap’s Trident Liquiditätspool, Aave, Compound und Balancer verhindert.
Was ist WASM?
WASM ist ein anpassbares Binärcode-Format, das in Blockchain-Einstellungen verwendet wird und die Kompatibilität mit verschiedenen Programmiersprachen und Tools erleichtert.
