Vitalik schlug letzte Woche vor, dass ich meine Grundlagenforschungs- und Designphilosophie in einem Blog -Beitrag teile. Ich stimmte zu, beklagte mich aber darüber, dass sie sich immer noch änderte. Mein Freund Jon West sagte mir, dass jeder es wirklich schätzen würde, wenn ich allen von meiner Casper -Recherche erzählte, ich stimmte größtenteils zu. Dann sagte mir jemand auf Reddit, ich solle mich auf Ethereum konzentrieren.
Hier ist die Casper Tech -Geschichte, die als chronologische Geschichte der Entwicklung der Schlüsseltechnologie, Ideen und Sprache, die an “Casper Research” beteiligt sind, verabreicht werden. Viele unserer Lieblings -Blockchain -Persönlichkeiten sind Teil der Geschichte. Dies ist mein Versuch, alles auf zugängliche, sequentielle Weise zu erzählen, damit Sie mit unseren Forschungsbemühungen sehen können, wo wir jetzt sind (und wohin wir gehen) (also erst am Ende der Geschichte argumentieren!). Ich werde versuchen, ein Kapitel pro Tag zu veröffentlichen, bis es abgeschlossen ist.
Beachten Sie auch, dass dies meine persönliche Sichtweise ist und verstehen, was ich durch den Prozess der Arbeit an Proof-of-Stake-Proofs verwalten kann. Die Konten von Vitalik und Greg Meredith variieren beispielsweise, da sie jeweils ihre eigene Sicht auf die Casper -Forschung haben.
Vorwort: Wie ich anfing, bei Ethereum zu recherchieren
März 2013-April 2014
Ich war sofort von der Blockchain-Technologiegeschichte begeistert, als Bitcoin First (wirklich) im März 2013 aufmerksam gemacht wurde. Dies war während der “Zypern-Krise” im Preis für Bitcoin. Ich habe über kryptografische Hashes, digitale Signaturen und Kryptographie der öffentlichen Schlüssel gelernt. Ich habe auch etwas über den Bitcoin -Bergbau und die Anreize gelernt, die Bergleute zum Schutz des Netzwerks müssen. Ich interessierte mich zum ersten Mal in meinem Leben für Informatik und Sicherheit. Es war großartig.
Es wurde gegen eine Erzählung der dystopischen libertären Ökonomie eingestellt und war unterirdische Entwickler (wie Amir Taaki) gegen Zentralbanker in einem epischen globalen Kampf, um die Welt vor dem Bankensystem der Bruchreserve zu retten. Die Blockchain -Revolution war besser als Fiktion.
Ich habe Inhalte auf Reddit konsumiert, hörte uns an, wie Bitcoin und viele Inhalte von Peter Todd über Sprechen können. Ich habe Geld bei BTC-E verloren (einmal, weil ich Ratschläge von der Trollbox entnommen habe). Ich stritten mich mit meinen Freunden Ethan Buchman und Zach Ramsay über Technologie. Wir haben von Mastercoin und der Möglichkeit gelernt, Systeme von Bitcoin aufzubauen und den Network-Effekt des Nachweises zu nutzen. Als ich in der Alt-Coin-Szene 2013 zum ersten Mal von Proof-of-Stake (POS) hörte (danke PPCOin!), Fand ich, dass es sich wie eine ketzerische Voodoo-Magie anhörte. Das Ersetzen von Bergleuten durch Münzen schien eine von Natur aus seltsame Sache zu sein, um es zu versuchen. Am Ende entschied ich, dass das Langstrecken-Angriffsproblem tödlich war, und alle Lösungen würden Entwicklerkontrollpunkte der einen oder anderen Form beinhalten (eine Meinung, die ich von Peter Todd gelernt habe). Ein Bitcoiner im Jahr 2013 zu sein, war eine der intellektuell anregendsten Erfahrungen meines Lebens.
Im Januar oder Februar 2014 habe ich zum ersten Mal über Ethereum gelesen. Ich habe Vitaliks YouTube -Videos gesehen und ihn bei den Toronto Decentral Bitcoin Meetups persönlich getroffen. Er kannte offensichtlich viel mehr von der technischen Geschichte als ich, also wurde ich eingeschlossen, diesmal auf Ethereum. Ethereum war das Versprechen einer Dezentralisierung, die mir zugänglich gemacht wurde, jemanden ohne viel Hintergrund. Es waren allgemeine Smart -Verträge, die alles tun konnten, jedes zentralisierte System stören. Es könnte so viele Dinge sein und tun, dass mir nicht immer klar war, welche Rolle Ethereum tatsächlich im Blockchain -Ökosystem spielen würde. Die Blockchain -Tech -Geschichte (wie ich sie sehe) nahm eine aufregende Wendung bei Ethereum und ich musste der Aktion näher sein 🙂
Ethan und ich waren vor der Bitcoin Expo 2014 in Toronto von Russel VERBETEN zu einem dieser Meetups eingeladen. (Vitalik hat mir beigebracht, wie man Merkle -Bäume bei dieser Veranstaltung verwendet.) Ich dachte über ein paar Wochen über die ordnungsgemäße Anreize und Dezentralisierung des Peer Review -Systems nach, da er kürzlich ein Papier aus einem akademischen Journal abgelehnt hatte. Ethan und ich haben versucht, diese Art von System im Hackathon zusammenzustellen. Ethan hat den größten Teil der harten Arbeit mit Pyethereum geleistet, während ich sehr langsam die erste GUI zusammenstellte, die ich jemals gemacht habe. Wir erreichten den zweiten Platz beim Hackathon (nach Amirs “Dark Market”, der offener Basar wurde). Wir haben das gesamte Ethereum -Team auf der Expo kennengelernt und haben uns zu den öffentlichen Skype -Kanälen eingeladen! Charles Hoskinson bot uns Jobs an: Im April 2014 begannen wir, uns freiwillig für Ethereum zu melden. Wir haben sogar E -Mail -Adressen von @ethereum.org.
Also bin ich in den Blockchain -Bereich eingestiegen, weil ich mich mit der Bitcoin -Tech -Geschichte und dann auf die Ethereum Tech -Geschichte befasst habe. Ich habe mich dann von der Tech-Geschichte von Proof-of-STake begeistert, von der ich jetzt weiß, dass sie sehr überzeugend ist. Ich werde es teilen, so treu wie möglich wie möglich zu sein, wie die Teile des Bildes zusammengekommen sind, um alle unsere Bemühungen auf den neuesten Stand zu bringen. Es mag ein paar Kapitel dauern, aber die Zeit ist nicht vorbei, bis es vorbei ist.
Kapitel 1: Slasher + Sicherheitsvorkommen: Der Übergang vom naiven Beweis für den modernen Proof-of-Stake.
Mai 2014 – 12. September 2014
Als Vitalik im Mai 2014, zuerst über Skype und dann auf einer Bitcoin -Konferenz in Wien, für mich zuerst Interesse an POS bekundete, war ich skeptisch. Dann erzählte er mir davon Slasherwas ich denke, er war im Januar 2014 aufgetaucht.
Dies gab Vitalik die Fähigkeit, das Problem des Nicht-Attents direkt anzugehen (und wohl dies zu lösen). (Für die Uneingeweihten bezieht sich das Problem “Nicht-Attent” auf die Tatsache, dass die beste Strategie der POS-Bergarbeiter darin besteht, auf allen Gabeln zu wechseln, da Unterschriften sehr billig zu produzieren sind). Es öffnete auch unsere Fantasie für einen neuen Raum interaktiver Protokolle, um schlechtes Verhalten zu steigern.
Trotzdem fühlte ich mich zu diesem Zeitpunkt nicht sehr zufrieden mit dem Beweis für den Beweis (obwohl Vitalik mir ein paar Mal erzählte, dass er denkt, dass “Proof-of-Stipe ist die Zukunft”), weil ich wirklich in den Proof-of-Work verliebt war. Während des Sommers habe ich hauptsächlich an Arbeitsproblemen gearbeitet (ASIC-HARD-POW, Sicherheitsaustausch zwischen POW-Ketten über “Arbeitsprobleme”, weder bis zur Fertigstellung). Aber ich habe die Verwendung von Sicherheitseinlagen für einige Vertragsentwickler bei verschiedenen Gelegenheiten vorgeschlagen. Dies pflanzte den Samen für Erkenntnisse in die schicksalhafte Nacht nach Emereum-Meetup-Nacht vom 11. September 2014 (ein großes Lob an Stephan Tual, um mich zu dieser Veranstaltung zu organisieren!).
Ethan Buchman und ich blieben spät wach und sprachen über den “Hacker” anstelle des “Party” -Steils von Amir Taakis Hocke in London. Ich habe die Punkte angeschlossen und die Leistung von Sicherheitsvorkommen für den Nachweis verinnerlicht. Dies war die Nacht, in der ich davon überzeugt war, dass POS funktionieren würde und dass es eine große Menge an Spaß machen würde. Es war auch das erste Mal, dass ich die überraschende Größe des POS -Designraums durch lange Argumente über Angriffe und mögliche Protokollantworten erlebte.
Seit dem frühen Morgen des 12. September 2014 habe ich mich fest befürwortet (für alle, die zuhören würden), dass Blockchains nach POS wechseln, weil es sicherer wäre. Amir Taaki war unbeeindruckt von meiner Begeisterung für den Beweis. Zumindest hatten Ethan und ich die beste Zeit.
Die Verwendung von Sicherheitsvorkommen nutzte die Wirksamkeit von Slasher immer erheblich. Anstatt einen Gewinn X zu verzichten, würde ein nachweislich fehlerhafter Knoten eine Kaution verlieren (die sich in der Größengröße x/r befindet), auf der die Blockbelohnung X als Zinsen (zum Zinssatz R) bezahlt werden sollte.
Sie platzieren eine Einzahlung zum Spielen. Wenn Sie nett spielen, erzielen Sie eine kleine Rückgabe für Ihre Einzahlung. Wenn Sie jedoch spielen, verlieren Sie Ihre Einzahlung. Es fühlt sich wirtschaftlich ideal an und ist so programmierbar.
Das Hinzufügen von Einlagen zu Slasher bedeutete, dass das Problem des Nichts auf dem Spiel offiziell gelöst wurde.
Zumindest hatte ich mich entschlossen, dass es so weit gelöst wurde, dass wir nicht mehr verstehen konnten, warum jemand aus Angst vor Nicht-Streckenproblemen ein Beweissystem ohne Sicherheitsvorlagen erstellen wollte.
Ebenfalls am 12. September 2014 traf ich zum ersten Mal Pink Penguin, weil ich von Stephan Tual eingeführt habe. Ich erzählte atemlos meine POS -Erkenntnisse, die in der Nacht zuvor gemacht wurden. Und nachdem ich in dieser Woche einen Job von ERIS Industries (jetzt Monax) respektvoll abgelehnt hatte, begann Pink Penguin, diese Forschung zu sponsern! (Danke <3 !!)
Zu diesem Zeitpunkt in der Geschichte wusste ich die anderen, mehrere unabhängige Entdeckungen der Verwendung von Sicherheitsvorkommen in Proof-of-Stake-Systemen von Jae Kwon, Dominic Williams und Nick Williamson.
Bleiben Sie dran … Im nächsten Kapitel handelt es sich um die zentrale Rolle, die Ideen aus der Spieltheorie bei der Festlegung der Designziele, die zu Casper geführt haben, gespielt haben!
Hinweis: Die hier ausgedrückten Ansichten sind ausschließlich meine persönlichen Ansichten und repräsentieren nicht die der Ethereum Foundation. Ich bin allein verantwortlich für das, was ich geschrieben habe und bin nicht als Sprecher der Stiftung.
