September 6, 2022

ℤeeka Network

Was ist Zeeka?

Einfach ausgedrückt ist Zeeka (ℤ) eine Kryptowährung, die darauf abzielt, eine leichte und skalierbare Blockchain bereitzustellen, indem sie umfassend die Hilfe von Zero-Knowledge proof Technologie nutzt.

Ausführliche technische Informationen finden Sie im Zeeka Whitepaper! Außerdem entwickeln wir aktiv das Zeeka-Projekt. Folgen Sie uns auf GitHub!

Follow @zeeka-network

Häh? Zero-Knowledge Beweise?

Ein Zero-Knowledge Protokoll ist eine kryptografische Methode, mit der jemand beweisen kann, dass er die Antwort auf ein Problem kennt, ohne sie tatsächlich preiszugeben. Ein sehr gutes Beispiel für einen interaktiven Zero-Knowledge-Beweis finden Sie unten:

  • Angenommen, Alice hat eine Augenbinde und zwei Bälle in ihren Händen. Bob, der die Bälle sehen kann, behauptet, dass die Bälle unterschiedliche Farben haben. Alice vertraut Bob nicht. Wie kann Bob Alice davon überzeugen, dass die Bälle unterschiedliche Farben haben (das Problem), ohne Alices Augen freizulegen (die Antwort preiszugeben)?

Wenn die Kugeln wirklich unterschiedliche Farben haben, würde Bob Alice die richtige Antwort geben. Wenn er ihre Farben nicht unterscheiden kann, kann er Alice immer noch eine zufällige Antwort geben, und seine Antwort kann immer noch richtig sein. Aber die Wahrscheinlichkeit, eine richtige Antwort zu geben, liegt bei 50%.

Alice wiederholt den Vorgang 20 Mal. Wenn die Kugeln die gleiche Farbe haben, beträgt die Wahrscheinlichkeit, dass Bob alle 20 Mal die richtige Antwort gibt, (1/2)²⁰ (ungefähr 0,000001 %). Die Wahrscheinlichkeit ist so gering, dass Alice schließen kann, dass Bob wirklich in der Lage ist, zwischen den Kugeln zu unterscheiden, was zu dem Schluss führt, dass sie wirklich unterschiedliche Farben haben.

Was versuchst du zu beweisen? 😐

Angenommen, es gibt ein neuartiges Zahlungssystem, das aus einem Merkle-Baum besteht, in dem jedes Blatt ein Konto darstellt (ein öffentlicher Schlüssel und ein Kontostand). Wir definieren den Zustand des Systems als Merkle-Wurzel dieses Baums.

Wir wollen beweisen, dass eine große Anzahl von Transaktionen stattgefunden hat, indem wir den Status des Systems von A nach B geändert haben (das Problem), ohne die Transaktionen anzuzeigen (die Antwort).

Nun, hier ist die überwältigende Tatsache:

Der Beweis, den Sie liefern, hat eine konstante Größe, egal wie groß die Antwort ist. Die Antwort kann z. B. Millionen von Transaktionen sein, aber Sie müssen sie nicht anzeigen, damit der Zustandsübergang stattfindet. Ein konstanter Beweis reicht aus, um alle davon zu überzeugen, dass der Zustandsübergang gültig ist! 🤯

Ehmmm, Ethereum hat das schon mit zkRollups? 🙄

Sie haben uns! Aber hey, es gibt einen großen Unterschied. In zkRollups gibt es einen zentralisierten Operator, der ständig Zero-Knowledge-Proofs auf der Hauptkette veröffentlicht, und falls der Operator damit aufhört (d. h. nicht mehr verfügbar ist), wird die Kette auf einen früheren Zustand zurückgesetzt, von dem ein anderer Operator stammt darauf aufbauen können. Das ist eine enorme Komplexität.

Blockchains wie Ethereum/Bitcoin erzwingen die Datenverfügbarkeit der Kettengeschichte und keinen SNARK Zustand. Zeeka Knoten und Validatoren sind so implementiert, dass sie nur Forks akzeptieren, die den Kettenzustand ihres letzten Blocks offenbaren, was bedeutet, dass sie prüfen, ob der Hash des bereitgestellten Zustands zu dem im letzten Block übermittelten Zustands-Hash führt. Dieser Mechanismus stellt sicher, dass der komprimierte Zustand des letzten Blocks immeverfügbar ist. Eine längere Unterkette, deren Tipp-Zustand nicht verfügbar ist, ist nichts wert und wird vom Netzwerk nicht akzeptiert. Dies beseitigt die erwähnten Komplexitäten erheblich und schafft auch Raum für etwas Kreativität.

Okay, wie werden Sie mit Smart Contracts umgehen? 😉

Das Äquivalent zu einem Smart Contract in der Zeeka-Blockchain ist ein Zero Contract. Die Verträge in der Zeeka-Blockchain werden nicht für eine bestimmte virtuelle Maschine geschrieben (wie EVM), sondern in R1CS geschrieben (das der Baustein von zkSNARK-Schaltungen ist).

In diesem Schema lädt der Programmierer die Verifizierungsschlüssel seines R1CS-Vertrags (der aus mehreren Schaltungen bestehen kann) in die Blockchain hoch, und die Leute könnten diese Schaltungen leicht aufrufen und mit einer einzigen kleinen Transaktion (die eine komprimierte Transaktion sein könnte) von einem Zustand in einen anderen wechseln Version von Tausenden von Transaktionen).

Wie kann ich ein Teil davon sein? ❤️

Folgen Sie uns auf GitHub! Tragen Sie zum Projekt bei, indem Sie es programmieren oder bewerben. 💸 Auch Investitionen sind willkommen. Bleiben Sie mit mir auf Telegram in Kontakt :)

@keyvankambakhsh

WhitePaper: https://hackmd.io/@keyvank/zeeka

original (engl.)