Papiers
Le protocole Rand est décrit sur papier. Six articles sont à jour : l'article du protocole dans sa troisième version, l'article d'implémentation de référence rédigé d'après le nœud que fait tourner le réseau de test, le rapport sur le pont, l'article zUSD sur le dollar protégé, l'analyse de sécurité autonome et la synthèse pour les investisseurs. Chaque PDF est la source de référence : téléchargez-le, citez-le, auditez-le. Lorsque la conception a des limites, les articles les énoncent au lieu de les omettre.
- Livre blancSTARKProof of Stake · BFTEVMPost-quantique
Rand Protocol
Calculs arbitraires confidentiels
Version 3 · août 2026, mise à jour en septembre 2026 · 73 pages
Nous présentons Rand, une blockchain en preuve d'enjeu dont le consensus tolérant aux pannes byzantines (BFT) donne une finalité déterministe rapide et dont chaque transaction est une preuve à divulgation nulle de connaissance. Le poids dans le consensus provient du seul enjeu immobilisé : aucun calcul ne confère de pouvoir de vote, ne choisit un leader ni ne tranche une bifurcation. Ce que la chaîne contient en revanche, c'est une grande quantité de preuves produites à côté du consensus : chaque portefeuille produit une STARK pour sa propre transaction et, une fois l'agrégation de preuves au niveau du bloc activée, des agrégateurs bonded gagnent des RAND en prouvant des STARK récursives sur les preuves des utilisateurs. Les validateurs perçoivent les frais des blocs qu'ils proposent ; la sémantique des contrats intelligents est celle de l'Ethereum Virtual Machine (EVM). Le papier explique le schéma à divulgation nulle de connaissance lui-même : comment un calcul devient une table, la table un ensemble de polynômes, et les polynômes une preuve d'environ 1,4 Mo par transfert que tout validateur vérifie en quelques millisecondes. Rand est une chaîne de contrats intelligents généraliste qui ne comporte aucun type de transaction transparente : tout calcul, qu'il s'agisse d'un transfert de jeton ou d'un appel de contrat arbitraire, s'exécute de manière confidentielle par construction. Les utilisateurs détiennent des RAND protégés, paient le gas avec eux et exécutent du code arbitraire dont les entrées, les opérandes et l'état intermédiaire n'apparaissent jamais on-chain, tandis que les validateurs vérifient une seule STARK attestant que l'exécution était correcte. L'EVM fournit la sémantique par rapport à laquelle l'exécution est prouvée, sous la forme d'un interpréteur invité dans le circuit, de sorte que le bytecode Solidity existant s'exécute sans modification ; ce n'est pas un chemin d'exécution transparent à côté du chemin protégé.
Cette révision propose également, comme piste de recherche non implémentée, l'attribution vérifiable des prouveurs (Verifiable Prover Attribution, VPA). La chaîne en production ne l'utilise pas : ses portefeuilles prouvent leurs propres transactions, son leader est choisi à tour de rôle, son mempool n'est pas chiffré, et son seul rôle de preuve avec enjeu immobilisé est le registre des agrégateurs, où le premier agrégat finalisé couvrant un lot est rémunéré ; la Partie II s'ouvre sur cet état des lieux, et ses théorèmes sont des énoncés sur la proposition, non sur le système déployé. Le draft initial prouvait que le circuit d'une transaction privée était satisfait, mais ne disait rien de la manière dont les preuves sont attribuées aux prouveurs, de l'ordre dans lequel un prouveur prouve un lot, ni de la façon dont un vérificateur apprend que l'entité qui soumet une preuve est celle qui l'a calculée dans les conditions que le protocole incite à respecter. Une STARK certifie que le circuit a été satisfait ; elle ne certifie pas les conditions dans lesquelles il l'a été. Nous montrons que cet écart ouvre trois surfaces d'attaque concrètes — la collusion prouveur–validateur, le MEV côté prouveur et le travail Sybil ou sans responsabilité — nous formalisons chacune d'elles et proposons de les refermer par une balise d'attribution recalculable, un ordre canonique associé à un mempool scellé (chiffré par seuil) et une attestation post-quantique porteuse de preuve. Nous reformulons en conséquence l'affirmation du draft selon laquelle « les transactions privées éliminent le front-running » sous la forme d'un théorème conditionnel — dont la chaîne en production ne remplit pas les conditions, de sorte que sur cette chaîne le contenu est masqué mais l'ordre n'est pas protégé.
Nous réconcilions en outre trois incohérences internes de l'analyse de sécurité initiale : (i) la contradiction entre une robustesse quantique aux collisions d'environ 85 bits (borne BHT) et l'affirmation de 128 bits post-quantiques des tableaux de résumé et de paramètres, corrigée dans la conception par un hachage de transcription de 384 bits et un théorème explicite de séparation des sécurités par primitive (l'implémentation utilise encore un hachage de transcription de 256 bits, soit ≈85 bits quantiques) ; (ii) la VRF de sélection du leader, non spécifiée et brisée par Shor si elle est instanciée sur une courbe elliptique, pour laquelle nous spécifions une balise post-quantique d'engagement–révélation avec une sélection cryptographique fondée sur le hachage (non implémentée : la chaîne en production fait tourner les leaders à tour de rôle et n'a aucune VRF) ; et (iii) le corps Goldilocks, insuffisamment spécifié, pour lequel nous imposons une extension de degré k et relions la robustesse de FRI au nombre de requêtes et au budget de grinding. Cette révision fait aussi migrer la couche d'exécution de la Solana Virtual Machine vers l'Ethereum Virtual Machine (EVM), ce qui place les actifs ERC-20 et les contrats Solidity sous le modèle de transaction protégée, et introduit le règlement du gas par lots : comme des frais de gas par transaction en RAND protégés constituent eux-mêmes une empreinte désanonymisante de l'appel EVM (et donc du contrat ERC-20 touché), le gas est engagé dans des paliers de quantification publics à l'intérieur du circuit et prélevé en une seule charge agrégée par lot, de sorte que l'empreinte on-chain est un total par lot plutôt qu'un prélèvement par compte et par appel. Enfin, nous donnons une feuille de route de migration en crypto-agilité qui part de SNARK, passe à des STARK transparentes, puis se durcit jusqu'à une sécurité post-quantique complète sur un calendrier d'environ 18 mois (environ 14 mois sur le chemin critique parallélisé), chaque transition étant conditionnée de sorte qu'elle soit un changement de paramètre plutôt qu'une bifurcation du consensus.
Cette révision d'août 2026 étend le modèle protégé des transferts de valeur au calcul arbitraire confidentiel : nous généralisons la relation de transfert en une relation d'exécution universelle sur une machine virtuelle prouvée par STARK, spécifions des topologies de preuve GPU locales et déléguées avec leur frontière exacte de confidentialité, et situons la conception par rapport au paysage actuel des systèmes de preuve (Groth16, PLONK, Halo2, HyperPlonk, STARK à base de FRI), des zkVM généralistes (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), des rollups zkEVM et des chaînes de confidentialité (Aztec, Aleo, Miden, Zcash), dont les écueils en matière de paiement du gas et de délégation de la preuve motivent directement les conceptions de gas protégé et de VPA de RAND. Nous analysons le marché des prouveurs qu'implique la couche d'incitation, en montrant que le coût par preuve est fixé par le taux d'utilisation plutôt que par l'énergie, et que la demande de preuve d'un réseau saturé est couverte par quelques dizaines de GPU — de sorte que la décentralisation des prouveurs doit être justifiée par la vivacité et la confidentialité plutôt que par un budget de sécurité, puisque la robustesse ne dépend pas de l'ensemble des prouveurs. Enfin, nous précisons comment un collatéral exogène en dollars — USDT et USDC — est importé sur Rand sous forme de z-actifs protégés par un pont de verrouillage et d'émission attesté, ce qui donne au pool protégé une unité de compte stable sans exiger des émetteurs un déploiement natif — une dépendance commerciale qui ferait sinon dépendre l'offre de paiement du protocole de la feuille de route d'un tiers. Nous isolons la propriété qui rend un tel pont robuste et qui est la plus facile à omettre : un quorum de gardiens atteste qu'un message a été publié sur une chaîne surveillée, non que le pont en est l'auteur ; sur une couche de messages sans permission, la validité d'une signature n'implique donc pas l'autorisation, et la liaison à l'émetteur est déterminante. Nous prouvons une borne de robustesse de la garde qui plafonne la perte à la garde par chaîne indépendamment de l'hypothèse sur les gardiens, montrons que l'offre de z-actifs protégés reste publiquement vérifiable par rapport à cette garde sans ouvrir aucune note, et identifions le pont comme la frontière post-quantique du système : les signatures secp256k1 des gardiens sont brisées par Shor, de sorte que le chemin de libération reste sûr uniquement face à un adversaire classique tant que les chaînes sources n'ont pas livré de précompilés post-quantiques, quel que soit le durcissement du côté Rand.
Résultats principaux- Thm 5.3 — Fuite de confidentialité du paiement du gas
- Thm 7.9 — Confidentialité du gas par lots
- Thm 10.6 — L'attestation n'implique pas l'autorisation
- Thm 10.14 — Robustesse de la garde
- Thm 10.19 — Le pont est la frontière post-quantique
- Thm 13.2 — Écart d'attribution
- Thm 15.4 — Le front-running, corrigé et conditionnel
- Thm 15.9 — Solidité de VPA
- Thm 18.1 — Séparation de la sécurité quantique par primitive
- Thm 19.2 — Solidité de FRI, paramétrique
Le brouillon 3 remplace les brouillons 1 et 2Le brouillon 1 (décembre 2025) et le brouillon 2 (la révision VPA de mai 2026) sont retirés. Trois erreurs de l'analyse précédente sont corrigées plutôt qu'estompées : l'affirmation de 128 bits de sécurité post-quantique contredisait la borne quantique de collision de 85 bits d'un hachage de 256 bits ; la VRF de sélection du leader aurait été brisée par Shor sur une courbe elliptique ; et le Goldilocks simple ne peut pas porter la solidité FRI annoncée. La couche d'exécution passe de la SVM à l'EVM et le double jeton se réduit à RAND seul. Les mises à jour de septembre 2026 rapprochent la conception du nœud complet de référence jusqu'à la chaîne 15 : Rand est présenté sans détour comme une preuve d'enjeu (proof of stake), le schéma à divulgation nulle de connaissance est détaillé, et VPA est signalé comme une proposition que la chaîne en service n'utilise pas.
- ImplémentationzkVM · RISC-VHotStuffChaîne 15Testnet
Rand Protocol — Implémentation de référence
Un registre blindé et une machine virtuelle vérifiée par STARK, tels que déployés
Version d'implémentation 3 · septembre 2026 · 46 pages
Dans la finance conventionnelle, les systèmes de règlement sont confidentiels par défaut : les soldes des comptes et les relevés de transferts sont visibles du titulaire du compte, de l'établissement et, sur décision judiciaire, d'un régulateur, et de personne d'autre. Les blockchains publiques inversent cette propriété. Sur Ethereum et Solana, l'état global et la file des transactions en attente sont observables par tous les participants, ce qui expose le flux d'ordres institutionnel à un front-running systématique et divulgue les contreparties et les montants de chaque transfert de stablecoins. Aucun protocole en production ne combine aujourd'hui la confidentialité d'un registre bancaire avec le règlement déterministe, la vérification transparente et la sécurité post-quantique d'une chaîne publique.
Cet article présente Randprotocol, une blockchain de couche 1 conçue pour combler cet écart, telle qu'elle est implémentée dans son nœud complet de référence. L'actif natif, RAND, n'existe que sous forme de notes dans un pool entièrement blindé : un arbre d'engagements Poseidon2 de profondeur 32 et un ensemble de nullifiers remplacent les comptes, et chaque transfert est un lot à deux entrées et deux sorties, de taille fixe, dont la validité est établie par une preuve STARK transparente, fondée sur le hachage, de l'exécution d'un unique programme invité RISC-V figé. Le même système de preuve prend en charge le calcul arbitraire confidentiel : des programmes RV32IM sont déployés par leur hachage de contenu et invoqués avec une preuve d'exécution en lieu et place de leurs entrées, et la chaîne enregistre huit mots de sortie publics. Le consensus est un HotStuff chaîné, avec des quorums pondérés par la mise, une règle de validation à trois vues consécutives et des ensembles de validateurs dérivés par époque à partir d'un registre public ; la mise est liée depuis le pool et retirée vers lui. Un pont attesté par des gardiens dépose sous forme de notes des actifs provenant de quatre chaînes externes. Les signatures des validateurs sont CRYSTALS-Dilithium2 et les enveloppes de notes utilisent ML-KEM-768 avec ChaCha20-Poly1305.
Nous décrivons l'implémentation composant par composant, puis développons son analyse formelle au regard des paramètres déployés : les relations de lot et d'appel prouvées par la machine virtuelle à divulgation nulle de connaissance à neuf tables, y compris la construction de l'accumulateur de souillure (taint) qui tient lieu d'assertion dans le circuit ; les arguments de bus de consultation (lookup) liant l'empreinte du programme et l'engagement salé des entrées ; la solidité FRI du profil de production (80 requêtes, 20 bits de grinding, facteur d'expansion 8, extension de degré 2 du corps Goldilocks), énoncée à la fois sous la borne prouvée des écarts de proximité et sous la conjecture ethSTARK ; les identités d'équilibre des valeurs et d'audit de l'offre du pool ; et la sûreté et la vivacité des règles de consensus sensibles aux époques.
L'analyse identifie les propriétés que l'implémentation ne fournit pas encore. Les frais, les poids de mise, les montants des dépôts à la frontière du pool et les identités des programmes sont publics ; le portefeuille actuel divulgue au nœud interrogé la feuille qu'il compte dépenser ; une preuve à 80 requêtes occupe environ 1,3 Mo (1,43 Mo pour le lot à quatre emplacements à partir de la chaîne 14), ce qui limite un bloc de 4 MiB à trois transferts blindés (deux à partir de la chaîne 14 ; la chaîne 15 porte le bloc à 20 MiB) ; l'agrégation des preuves au niveau du bloc, le slashing et les programmes invités EVM et SVM étaient en suspens à la révision de base (les programmes invités ont depuis été intégrés, bien que les appels EVM soient inadmissibles sous le plafond d'appels du palier 14, et trois cycles d'audit menés par les fondateurs ont depuis été clos ; aucun audit indépendant n'a été réalisé) ; et le prouveur GPU n'a pas été exécuté sur du matériel. Le logiciel est déployé sur un réseau de test de 26 validateurs (chaîne 17 depuis le 2026-09-29, chaque validateur étant exploité par l'équipe fondatrice) et ne convient pas à un usage portant sur de la valeur réelle.
Résultats principaux- Thm 5.8 — Solidité de la connaissance, conditionnelle
- Thm 5.11 — Connaissance nulle statistique
- Thm 5.12 — Solidité de FRI telle qu'instanciée
- Thm 5.14 — Sécurité par primitive du système déployé
- Thm 5.17 — Équilibre des valeurs du pool
- Thm 5.22 — Sûreté
- Thm 5.24 — Vivacité après GST
- Thm 5.28 — Le pont n'est pas post-quantique
Rédigé sur la base de fullnode 26ab1d4, avec des addenda jusqu'à 8e64781Chaque énoncé relatif au système se rapporte au nœud de référence au commit 26ab1d4 (branche main, 2026-09-16) : le pool blindé, le staking, le pont sous forme de notes et d'enveloppes d'appel, l'ensemble de contraintes 6 de la zkVM, la VM de récursion et l'agrégation au niveau du bloc, fusionnée mais conditionnée au genesis. Deux passes ultérieures sont consignées sous forme d'addenda signalés là où le nœud a évolué : 2026-09-24 (d050259, v0.5–v0.5.5, chaîne 14 — le lot à quatre emplacements d'actifs masqués, le registre des jetons, le pont renforcé) et 2026-09-27 (8e64781, v0.5.6–v0.5.8, chaîne 15 — l'épinglage de l'en-tête d'appel et le plafond de palier, les constantes Poseidon2 figées, la liaison d'agrégat).
- PontVerrouillage et émissionECDSA · Dilithium2Quatre chaînes
Le pont Rand
Verrouillage et émission attestés vers un pool blindé, avec cosignatures post-quantiques
Rapport technique, brouillon 1 · septembre 2026 · 13 pages
Rand est une blockchain confidentielle dont la valeur existe sous forme d'engagements dans un pool blindé plutôt que de soldes transparents. Son usage pour les paiements requiert un actif stable, et aucun émetteur n'en déploie nativement sur une chaîne sans volume. Le pont Rand importe l'USDT et l'USDC depuis Ethereum, BNB Smart Chain, Tron et Solana sous la forme d'un unique dollar blindé, zUSD, adossé un pour un à la garde sur ces chaînes. Ce rapport spécifie le pont tel qu'il est construit : le message de transfert de 184 octets et ses deux couches de signature — un quorum de gardiens secp256k1 pour chaque message et un quorum de cosignatures Dilithium2 pour chaque émission vers Rand, tous deux de six sur huit aujourd'hui ; le chemin de dépôt qui aboutit à une note que la chaîne dérive elle-même du montant attesté ; le chemin de retrait dans lequel une destruction est liée à sa preuve et libérée au regard de compteurs de garde par chaîne ; la surface de gouvernance (rotation des gardiens avec une fenêtre de grâce d'un jour, inscription explicite, une pause à sens unique que seul un quorum post-quantique peut lever) ; et les règles d'horloge qu'une chaîne pontée impose à son propre consensus.
Nous énonçons et démontrons les propriétés qu'apporte la construction — infalsifiabilité par quorum, nécessité de la liaison à l'émetteur, solidité de la garde, auditabilité de l'offre, et borne post-quantique asymétrique selon laquelle un adversaire capable d'exécuter Shor peut forger des libérations mais pas des émissions — et nous énonçons avec le même soin ce qu'elle ne fournit pas : les gardiens ne sont ni liés par une mise ni passibles de slashing, et bien que six des huit clés tournent désormais sur des hôtes distincts, un seul compte d'hébergement et une seule clé d'opérateur donnent encore accès à toutes. Les adresses de déploiement, les tailles de message, les coûts en gaz et les résultats des tours en conditions réelles sont rapportés.
Résultats principaux- Prop 5.1 — Aucune redirection
- Thm 5.2 — Solidité de la garde
- Thm 8.1 — Infalsifiabilité par quorum
- Thm 8.3 — Attestation n'est pas autorisation
- Thm 8.4 — Auditabilité de l'offre pontée
- Thm 8.5 — L'asymétrie post-quantique
Complément à la section sur le pont du document de protocoleSpécifie le pont tel qu'il est déployé, dans la même notation que la section interchaîne du document de protocole et de façon cohérente avec elle : le guardian set 1 (six sur huit, secp256k1) a remplacé l'ensemble initial de cinq sur six le 2026-09-25, et l'ensemble Dilithium2 est passé de six à huit clés à la genèse de la chaîne 15 le 2026-09-26.
- Stablecoin protégéRéserve intégraleMultichaîne · Multi-émetteurChaîne 15
zUSD — Un dollar protégé à réserve intégrale sur Rand
Transferts confidentiels de stablecoins sans risque de dépeg, adossés à une réserve verrouillée multichaîne et multi-émetteur
Septembre 2026 · remplace zUSDT (déc. 2025, rév. août 2026) · 11 pages
zUSD est intégralement réservé : chaque unité est adossée un pour un à un stablecoin en dollars détenu dans un contrat de conservation sur la chaîne où ce stablecoin est émis nativement — USDT et USDC sur Ethereum, BNB Smart Chain et Solana, et USDT sur Tron, soit sept adossements au total — et est remboursable à vue contre n'importe lequel d'entre eux. Ce n'est délibérément ni un stablecoin algorithmique ni un stablecoin à réserve fractionnaire : il ne dépend donc pas, par réflexivité, du prix d'un actif volatil et n'offre aucune surface à une spirale de la mort du type de celle qui a détruit l'UST de Terra. Le jeton vit sur Rand, un registre protégé (shielded) : il est donc une note protégée dès sa création. Chaque branche est attestée ; la garantie sur chaque unité est donc min(solvabilité de la réserve, intégrité du seuil des guardians), sous un double seuil de six signatures ECDSA sur huit et de six co-signatures Dilithium2 sur huit.
L'invariant de réserve S = Σ_b L_b est vérifié avec égalité et imposé par construction dans une seule fonction du registre. Le document énonce, pour chaque adossement, ce qui est garanti, y compris le risque nouveau que crée la mise en commun de deux émetteurs, et présente les mécanismes de limitation des pertes que porte le déploiement : un plafond de mint glissant sur 24 heures par adossement et un plafond global, une clé de pause qui ne peut que suspendre, une borne supérieure sur l'horodatage des blocs, et des plafonds de libération sur les contrats de conservation. Il dit explicitement ce qui n'existe pas encore : des opérateurs de guardians indépendants, un administrateur multisignature à délai (timelock) sur chaque contrat de conservation, et une preuve de réserves vérifiable sans l'explorateur du projet lui-même.
Résultats principaux- Thm 2.6 — Préservation de l'invariant
- Cor 2.7 — Remboursabilité
- Prop 2.8 — Dégradation de la réserve intégrale par le pont
- Cor 2.9 — Garanties par adossement
- Prop 4.1 — Vérifiabilité publique sous protection
Septembre 2026 — remplace zUSDTDécrit la conception telle que déployée sur la chaîne 15 de Rand et s'écarte de zUSDT sur trois points que le code incarne désormais : le jeton vit sur Rand et non sur Solana, il n'existe donc pas de forme transparente à protéger ; la réserve couvre deux émetteurs en plus de plusieurs chaînes, et un détenteur peut se faire rembourser sur n'importe quel adossement ; et chaque branche est attestée, sous un double seuil de six sur huit de co-signatures ECDSA et Dilithium2. La proposition 2.8 est reproduite sans modification parce qu'elle demeure exacte, et le corollaire 2.9 consigne le risque nouveau que crée la mise en commun de deux émetteurs.
- Analyse de sécuritéPost-quantiqueTaxonomie des attaques
Analyse de sécurité du protocole Rand
Fondations cryptographiques post-quantiques, résistance aux attaques et garanties de sécurité formelles
Décembre 2025, mis en cohérence en septembre 2026 · 13 pages
Analyse de sécurité du protocole Rand, avec preuves formelles sous des modèles d'adversaire classique et quantique, couvrant le consensus BFT pondéré par la mise (Rand est une chaîne à preuve d'enjeu : aucun calcul ne confère de poids dans le consensus), le système de confidentialité fondé sur STARK, ainsi que les primitives post-quantiques CRYSTALS-Dilithium et Kyber. Elle examine la résistance aux attaques à 51 %, aux attaques à longue portée, au nothing-at-stake, au grinding, aux attaques par éclipse et Sybil, au front-running, aux attaques par canaux temporels et aux adversaires quantiques, avec pour chacune des bornes formelles et des paramètres concrets.
Sous les hypothèses usuelles de difficulté sur les réseaux euclidiens et avec une attribution des tailles de condensat selon le rôle — 384 bits là où une collision brise la solidité, 256 bits là où seule la résistance à la préimage est requise —, chaque primitive atteint au moins 128 bits de sécurité post-quantique ; sans cette attribution, la même construction n'en atteint que 85. Le plancher du système est la solidité de FRI : au moins 100 bits sous la conjecture ethSTARK et 86 bits sous la borne prouvée des écarts de proximité, ajustable à 100 bits prouvés avec 97 requêtes et à 128 avec une extension de degré 3. Là où l'implémentation de référence s'écarte de la conception — un hachage de transcription de 256 bits, aucune pénalisation (slashing) des validateurs, des leaders en tourniquet, un mempool en clair —, chaque résultat le signale.
Résultats principaux- Thm 2.3 — Résistance quantique aux collisions
- Thm 3.5 — Sécurité quantique de STARK
- Thm 3.6 — Sécurité post-quantique globale
- Thm 4.4 — Sûreté de HotStuff
- Thm 5.3 — Non-chaînabilité des nullifiers
- Thm 6.8 — Atténuation du front-running, sous conditions
- Thm 7.1 — Seuil de sécurité économique
Subordonné à la partie III du document de protocoleDocument compagnon autonome de la partie sécurité du document de protocole, qui est le traitement canonique mis en cohérence et l'emporte en cas de désaccord. L'analyse de décembre 2025 comportait les trois erreurs que corrige le Draft 3 ; elle a depuis été mise en cohérence avec le Draft 3 et avec la chaîne en fonctionnement.
- Synthèse investisseursTour d'amorçageSAFTOctobre 2026
Rand Protocol : synthèse pour les investisseurs
Un règlement privé et programmable avec des preuves fondées sur des fonctions de hachage
Octobre 2026 · 6 pages
Les blockchains publiques publient ce que les entreprises doivent protéger : qui a payé qui, combien, et chaque ordre avant son exécution ; c'est pourquoi les plus grands bassins de capitaux restent en dehors. Rand est une chaîne de couche 1 sur laquelle chaque paiement est une note protégée (shielded) et chaque transaction une preuve à divulgation nulle de connaissance : le réseau vérifie que la règle a été exécutée sans voir les entrées, et une clé de visualisation permet à un auditeur de lire ce que les concurrents ne peuvent pas lire. Des programmes en Rust ou en C s'exécutent sur une zkVM RISC-V prouvée par un STARK fondé sur des fonctions de hachage, sans configuration de confiance (trusted setup), et les dollars arrivent de quatre chaînes sous la forme d'un seul dollar protégé, zUSD.
La synthèse expose le problème, le produit et ses coûts mesurés, les cas d'usage classés par maturité, le marché avec des estimations publiées, la comparaison avec Aleo, Railgun, Quantus et d'autres, une année de recherche et la reconstruction en trois semaines jusqu'à un réseau de test en service, les prix du jeton et des tours, le tour d'amorçage (des SAFT portant sur 110 millions de RAND, soit 11 % d'une offre maximale d'un milliard, à 0,03 $), l'équipe et les risques. Ne constitue pas une offre de titre ou de jeton, quel qu'il soit.
Résultats principaux- Chaîne 20 · v0.6.8
- Amorçage : 0,03 $ le RAND, 30 M$ de FDV
- SAFT sur une offre maximale de 1 Md
- 28 versions, 7 chaînes de test
Fichiers sources
Les cinq documents sont rédigés en LaTeX et se compilent avec tectonic. La source de zUSD est publique : elle est liée depuis son entrée ci-dessus, de sorte que chaque énoncé peut être vérifié par rapport au fichier dont il provient, à côté de la source de zUSDT, qu'elle remplace, dans le même dépôt. Les sources des quatre autres documents ne sont pas encore publiées ; les PDF ci-dessus en sont la forme canonique jusqu'à ce qu'elles le soient. Tout le reste de ce qui est public — le nœud, les portefeuilles, l'explorateur — se trouve dans l'organisation GitHub.