Gibt es eine formale Spezifikation für die EVM?

Das Yellowpaper spezifiziert die EVM, wenn auch in einer Weise, die den Formalismus der Lesbarkeit vorzieht:

Geben Sie hier die Bildbeschreibung ein

Aber es gibt keinen Hinweis darauf, ob dies dem aktuellen Stand des Ethereum-Ökosystems entspricht oder nicht, und ich konnte nirgendwo anders eine formelle VM-Spezifikation finden. Ist dort eines?

Antworten (1)

Das gelbe Papier ist aktuell und die einzige mir bekannte technische Spezifikation. Unter der Überschrift steht Homestead Draft , was sich auf die neueste Homestead- Veröffentlichung vom 14. März 2016 bezieht.

Gehöft Entwurf

Ich habe heute einige Formeln überprüft und festgestellt, dass sie in der Nummerierung nach oben verschoben wurden, sodass Sie davon ausgehen können, dass diese Spezifikation immer mit den neuesten Designänderungen aktualisiert wird.

Den Fortschritt könnt ihr übrigens auf github verfolgen .

Vielen Dank. Das beantwortet die Frage "Ist es aktuell" (wenn auch nicht auf besonders auffindbare Weise), aber nicht die Frage "Gibt es eine separate Spezifikation". Nachdem ich den Anhang gelesen habe, der sich mit der VM befasst, ist es wirklich kein sehr hilfreiches Format für jeden, der die VM tatsächlich implementieren möchte; der Autor scheint Formalismen über Lesbarkeit zu lieben.
Haben Sie sich die Open-Source-Implementierungen der VM angesehen? Zum Beispiel pyetherem oder ethereumjs-vm? Das Studium dieses Codes sollte mehr als genug Informationen liefern, um Ihre eigene VM zu implementieren
@dbryson Ja - und wieder hilft es, aber es ist keine Spezifikation.
Yellowpaper ist die einzige Spezifikation afaik.
@5chdn Wenn Sie Ihre Antwort bearbeiten, um so viel zu sagen, akzeptiere ich sie gerne (dann beschweren Sie sich über Leute, die Systeme entwerfen, sie aber nicht richtig dokumentieren).
@NickJohnson Die Lesbarkeit und der Grad an Formalismus in einer Spezifikation sind etwas subjektiv; da es auf github ist, fühlen Sie sich frei und jeder kann Pull-Anforderungen einreichen, um die Lesbarkeit zu verbessern :)
@eth Leider glaube ich nicht, dass ein besser lesbarer Stil möglich ist, ohne das gesamte Papier neu zu schreiben. IMO, das Problem ist eine Abhängigkeit von mathematischer Notation (griechische Variablen mit einem Buchstaben usw.), wenn eine Spezifikation im RFC-Stil für Implementierer weitaus nützlicher wäre.
Gibt es eine formale Spezifikation für die EVM?
AntwortenHierDatenschutz-Bestimmungen1y, 0v