Wissensbasis

Dezentrale Finanzen oder DeFi werden als ein "zusammensetzbares Ökosystem von Protokollen, das auf Ethereum aufgebaut ist und die Schaffung von Finanzanwendungen ermöglicht" beschrieben. Mit anderen Worten handelt es sich um ein Finanzsystem, das auf einer dezentralen Infrastruktur läuft.

Mit DeFi können Sie alles tun, was Sie mit traditionellen Finanzprodukten tun können, jedoch ohne die Notwendigkeit einer zentralen Autorität oder von Intermediären.

Wenn Entwickler die Superhelden der Softwareindustrie sind, dann ist der Mangel an Dokumentation unser Kryptonit.

Kelsey Hightower

Es ist vier Uhr morgens und Ihr Pager schlägt an. Der Service Ihres Unternehmens ist abgestürzt und die Kunden geraten in Panik. Sie durchsuchen eine halb vertraute Codebasis, auf der Suche nach der Ursache. Die Fehlermeldungen in den Unit-Tests sind frustrierend ungenau und das interne README besteht aus Überschriften, gefolgt von sich wiederholenden Ein-Wort-Absätzen: [TODO].

PARTNERSCHAFTSVERTRAG FÜR DIE LIEFERUNG VON BARGELDMITTELN FÜR INVESTITIONEN ÜBER LEDGER-TO-LEDGER-ÜBERTRAGUNG

In Mythril bezieht sich ein symbolischer Analyse-Engine auf das Kernstück des Mythril-Tools, das die symbolische Ausführung von Ethereum Smart Contracts durchführt. Die symbolische Ausführung ist eine Technik der Softwareanalyse, die alle möglichen Pfade durch ein Programm erkundet, indem sie Variablen und Eingaben symbolisch behandelt, anstatt mit konkreten Werten.

So funktioniert der symbolische Analyse-Engine in Mythril:

"Bestätigung des Vorberichts" bei Investitionsgeschäften im Ledger-to-Ledger-Verfahren ist ein Teil des Prozesses, bei dem der Empfänger der Investition die Bank über die bevorstehenden Gelder informiert, bevor die tatsächlichen Gelder auf seinem Konto gutgeschrieben werden.

Lassen Sie uns diesen Prozess Schritt für Schritt durchgehen:

Lassen Sie uns zunächst jeden der genannten Tools zur automatisierten Code-Prüfung in Solidity Smart Contracts beschreiben: Slither, Mythril, Solgraph und Echidna. Anschließend werde ich eine Vergleichsanalyse in Tabellenform erstellen.

import 'openzeppelin-contracts-06/math/SafeMath.sol';

Die Bibliothek SafeMath.sol wurde entwickelt, um sichere Operationen mit Zahlen in Smart Contracts auf der Ethereum-Blockchain zu gewährleisten. Der Hauptgrund für ihre Existenz besteht darin, Überlauf oder Sicherheitslücken bei arithmetischen Operationen mit ganzen Zahlen in Ethereum-Smart Contracts zu vermeiden.

Hier sind detaillierte Erklärungen, warum SafeMath.sol wichtig ist: