Papers
Das Rand Protocol liegt in gedruckter Form vor. Sechs Papiere sind aktuell: das Protokollpapier in seinem dritten Entwurf, das Papier zur Referenzimplementierung, geschrieben gegen den Node, den das Testnetz betreibt, der Bridge-Bericht, das zUSD-Papier zum abgeschirmten Dollar, die eigenständige Sicherheitsanalyse und die Zusammenfassung für Investoren. Jedes PDF ist die maßgebliche Quelle: herunterladen, zitieren, prüfen. Wo das Design Grenzen hat, benennen die Papiere sie, statt sie zu übergehen.
- WhitepaperSTARKProof of Stake · BFTEVMPost-Quanten
Rand Protocol
Vertrauliche beliebige Berechnungen
Entwurf 3 · August 2026, aktualisiert im September 2026 · 73 Seiten
Wir stellen Rand vor, eine Proof-of-Stake-Blockchain, deren byzantinisch fehlertolerante (BFT) Konsensbildung schnelle deterministische Finalität liefert und in der jede Transaktion ein Zero-Knowledge-Beweis ist. Das Konsensgewicht stammt allein aus gebundenem Stake: Keine Berechnung verleiht Stimmrecht, bestimmt einen Leader oder entscheidet einen Fork. Was die Chain dennoch enthält, ist sehr viel Beweisarbeit neben dem Konsens: Jede Wallet erzeugt einen STARK für ihre eigene Transaktion, und sobald die Beweisaggregation auf Blockebene aktiviert ist, verdienen gebundene Aggregatoren RAND, indem sie rekursive STARKs über die Beweise der Nutzer erzeugen. Validatoren erhalten die Gebühren der Blöcke, die sie vorschlagen; die Semantik der Smart Contracts entspricht der der Ethereum Virtual Machine (EVM). Das Paper erklärt das Zero-Knowledge-Verfahren selbst – wie aus einer Berechnung eine Tabelle wird, aus der Tabelle eine Menge von Polynomen und aus den Polynomen ein Beweis von etwa 1,4 MB pro Transfer, den jeder Validator in Millisekunden prüft. Rand ist eine allgemeine Smart-Contract-Chain, die überhaupt keinen transparenten Transaktionstyp kennt: Jede Berechnung – ein Token-Transfer oder ein beliebiger Contract-Aufruf – wird von Grund auf vertraulich ausgeführt. Nutzer halten abgeschirmtes RAND, bezahlen Gas daraus und führen beliebigen Code aus, dessen Eingaben, Operanden und Zwischenzustand nie on-chain erscheinen, während Validatoren einen einzelnen STARK prüfen, der die korrekte Ausführung belegt. Die EVM liefert die Semantik, gegen die die Ausführung bewiesen wird, als Interpreter-Guest innerhalb des Circuits, sodass vorhandener Solidity-Bytecode unverändert läuft; sie ist kein transparenter Ausführungspfad neben dem abgeschirmten.
Diese Revision schlägt zudem als Forschungsrichtung, die nicht implementiert ist, Verifiable Prover Attribution (VPA) vor. Die laufende Chain nutzt sie nicht: Ihre Wallets beweisen ihre eigenen Transaktionen, ihr Leader wird im Round-Robin-Verfahren gewählt, ihr Mempool ist nicht verschlüsselt, und ihre einzige gebundene Beweisrolle ist das Aggregatorenregister, in dem der erste finalisierte Aggregat, der ein Bündel abdeckt, vergütet wird; Teil II beginnt mit diesem Status, und seine Theoreme sind Aussagen über den Vorschlag, nicht über das eingesetzte System. Der ursprüngliche Entwurf bewies, dass der Circuit einer privaten Transaktion erfüllt war, sagte aber nichts darüber, wie Beweise Provern zugewiesen werden, unter welcher Reihenfolge ein Prover einen Batch beweist oder wie ein Verifier erfährt, dass die Instanz, die einen Beweis einreicht, diejenige ist, die ihn unter den vom Protokoll angereizten Bedingungen berechnet hat. Ein STARK bescheinigt, dass der Circuit erfüllt war; er bescheinigt nicht, unter welchen Bedingungen er erfüllt wurde. Wir zeigen, dass diese Lücke drei konkrete Angriffsflächen eröffnet – Kollusion zwischen Prover und Validator, Prover-seitiges MEV und Sybil-/nicht rechenschaftspflichtige Arbeit –, formalisieren jede davon und schlagen vor, sie mit einem nachrechenbaren Zuweisungs-Beacon, einer kanonischen Ordnung mit einem versiegelten (schwellenwertverschlüsselten) Mempool und einer post-quantensicheren, beweistragenden Attestierung zu schließen. Dementsprechend fassen wir die Aussage des Entwurfs, „private Transaktionen beseitigen Front-Running“, als bedingtes Theorem neu – dessen Bedingungen die laufende Chain nicht erfüllt, sodass dort der Inhalt verborgen, die Reihenfolge aber nicht geschützt ist.
Ferner bereinigen wir drei interne Widersprüche der ursprünglichen Sicherheitsanalyse: (i) den Widerspruch zwischen der Quanten-Kollisionssicherheit von ~85 Bit (BHT-Schranke) und der Behauptung von 128 Bit Post-Quanten-Sicherheit in Abstract und Parametertabellen, im Design behoben durch einen 384-Bit-Transkript-Hash sowie ein explizites Theorem zur Sicherheitstrennung je Primitiv (die Implementierung verwendet weiterhin einen 256-Bit-Transkript-Hash, ≈85 Quantenbit); (ii) die nicht spezifizierte VRF zur Leader-Auswahl, die bei einer Instanziierung über einer elliptischen Kurve durch Shor gebrochen wird und für die wir einen post-quantensicheren Commit-Reveal-Beacon mit hashbasierter kryptografischer Sortition spezifizieren (nicht implementiert: Die laufende Chain rotiert Leader im Round-Robin-Verfahren und hat überhaupt keine VRF); und (iii) den unterspezifizierten Goldilocks-Körper, für den wir eine Erweiterung vom Grad k vorschreiben und die FRI-Soundness an die Anzahl der Queries und das Grinding-Budget binden. Diese Revision migriert außerdem die Ausführungsschicht von der Solana Virtual Machine zur Ethereum Virtual Machine (EVM), wodurch ERC-20-Assets und Solidity-Contracts unter das Modell abgeschirmter Transaktionen fallen, und führt die gebündelte Gas-Abrechnung ein: Weil eine Gas-Gebühr pro Transaktion in abgeschirmtem RAND selbst ein deanonymisierender Fingerabdruck des EVM-Aufrufs ist (und damit des berührten ERC-20-Contracts), wird Gas im Circuit auf öffentliche Quantisierungsstufen festgelegt und als einzelne Sammelgebühr pro Batch abgezogen, sodass der On-Chain-Fußabdruck eine Summe pro Batch ist statt eines Abzugs pro Konto und Aufruf. Schließlich legen wir eine Crypto-Agility-Migrations-Roadmap vor, die mit SNARKs ausgeliefert wird, auf transparente STARKs aufrüstet und über einen Kalender von ~18 Monaten (~14 Monate auf dem parallelisierten kritischen Pfad) auf volle Post-Quanten-Sicherheit gehärtet wird, wobei jeder Übergang so abgesichert ist, dass er eine Parameteränderung statt eines Konsens-Forks darstellt.
Diese Revision vom August 2026 erweitert das abgeschirmte Modell von Wertübertragungen auf vertrauliche beliebige Berechnungen: Wir verallgemeinern die Transfer-Relation zu einer universellen Ausführungsrelation über einer STARK-bewiesenen virtuellen Maschine, spezifizieren lokale und delegierte GPU-Proving-Topologien mit ihrer genauen Vertraulichkeitsgrenze und ordnen das Design in die aktuelle Landschaft der Beweissysteme (Groth16, PLONK, Halo2, HyperPlonk, FRI-STARKs), der universellen zkVMs (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), der zkEVM-Rollups und der Privacy-Chains (Aztec, Aleo, Miden, Zcash) ein, deren Fallstricke bei Gas-Zahlung und Prover-Delegation die Designs für abgeschirmtes Gas und VPA bei RAND unmittelbar motivieren. Wir analysieren den Prover-Markt, den die Anreizschicht impliziert, und zeigen, dass die Kosten pro Beweis von der Auslastung bestimmt werden und nicht von der Energie und dass der Beweisbedarf eines ausgelasteten Netzwerks von einigen Dutzend GPUs gedeckt wird – die Dezentralisierung der Prover muss daher mit Liveness und Vertraulichkeit begründet werden und nicht mit einem Sicherheitsbudget, da die Soundness nicht von der Menge der Prover abhängt. Schließlich spezifizieren wir, wie exogene Dollar-Sicherheiten – USDT und USDC – durch eine attestierte Lock-and-Mint-Bridge als abgeschirmte z-Assets nach Rand importiert werden, was dem abgeschirmten Pool eine stabile Recheneinheit verschafft, ohne dass die Emittenten nativ ausrollen müssen – eine kommerzielle Abhängigkeit, die andernfalls die Zahlungsperspektive des Protokolls an die Roadmap eines Dritten binden würde. Wir isolieren die Eigenschaft, die eine solche Bridge solide macht und sich am leichtesten übersehen lässt: Ein Guardian-Quorum attestiert, dass eine Nachricht auf einer beobachteten Chain veröffentlicht wurde, nicht dass die Bridge sie verfasst hat; auf einer permissionless Nachrichtenschicht impliziert die Gültigkeit einer Signatur also keine Autorisierung, und die Bindung an den Emitter ist tragend. Wir beweisen eine Custody-Soundness-Schranke, die den Verlust unabhängig von der Guardian-Annahme auf die Custody je Chain begrenzt, zeigen, dass das Angebot abgeschirmter z-Assets öffentlich gegen diese Custody prüfbar bleibt, ohne eine Note zu öffnen, und identifizieren die Bridge als die Post-Quanten-Grenze des Systems: secp256k1-Guardian-Signaturen werden durch Shor gebrochen, sodass der Freigabepfad klassisch sicher bleibt, bis Quell-Chains post-quantensichere Precompiles ausliefern, wie auch immer die Rand-Seite gehärtet wird.
Zentrale Ergebnisse- Thm 5.3 — Gas-Payment Privacy Leakage
- Thm 7.9 — Batched Gas Privacy
- Thm 10.6 — Attestation Does Not Imply Authorization
- Thm 10.14 — Custody Soundness
- Satz 10.19 — Die Bridge ist die Post-Quanten-Grenze
- Satz 13.2 — Attributionslücke
- Satz 15.4 — Front-Running, korrigiert und bedingt
- Satz 15.9 — VPA-Soundness
- Satz 18.1 — Trennung der Quantensicherheit je Primitiv
- Satz 19.2 — FRI-Soundness, parametrisch
Entwurf 3 ersetzt die Entwürfe 1 und 2Entwurf 1 (Dezember 2025) und Entwurf 2 (die VPA-Überarbeitung vom Mai 2026) sind zurückgezogen. Drei Fehler der früheren Analyse werden korrigiert, statt sie zu glätten: Die Aussage zu 128 Bit Post-Quanten-Sicherheit widersprach der Quantenkollisionsschranke von 85 Bit eines 256-Bit-Hashes; die VRF zur Leader-Auswahl wäre über einer elliptischen Kurve durch Shor gebrochen worden; und das einfache Goldilocks-Feld kann die behauptete FRI-Soundness nicht tragen. Die Ausführungsschicht wechselt von der SVM zur EVM, und das duale Token fällt auf RAND allein zusammen. Die Aktualisierungen vom September 2026 gleichen den Entwurf mit dem Referenz-Full-Node bis Chain 15 ab: Rand wird klar als Proof of Stake beschrieben, das Zero-Knowledge-Verfahren ist ausgeschrieben, und VPA ist als Vorschlag gekennzeichnet, den die laufende Chain nicht verwendet.
- ImplementierungzkVM · RISC-VHotStuffChain 15Testnet
Rand Protocol — Referenzimplementierung
Ein abgeschirmtes Ledger und eine STARK-verifizierte virtuelle Maschine, wie bereitgestellt
Implementierungsentwurf 3 · September 2026 · 46 Seiten
Abwicklungssysteme im traditionellen Finanzwesen sind standardmäßig vertraulich: Kontostände und Überweisungsdaten sind für den Kontoinhaber, das Institut und, im Rahmen eines rechtlichen Verfahrens, eine Aufsichtsbehörde sichtbar, für niemanden sonst. Öffentliche Blockchains kehren diese Eigenschaft um. Auf Ethereum und Solana sind der globale Zustand und die Warteschlange ausstehender Transaktionen für jeden Teilnehmer einsehbar. Das setzt den Orderfluss institutioneller Akteure systematischem Front-Running aus und legt Gegenparteien und Beträge jeder Stablecoin-Überweisung offen. Kein produktives Protokoll verbindet derzeit die Vertraulichkeit eines Bankenledgers mit der deterministischen Abwicklung, der transparenten Verifikation und der Post-Quanten-Sicherheit einer öffentlichen Chain.
Dieses Papier stellt Randprotocol vor, eine Layer-1-Blockchain, die diese Lücke schließen soll, wie sie in ihrem Referenz-Full-Node implementiert ist. Der native Vermögenswert RAND existiert ausschließlich als Notes in einem vollständig abgeschirmten Pool: Ein Poseidon2-Commitment-Baum der Tiefe 32 und eine Nullifier-Menge ersetzen Konten, und jede Überweisung ist ein festes Bundle mit zwei Eingängen und zwei Ausgängen, dessen Gültigkeit durch einen transparenten, hashbasierten STARK-Beweis für die Ausführung eines einzigen fest verankerten RISC-V-Gastprogramms nachgewiesen wird. Dasselbe Beweissystem unterstützt vertrauliche beliebige Berechnungen: RV32IM-Programme werden über ihren Inhalts-Hash bereitgestellt und mit einem Ausführungsbeweis anstelle ihrer Eingaben aufgerufen, und die Chain zeichnet acht öffentliche Ausgabewörter auf. Der Konsens ist verketteter HotStuff mit stakegewichteten Quoren, einer Commit-Regel mit drei aufeinanderfolgenden Views und epochenabgeleiteten Validator-Mengen aus einem öffentlichen Register; Stake wird aus dem Pool gebunden und in ihn zurückgezogen. Eine von Guardians bestätigte Bridge schreibt Vermögenswerte von vier externen Chains als Notes gut. Validator-Signaturen sind CRYSTALS-Dilithium2, und Note-Umschläge verwenden ML-KEM-768 mit ChaCha20-Poly1305.
Wir beschreiben die Implementierung Komponente für Komponente und entwickeln anschließend ihre formale Analyse anhand der bereitgestellten Parameter: die Bundle- und Aufrufrelationen, die von der zkVM mit neun Tabellen bewiesen werden, einschließlich der Taint-Akkumulator-Konstruktion, die eine Assertion im Schaltkreis ersetzt; die Lookup-Bus-Argumente, die den Programm-Digest und das gesalzene Eingabe-Commitment binden; die FRI-Soundness des Produktionsprofils (80 Queries, 20 Grinding-Bits, Blowup 8, eine Erweiterung vom Grad 2 des Goldilocks-Körpers), angegeben sowohl unter der bewiesenen Proximity-Gaps-Schranke als auch unter der ethSTARK-Vermutung; die Wertbilanz- und Supply-Audit-Identitäten des Pools; sowie die Sicherheit und Lebendigkeit der epochenbewussten Konsensregeln.
Die Analyse benennt die Eigenschaften, die die Implementierung noch nicht bietet. Gebühren, Stake-Gewichte, Einzahlungsbeträge an der Pool-Grenze und Programmidentitäten sind öffentlich; die aktuelle Wallet legt dem abgefragten Node das Blatt offen, das sie ausgeben will; ein Beweis mit 80 Queries umfasst etwa 1,3 MB (1,43 MB für das Bundle mit vier Slots ab Chain 14), sodass ein Block von 4 MiB auf drei abgeschirmte Überweisungen begrenzt ist (zwei ab Chain 14; Chain 15 hebt den Block auf 20 MiB an); Beweisaggregation auf Blockebene, Slashing sowie EVM- und SVM-Gastprogramme standen in der Basisrevision noch aus (die Gastprogramme sind inzwischen eingebunden, wobei EVM-Aufrufe unter der Aufrufobergrenze von Tier 14 unzulässig sind, und drei von den Gründern geleitete Audit-Runden sind inzwischen abgeschlossen; ein unabhängiges Audit wurde nicht durchgeführt); und der GPU-Prover wurde nicht auf Hardware ausgeführt. Die Software läuft auf einem Testnetz mit 26 Validatoren (Chain 17 seit 2026-09-29, jeder Validator wird vom Gründerteam betrieben) und eignet sich nicht für den Einsatz mit realen Werten.
Zentrale Ergebnisse- Satz 5.8 — Knowledge Soundness, bedingt
- Satz 5.11 — Statistischer Zero-Knowledge
- Satz 5.12 — FRI-Soundness wie instanziiert
- Satz 5.14 — Sicherheit je Primitiv des bereitgestellten Systems
- Satz 5.17 — Wertbilanz des Pools
- Satz 5.22 — Sicherheit (Safety)
- Satz 5.24 — Lebendigkeit (Liveness) nach GST
- Satz 5.28 — Die Bridge ist nicht post-quantensicher
Verfasst gegen fullnode 26ab1d4, mit Nachträgen bis 8e64781Jede Aussage über das System bezieht sich auf den Referenz-Node im Commit 26ab1d4 (Branch main, 2026-09-16): den abgeschirmten Pool, Staking, die Bridge als Notes und Aufrufumschläge, den zkVM-Constraint-Satz 6, die Rekursions-VM und die Aggregation auf Blockebene, gemergt, aber durch das Genesis gesperrt. Zwei spätere Durchgänge sind als gekennzeichnete Nachträge vermerkt, wo sich der Node weiterentwickelt hat: 2026-09-24 (d050259, v0.5–v0.5.5, Chain 14 — das Vier-Slot-Bundle mit verborgenem Asset, das Token-Register, die gehärtete Bridge) und 2026-09-27 (8e64781, v0.5.6–v0.5.8, Chain 15 — die Pinnung des Aufruf-Headers und die Tier-Obergrenze, die eingefrorenen Poseidon2-Konstanten, die Aggregationsbindung).
- BridgeLock-and-MintECDSA · Dilithium2Vier Chains
Die Rand Bridge
Bestätigtes Lock-and-Mint in einen abgeschirmten Pool, mit Post-Quanten-Mitsignaturen
Technischer Bericht, Entwurf 1 · September 2026 · 13 Seiten
Rand ist eine vertrauliche Blockchain, deren Wert als Commitments in einem abgeschirmten Pool vorliegt und nicht als transparente Kontostände. Ihr Zahlungsverkehr braucht einen stabilen Vermögenswert, und kein Emittent stellt einen solchen nativ auf einer Chain ohne Volumen bereit. Die Rand Bridge importiert USDT und USDC von Ethereum, BNB Smart Chain, Tron und Solana als einen einzigen abgeschirmten Dollar, zUSD, der im Verhältnis eins zu eins durch Verwahrung auf diesen Chains gedeckt ist. Dieser Bericht spezifiziert die Bridge wie gebaut: die 184 Byte lange Transfernachricht und ihre zwei Signaturschichten — ein secp256k1-Guardian-Quorum für jede Nachricht und ein Dilithium2-Mitsignatur-Quorum für jede Prägung in Rand, heute beide sechs von acht; den Einzahlungspfad, der in einer Note endet, die die Chain selbst aus dem bestätigten Betrag ableitet; den Auszahlungspfad, in dem ein Burn an seinen Beweis gebunden und gegen Verwahrungszähler je Chain freigegeben wird; die Governance-Oberfläche (Guardian-Rotation mit einem Karenzfenster von einem Tag, ausdrückliche Listung, eine unidirektionale Pause, die nur ein Post-Quanten-Quorum aufheben kann); und die Uhrregeln, die eine angebundene Chain ihrem eigenen Konsens auferlegt.
Wir formulieren und beweisen die Eigenschaften, die die Konstruktion liefert — Quorum-Unfälschbarkeit, die Notwendigkeit der Emitterbindung, Verwahrungs-Soundness, Prüfbarkeit des überbrückten Angebots und die asymmetrische Post-Quanten-Schranke, unter der ein Shor-fähiger Angreifer Auszahlungen fälschen kann, Prägungen jedoch nicht — und wir benennen mit gleicher Sorgfalt, was sie nicht liefert: Die Guardians sind weder mit Stake gebunden noch slashbar, und obwohl sechs der acht Schlüssel inzwischen auf eigenen Hosts laufen, erreichen ein Hosting-Konto und ein Operator-Schlüssel weiterhin alle. Deployment-Adressen, Nachrichtengrößen, Gaskosten und die Ergebnisse der Live-Runden werden mitgeteilt.
Zentrale Ergebnisse- Satz 5.1 — Keine Umleitung
- Satz 5.2 — Verwahrungs-Soundness
- Satz 8.1 — Quorum-Unfälschbarkeit
- Satz 8.3 — Bestätigung ist keine Autorisierung
- Satz 8.4 — Prüfbarkeit des überbrückten Angebots
- Satz 8.5 — Die Post-Quanten-Asymmetrie
Begleitdokument zum Bridge-Abschnitt des Protokoll-PapersSpezifiziert die Bridge in der eingesetzten Fassung, in derselben Notation wie der Cross-Chain-Abschnitt des Protokoll-Papers und im Einklang mit ihm: Guardian-Set 1 (sechs von acht, secp256k1) ersetzte am 2026-09-25 das ursprüngliche Set mit fünf von sechs, und das Dilithium2-Set wuchs bei der Genesis von Chain 15 am 2026-09-26 von sechs auf acht Schlüssel.
- Shielded StablecoinVollreserveMulti-Chain · Multi-EmittentChain 15
zUSD — Ein vollständig reservierter Shielded-Dollar auf Rand
Vertrauliche Stablecoin-Transfers ohne Peg-Risiko, über eine Multi-Chain- und Multi-Emittenten-Reserve in Verwahrung
September 2026 · löst zUSDT ab (Dez. 2025, rev. Aug. 2026) · 11 Seiten
zUSD ist vollständig reserviert: Jede Einheit ist eins zu eins durch einen Dollar-Stablecoin gedeckt, der in einem Custody-Contract auf der Chain gehalten wird, auf der dieser Stablecoin nativ ausgegeben wird — USDT und USDC auf Ethereum, BNB Smart Chain und Solana sowie USDT auf Tron, insgesamt sieben Deckungen — und ist jederzeit gegen jeden von ihnen einlösbar. Er ist bewusst weder ein algorithmischer noch ein teilreservierter Stablecoin und hängt daher nicht reflexiv vom Preis eines volatilen Vermögenswerts ab; eine Death-Spiral-Angriffsfläche, wie sie Terras UST zerstört hat, besteht nicht. Der Token lebt auf Rand, einem Shielded-Ledger, und ist somit vom Moment der Prägung an eine abgeschirmte Note. Jeder Leg ist attestiert, sodass die Garantie für jede Einheit min(Reserve-Solvenz, Integrität der Guardian-Schwelle) beträgt, und zwar unter einer dualen Schwelle von sechs von acht ECDSA-Signaturen und sechs von acht Dilithium2-Mitsignaturen.
Die Reserve-Invariante S = Σ_b L_b gilt mit Gleichheit und wird konstruktionsbedingt in einer einzigen Ledger-Funktion durchgesetzt. Das Paper formuliert je Deckung, was garantiert wird, einschließlich des neuen Risikos, das die Bündelung zweier Emittenten mit sich bringt, und beschreibt die verlustbegrenzenden Mechanismen der Bereitstellung: ein gleitendes 24-Stunden-Mint-Limit je Deckung und ein globales, einen Pause-Schlüssel, der ausschließlich pausieren kann, eine Obergrenze für die Vorwärtsabweichung der Blockzeit sowie Freigabelimits auf den Custody-Contracts. Es benennt ausdrücklich, was noch nicht vorhanden ist: unabhängige Guardian-Betreiber, einen zeitgesperrten Multi-Signature-Administrator auf jedem Custody-Contract und einen Reserve-Nachweis, der ohne den projekteigenen Explorer überprüfbar ist.
Zentrale Ergebnisse- Satz 2.6 — Erhalt der Invariante
- Folgesatz 2.7 — Einlösbarkeit
- Prop. 2.8 — Abschwächung der Vollreservierung durch die Bridge
- Folgesatz 2.9 — Garantien je Deckung
- Prop. 4.1 — Öffentliche Überprüfbarkeit unter Shielding
September 2026 — löst zUSDT abBeschreibt den Entwurf, wie er auf Rand Chain 15 eingesetzt ist, und weicht in drei Punkten von zUSDT ab, die der Code nun umsetzt: Der Token lebt auf Rand statt auf Solana, sodass es keine transparente Form gibt, die abzuschirmen wäre; die Reserve umfasst neben mehreren Chains auch zwei Emittenten, und ein Inhaber kann in jede Deckung einlösen; und jeder Leg ist ein attestierter Leg unter einer dualen Sechs-von-acht-Schwelle aus ECDSA- und Dilithium2-Mitsignaturen. Proposition 2.8 wird unverändert übernommen, weil sie weiterhin zutrifft, und Folgesatz 2.9 hält das neue Risiko fest, das die Bündelung zweier Emittenten mit sich bringt.
- SicherheitsanalysePost-QuantenAngriffstaxonomie
Sicherheitsanalyse des Rand Protocol
Post-quantenkryptografische Grundlagen, Angriffsresistenz und formale Sicherheitsgarantien
Dezember 2025, abgeglichen im September 2026 · 13 Seiten
Eine Sicherheitsanalyse des Rand Protocol mit formalen Beweisen unter klassischen wie auch Quanten-Angreifermodellen. Sie umfasst den stakegewichteten BFT-Konsens (Rand ist eine Proof-of-Stake-Chain: Keine Rechenleistung verleiht Konsensgewicht), das STARK-basierte Privatsphäre-System sowie die post-quantenkryptografischen Primitive CRYSTALS-Dilithium und Kyber. Untersucht werden die Resistenz gegen 51-%-Angriffe, Long-Range-Angriffe, Nothing-at-Stake, Grinding, Eclipse- und Sybil-Angriffe, Front-Running, Timing-Angriffe und Quantenangreifer, jeweils mit formalen Schranken und konkreten Parametern.
Unter üblichen Gitter-Härteannahmen und einer rollenbezogenen Zuordnung der Digest-Größen — 384 Bit dort, wo eine Kollision die Soundness bricht, 256 Bit dort, wo nur Urbildresistenz benötigt wird — erreicht jedes Primitiv mindestens 128 Bit Post-Quanten-Sicherheit; ohne diese Zuordnung erreicht dieselbe Konstruktion 85 Bit. Die Untergrenze des Systems ist die FRI-Soundness: mindestens 100 Bit unter der ethSTARK-Vermutung und 86 Bit unter der bewiesenen Proximity-Gaps-Schranke, einstellbar auf beweisbare 100 bei 97 Queries und auf 128 bei einer Erweiterung vom Grad 3. Wo die Referenzimplementierung vom Entwurf abweicht — ein 256-Bit-Transkript-Hash, kein Validator-Slashing, Round-Robin-Leader, ein unverschlüsselter Mempool —, weist das jeweilige Ergebnis darauf hin.
Zentrale Ergebnisse- Satz 2.3 — Quantenkollisionsresistenz
- Satz 3.5 — STARK-Quantensicherheit
- Satz 3.6 — Gesamte Post-Quanten-Sicherheit
- Satz 4.4 — HotStuff-Safety
- Satz 5.3 — Nicht-Verknüpfbarkeit von Nullifiern
- Satz 6.8 — Front-Running-Minderung, bedingt
- Satz 7.1 — Schwelle der ökonomischen Sicherheit
Teil III des Protokoll-Papers übergeordnetEin eigenständiges Begleitdokument zum Sicherheitsteil des Protokoll-Papers, der die maßgebliche, abgeglichene Darstellung ist und bei jedem Widerspruch Vorrang hat. Die Analyse vom Dezember 2025 enthielt die drei Fehler, die Draft 3 korrigiert; sie wurde seither mit Draft 3 und mit der laufenden Chain abgeglichen.
- Zusammenfassung für InvestorenSeed-RundeSAFTOktober 2026
Rand Protocol: Zusammenfassung für Investoren
Private, programmierbare Abwicklung mit hashbasierten Beweisen
Oktober 2026 · 6 Seiten
Öffentliche Blockchains veröffentlichen, was Unternehmen schützen müssen: wer wen bezahlt hat, in welcher Höhe und jede Order, bevor sie ausgeführt wird. Deshalb bleiben die größten Kapitalpools ihnen fern. Rand ist eine Layer-1-Chain, auf der jede Zahlung eine abgeschirmte Note und jede Transaktion ein Zero-Knowledge-Beweis ist: Das Netzwerk prüft, dass die Regel ausgeführt wurde, ohne die Eingaben zu sehen, und ein Viewing Key lässt einen Prüfer lesen, was Wettbewerber nicht lesen können. Programme in Rust oder C laufen auf einer RISC-V zkVM, die von einem hashbasierten STARK ohne Trusted Setup bewiesen wird, und Dollar treffen aus vier Chains als ein abgeschirmter Dollar ein, zUSD.
Die Zusammenfassung legt das Problem dar, das Produkt und seine gemessenen Kosten, die Anwendungsfälle nach Reifegrad, den Markt mit veröffentlichten Schätzungen, den Vergleich mit Aleo, Railgun, Quantus und anderen, ein Jahr Forschung und den dreiwöchigen Neuaufbau zu einem laufenden Testnetz, die Token- und Rundenpreise, die Seed-Runde (SAFTs über 110 Millionen RAND, 11 % eines Höchstangebots von einer Milliarde, zu 0,03 $), das Team und die Risiken. Kein Angebot eines Wertpapiers oder Tokens.
Zentrale Ergebnisse- Chain 20 · v0.6.8
- Seed: 0,03 $ je RAND, 30 Mio. $ FDV
- SAFTs bei 1 Mrd. Höchstangebot
- 28 Releases, 7 Test-Chains
Quelldateien
Alle fünf Papers sind in LaTeX geschrieben und werden mit tectonic gebaut. Die zUSD-Quelle ist öffentlich — sie ist von ihrem Eintrag oben aus verlinkt, sodass sich jede Aussage darin anhand der Datei prüfen lässt, aus der sie stammt, neben der abgelösten zUSDT-Quelle im selben Repository. Die Quellen der übrigen vier Papers sind noch nicht veröffentlicht; bis dahin sind die oben genannten PDFs ihre maßgebliche Form. Alles Übrige, was öffentlich ist — der Node, die Wallets, der Explorer — liegt in der GitHub-Organisation.