Aviator-Algorithmus erklärt: Provably Fair mit SHA-512 im Detail

ER
Emma Rodriguez·Redakteur für verantwortungsvolles Glücksspiel
Geprüft vonJames Mitchell
7 Min. Lesezeit

Aviator-Algorithmus erklärt: Ein vollständiger technischer Leitfaden

Eines der wichtigsten Merkmale von Aviator ist der Provably-Fair-Algorithmus – ein kryptografisches System, mit dem jeder Spieler unabhängig überprüfen kann, dass der Crash-Punkt einer Runde fair bestimmt und nicht manipuliert wurde. Dieser Leitfaden erklärt, wie das System funktioniert, welche Mathematik dahintersteckt und wie Sie Ergebnisse selbst verifizieren können.


Was bedeutet „Provably Fair“?

Bei herkömmlichen Casinospielen müssen Sie darauf vertrauen, dass der Betreiber die Ergebnisse nicht manipuliert hat. Provably-Fair-Systeme machen dieses Vertrauen überflüssig, indem sie kryptografische Hashfunktionen einsetzen, die es mathematisch unmöglich machen, ein Ergebnis nachträglich zu verändern, sobald es festgelegt wurde.

Das Grundprinzip:

  1. Vor einer Runde legt sich der Server auf ein Ergebnis fest, indem er dessen Hash veröffentlicht
  2. Nach der Runde enthüllt der Server das Urbild (den Seed, aus dem der Hash erzeugt wurde)
  3. Sie können überprüfen, ob der festgelegte Hash zum enthüllten Seed passt
  4. Stimmen beide überein, wurde das Ergebnis nicht manipuliert

Die Hashfunktion SHA-512

SHA-512 (Secure Hash Algorithm mit 512 Bit) ist eine kryptografische Hashfunktion mit zwei Eigenschaften, die für Provably-Fair-Spiele entscheidend sind:

Eigenschaft 1: Determinismus

Dieselbe Eingabe erzeugt immer dieselbe Ausgabe:

  • Eingabe: „hello“ → Ausgabe: 9b71d224bd62f3785d96d46ad3ea3d73319bfbc2890caadae2dff72519673ca72323c3d99ba5c11d7c7acc6e14b8c5da0c4663475c2e5c3adef46f73bcdec043

Eigenschaft 2: Urbildresistenz

Aus einem Hashwert lässt sich die Eingabe rechnerisch nicht zurückgewinnen. Selbst mit der gesamten Rechenleistung der Welt würde es länger als das Alter des Universums dauern, die Eingabe zu einem gegebenen SHA-512-Hash zu finden.

Das bedeutet: Wenn der Server vor einer Runde einen Hash veröffentlicht, kann er den zugrunde liegenden Seed nachträglich nicht ändern, ohne einen völlig anderen Hash zu erzeugen – was Sie sofort bemerken würden.


Die Eingaben: Server-Seed und drei Client-Seeds

Die Crash-Punkte von Aviator werden aus vier Eingaben erzeugt:

Server-Seed

Eine zufällige Zeichenfolge, die der Server vor der Runde erzeugt. Der Server veröffentlicht den SHA-256-Hash dieses Seeds, bevor Einsätze angenommen werden, und gibt den Seed selbst nach Rundenende preis.

Client-Seeds

Die Client-Seeds der ersten drei Spieler, die in der Runde einen Einsatz platziert haben, werden gesammelt und in den Rundendetails angezeigt. Da diese Werte von unabhängigen Spielern stammen, kann der Betreiber die kombinierte Eingabe nicht im Voraus kennen.

Kombination der Eingaben

Der Server-Seed und die drei Client-Seeds werden aneinandergehängt und mit SHA-512 gehasht. Die resultierende hexadezimale Zeichenfolge mit 128 Zeichen bestimmt den Crash-Punkt.


So wird der Crash-Punkt berechnet

Spribe veröffentlicht nicht die genaue Rechenvorschrift, die den SHA-512-Hash in einen Multiplikator umwandelt. Die folgende Schritt-für-Schritt-Erklärung verwendet die offene Referenzkonstruktion, die durch Bustabit bekannt wurde (ein HMAC-SHA256-Rundenhash mit Nonce), um zu zeigen, wie aus einem Hash ein Multiplikator wird, dessen Verteilung P(crash ≥ x) = 0.97/x erfüllt. Die SHA-512-Pipeline von Aviator folgt demselben Prinzip: führende Bits des Hashs nehmen, sie auf einen Multiplikator abbilden und den Hausvorteil anwenden.

