Taikos Alpha-3 Testnet ist live

h!lde
Taiko Community | DACH 🇩🇪 🇦🇹 🇨🇭

--

Finestone | 7. Juni 2023

Wir freuen uns, euch mitteilen zu können, dass das Taiko Alpha-3-Testnet Grímsvötn live ist! Dies ist der nächste Schritt auf dem Weg zu einem dezentralen, Ethereum-äquivalenten ZK-EVM. Alpha-3 wird für das Testen eines Großteils des Netzwerkdesigns und der Netzwerkkomponenten von entscheidender Bedeutung sein.

Die wichtigsten Änderungen im Vergleich zu Alpha-2:

  • Entwurf und Implementierung einer neuen Protokollökonomie
  • Proposer (Vorschlagende) UND Prover (Prüfer) sind erlaubnislos (Alpha-1 hatte erlaubnislose Proposer, Alpha-2 erlaubnislose Prover)

Um es kurz zu machen: Dieses Testnet konzentriert sich auf den dezentralen Teil unseres dezentralen, Ethereum-äquivalenten ZK-EVM. Genauer gesagt: Erlaubnislosigkeit, die zur Dezentralisierung tendieren kann. Hier geht es vor allem darum, zu testen, wie Proposer und Prover miteinander und mit dem Protokoll interagieren – und zwar ausschließlich auf Basis der durch das Protokoll gesetzten ökonomischen Anreize.

Die zweite wichtige Sache, die es zu testen gilt, ist der Einsatz von Taiko auf Taiko selbst, also als L3, was aufgrund der Wiederverwendbarkeit des Typ-1-Designs extrem einfach ist. Wir nennen dies „Inception Layer“.

Um direkt einzusteigen und mit dem Testen, Settling, Bereitstellen oder Vorschlagen und Testen zu beginnen, lest einfach diesen Leitfaden.

Hauptziele dieses Testnets:

  • Test des ökonomischen Designs und Implementierung des neuen Protokolls, einschließlich des neuen Gebühren-/Belohnungsmodells.
  • Test der Bridge, die teilweise Merkle-Proofs zur Verifizierung von Signale/Messages nutzt. Unsere vorhergehenden Testnets a1 und a2 nutzten beide vollständige Merkle-Proofs.
  • Test des neuen Oracle-Proofs. Jetzt können reguläre Proofs vor Orakel-Proofs stehen.
  • Test der Proof-Abklingzeit (30 Minuten empfohlen).
  • Test von ETH-Einzahlungen mit „retractionsRoot“ auf L2.
  • Test der Inception-Layer. Wir werden in ein paar Wochen einen Taiko L3 deployen.

Manche Dinge bleiben gleich:

  • Offen für alle Entwickler:innen zur Bereitstellung von Smart Contracts. Da Taiko ein Typ-1-ZK-EVM (Ethereum-Äquivalent) werden will, könnt ihr alle euch bekannten Ethereum/Solidity-Tools nutzen und eure Ethereum-Smart-Contracts problemlos deployen.
  • Offen für alle Nutzer:innen, die es testen und mit Transaktionen herumspielen möchten.
  • Offen für alle, die eine L2-Node betreiben wollen (Voraussetzung, um ein Proposer oder Prover zu sein)
  • Unsere L1-Umgebung ist das Ethereum-Testnet Sepolia.
  • Faucets zum Claim von Testnet-ERC20-Token für das Taiko-Testnet L2. Für ETH auf L1 könnt ihr die gängigen Sepolia ETH-Faucets verwenden.
  • Bridge zum Verschieben von Assets zwischen den L2-und L1-Testnets.
  • Block-Explorer, um Assets und Aktivitäten auf dem L2-Testnet und dem Sepolia L1 anzuzeigen.
  • Statusseite zur Überwachung des Netzwerks.

Belohnungen für Proposer und Prover

Um das ökonomische Design des neuen Protokolls zu testen, wird Alpha-3 ein Testnet mit Anreizen für Proposer und Prover sein. Wir müssen testen, wie sich erlaubnislose Proposer und Prover in einer Mainnet-simulierten Umgebung verhalten, in der sie rational entsprechend der Gebühren und Belohnungen des Protokolls handeln (Alpha-2 wurde nur auf der Prover-Seite angereizt). Die Simulation einer Mainnet-Umgebung mit erlaubnisfreier ökonomischer Aktivität ist in einem Testnet aufgrund des Mangels an realen Assets allerdings nicht ganz einfach.

Initiale TTKO-Verteilung

  • Beim Vorschlagen eines Blocks müssen die Proposer das Protokoll in einem Protokoll-Token bezahlen. Parallel müssen sie außerdem für die Gasgebühren für Ethereum L1 aufkommen, im Fall unseres Testnets SepoliaETH. In Alpha-3 nennen wir unser Protokoll-Token TTKO (Test-TKO). Als erste Gruppe potenzieller Proposer, die TTKO erhalten, haben wir diejenigen ausgesucht, die während der Alpha-1- und Alpha-2-Testnets für das Netzwerk aktiv waren.
  • Die ca. 2.000 besten Proposer nach Anzahl der in Alpha-1 vorgeschlagenen Blöcke erhalten jeweils einige TTKO. Die entsprechenden Adressen findet ihr hier.
  • Die 195 Prover, die mindestens einen Block in Alpha-2 nachgewiesen haben, erhalten ebenfalls einige TTKO. Deren Adressen finden sich hier.
  • Wir werden in unserem Discord, im Community-Forum und auf Twitter mitteilen, wann die TTKO versendet wurden. Außerdem auch die Berechnungen, wie die Beträge ermittelt wurden. Ab diesem Zeitpunkt können TTKO-Besitzer dann als Proposer für Alpha-3 agieren! Hinweis: Wenn ihr euch durch das Proven TTKO verdient, könnt ihr diese jederzeit zum Proposen von Alpha-3-Blöcken nutzen.

Simulation einer rationalen Netzwerkbeteiligung

Um potenzielle Proposer zu motivieren, Blöcke auf Mainnet-ähnliche Weise vorzuschlagen, legen wir zwei Dinge fest:

  • Um Spam-Blocks zu vermeiden (da Prover echte Rechenressourcen aufwenden müssen, um die Blockwarteschlange zu prüfen) benachteiligen/schaden würde, geben wir hiermit bekannt, dass das TTKO-Guthaben Teil der Faktoren sein wird, durch die Netzwerkteilnehmer zum Start des Mainnet belohnt werden. Nähere Informationen dazu geben wir später bekannt.
  • Um zu vermeiden, dass TTKO gehortet werden und der Sinn der Simulation umgangen wird, weisen wir außerdem darauf hin, dass rationale und nützliche Blockbildung und -vorschläge ebenso zu den Belohnungsfaktoren zählen. Wir veröffentlichen dazu keinen Schlüssel, da das Netz dann entsprechend dieser Formel manipuliert werden würde (in einer Testnet-Umgebung ohne Spam-Schutz mit natürlichem Wert).
  • Diese gegenläufigen Kräfte führen hoffentlich dazu, dass TTKO nicht für Spam-Vorschlagsblöcke ausgeben und dass Proposals rational getätigt werden. Unsere Idee: Stellt euch vor, ihr seid ein Rollup-Proposer und versucht, die tatsächlich verdienten L2-Gebühren zu maximieren. Dies ist unser bescheidener Versuch, die für das Testnet notwendigen Testmechanismen zu simulieren.

Um potenzielle Prover zu motivieren, Blöcke auf Mainnet-ähnliche Weise zu prüfen, erfolgt folgende Festlegung:

  • Wie bereits erwähnt, werden die akkumulierten TTKO zu den Faktoren gehört, durch die Netzwerkteilnehmer mit dem Start des Mainnets belohnt werden.
  • Denkt daran, dass Prover TTKO aus dem Protokoll erhalten, wenn sie gültige Nachweise einreichen. Die „zu erledigende Aufgabe“ eines Provers (d. h. die Erstellung von Beweisen) wird also mit TTKO belohnt.
  • Glaubt bitte aber nicht, dass das wahllose Proven von Blöcken eine rationale oder optimale Strategie wäre, um euch TTKO zu verdienen. Prover verbrauchen beim Generieren der ZKPs echte Rechenressourcen, wodurch echte Kosten entstehen (insbesondere, wenn sie nicht effizient sind). Es ist auch noch nicht klar, ob und wann diese Kosten erstattet werden können. Ihr als Prover müsst eure Entscheidung also sorgfältig abwägen. Beachtet, dass in einer Mainnet-Umgebung mit einem bekannten Wert des Protokoll-Tokens die Entscheidung unter Berücksichtigung ihrer Effizienz und der Konkurrenz getroffen wird.
  • Achtet entsprechend darauf, dass es einen Unterschied zu Alpha-2 gibt, in dem Prover entsprechend der Anzahl der geprüften Blöcke in USDC belohnt wurden.

