Lass uns die Cartesi Machine Emulator v0.21.0 Version genauer unter die Lupe nehmen. Dieses Update enthält eine Fülle an Verbesserungen. Dazu gehören eine komplett neue Dokumentation zum „Verification Game“, ein CLI-Tool zur eigenständigen Ausführung des Fraud-Proof-Prozesses sowie grundlegende Infrastrukturverbesserungen, die darauf abzielen, die Geschwindigkeit und Persistenz der gesamten State-Layer zu verbessern. Hier sind die Details:🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Die Dokumentation wurde vollständig neu geschrieben und in das Emulator-Code-Repository verlegt und ergänzt um einen Schritt-für-Schritt-Abschnitt zum „Verification Game“. Möchtest du verstehen, wie Cartesi Fraud Proofs auf der darunterliegenden Ebene funktionieren? Dann starte hier: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ Das CLI kann jetzt Berechnungshashes (computation hashes) berechnen, die Ausgabe-Merkle-Bäume nachverfolgen und Beweise für einzelne Ausgaben sowie Beweise für Ausgabe-Merkle-Wurzeln generieren. Das bedeutet, dass du die meisten der notwendigen Schritte im Fraud-Proof-Prozess direkt über die Befehlszeile ausführen kannst.
3/ Die Funktion für NVRAM-Adressbereiche ermöglicht es Anwendungen, ihren Status direkt auf einen physischen Adressbereich abzubilden, indem sie den Linux-UIO-Treiber verwenden. Der Status bleibt während des Advance State persistent und ohne Aufwand für Sync von Kernel-Page-Caches, sodass die Schreibgeschwindigkeit auch dann effizient bleibt, wenn der Anwendungsstatus kontinuierlich wächst.
4/ Rolling stored machines: Das CLI unterstützt jetzt das Voranschreiten mithilfe von Maschinenzuständen, die auf der Festplatte gespeichert sind, sowie das Zurückrollen (revert) über Klonen gespeicherter Snapshots. Diese Vorgänge können lokal durchgeführt oder auch auf Remote-Servern ausgeführt werden. Das bietet eine Persistenzlösung für Anwendungen, die nicht möchten, dass der gesamte Maschinenstatus dauerhaft im Speicher verbleibt.
5/ Verstärkter Mechanismus zum Advance State: Jeder Advance State endet nun mit einem klaren und beweisbaren Ergebnis – also „accepted“ (angenommen), „rejected“ (abgelehnt), „halted“ (angehalten) oder „out of cycles“ (außerhalb des Zykluslimits). Das ist entscheidend, wenn der Streit in die Phase des „Verification Game“ übergeht, denn in dieser Phase muss jedes Ergebnis beweisbar sein – nicht nur beobachtbar.
6/ Hinweis für Entwickler: Diese Version enthält einige breaking changes, darunter umbenannte öffentliche Header-Dateien, refaktorierte Revert-Flags (revert flag) sowie ein aktualisiertes JSON-RPC-Protokoll. Diese Änderungen verändern nicht das Kernverhalten des Emulators, sondern bedeuten lediglich, dass du Teile deines Aufrufcodes aktualisieren musst. Vollständige Details findest du im Changelog. 7/ Diese Veröffentlichung umfasst außerdem: neue Lua-Hilfswerkzeuge (inkl. einer Hash-Tree-Bibliothek zum Erstellen von Prototypen für Fraud-Proof-Protokolle), Unterstützung für komprimierte RISC-V Zcb-Instruktionen (benötigt für den Kernel, der mit GCC 14 gebaut wurde), Bash-Autovervollständigung für das CLI sowie stärkere Garantien für die Persistenz von Snapshots.
8/ Vollständige Veröffentlichungsdetails: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
An alle Entwickler: Dieses Update ist speziell für euch vorbereitet. Viel Spaß beim Studium der neuen Dokumentation zum Verification Game, beim Ausprobieren der CLI-Beweistools und beim Stellen von Fragen oder beim Feedback auf Discord: https://discord.gg/cartesi
Weitergeleitet von: https://x.com/cartesiproject/status/2089698617829597516
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Die Dokumentation wurde vollständig neu geschrieben und in das Emulator-Code-Repository verlegt und ergänzt um einen Schritt-für-Schritt-Abschnitt zum „Verification Game“. Möchtest du verstehen, wie Cartesi Fraud Proofs auf der darunterliegenden Ebene funktionieren? Dann starte hier: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ Das CLI kann jetzt Berechnungshashes (computation hashes) berechnen, die Ausgabe-Merkle-Bäume nachverfolgen und Beweise für einzelne Ausgaben sowie Beweise für Ausgabe-Merkle-Wurzeln generieren. Das bedeutet, dass du die meisten der notwendigen Schritte im Fraud-Proof-Prozess direkt über die Befehlszeile ausführen kannst.
3/ Die Funktion für NVRAM-Adressbereiche ermöglicht es Anwendungen, ihren Status direkt auf einen physischen Adressbereich abzubilden, indem sie den Linux-UIO-Treiber verwenden. Der Status bleibt während des Advance State persistent und ohne Aufwand für Sync von Kernel-Page-Caches, sodass die Schreibgeschwindigkeit auch dann effizient bleibt, wenn der Anwendungsstatus kontinuierlich wächst.
4/ Rolling stored machines: Das CLI unterstützt jetzt das Voranschreiten mithilfe von Maschinenzuständen, die auf der Festplatte gespeichert sind, sowie das Zurückrollen (revert) über Klonen gespeicherter Snapshots. Diese Vorgänge können lokal durchgeführt oder auch auf Remote-Servern ausgeführt werden. Das bietet eine Persistenzlösung für Anwendungen, die nicht möchten, dass der gesamte Maschinenstatus dauerhaft im Speicher verbleibt.
5/ Verstärkter Mechanismus zum Advance State: Jeder Advance State endet nun mit einem klaren und beweisbaren Ergebnis – also „accepted“ (angenommen), „rejected“ (abgelehnt), „halted“ (angehalten) oder „out of cycles“ (außerhalb des Zykluslimits). Das ist entscheidend, wenn der Streit in die Phase des „Verification Game“ übergeht, denn in dieser Phase muss jedes Ergebnis beweisbar sein – nicht nur beobachtbar.
6/ Hinweis für Entwickler: Diese Version enthält einige breaking changes, darunter umbenannte öffentliche Header-Dateien, refaktorierte Revert-Flags (revert flag) sowie ein aktualisiertes JSON-RPC-Protokoll. Diese Änderungen verändern nicht das Kernverhalten des Emulators, sondern bedeuten lediglich, dass du Teile deines Aufrufcodes aktualisieren musst. Vollständige Details findest du im Changelog. 7/ Diese Veröffentlichung umfasst außerdem: neue Lua-Hilfswerkzeuge (inkl. einer Hash-Tree-Bibliothek zum Erstellen von Prototypen für Fraud-Proof-Protokolle), Unterstützung für komprimierte RISC-V Zcb-Instruktionen (benötigt für den Kernel, der mit GCC 14 gebaut wurde), Bash-Autovervollständigung für das CLI sowie stärkere Garantien für die Persistenz von Snapshots.
8/ Vollständige Veröffentlichungsdetails: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
An alle Entwickler: Dieses Update ist speziell für euch vorbereitet. Viel Spaß beim Studium der neuen Dokumentation zum Verification Game, beim Ausprobieren der CLI-Beweistools und beim Stellen von Fragen oder beim Feedback auf Discord: https://discord.gg/cartesi
Weitergeleitet von: https://x.com/cartesiproject/status/2089698617829597516