Loopring schließt sich zusammen mit SECBIT Labs zur Überprüfung von Smart Contracts und formellen Verifikationen

Loopring ist eine strategische Partnerschaft mit SECBIT Labs eingegangen, welche sich auf die Sicherheit von Smart Contracts spezialisiert haben. Beide Teams werden eng in der Entwurfsprüfung für das Loopring Protokoll zusammenarbeiten einschließlich der Code-Überprüfung und formellen Verifikation. SECBIT Labs wird Sicherheitsprüfungen aller Smart Contracts von ERC20-Tokens anbieten, die vom Loopring-Protokoll gelistet werden.

SECBIT Labs wurde von Dr. Yu Guo der USTC gegründet und fokussiert sich auf die Sicherheit von Smart Contracts. Um Sicherheitsrisiken in Smart Contracts vollständig zu vermeiden, wird eine Reihe von Tools und Diensten für den Lebenszyklus von Smart Contracts entwickelt: Konzeption, Entwicklung, Testphase und Prüfung in Sachen Kryptographie, Semantik, formelle Verifikation, Spieltheorie und Kompilator.

SECBIT Labs kann eine umfassende Prüfung und formelle Verifikation für das Loopring-Protokoll 2.0 anbieten sowie Schwachstellen im Code und der Geschäftslogik ausräumen. Zusätzlich bietet SECBIT Labs individuelle Tools für Sicherheitstests von Smart Contracts an sowie fortgeschrittene Prüfungen für Looprings Ökosystem, um die Sicherheit und Standardisierung digitaler Werte wie Tokens sicherzustellen und ein organisiertes Loopring-Ökosystem aufzubauen.

Der originale Beitrag wurde von Daniel Wang auf dem offiziellen Blog veröffentlicht und von Milan übersetzt.

Weitere aktuelle Informationen gibt es auf unseren sozialen Kanälen:
⭑ Twitter: twitter.com/loopringorg
⭑ Reddit: reddit.com/r/loopringorg
⭑ Englisches Telegram: t.me/loopring_en
⭑ Deutsches Telegram: t.me/loopring_de
⭑ StackOverflow: stackoverflow.com/c/loopring