Crypto Dictionary Begriffe-Feed

Zum Wörterbuch hinzugefügt

Formale Verifikation

Mit mathematischen Methoden prüfen, ob Software explizit angegebene Eigenschaften erfüllt.

IM ALLTAG
Sie geben an, dass bei einer Übertragung das Gesamtangebot erhalten bleiben muss, und verwenden dann einen Prüfer, um diese Eigenschaft unter den Modellannahmen zu überprüfen.

Einsteiger

Full Node

Software, die Blockchain-Transaktionen und -Blöcke selbstständig anhand der Regeln des Netzwerks prüft.

IM ALLTAG
„Mein Knoten hat diesen Block abgelehnt.“ Es überprüfte die Transaktionen selbst, obwohl ein anderer Dienst den vorgeschlagenen Block anzeigte.

Fortgeschritten

Gaslimit

Die maximal zulässige Gasmenge für eine Transaktion oder einen Block, je nach Kontext.

IM ALLTAG
Für einen Vertragsaufruf ist mehr Gas erforderlich als für einen einfachen ETH-Transfer. Daher kann die Wiederverwendung des Gaslimits des Transfers dazu führen, dass der Anruf fehlschlägt.

IM GRUPPENCHAT WEITERGEBEN

Eine Definition teilen