Algebra-Symbologie-Leitfaden für Ethereum Yellow Paper

Es gibt Zahlenfachleute, die nur begrenzte Erfahrung mit der Interpretation der in Informatikarbeiten verwendeten Algebra haben. Daher wäre es am nützlichsten, wenn es eine Liste aller algebraischen Symbole gäbe, die im Gelben Papier verwendet werden, zusammen mit ihrer Definition, wie sie im Papier verwendet wird.

Natürlich gibt es diese Anleitung , aber für einige der Symbole gibt es mehrere Interpretationen.

Bitte listen Sie die verwendeten Symbole auf und definieren Sie deren Bedeutung . Mein Verständnis ist wie in meiner Antwort unten. Ich habe fette Kursivschrift verwendet, wo ich mir besonders unsicher bin. Bitte weisen Sie darauf hin, wo ich falsch liege.

BEARBEITEN - Ich habe die Liste als Community-Wiki gepostet.

Gute Idee. Sie sollten die Liste nehmen und als Antwort auf Ihre eigene Frage posten.
Wenn Sie die Antwort zu einem Community-Wiki machen, ist es für die Leute einfach, ihre eigenen Definitionen zu Ihrer Antwort hinzuzufügen
Fragt dies nach einer Anleitung für die Notation wie Gavins Verwendung von Sigma in Kleinbuchstaben für Zustandsübergänge, oder war dies nur als Definition der allgemeineren mathematischen Notation gedacht, wie unten angegeben?
@bekah Eine vollständige Liste aller Zeichen und ihrer Bedeutung wäre nützlich und könnte hier hinzugefügt werden (oder eine andere Frage gestellt). Ich habe ursprünglich hauptsächlich nach der mathematischen Notation gesucht.
*Figuren (!)

Antworten (2)

Allgemein anerkannte mathematische Symbole und deren Name/Bedeutung

≡ist definiert als/ist äquivalent zu

=ist gleich

≠ist ungleich zu

"..."Größe (Länge) von

∈befindet sich im folgenden Satz

∉ist nicht in der folgenden Menge

∀für alle

∪Vereinigung (gemeinsame Elemente in benachbarten Sätzen)

∧ und

:so dass

{} einstellen

() Funktion oder Tupel

[]Array-Indizierung

∨oder (z. B. Gl. 11), Unsicher für die Gleichungen 24 und 29

_>größer als

_+Zusatz

_-Subtraktion

∑Summe

{entweder oder --- wird im Allgemeinen verwendet, um Fälle zu bezeichnen, zum Beispiel stückweise Funktionen mit Verhalten wie „wenn dies, das“. Ansonsten dieses andere Ding'.

|...| nein. Bytes von (zB eq 96)

⌊...⌋Boden; niedrigstes Element in

⌈...⌉Decke; höchstes Element in

⊕Exklusiv oder

[*a*, *b*)Reelle Zahlen größer oder gleich a und kleiner als b

∅leeres Set

·Sequenzverkettung (z. B. Gleichungen 166,227)

∃es existiert

Symbole, die im Yellow Paper eine bestimmte Bedeutung haben, aber in der allgemeinen Mathematik nicht universell verwendet werden

𝔹 n Hash der Größe n Bytes

Praktischer Hinweis auf die Symbole. Ich bin mir nicht sicher, ob dies zu 100 % korrekt ist, Pull-Request wird geschätzt.

https://github.com/deepakraous/ethereum-spec/tree/master/symbols

Algebra-Symbologie-Leitfaden für Ethereum Yellow Paper
AntwortenHierDatenschutz-Bestimmungen1y, 0v