Für alle / Wie es funktioniert
Das Vertrauensmodell
Eine Beschreibung des Mechanismus ohne das Vertrauensmodell ist Marketing. Diese Seite legt dar, worauf sich ein Nutzer von Pickle verlässt, und nennt die drei Eigenschaften, die die Chain bräuchte, bevor sie sich als mehr bezeichnen könnte.
Worauf sich ein Nutzer verlässt
Ein Computer, betrieben von einem Team, entscheidet, was auf der Chain geschieht und in welcher Reihenfolge. Wenn er ehrlich und eingeschaltet ist, funktioniert alles. Wenn er fehlginge, könnte er seine eigenen Aktionen vorziehen, Ihre auslassen oder ganz stehen bleiben, und nichts im Netzwerk würde ihn daran hindern. Was er nicht kann, ist über die Vergangenheit lügen, ohne erwischt zu werden: Eine Kopie jedes Blocks geht an Ethereum, und jeder kann sie nachspielen und den Unterschied sehen. Erwischt werden ist nicht dasselbe wie verhindert werden, und nichts reagiert automatisch darauf.
Ein Nutzer verlässt sich auf die Ehrlichkeit des Betreibers, plus die Tatsache, dass die Daten, die nötig sind, um sie zu prüfen, öffentlich sind. Ein Sequencer ordnet jede Transaktion an und kann umordnen oder zensieren. Es gibt keinen Forced-Inclusion-Pfad von Ethereum. Es gibt keine Fraud- oder Validity-Proofs; Korrektheit wird durch erneute Ausführung geprüft, und jede Replika, die eine Abweichung zwischen den veröffentlichten Daten und dem festgeschriebenen Block-Hash findet, hält an, aber nichts on-chain entscheidet über die Abweichung. Was das bedeutsam macht, sind die Daten: Alles, was nötig ist, um die Chain nachzubauen, liegt auf Ethereum oder ist von Ethereum aus festgeschrieben.
Ein einzelner Sequencer hält Reihenfolge und Liveness; sein Schlüssel liegt in einem On-Chain-Register und kann rotiert werden, wirksam ab dem nächsten Block. Es gibt keine Forced-Inclusion-Warteschlange auf dem L1. Korrektheit ist erneute Ausführung: Replikas leiten aus Inbox-Events und Payloads ab, und eine Hash-Abweichung ist für die Replika endgültig und wird on-chain nicht entschieden. Ein signierter Mini-Block, dem ein späterer Block widerspräche, wäre Beweismaterial, und das Design zeichnet dieses Beweismaterial auf; es reagiert noch nicht darauf. Batcher- und Messenger-Schlüssel sind verschieden, beim Start erzwungen, und der Messenger kann nicht fälschen oder wiederholen, weil Nachrichtenkennungen aus dem auslösenden Event abgeleitet und nach der Finalisierung einmal aufgezeichnet werden.
Reihenfolge, Liveness, Korrektheit, Daten, Bridge
| Eigenschaft | Wer oder was |
|---|---|
| Reihenfolge | ein Sequencerer kann umordnen und er kann zensieren. Es gibt keinen Forced-Inclusion-Pfad von Ethereum |
| Liveness | die des Sequencerswenn er stoppt, stoppen die Mini-Blöcke und die Chain hält für neue Ausführung an; Replikas bedienen weiter die abgeleitete Historie |
| Korrektheit | geprüft durch erneute Ausführungkeine Fraud- oder Validity-Proofs. Eine Replika erkennt eine Abweichung und hält an; nichts on-chain entscheidet darüber |
| Daten | auf Ethereum, oder von dort festgeschriebenalles, was nötig ist, um die Chain nachzubauen, ist öffentlich |
| Bridge | ein vertrauter Messenger-Schlüsseler kann keine Nachricht fälschen oder wiederholen, aber er kann verzögern |
- Reihenfolge. Ein Sequencer ordnet jede Transaktion an. Er kann umordnen, und er kann zensieren. Es gibt keinen Forced-Inclusion-Pfad, über den eine vom Sequencer abgelehnte Transaktion von Ethereum aus aufgenommen werden könnte.
- Liveness. Wenn der Sequencer stoppt, stoppen die Mini-Blöcke, und die Chain hält für neue Ausführung an. Replikas bedienen weiterhin die abgeleitete Historie. Der Sequencer-Schlüssel liegt in einem On-Chain-Register und kann rotiert werden, wirksam ab dem nächsten Block.
- Korrektheit. Es gibt keine Fraud- oder Validity-Proofs. Korrektheit wird durch erneute Ausführung geprüft: Jede Replika kann eine Abweichung zwischen den veröffentlichten Daten und dem festgeschriebenen Block-Hash erkennen und hält an, wenn sie das tut. Nichts on-chain entscheidet über eine solche Abweichung. Ein signierter Mini-Block, dem ein späterer Block widerspräche, wäre Beweismaterial, und das Design zeichnet dieses Beweismaterial auf; es reagiert noch nicht darauf.
- Daten. Alles, was nötig ist, um die Chain nachzubauen, liegt auf Ethereum oder ist von Ethereum aus festgeschrieben. Das ist die Eigenschaft, die den vorigen Punkt bedeutsam macht.
- Bridge. Der Bridge-Messenger ist ein vertrauter Schlüssel. Er kann keine Nachricht fälschen oder wiederholen, weil Kennungen aus dem auslösenden Event abgeleitet und nach der Finalisierung aufgezeichnet werden, aber er kann verzögern. Batcher- und Messenger-Schlüssel sind verschieden, beim Start erzwungen.
Die Schlüssel
- Der Sequencer-Schlüssel signiert Mini-Blöcke und ist die Identität des Betreibers. Er liegt in einem On-Chain-Register und rotiert mit einem Block Vorlauf.
- Der Batcher-Schlüssel ist die einzige Adresse, von der die Ethereum-Inbox Anhänge annimmt. Ein kompromittierter Batcher könnte aufhören zu senden, was das Settlement zum Stillstand bringt, aber er kann keine Payload fälschen, die eine Replika annehmen würde: Der Hash würde nicht passen.
- Der Messenger-Schlüssel finalisiert Bridge-Transfers in beide Richtungen. Er kann verzögern; er kann keine Nachricht erfinden, die die Contracts nie ausgegeben haben, und keine wiederholen, die bereits verarbeitet wurde.
Was Dezentralisierung voraussetzen würde
Pickle verwendet das Wort dezentral nicht für sich selbst
Die konkreten Eigenschaften, die dafür gelten müssten, sind diese: Redundanz und Rotation des Sequencers, sodass die Liveness keines einzelnen Betreibers die Liveness der Chain ist; ein Forced-Inclusion-Pfad von Ethereum, sodass kein einzelner Betreiber zensieren kann; und ein Anfechtungs- oder Beweispfad, sodass eine Abweichung, die eine Replika erkennt, entschieden statt bloß gemeldet wird.
Bis alle drei gelten, verlässt sich ein Nutzer auf die Ehrlichkeit des Betreibers plus die öffentlichen Daten, die nötig sind, um sie zu prüfen. Die Seite zur Governance listet die Angriffsresistenzen auf, die das Design hat, und ihre Grenze.