Première analyse approfondie du séquenceur (sequencer) de Cartesi ! Découvrons ce que c’est, pourquoi c’est important et comment il fonctionne. 🧵↓
https://fxtwitter.com/cartesiproject/status/2109993133866119399
1/ Les applications interactives ont besoin de rapidité, tandis que le règlement sur Ethereum prend du temps. Personne ne veut attendre plusieurs minutes après chaque clic pour obtenir la confirmation finale sur L1 (couche 1). C’est là qu’intervient le séquenceur.
2/ Le séquenceur reçoit les opérations signées par les utilisateurs et les confirme immédiatement (on parle de « confirmation souple »).
En arrière-plan, il soumet ces opérations à L1 par lots. Les utilisateurs obtiennent une réponse quasi instantanée, tandis qu’Ethereum reste l’autorité, la « source de vérité ».
Tous les détails sur notre séquenceur : https://github.com/cartesi/sequencer
3/ Comment cela fonctionne-t-il, techniquement ? Chaque groupe d’opérations utilisateur (appelé « frame ») est associé à un bloc L1 sécurisé. Le planificateur on-chain reçoit tous les dépôts effectués jusqu’à ce bloc, puis exécute les mêmes opérations dans le même ordre.
Le séquenceur et le Rollup suivent les mêmes règles et finissent donc par parvenir au même état.
4/ Bien que le système utilise un séquenceur unique, celui-ci ne peut ni voler des fonds ni falsifier l’état. Le Rollup vérifie tout et fait appliquer le résultat au moyen de preuves de fraude (fraud proofs).
Le processus de dépôt contourne entièrement le séquenceur. Même si celui-ci tentait de censurer des dépôts, il ne pourrait tout au plus que les retarder de quelques heures, jamais les bloquer complètement.
5/ Le séquenceur de Cartesi est encore en version Alpha, mais son développement progresse rapidement.
Il est conçu pour gérer les interruptions de L1, les plantages, les redémarrages, les longues périodes d’indisponibilité et les mempools malveillants. À chaque démarrage, il vérifie la base de données et Ethereum afin de déterminer ce qui doit être réparé.
Un programme « watchdog » indépendant vérifie également son état une seconde fois.
6/ La dernière version, v0.1.0-alpha.10, comprend le séquenceur, les images de machine et le programme watchdog.
Parmi les nouveautés : les devis de frais publics, l’historique des applications compatible avec la relecture, les liaisons d’applications en C, une réécriture du programme watchdog et Cartesi Machine v0.21.0. Attention : cette version contient des changements incompatibles (breaking changes). Veuillez d’abord lire les notes de version : https://github.com/cartesi/sequencer/releases/tag/v0.1.0-alpha.10
Retweetez : https://x.com/cartesiproject/status/2109993133866119399
https://fxtwitter.com/cartesiproject/status/2109993133866119399
1/ Les applications interactives ont besoin de rapidité, tandis que le règlement sur Ethereum prend du temps. Personne ne veut attendre plusieurs minutes après chaque clic pour obtenir la confirmation finale sur L1 (couche 1). C’est là qu’intervient le séquenceur.
2/ Le séquenceur reçoit les opérations signées par les utilisateurs et les confirme immédiatement (on parle de « confirmation souple »).
En arrière-plan, il soumet ces opérations à L1 par lots. Les utilisateurs obtiennent une réponse quasi instantanée, tandis qu’Ethereum reste l’autorité, la « source de vérité ».
Tous les détails sur notre séquenceur : https://github.com/cartesi/sequencer
3/ Comment cela fonctionne-t-il, techniquement ? Chaque groupe d’opérations utilisateur (appelé « frame ») est associé à un bloc L1 sécurisé. Le planificateur on-chain reçoit tous les dépôts effectués jusqu’à ce bloc, puis exécute les mêmes opérations dans le même ordre.
Le séquenceur et le Rollup suivent les mêmes règles et finissent donc par parvenir au même état.
4/ Bien que le système utilise un séquenceur unique, celui-ci ne peut ni voler des fonds ni falsifier l’état. Le Rollup vérifie tout et fait appliquer le résultat au moyen de preuves de fraude (fraud proofs).
Le processus de dépôt contourne entièrement le séquenceur. Même si celui-ci tentait de censurer des dépôts, il ne pourrait tout au plus que les retarder de quelques heures, jamais les bloquer complètement.
5/ Le séquenceur de Cartesi est encore en version Alpha, mais son développement progresse rapidement.
Il est conçu pour gérer les interruptions de L1, les plantages, les redémarrages, les longues périodes d’indisponibilité et les mempools malveillants. À chaque démarrage, il vérifie la base de données et Ethereum afin de déterminer ce qui doit être réparé.
Un programme « watchdog » indépendant vérifie également son état une seconde fois.
6/ La dernière version, v0.1.0-alpha.10, comprend le séquenceur, les images de machine et le programme watchdog.
Parmi les nouveautés : les devis de frais publics, l’historique des applications compatible avec la relecture, les liaisons d’applications en C, une réécriture du programme watchdog et Cartesi Machine v0.21.0. Attention : cette version contient des changements incompatibles (breaking changes). Veuillez d’abord lire les notes de version : https://github.com/cartesi/sequencer/releases/tag/v0.1.0-alpha.10
Retweetez : https://x.com/cartesiproject/status/2109993133866119399