Profil de CTSI官方中文社区

Plongeons-nous plus en profondeur dans la version v0.21.0 de Cartesi Machine Emulator. Cette mise à jour est particulièrement riche. Elle inclut une toute nouvelle documentation sur le « verification game » (jeu de vérification), un outil CLI pour exécuter soi-même le processus de preuve de fraude, ainsi que des améliorations d’infrastructure visant à accroître la vitesse et la persistance de l’ensemble de la couche d’état. Voici les détails :🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516

1/ La documentation a été entièrement réécrite et déplacée dans le dépôt du code de l’émulateur, avec l’ajout d’une section explicative pas à pas sur le « verification game ». Vous souhaitez comprendre le fonctionnement sous-jacent des preuves de fraude de Cartesi ? Commencez ici : https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md

2/ Le CLI peut désormais calculer les hachages de calcul (computation hashes), tracer les arbres Merkle de sortie et générer des preuves pour une sortie individuelle ainsi que des preuves de racine Merkle de sortie. Cela signifie que vous pouvez réaliser via la ligne de commande une grande partie des opérations nécessaires pour exécuter le processus de preuve de fraude.

3/ La fonctionnalité de plages d’adresses NVRAM permet aux applications, via le pilote Linux UIO, de mapper directement leur état sur des plages d’adresses physiques. L’état reste persistant pendant l’avancement (advance state) et ne nécessite pas de coût de synchronisation du cache de pages du noyau : même si l’état de l’application continue de croître, la vitesse d’écriture reste efficace.

4/ Machines à stockage roulant (Rolling stored machines) : le CLI prend désormais en charge l’avancement à l’aide de l’état des machines stockées sur disque, ainsi que le rollback (revert) via des clones de snapshots stockés. Ces opérations peuvent être effectuées localement ou sur des serveurs distants. Cela offre une solution de persistance de l’état pour les applications qui ne souhaitent pas conserver l’état complet de la machine en mémoire.

5/ Renforcement du mécanisme d’avancement de l’état : à chaque avancée, le système se termine désormais avec un résultat clair et prouvable — c’est-à-dire « accepted » (accepté), « rejected » (rejeté), « halted » (arrêté) ou « out of cycles » (hors limites de cycles). C’est crucial lorsque le différend entre dans la phase « verification game », car à ce stade, chaque résultat doit être prouvable, et pas seulement observable.

6/ Rappel pour les développeurs d’intégrations : cette version inclut quelques changements potentiellement cassants, dont des en-têtes publics renommés, des flags de rollback (revert flag) restructurés et une version mise à jour du protocole JSON-RPC. Ces changements ne modifient pas le comportement central de l’émulateur, ils signifient simplement qu’il faudra mettre à jour une partie du code d’appel. Pour les détails complets, veuillez consulter le changelog. 7/ Cette publication inclut également : de nouveaux outils auxiliaires Lua (avec une librairie d’arbres de hachage pour construire un prototype de protocole de preuve de fraude), la prise en charge des instructions compressées RISC-V Zcb (nécessaires pour les noyaux construits avec GCC 14), l’auto-complétion bash pour le CLI, ainsi que des garanties renforcées de persistance des snapshots.

8/ Pour les détails complets de la publication : https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0

À tous les développeurs : cette mise à jour est spécialement préparée pour vous. Bienvenue pour étudier en profondeur la nouvelle documentation du « verification game », tester les outils de preuve du CLI, et poser des questions ou faire des retours sur Discord : https://discord.gg/cartesi

Relais : https://x.com/cartesiproject/status/2089698617829597516

CTSI官方中文社区

Erick de Moura (Cartesi) : « Le développement de la blockchain est difficile et il est de notre responsabilité de le simplifier.

Sujets d’actualité