In der Referenzkonstruktion wird der Crash-Punkt in einem deterministischen Verfahren abgeleitet:

Schritt 1: Den Rundenhash erzeugen

round_hash = HMAC-SHA256(server_seed, client_seed + ":" + nonce)

Dies erzeugt eine hexadezimale Zeichenfolge mit 64 Zeichen, zum Beispiel:

a7b3c8d2e9f14056789012345678901234567890abcdef1234567890abcdef12

Schritt 2: Eine Zahl aus dem Hash extrahieren

Nehmen Sie die ersten 8 Zeichen (32 Bit) des Hashs und wandeln Sie sie von hexadezimal in dezimal um:

h = parseInt(hash.substring(0, 8), 16)
// Beispiel: "a7b3c8d2" → 2,813,000,914

Der größtmögliche Wert von h ist 2^32 − 1 = 4,294,967,295.

Schritt 3: Die Crash-Punkt-Formel anwenden

crash_point = floor((1 − houseEdge) × 2^32 / (2^32 − h)) / 100

Dabei gilt houseEdge = 0.03 (3%).

Vereinfacht:

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − h)) / 100

Sonderfall: Sofortiger Crash

Eine separate Bedingung berücksichtigt den Hausvorteil direkt. Gilt:

h mod 33 === 0

...crasht die Runde unabhängig vom Ergebnis der Formel sofort bei 1.00×. Das tritt mit einer Wahrscheinlichkeit von 1/33 ≈ 3.03% auf und setzt den Hausvorteil durch.


Ein konkretes Beispiel Schritt für Schritt

Angenommen, die ersten 8 Hexadezimalzeichen eines Rundenhashs lauten 4f2a1b3c:

h = 0x4f2a1b3c = 1,328,284,988
2^32 = 4,294,967,296

Prüfung: Ist 1,328,284,988 mod 33 === 0? Nein → weiter mit der Formel.

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − 1,328,284,988)) / 100
= floor(4,166,117,577 / 2,966,682,308) / 100
= floor(1.4043...) / 100
= 140 / 100
= 1.40×

Der Crash-Punkt dieser Runde wäre 1.40×.


Warum diese Formel die richtige Verteilung erzeugt

Die Formel P(crash ≥ x) = 0.97 / x ergibt sich mathematisch aus dieser Konstruktion:

Damit ein Crash-Punkt mindestens x beträgt, muss der aus dem Hash abgeleitete Wert h Folgendes erfüllen:

0.97 × 2^32 / (2^32 − h) ≥ x
→ 2^32 − h ≤ 0.97 × 2^32 / x
→ h ≥ 2^32 × (1 − 0.97/x)

Die Wahrscheinlichkeit, dass ein gleichverteilt zufälliges h dies erfüllt, beträgt:

P(h ≥ 2^32 × (1 − 0.97/x)) = 1 − (1 − 0.97/x) = 0.97/x

Das ergibt genau P(crash ≥ x) = 0.97/x – die Formel für den Hausvorteil ist mathematisch fest in die Ableitung des Crash-Punkts eingebaut.


So überprüfen Sie Ergebnisse selbst

Schritt 1: Die Rundendaten festhalten

Notieren Sie sich nach einer beliebigen Runde:

  • Hash des Server-Seeds (vor der Runde angezeigt)
  • Server-Seed (nach der Runde enthüllt)
  • Client-Seeds der ersten drei Spieler, die gesetzt haben

Schritt 2: Die Hash-Festlegung überprüfen

Berechnen Sie SHA-256(server_seed) und prüfen Sie, ob das Ergebnis mit dem zuvor veröffentlichten Hash übereinstimmt. Wenn ja, wurde der Server-Seed nach der Festlegung nicht verändert.

Schritt 3: Den Crash-Punkt neu berechnen

Berechnen Sie den Crash-Punkt mit der obigen Formel aus den Seeds neu. Stimmt er mit dem angegebenen Crash-Punkt überein, war die Runde fair.

Den Provably-Fair-Checker von AviatorStats verwenden

Unser Tool Provably Fair Checker auf AviatorStats.com automatisiert diesen gesamten Ablauf:

  1. Geben Sie den enthüllten Server-Seed und die drei Client-Seeds aus den Rundendetails ein
  2. Das Tool berechnet die SHA-512-Kombination, extrahiert h, wendet die Crash-Formel an und zeigt den erwarteten Crash-Punkt an
  3. Vergleichen Sie ihn mit dem angegebenen Ergebnis des Spiels – beide sollten exakt übereinstimmen