Hardware-Anforderungen fürs Proving

Ab sofort könnt ihr zum Testen von Blöcken dieselbe Hardware verwenden, die in Alpha-2 genutzt wurde. Mindestanforderung an die Hardware waren bzw. sind: 8- oder 16-Core CPU und 32 GB Speicher. Bei Verwendung dieser Hardware lauten die groben Richtwerte: Die Proof-Erstellung dauert etwa 10 Minuten. Die Anmietung einer Maschine mit den oben genannten Spezifikationen würde etwa 0,15 US-Dollar pro Proof kosten.

Hinweis: Dieser Wert ist nicht repräsentativ dafür, was ein vollständiger ZK-EVM-Nachweis letztendlich kosten wird, da noch nicht alle Circuits integriert sind. Im Laufe der Zeit werden weitere Circuits hinzukommen. Das kann fortlaufend erfolgen oder aber auch per Upgrade auf das „Alpha-4“-Testnet. Wenn leistungsfähigere Hardware erforderlich werden sollte, werden wir dies so weit möglich im Voraus mitteilen.

Bitte beachtet, dass Belohnungs- oder Gewinnüberlegungen (falls vorhanden) von einer Vielzahl von Faktoren abhängen und in keiner Weise garantiert werden können. Dies gilt für Proposer, Prover und alle anderen Netzwerkteilnehmer. Bestimmte getroffene Annahmen spiegeln für die Dauer des Testnet-Zeitraums möglicherweise nicht die Realität wider, es können Protokollfehler gefunden werden und das Mainnet-Timing ist ungewiss. Wir behalten uns das Recht vor, das Programm entsprechend des Ziels anszupassen, erlaubnislose Proposals und Proofs in einem ZK-Rollup zu testen. Ihr solltet nur teilnehmen, wenn ihr dem Netzwerk beim Testen eines technischen Designs helfen möchtet. Das gilt hier wie auch in allen anderen Zweigen der Wissenschaft.

L3-Skalierung: Inception Layer

Inception Layer meint die Verwendung von Taiko als L2 und das Deployment der gleichen Codebasis als L3. Angesichts der Ethereum-Äquivalenz von Taiko entspricht die L3:L2-Beziehung eng der L2:L1-Beziehung und bietet so maximale Wiederverwendbarkeit und Einfachheit.

Dies wird notwendig, da ein einzelnes Rollup Ethereum nur so weit skalieren kann, bis das State Bloating untragbar wird. Für Ethereum sind mehrere Rollups (L2/L3/L-) erforderlich. Inception-Layer (die die gleiche Typ-1-Codebasis wiederverwenden) ermöglichen eine extrem erweiterbare Skalierbarkeit für Ethereum.

Darüber hinaus bedeutet die Ethereum-Äquivalenz über L2s, L3s und Lx hinaus, dass einige leistungsstarke Eigenschaften geerbt werden, wie z. B. integriertes “arbitrary messaging”. Dies ergibt sich aus der Fähigkeit eines Typs 1, Merkle-Proofs eines anderen zu lesen. Dies sorgt für die Lösung eines Problems, das viele Chains haben: Angst vor Fragmentierung, welche die UX/DevX beeinträchtigt. Da die verschiedenen Layer (nebeneinander und darüber) mithilfe von Merkle-Proofs problemlos miteinander kommunizieren können, kann Fragmentierung vermieden werden.

