Artículos
El Rand Protocol está descrito por escrito. Seis documentos están vigentes: el documento del protocolo en su tercer borrador, el documento de la implementación de referencia, redactado sobre el nodo que ejecuta la red de pruebas, el informe del puente, el documento de zUSD sobre el dólar protegido, el análisis de seguridad independiente y el resumen para inversores. Cada PDF es la fuente canónica: descárguelo, cítelo, audítelo. Donde el diseño tiene límites, los documentos los exponen en lugar de omitirlos.
- Libro blancoSTARKProof of Stake · BFTEVMPoscuántico
Rand Protocol
Cómputo arbitrario confidencial
Borrador 3 · agosto de 2026, actualizado en septiembre de 2026 · 73 páginas
Presentamos Rand, una blockchain de prueba de participación (proof-of-stake) cuyo consenso tolerante a fallas bizantinas (BFT) ofrece una finalidad determinista rápida y en la que cada transacción es una prueba de conocimiento cero. El peso en el consenso proviene únicamente del stake comprometido: ningún cómputo confiere poder de voto, elige a un líder ni decide una bifurcación. Lo que la cadena sí contiene es una gran cantidad de pruebas generadas junto al consenso: cada wallet produce un STARK para su propia transacción y, una vez habilitada la agregación de pruebas a nivel de bloque, los agregadores con stake comprometido ganan RAND al generar STARK recursivos sobre las pruebas de los usuarios. Los validadores perciben las comisiones de los bloques que proponen; la semántica de los contratos inteligentes es la de la Máquina Virtual de Ethereum (EVM). El artículo explica el propio esquema de conocimiento cero: cómo un cómputo se convierte en una tabla, la tabla en un conjunto de polinomios y los polinomios en una prueba de unos 1,4 MB por transferencia que cualquier validador verifica en milisegundos. Rand es una cadena general de contratos inteligentes que no incluye ningún tipo de transacción transparente: todo cómputo, ya sea una transferencia de tokens o una llamada arbitraria a un contrato, se ejecuta de forma confidencial por construcción. Los usuarios poseen RAND blindado, pagan el gas con él y ejecutan código arbitrario cuyas entradas, operandos y estado intermedio nunca aparecen en la cadena, mientras que los validadores verifican un único STARK que demuestra que la ejecución fue correcta. La EVM aporta la semántica frente a la cual se prueba la ejecución, como un invitado intérprete dentro del circuito, de modo que el bytecode de Solidity existente se ejecuta sin modificaciones; no es una vía de ejecución transparente paralela a la blindada.
Esta revisión también propone, como línea de investigación no implementada, la Atribución Verificable de Probadores (Verifiable Prover Attribution, VPA). La cadena en funcionamiento no la utiliza: sus wallets prueban sus propias transacciones, su líder se elige por turnos rotativos (round robin), su mempool no está cifrado y su único rol de prueba con stake comprometido es el registro de agregadores, donde se paga al primer agregado finalizado que cubre un paquete; la Parte II comienza con ese estado, y sus teoremas son enunciados sobre la propuesta, no sobre el sistema desplegado. El borrador original demostraba que se satisfacía el circuito de una transacción privada, pero nada decía sobre cómo se asignan las pruebas a los probadores, bajo qué ordenamiento un probador prueba un lote, ni cómo un verificador sabe que la entidad que presenta una prueba es la que la calculó en las condiciones que el protocolo incentiva. Un STARK certifica que el circuito se satisfizo; no certifica las condiciones en las que se satisfizo. Mostramos que esta brecha abre tres superficies de ataque concretas —colusión entre probador y validador, MEV del lado del probador y trabajo Sybil o sin responsable—, formalizamos cada una y proponemos cerrarlas con una baliza de asignación recomputable, un ordenamiento canónico con un mempool sellado (cifrado por umbral) y una atestación con prueba incorporada poscuántica. En consecuencia, reformulamos la afirmación del borrador de que «las transacciones privadas eliminan el front-running» como un teorema condicional, cuyas condiciones la cadena en funcionamiento no cumple, de modo que en esa cadena el contenido está oculto, pero el orden no está protegido.
Además, conciliamos tres inconsistencias internas del análisis de seguridad original: (i) la contradicción entre la solidez de colisión cuántica de ~85 bits (cota BHT) y la afirmación poscuántica de 128 bits de los resúmenes y las tablas de parámetros, corregida en el diseño mediante un hash de transcripción de 384 bits y un teorema explícito de separación de seguridad por primitiva (la implementación aún usa un hash de transcripción de 256 bits, ≈85 bits cuánticos); (ii) la VRF de selección de líder no especificada, que Shor rompe si se instancia sobre una curva elíptica, para la cual especificamos una baliza poscuántica de compromiso y revelación (commit–reveal) con sorteo criptográfico basado en hash (no implementada: la cadena en funcionamiento rota los líderes por turnos y no tiene ninguna VRF); y (iii) el campo Goldilocks insuficientemente especificado, para el cual exigimos una extensión de grado k y vinculamos la solidez de FRI con el número de consultas y el presupuesto de grinding. Esta revisión también migra la capa de ejecución de la Máquina Virtual de Solana a la Máquina Virtual de Ethereum (EVM), lo que lleva los activos ERC-20 y los contratos Solidity al modelo de transacciones blindadas, e introduce la liquidación de gas por lotes: dado que un cargo de gas por transacción en RAND blindado es en sí mismo una huella desanonimizante de la llamada a la EVM (y, por tanto, del contrato ERC-20 involucrado), el gas se compromete a niveles públicos de cuantización dentro del circuito y se deduce como un único cargo agregado por lote, de modo que la huella en la cadena es un total por lote y no una deducción por cuenta y por llamada. Por último, ofrecemos una hoja de ruta de migración con agilidad criptográfica que parte de SNARK, evoluciona a STARK transparentes y se endurece hasta alcanzar plena seguridad poscuántica a lo largo de unos 18 meses de calendario (unos 14 meses en la ruta crítica paralelizada), con cada transición condicionada de modo que sea un cambio de parámetros y no una bifurcación del consenso.
Esta revisión de agosto de 2026 extiende el modelo blindado desde las transferencias de valor hasta el cómputo arbitrario confidencial: generalizamos la relación de transferencia a una relación de ejecución universal sobre una máquina virtual probada con STARK, especificamos topologías de prueba en GPU locales y delegadas con su frontera exacta de confidencialidad, y situamos el diseño frente al panorama actual de sistemas de prueba (Groth16, PLONK, Halo2, HyperPlonk, FRI-STARKs), zkVM de propósito general (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), rollups zkEVM y cadenas de privacidad (Aztec, Aleo, Miden, Zcash), cuyas dificultades en el pago de gas y la delegación de la prueba motivan directamente los diseños de gas blindado de RAND y de VPA. Analizamos el mercado de probadores que implica la capa de incentivos, y mostramos que el costo por prueba lo determina la utilización y no la energía, y que la demanda de pruebas de una red saturada la cubren unas pocas decenas de GPU; por ello, la descentralización de los probadores debe justificarse por la vivacidad (liveness) y la confidencialidad, y no por un presupuesto de seguridad, ya que la solidez no depende del conjunto de probadores. Por último, especificamos cómo el colateral exógeno en dólares —USDT y USDC— se importa a Rand como z-assets blindados mediante un puente de bloqueo y emisión atestado, lo que da al fondo blindado una unidad de cuenta estable sin exigir que los emisores se desplieguen de forma nativa, una dependencia comercial que de otro modo supeditaría el discurso de pagos del protocolo a la hoja de ruta de un tercero. Aislamos la propiedad que hace sólido a un puente de este tipo y que es más fácil de omitir: un quórum de guardianes atestigua que un mensaje fue publicado en una cadena observada, no que el puente lo haya originado, de modo que en una capa de mensajes sin permisos la validez de la firma no implica autorización y la vinculación del emisor es esencial. Demostramos una cota de solidez de la custodia que limita la pérdida a la custodia de cada cadena con independencia del supuesto sobre los guardianes, mostramos que la oferta de z-assets blindados sigue siendo auditable públicamente frente a esa custodia sin abrir ninguna nota, e identificamos el puente como la frontera poscuántica del sistema: las firmas de guardianes secp256k1 son vulnerables a Shor, de modo que la vía de liberación sigue siendo clásicamente segura hasta que las cadenas de origen incorporen precompilaciones poscuánticas, por más que se endurezca el lado de Rand.
Resultados principales- Teor. 5.3 — Fuga de privacidad en el pago de gas
- Teor. 7.9 — Privacidad del gas por lotes
- Teor. 10.6 — La atestación no implica autorización
- Teor. 10.14 — Solidez de la custodia
- Teor. 10.19 — El bridge es la frontera poscuántica
- Teor. 13.2 — Brecha de atribución
- Teor. 15.4 — Front-running, corregido y condicional
- Teor. 15.9 — Solidez de VPA
- Teor. 18.1 — Separación de la seguridad cuántica por primitiva
- Teor. 19.2 — Solidez de FRI, paramétrica
El borrador 3 reemplaza a los borradores 1 y 2El borrador 1 (diciembre de 2025) y el borrador 2 (la revisión de VPA de mayo de 2026) quedan retirados. Tres de los errores del análisis anterior se corrigen en lugar de suavizarse: la afirmación de 128 bits poscuánticos contradecía la cota de colisión cuántica de 85 bits de un hash de 256 bits; el VRF de selección de líder habría sido roto por Shor sobre una curva elíptica; y el Goldilocks simple no puede sostener la solidez de FRI que se afirmaba. La capa de ejecución migra de la SVM a la EVM y el token dual se reduce a RAND únicamente. Las actualizaciones de septiembre de 2026 concilian el diseño con el nodo completo de referencia hasta la chain 15: Rand se declara sin rodeos como proof of stake, se detalla por escrito el esquema de conocimiento cero y VPA se marca como una propuesta que la cadena en funcionamiento no utiliza.
- ImplementaciónzkVM · RISC-VHotStuffChain 15testnet
Rand Protocol — Implementación de referencia
Un libro mayor blindado y una máquina virtual verificada con STARK, tal como está desplegada
Borrador de implementación 3 · septiembre de 2026 · 46 páginas
Los sistemas de liquidación de las finanzas convencionales son confidenciales por defecto: los saldos de las cuentas y los registros de transferencias son visibles para el titular de la cuenta, la institución y, mediante proceso legal, un regulador, y para nadie más. Las blockchains públicas invierten esta propiedad. En Ethereum y Solana, el estado global y la cola de transacciones pendientes son observables por todos los participantes, lo que expone el flujo de órdenes institucional a un front-running sistemático y revela las contrapartes y los montos de cada transferencia de stablecoins. Ningún protocolo en producción combina hoy la confidencialidad de un libro mayor bancario con la liquidación determinista, la verificación transparente y la seguridad poscuántica de una cadena pública.
Este artículo presenta Randprotocol, una blockchain de capa uno diseñada para cerrar esa brecha, tal como está implementada en su nodo completo de referencia. El activo nativo, RAND, existe únicamente como notas en un pool blindado completo: un árbol de compromisos Poseidon2 de profundidad 32 y un conjunto de nullifiers sustituyen a las cuentas, y cada transferencia es un paquete fijo de dos entradas y dos salidas cuya validez se establece mediante una prueba STARK transparente, basada en hashes, de la ejecución de un único programa invitado RISC-V fijado. El mismo sistema de pruebas admite computación arbitraria confidencial: los programas RV32IM se despliegan por hash de contenido y se invocan con una prueba de ejecución en lugar de sus entradas, y la cadena registra ocho palabras de salida públicas. El consenso es HotStuff encadenado con quórums ponderados por stake, una regla de confirmación de tres vistas consecutivas y conjuntos de validadores derivados por época a partir de un registro público; el stake se vincula desde el pool y se retira hacia él. Un bridge con atestación de guardianes deposita como notas activos de cuatro cadenas externas. Las firmas de los validadores son CRYSTALS-Dilithium2 y los sobres de las notas usan ML-KEM-768 con ChaCha20-Poly1305.
Describimos la implementación componente por componente y luego desarrollamos su análisis formal frente a los parámetros desplegados: las relaciones de paquete y de llamada que prueba la máquina virtual de conocimiento cero de nueve tablas, incluida la construcción del acumulador de contaminación (taint) que sustituye a una aserción dentro del circuito; los argumentos de bus de búsqueda que vinculan el digest del programa y el compromiso de entrada con sal; la solidez de FRI del perfil de producción (80 consultas, 20 bits de grinding, blowup 8, una extensión de grado 2 del cuerpo Goldilocks), enunciada tanto bajo la cota probada de brechas de proximidad como bajo la conjetura de ethSTARK; las identidades de balance de valor y de auditoría de suministro del pool; y la seguridad y la vivacidad de las reglas de consenso conscientes de las épocas.
El análisis identifica las propiedades que la implementación aún no ofrece. Las comisiones, los pesos de stake, los montos de depósito en la frontera del pool y las identidades de los programas son públicos; la wallet actual revela al nodo consultado la hoja que pretende gastar; una prueba de 80 consultas ocupa aproximadamente 1,3 MB (1,43 MB para el paquete de cuatro ranuras de la chain 14 en adelante), lo que limita un bloque de 4 MiB a tres transferencias blindadas (dos desde la chain 14; la chain 15 eleva el bloque a 20 MiB); la agregación de pruebas a nivel de bloque, el slashing y los invitados EVM y SVM estaban pendientes en la revisión base (los invitados se han incorporado desde entonces, aunque las llamadas EVM son inadmisibles bajo el límite de llamadas del nivel 14, y desde entonces se han cerrado tres rondas de auditoría dirigidas por los fundadores; no se ha realizado ninguna auditoría independiente); y el prover de GPU no se ha ejecutado en hardware. El software está desplegado en una red de pruebas de 26 validadores (chain 17 desde el 2026-09-29, con todos los validadores operados por el equipo fundador) y no es apto para un uso con valor real.
Resultados principales- Teor. 5.8 — Solidez del conocimiento, condicional
- Teor. 5.11 — Conocimiento cero estadístico
- Teor. 5.12 — Solidez de FRI tal como se instancia
- Teor. 5.14 — Seguridad por primitiva del sistema desplegado
- Teor. 5.17 — Balance de valor del pool
- Teor. 5.22 — Seguridad (safety)
- Teor. 5.24 — Vivacidad (liveness) tras GST
- Teor. 5.28 — El bridge no es poscuántico
Redactado sobre fullnode 26ab1d4, con adendas hasta 8e64781Toda afirmación sobre el sistema se refiere al nodo de referencia en el commit 26ab1d4 (rama main, 2026-09-16): el pool blindado, el staking, el bridge como notas y sobres de llamada, el conjunto de restricciones 6 de la zkVM, la VM de recursión y la agregación a nivel de bloque, integrada pero condicionada al génesis. Dos revisiones posteriores se registran como adendas señaladas allí donde el nodo avanzó: 2026-09-24 (d050259, v0.5–v0.5.5, chain 14 — el paquete de cuatro ranuras con activo oculto, el registro de tokens, el bridge reforzado) y 2026-09-27 (8e64781, v0.5.6–v0.5.8, chain 15 — la fijación del encabezado de llamada y el límite de nivel, las constantes congeladas de Poseidon2, el vínculo de agregación).
- BridgeBloqueo y emisiónECDSA · Dilithium2Cuatro cadenas
El bridge de Rand
Bloqueo y emisión con atestación hacia un pool blindado, con cofirmas poscuánticas
Informe técnico, borrador 1 · septiembre de 2026 · 13 páginas
Rand es una blockchain confidencial cuyo valor reside en forma de compromisos en un pool blindado y no como saldos transparentes. Su propuesta de pagos necesita un activo estable, y ningún emisor despliega uno de forma nativa en una cadena sin volumen. El bridge de Rand importa USDT y USDC desde Ethereum, BNB Smart Chain, Tron y Solana como un único dólar blindado, zUSD, respaldado uno a uno por la custodia en esas cadenas. Este informe especifica el bridge tal como está construido: el mensaje de transferencia de 184 bytes y sus dos capas de firma — un quórum de guardianes secp256k1 para cada mensaje y un quórum de cofirmas Dilithium2 en cada emisión hacia Rand, ambos de seis de ocho en la actualidad; la ruta de depósito que termina en una nota que la propia cadena deriva del monto atestado; la ruta de retiro en la que una quema queda vinculada a su prueba y se libera contra contadores de custodia por cadena; la superficie de gobernanza (rotación de guardianes con una ventana de gracia de un día, listado explícito, una pausa unidireccional que solo un quórum poscuántico puede levantar); y las reglas de reloj que una cadena puenteada impone a su propio consenso.
Enunciamos y demostramos las propiedades que ofrece la construcción — infalsificabilidad del quórum, necesidad del vínculo con el emisor, solidez de la custodia, auditabilidad del suministro y la cota poscuántica asimétrica según la cual un adversario con capacidad Shor puede falsificar liberaciones pero no emisiones — y enunciamos, con igual cuidado, lo que no ofrece: los guardianes no están vinculados con stake ni son penalizables, y aunque seis de las ocho claves se ejecutan ya en hosts propios, una cuenta de alojamiento y una clave de operador siguen alcanzándolas a todas. Se reportan las direcciones de despliegue, los tamaños de mensaje, los costos de gas y los resultados de las rondas en vivo.
Resultados principales- Prop. 5.1 — Sin redirección
- Teor. 5.2 — Solidez de la custodia
- Teor. 8.1 — Infalsificabilidad del quórum
- Teor. 8.3 — La atestación no es autorización
- Teor. 8.4 — Auditabilidad del suministro puenteado
- Teor. 8.5 — La asimetría poscuántica
Complemento de la sección sobre el puente del documento del protocoloEspecifica el puente tal como está desplegado, con la misma notación que la sección entre cadenas del documento del protocolo y de forma coherente con ella: el conjunto de guardianes 1 (seis de ocho, secp256k1) sustituyó al conjunto original de cinco de seis el 2026-09-25, y el conjunto de Dilithium2 pasó de seis a ocho claves en el génesis de la cadena 15 el 2026-09-26.
- Stablecoin protegidaReserva totalMulticadena · MultiemisorCadena 15
zUSD — Un dólar protegido con reserva total en Rand
Transferencias confidenciales de stablecoins sin riesgo de pérdida de paridad, sobre una reserva bloqueada multicadena y multiemisor
Septiembre de 2026 · reemplaza a zUSDT (dic. de 2025, rev. ago. de 2026) · 11 páginas
zUSD tiene reserva total: cada unidad está respaldada uno a uno por una stablecoin en dólares que se mantiene en un contrato de custodia en la cadena donde esa stablecoin se emite de forma nativa —USDT y USDC en Ethereum, BNB Smart Chain y Solana, y USDT en Tron, siete respaldos en total—, y es canjeable por cualquiera de ellos a la vista. Deliberadamente no es una stablecoin algorítmica ni fraccionaria, por lo que no depende de forma reflexiva del precio de ningún activo volátil ni presenta una superficie de espiral de muerte como la que destruyó la UST de Terra. El token vive en Rand, un libro mayor protegido (shielded), de modo que es una nota protegida desde el momento en que se emite. Cada tramo está atestiguado, así que la garantía de cada unidad es min(solvencia de la reserva, integridad del umbral de guardianes), bajo un doble umbral de seis de ocho firmas ECDSA y seis de ocho cofirmas Dilithium2.
El invariante de reserva S = Σ_b L_b se cumple con igualdad y se impone por construcción en una única función del libro mayor. El documento enuncia, respaldo por respaldo, lo que se garantiza, incluido el nuevo riesgo que introduce combinar dos emisores, y expone los mecanismos de limitación de pérdidas que incorpora el despliegue: un tope móvil de emisión de 24 horas por respaldo y otro global, una clave de pausa que solo puede pausar, un límite superior al avance del tiempo de bloque y topes de liberación en los contratos de custodia. Es explícito sobre lo que aún no existe: operadores de guardianes independientes, un administrador multifirma con bloqueo temporal en cada contrato de custodia y una prueba de reservas verificable sin el explorador del propio proyecto.
Resultados principales- Teor. 2.6 — Preservación del invariante
- Cor. 2.7 — Canjeabilidad
- Prop. 2.8 — Degradación de la reserva total por el puente
- Cor. 2.9 — Garantías por respaldo
- Prop. 4.1 — Verificabilidad pública bajo protección
Septiembre de 2026 — reemplaza a zUSDTDescribe el diseño tal como está desplegado en la cadena 15 de Rand y se aparta de zUSDT en tres aspectos que el código ya incorpora: el token vive en Rand y no en Solana, por lo que no existe una forma transparente que proteger; la reserva abarca dos emisores además de varias cadenas, y el titular puede canjear por cualquier respaldo; y cada tramo es un tramo atestiguado, bajo un doble umbral de seis de ocho cofirmas ECDSA y Dilithium2. La Proposición 2.8 se reproduce sin cambios porque sigue siendo correcta, y el Corolario 2.9 recoge el nuevo riesgo que introduce combinar dos emisores.
- Análisis de seguridadPoscuánticoTaxonomía de ataques
Análisis de seguridad del protocolo Rand
Fundamentos criptográficos poscuánticos, resistencia a ataques y garantías formales de seguridad
Diciembre de 2025, conciliado en septiembre de 2026 · 13 páginas
Un análisis de seguridad del protocolo Rand con pruebas formales bajo modelos adversarios tanto clásicos como cuánticos, que abarca el consenso BFT ponderado por stake (Rand es una cadena de prueba de participación: ningún cómputo otorga peso en el consenso), el sistema de privacidad basado en STARK y las primitivas poscuánticas CRYSTALS-Dilithium y Kyber. Analiza la resistencia a ataques del 51 %, ataques de largo alcance, nothing-at-stake, grinding, eclipse y Sybil, front-running, ataques de temporización y adversarios cuánticos, con cotas formales y parámetros concretos para cada uno.
Bajo supuestos estándar de dificultad en retículos y una asignación por rol de los tamaños de resumen —384 bits donde una colisión rompe la solidez, 256 bits donde solo se necesita resistencia a preimagen—, toda primitiva alcanza al menos 128 bits de seguridad poscuántica; sin esa asignación, la misma construcción alcanza 85 bits. El piso del sistema es la solidez de FRI: al menos 100 bits bajo la conjetura de ethSTARK y 86 bits bajo la cota demostrada de brechas de proximidad, ajustable a 100 demostrables con 97 consultas y a 128 con una extensión de grado 3. Donde la implementación de referencia se aparta del diseño —un hash de transcripción de 256 bits, sin slashing de validadores, líderes por turno rotatorio, un mempool en texto plano—, cada resultado lo indica.
Resultados principales- Teor. 2.3 — Resistencia cuántica a colisiones
- Teor. 3.5 — Seguridad cuántica de STARK
- Teor. 3.6 — Seguridad poscuántica global
- Teor. 4.4 — Seguridad de HotStuff
- Teor. 5.3 — No vinculabilidad de los nullifiers
- Teor. 6.8 — Mitigación del front-running, condicional
- Teor. 7.1 — Umbral de seguridad económica
Subordinado a la Parte III del documento del protocoloUn complemento independiente de la parte de seguridad del documento del protocolo, que es el tratamiento canónico reconciliado y prevalece ante cualquier discrepancia. El análisis de diciembre de 2025 contenía los tres errores que corrige el Borrador 3; desde entonces se ha reconciliado con el Borrador 3 y con la cadena en funcionamiento.
- Resumen para inversoresRonda semillaSAFTOctubre de 2026
Rand Protocol: resumen para inversores
Liquidación privada y programable con pruebas basadas en funciones hash
Octubre de 2026 · 6 páginas
Las blockchains públicas publican lo que las empresas deben proteger: quién pagó a quién, cuánto y cada orden antes de ejecutarse, por lo que los mayores fondos de capital se mantienen fuera de ellas. Rand es una cadena de capa 1 en la que cada pago es una nota protegida (shielded) y cada transacción una prueba de conocimiento cero: la red comprueba que la regla se ejecutó sin ver las entradas, y una clave de visualización permite a un auditor leer lo que los competidores no pueden. Los programas en Rust o C se ejecutan en una zkVM RISC-V demostrada mediante un STARK basado en funciones hash, sin configuración de confianza, y los dólares llegan desde cuatro cadenas como un único dólar protegido, zUSD.
El resumen expone el problema, el producto y sus costes medidos, los casos de uso según su grado de madurez, el mercado con estimaciones publicadas, la comparación con Aleo, Railgun, Quantus y otros, un año de investigación y la reconstrucción en tres semanas hasta una red de pruebas en funcionamiento, los precios del token y de las rondas, la ronda semilla (SAFT por 110 millones de RAND, el 11 % de un suministro máximo de mil millones, a $0.03), el equipo y los riesgos. No constituye una oferta de ningún valor ni token.
Resultados principales- Chain 20 · v0.6.8
- Semilla: $0.03 por RAND, $30M de FDV
- SAFT sobre un suministro máximo de 1B
- 28 versiones, 7 cadenas de prueba
Archivos fuente
Los cinco documentos están escritos en LaTeX y se compilan con tectonic. La fuente de zUSD es pública: se enlaza desde su entrada más arriba, de modo que cada afirmación puede contrastarse con el archivo del que procede, junto a la fuente de zUSDT, ya reemplazada, en el mismo repositorio. Las fuentes de los otros cuatro documentos aún no se han publicado; hasta entonces, los PDF de arriba son su forma canónica. Todo lo demás que es público —el nodo, las wallets, el explorador— está en la organización de GitHub.