So erhalten Sie kryptografische Gewissheit über die Fairness einer Runde, ohne selbst rechnen zu müssen.


Was Provably Fair garantiert und was nicht

Es garantiert:

  • Crash-Punkte wurden nach der Festlegung nicht verändert
  • Die Ergebnisse sind mathematisch durch die Seeds bestimmt
  • Der Hausvorteil beträgt wie angegeben genau 3%
  • Jeder kann jede zurückliegende Runde unabhängig überprüfen

Es garantiert nicht:

  • Dass Sie eine bestimmte Runde gewinnen
  • Dass die Abfolge der Ergebnisse für einen einzelnen Spieler „fair“ ist
  • Dass Strategien den eingebauten Hausvorteil überwinden können
  • Dass vergangene Ergebnisse künftige Ergebnisse vorhersagen (das tun sie nicht)

Das Provably-Fair-System ist ein Transparenzmechanismus, kein Gewinnwerkzeug. Es stellt sicher, dass das Spiel wie beworben abläuft – was an sich wertvoll ist, aber nichts mit der Mathematik des langfristigen Erwartungswerts zu tun hat.



Nutzen Sie unsere Aviator-Analysetools

Analysieren Sie Aviator-Daten mit unseren Live-Statistiken, der Verteilungsanalyse, den Trenddiagrammen und dem Provably-Fair-Prüfer. Alle Tools sind kostenlos und erfordern keine Registrierung.


Verwandte Leitfäden

Spiel-Guides:

Strategie und Analyse:

Betrugswarnungen:

Plattform-Anleitungen:

Haftungsausschluss: Diese technische Erklärung dient ausschließlich Bildungszwecken. Das Verständnis des Algorithmus verschafft keinerlei Vorteil bei der Vorhersage von Ergebnissen. Die Ergebnisse von Aviator sind vor jeder Runde kryptografisch nicht vorhersagbar. Spielen Sie stets verantwortungsvoll.

ER

Redakteur für verantwortungsvolles Glücksspiel. Verfasst Fachinhalte zu Crash-Spielen, RTP-Analysen und verantwortungsvollem Glücksspiel für das Aviator-Tracker-Team.

Häufig gestellte Fragen

Provably Fair bedeutet, dass der Crash-Punkt jeder Runde kryptografisch festgelegt wird, bevor die Runde beginnt (über den veröffentlichten Hash des Server-Seeds). Nach der Runde enthüllt der Server den ursprünglichen Seed, und Sie können überprüfen, ob er zum zuvor festgelegten Hash passt. Stimmen beide überein, wurde das Ergebnis nicht manipuliert.
In der Referenzkonstruktion dieses Leitfadens gilt: crash_point = floor((1 − 0.03) × 2^32 / (2^32 − h)) / 100, wobei h eine 32-Bit-Ganzzahl ist, die aus den ersten 8 Hexadezimalzeichen des Rundenhashs abgeleitet wird, und h mod 33 = 0 die Runde sofort bei 1.00× crashen lässt. Die eigene Implementierung von Spribe hasht den Server-Seed mit drei Client-Seeds per SHA-512 und veröffentlicht ihre genaue Rechenvorschrift nicht.
Nein. Der Hash des Server-Seeds wird veröffentlicht, bevor die Runde gespielt wird. Würde der Server-Seed nach der Festlegung geändert, ergäbe sich ein anderer Hash, den die Spieler sofort bemerken könnten. Durch die kryptografische Festlegung ist eine nachträgliche Manipulation mathematisch nicht machbar.
Der Hausvorteil zeigt sich an zwei Stellen: (1) Der Faktor 0.97 in der Crash-Formel senkt alle Crash-Punkte proportional, und (2) wenn h mod 33 = 0 gilt (Wahrscheinlichkeit ≈ 3.03%), crasht die Runde sofort bei 1.00×. Zusammen ergibt das genau P(crash ≥ x) = 0.97/x.
Verwenden Sie den Provably Fair Checker von AviatorStats: Geben Sie den Server-Seed (nach der Session enthüllt), den Hash des Server-Seeds, den Client-Seed und die Runden-Nonce ein. Das Tool berechnet HMAC-SHA256 neu, leitet den Crash-Punkt mit der Formel ab und vergleicht ihn mit dem angegebenen Ergebnis. Eine Übereinstimmung bestätigt die Fairness.