Bitte beachtet, dass wir erst in ein paar Wochen eine L3 bereitstellen werden. Prinzipiell kann das aber jeder jederzeit machen. Schaut dazu einfach in unsere Dokumentation.

Weitere Informationen zur layerübergreifenden Nachrichtenübermittlung und -bridging findet ihr in diesem Abschnitt unserer Dokumentation.

Wenn ihr außerdem wissen wollt, wie wir layerübergreifende Kommunikation effizient und robust gestalten wollen, dann werft doch einen Blick in unsere Forschungsidee.

Timelines und Aussichten

Unseren letzten beiden Testnets waren extrem lehrreich. Es war außerdem großartig und wichtig, unsere Community aus Usern, Node-/Proposer-/Prover-Runner, Builder:innen und allen anderen mit dabei zu haben. Wenn alles gut geht, dann wird Alpha-3 als langlebiges Testnet laufen. Zukünftige große Upgrades (a4+) könnten Smart-Contract-Upgrades oder Runterfahren bzw. Regenesis sein. Wir sind uns sicher, dass Community-Builder, Ethereum-Ökosystemprojekte und andere Partner auf diese Weise besser integriert werden können. Nichtsdestotrotz kann es in einigen seltenen Fällen doch zu einer Regenesis kommen, bitte behaltet das im Hinterkopf.

Seid dabei!

Hier noch einmal der Testnet-Hub, in dem ihr Dokumentation, Anleitungen und Links zu allen relevanten Apps und Tools für die Testnet-Nutzung findet:

Genau wie bei den ersten beiden Malen gibt es neben dem Deployment, der Nutzung, dem Proposen und dem Proven noch viele andere Möglichkeiten, sich zu engagieren und Taiko dabei zu helfen, sich zu verbessern. Einige davon umfassen:

  • Gebt uns mittels dieses Formulars Feedback oder meldet uns Bugs, auf die ihr stoßt.
  • Erstellt Tutorials oder andere Inhalte, die Entwickler:innen, Proposern/Provern und Nutzern den Einstieg erleichtern können.
  • Tatsächlich ist es jetzt einfacher denn je, mitzumachen, da wir alles über dieses Testnet (und vieles darüber hinaus) öffentlich zugänglich halten! Folgt einfach unserem Team-Projektboard und baut gemeinsam mit uns. Wir sind ein Team!

Am Freitag, den 9. Juni um 14:00 UTC, machen wir auf unserem Discord-Server im Stage Channel unseren Community Call #3. Wir werden einige allgemeine Updates teilen und viel Zeit haben, euch eure Fragen rund ums Testnet zu beantworten. Bitte stellt eure Fragen vorab in diesem Channel in unserem Discord, aber sehr gern natürlich auch live. Welche Fragen ist ganz egal. Immer her damit. Danke!

Ganz herzlichen Dank an unser engagiertes Team aus Community-Mitwirkenden aus allen Bereichen, von der Technik bis zur Bildung und vielem mehr. Wie ihr vielleicht den Details in diesem Beitrag entnehmen könnt, bedeutet unser Ziel, von Anfang an erlaubnisfrei zu sein, dass wir in hohem Maße auf Community-Teilnehmer angewiesen sind. Ohne euch könnten wir das nicht schaffen. Uns ist klar, dass das Ethereum-Ökosystem voller spannender Projekte und Ideen ist, in die ihr eure Zeit und Energie stecken könnt. Umso mehr sind wir euch dankbar, dass ihr euch entschieden habt, Teil unseres Projektes zu werden. Wir sind motivierter denn je, der Community und der Welt ein ZK-EVM des Typ 1 zu liefern.

Seid dabei!

Offene Stellen bei uns findet ihr in unserer Jobbörse.

Folgt uns!

Um über das Neueste von Taiko auf dem Laufenden zu bleiben bitter hier entlang:

Unterstützt uns!

Tragt zu Taiko bei und verdienen euch einen GitPOAP! Ihr werdet dann auch auch als Mitwirkender in unserer README-Datei aufgeführt. Schaut einfach in den Contribution-Guide und legt dann los!

[Original by Taiko Labs | Translation by Hilde X#7640]

--

--