Documentation Zycord

Tout ce qui a été publié sur Zycord, dans l'ordre de lecture — l'argument de conception, la spécification d'ingénierie, et les guides d'exploitation pour le faire réellement tourner.

Zycord est un réseau, miné sous preuve de travail jusqu'à ce que l'ère 2 le fasse passer à la preuve d'enjeu, dans lequel chaque transaction — appelée certificat — porte l'état qu'elle a lu et l'état qu'elle a écrit. La vérifier est donc une fonction pure de ses octets : ni disque, ni historique, ni état partagé, et aucune borne au nombre de machines qui la contrôlent à la fois. La chaîne n'exécute jamais rien. Elle ordonne les certificats et les valide au moyen d'un fold déterministe qui applique chaque certificat dont les entrées déclarées tiennent encore, et omet les autres, en imputant chaque omission au dépôt que le certificat a nommé. Un contrat à l'état chaud est servi par un séquenceur, qui exécute hors chaîne les intents signés des utilisateurs et publie les résultats sous forme de certificats ; un chemin forcé permet à tout utilisateur d'atteindre n'importe quel contrat sans séquenceur.

Ces pages sont la documentation de ce système : l'argument de conception, la spécification d'ingénierie, et les guides opérationnels pour le faire tourner. Elles sont écrites à partir des mêmes sources que celles dont l'implémentation de référence est construite, et là où l'une d'elles contredit le dépôt, c'est le dépôt qui a raison.

Pour commencer#

Le faire tourner#

Référence#

Le chemin utile le plus court#

Si vous voulez être sur le réseau aujourd'hui plutôt que lire à son sujet, voici tout ce qu'il faut. L'exemple rejoint le testnet public, qui fait tourner la même version que le mainnet sous son propre fichier de paramètres et son propre identifiant de chaîne ; sans --testnet, et avec un répertoire qui lui est propre, la même commande rejoint le mainnet.

# Build the binary that can join a RandomX network.
# `make build` produces a devnet-only binary -- see Installation, "Two tiers".
make build-randomx

# A payout address. The node never sees the key behind it.
./bin/zcd-randomx wallet new --out miner.json

# Join, and mine to yourself. Coins come from mining; on testnet there is
# also a faucet at zycord.com/faucet/ for a first, small balance.
./bin/zycordd-randomx --testnet --dir ./testnet \
  --mine --payout $(./bin/zcd-randomx wallet address --key miner.json)

Démarrez-le quand vous voulez, y compris avant l'heure du premier bloc d'un réseau : le nœud refuse de construire un bloc que sa propre horloge n'a pas atteint, dit combien de temps dure l'attente, et se met à miner de lui-même. Il n'y a rien à programmer ni à redémarrer. La version complète de ceci est Testnet public, et ce qu'il en coûte de le faire tourner est sous Minage.

Ce qui fait autorité, et ce qui n'est qu'explication#

Cela compte davantage ici que dans la plupart des projets, car le réseau n'a pas de clé d'administration et donc aucun moyen de corriger une erreur après coup. Les documents sont hiérarchisés, et la hiérarchie n'est pas une formalité :

Là où deux d'entre eux divergent, le plus précis l'emporte et la divergence est un bogue qui mérite d'être signalé. Aucun nombre écrit à la main dans les couches explicatives n'est une source de vérité ; il est engendré depuis le code, affirmé par un test nommé, ou une illustration que rien d'autre ne peut citer.

Vérifiez par vous-même#

Pour un projet dont l'auteur ne se portera pas garant en personne, rien ici ne vaut plus que ce que vous pouvez vérifier sans rien demander. Le protocole est un répertoire de fichiers : les fichiers de paramètres figés à la genèse, et des vecteurs de référence qui donnent à chaque règle de fold, de bloc et de validité son propre cas. Une implémentation qui les passe est un pair, pas un fork.