Assemblée hors chaîne.
Vérifiée en parallèle.
Validée dans l'ordre.
Toute grande blockchain fait ré-exécuter chaque transaction par chaque nœud contre un état global. Zycord sort l'exécution de la chaîne : la transaction est assemblée entre serveurs à l'extérieur de celle-ci, arrive complète avec tout ce qu'elle a lu et écrit, n'importe quelle machine la vérifie à partir des seuls octets, et une unique boucle en valide le résultat.
La transaction est un certificat
Elle ne demande pas “exécute ceci”. Elle déclare “j'ai lu ceci, j'ai écrit cela, et voici la preuve”. N'importe qui recalcule et compare.
program sur les reads produit exactement les writes. Pas de disque, pas d'historique.reads déclarés correspondent-ils encore à l'état lorsque le certificat arrive à son tour dans le bloc ?Deux verbes, deux étapes
Toute la conception consiste à séparer ces deux questions — et à répondre à chacune à l'endroit le moins coûteux.
Est-elle valide ?
On y répond en regardant le certificat seul. Des milliers à la fois, sur n'importe quelle machine.
- Les signatures canoniques sont correctes
- La ré-exécution correspond aux écritures
- Les preuves d'intervalle se referment (rail blindé)
- Invalide : n'entre jamais dans le bloc
Est-elle applicable ?
On y répond à la position du certificat dans le bloc, en comparant les octets à la table d'état.
- Les lectures correspondent toujours → les écritures sont validées
- Lectures périmées → omission, brûle les frais du garant
- Cellule déjà dépensée → omission
- Le bloc reste valide dans tous les cas
Le parcours, de la naissance au registre
Construction entre serveurs
Le portefeuille ouvre la requête. Chaque contrat très sollicité a son propre séquenceur — un serveur d'application ordinaire — qui garde une copie de l'état, sérialise qui bouge en premier, et enchaîne chaque certificat sur les écritures du précédent. Une transaction qui touche deux contrats est co-construite par les deux séquenceurs et atteint la chaîne sous la forme d'un unique certificat atomique.
Le garant signe
Un garant disposant de fonds cautionnés vérifie contre un état frais, co-signe et prend à sa charge le risque d'omission. Il facture l'expéditeur hors bande et vend, de fait, une pré-confirmation. Quiconque ne veut pas d'intermédiaire se porte garant de lui-même avec son propre dépôt — possibilité toujours ouverte, sans demander d'autorisation.
Le réseau reçoit et vérifie en parallèle
Chaque nœud vérifie la validité à partir des octets avant de relayer. Avec l'échantillonnage, un comité tiré par VRF vérifie chaque certificat ; tout nœud peut vérifier n'importe quoi, et un seul message suffit à punir un garant qui a attesté de n'importe quoi.
Le proposeur ordonne
Un comité PoS choisit les certificats valides et assemble le bloc. Il n'exécute rien et ne détient aucun état applicatif. Il ne retient que les identifiants vus dans la fenêtre du TTL. Les certificats de la file forcée doivent être inclus dans les F blocs.
Fold séquentiel
Ordonne par (underwriter, seq, id) — le proposeur ne choisit pas l'ordre. Pour chaque certificat : les lectures correspondent-elles à l'état ? Des points de contrôle finalisent tous les 32 blocs.
Qui fait quoi
Aucun rôle n'est nécessaire à la sécurité du réseau. S'ils disparaissent tous, la file forcée maintient le système en vie.
Portefeuille
- Fait
- Construit le certificat, déclare les lectures et les écritures, signe
- Voit
- L'état public qu'il a besoin de lire
- Fait confiance à
- Personne
Séquenceur
- Fait
- Sérialise hors chaîne un contrat très sollicité, regroupe des lots en un seul certificat
- Objet de confiance pour
- La vivacité seulement. S'il ment, le certificat est omis et la caution paie
- Capture
- La MEV de sa propre application, explicitement
Garant
- Fait
- Co-signe et prend à sa charge le risque d'omission avec une caution
- Voit
- Les cellules vivantes ou dépensées — jamais la valeur cachée
- Perd
- Uniquement pour une faute prouvable dans les octets (équivocation)
Nœud vérificateur
- Fait
- Vérifie la validité à partir des octets, relaie, se synchronise
- A besoin de
- Cœurs. L'état seulement s'il compte valider
- Coût
- Diminue à mesure que le réseau grandit, parce qu'il vérifie une tranche
Proposeur (PoS)
- Fait
- Ordonne les certificats valides, exécute le fold, propose le bloc
- Voit
- Des octets, pas du sens
- Gagne
- Subvention + frais de priorité des certificats appliqués
File forcée
- Fait
- Une sortie sans permission : dépôt, inclusion dans les F blocs, application garantie
- Coût
- Latence et confidentialité
- Garantit
- Aucun opérateur n'est une prison
La confidentialité sans toucher au chemin séquentiel
Des transactions confidentielles avec une adresse jetable, sur un graphe public. Cela cache la valeur. Cela diffère le lien vers le destinataire. Ce n'est pas Monero, et l'article le dit.
Ce qui reste public
- Qu'un paiement a eu lieu, et qui s'en est porté garant
- Quelle sortie a été dépensée, au moment de la dépense
- Chaque passage entre le rail public et le rail blindé, avec la valeur à découvert
- Les frais, le coinbase, les paiements aux contrats
Le pool blindé est une clôture, pas une alarme
Le fold ne fait jamais d'arithmétique sur courbe. Il stocke 32 octets d'engagement et compare l'égalité. Toute la cryptographie lourde — preuves d'intervalle, équation d'équilibre — est vérifiée à l'étape parallèle et payée sur le marché bon marché.
Le compromis que l'article admet
Confidentialité et résistance à la censure ne coexistent pas dans le même certificat. Le mode privé (co-signé) a un opérateur qui peut vous refuser. Le mode sans permission (auto-garanti ou forcé) révèle votre portefeuille de dépôt. Quiconque est refusé par tous les garants conserve le droit de dépenser et perd sa confidentialité dans le même geste.
Pourquoi pas de signatures de cercle
Un cercle référence les sorties d'autres personnes — cela fait de la validité une fonction de l'historique, et tue la vérification sans état. Zycord ne renonce pas à cette propriété, sa confidentialité est donc plus faible que celle de Monero par décision, non par négligence.
Le réseau : deux marchés de gas
Une chaîne qui facture tout dans une enchère unique met la vérification d'une preuve en concurrence avec une écriture d'état. Ici, chaque ressource a son propre prix.
Gas parallèle
Paie la vérification : signatures, ré-exécution, octets, preuves lourdes, schémas post-quantiques.
Gas séquentiel
Paie le fold : la vérification des lectures, des écritures, des baux. L'unique boucle que chaque nœud exécute dans l'ordre.
Les frais d'omission sont brûlés, jamais versés
Si un certificat omis payait le proposeur, celui qui assemble le bloc aurait intérêt à fabriquer des conflits. Brûler inverse l'incitation : une omission prend de la place et ne rapporte rien, donc maximiser le revenu revient à maximiser l'application.
Le réseau vu d'en haut
Quatre couches qui ne se recouvrent pas : qui sérialise, qui se porte garant, qui vérifie, qui ordonne. Chacune passe à l'échelle avec une ressource différente.
Séquenceurs par application
Du web2 ordinaire : websockets, files d'attente, mise à l'échelle automatique. Ils sérialisent les contrats très sollicités et regroupent les lots dans la forme que les GPU vérifient bien. Ils ne conservent jamais les données — l'état est toujours reconstructible à partir de la seule chaîne.
Marché des garants
Des garants cautionnés vendent de la pré-confirmation : “appliqué en quelques secondes ou ma caution paie”. L'équivocation est punie par une preuve dans les octets ; la lenteur ne coûte que de la réputation. La latence ne devient jamais une confiscation.
Comités de vérification
Tirés par VRF pour chaque certificat, dimensionnés pour qu'un certificat invalide qui passe soit négligeable. Tout nœud complet peut auditer n'importe quoi. Un seul message suffit à punir.
Comité PoS + fold
Propose les blocs, exécute le fold, finalise les points de contrôle. La file forcée impose l'inclusion dans les F blocs et garantit l'application — le mécanisme qui fait survivre le réseau à tout opérateur, y compris l'auteur.