Cardano-Design-Rationale

Einführung

Eine langfristige Sicht auf die Verbesserung des Designs von Kryptowährungen, damit sie daran arbeiten können mobile Geräte mit einem angemessenen und sicheren Benutzererlebnis ● Bringen Sie Stakeholdern den Betrieb und die Wartung ihrer Kryptowährung näher ● Anerkennung der Notwendigkeit, mehrere Vermögenswerte im selben Hauptbuch zu erfassen ● Abstrahieren von Transaktionen, um optionale Metadaten einzuschließen, um eine bessere Konformität mit dem zu gewährleisten Anforderungen von Altsystemen ● Lernen Sie von den fast 1.000 Altcoins, indem Sie sinnvolle Funktionen nutzen ● Führen Sie einen standardisierten Prozess ein, der von der Internet Engineering Task Force inspiriert wurde eine spezielle Grundlage, um das endgültige Protokolldesign festzulegen
● Entdecken Sie die sozialen Elemente des Handels
● Finden Sie einen gesunden Mittelweg für die Interaktion der Regulierungsbehörden mit dem Handel einige von Bitcoin übernommene Grundprinzipien gefährden

Ausgehend von dieser unstrukturierten Reihe von Ideen begannen die Projektleiter, die an Cardano arbeiteten, beides zu erforschen

Kryptowährungsliteratur zu studieren und einen Toolset-Satz von Abstraktionen aufzubauen. Das Ergebnis dieser Forschung ist

IOHKs umfangreiche Papierbibliothek, zahlreiche Umfrageergebnisse wie dieses aktuelle Skript

Sprachübersicht sowie eine Ontologie von Smart Contracts und das Scorex-Projekt. Lektionen

nachgegeben ein Wertschätzung für die Kryptowährung Industrie ungewöhnlich und bei Zeiten

kontraproduktives Wachstum.

Erstens gibt es im Gegensatz zu erfolgreichen Protokollen wie TCP/IP nur wenige Schichten im Design

Kryptowährungen. Es bestand der Wunsch, eine einheitliche Konsensvorstellung zu bewahren

Fakten und Ereignisse werden in einem einzigen Hauptbuch erfasst, unabhängig davon, ob dies sinnvoll ist.

Zum Beispiel hat Ethereum eine enorme Komplexität bei dem Versuch, ein zu werden

Universeller Weltcomputer, leidet jedoch unter trivialen Bedenken, die das System möglicherweise zerstören könnten

Fähigkeit, als Wertaufbewahrungsmittel zu fungieren. Sollte jedermanns Programm ein erstklassiger Bürger sein?

unabhängig von ihrem wirtschaftlichen Wert, den Wartungskosten oder den regulatorischen Konsequenzen?

Zweitens gibt es wenig Wertschätzung für frühere Ergebnisse in der Mainstream-Kryptografieforschung. Für

Beispielsweise hätte der delegierte Proof of Stake von Bitshares einfach und zuverlässig Zufälle generieren können

Zahlen mittels Münzwurf mit garantierter Ausgabeausgabe, eine Technik, die seitdem bekannt ist

in den 1980er Jahren (siehe die wegweisende Arbeit von Rabin und Ben-Or).

Drittens haben die meisten Altcoins (mit einigen bemerkenswerten Ausnahmen wie Tezos) keine hergestellt

Unterkunft für zukünftige Updates. Die Fähigkeit, eine Soft- oder Hard-Fork erfolgreich voranzutreiben, ist entscheidend

zum langfristigen Erfolg jeder Kryptowährung.

Folglich können Unternehmensbenutzer keine Ressourcen im Wert von mehreren Millionen Dollar bereitstellen

Protokolle, bei denen der Fahrplan und die Akteure dahinter kurzlebig, kleinlich oder radikalisiert sind. Da

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 3 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Es muss ein effizienter Prozess sein, durch den sich ein gesellschaftlicher Konsens um eine Vision bilden kann

Weiterentwicklung des zugrunde liegenden Protokolls. Wenn dieser Prozess enorm aufwändig ist, kommt es zur Fragmentierung

könnte die Gemeinschaft auseinanderreißen.

Schließlich, Geld ist letztendlich a sozial Phänomen. Im Bemühen um Anonymisierung und

Als disintermediäre zentrale Akteure haben Bitcoin und seine Zeitgenossen die Notwendigkeit ebenfalls verworfen

stabile Identitäten, Metadaten und Reputation bei kommerziellen Transaktionen. Hinzufügen dieser Daten

Durch zentralisierte Lösungen entfällt die Überprüfbarkeit, globale Verfügbarkeit und Unveränderlichkeit –

Das ist der Sinn der Verwendung eines blockchain.

Ältere Finanzsysteme wie die, die aus SWIFT, FIX und ACH bestehen, sind reich an

Transaktionsmetadaten. Es reicht nicht aus zu wissen, wie viel Wert zwischen Konten verschoben wurde.

Die Regulierung erfordert häufig die Nennung der beteiligten Akteure, Compliance-Informationen und die Berichterstattung

verdächtige Aktivitäten und andere Aufzeichnungen und Aktionen. In manchen Fällen sind die Metadaten umfangreicher

wichtiger als die Transaktion.

Daher liegt der Schluss nahe, dass die Manipulation von Metadaten genauso schädlich sein könnte wie

Fälschen von Währungen oder Umschreiben der Transaktionshistorie. Keine Vorkehrungen für Schauspieler treffen

diejenigen, die diese Bereiche freiwillig einbeziehen wollen, scheinen kontraproduktiv für die Akzeptanz durch den Mainstream zu sein

und Verbraucherschutz.

Das Ende des Aufenthaltes

Die Zusammenfassung unserer prinzipiellen Erkundung des Kryptowährungsraums besteht aus zwei Sammlungen von

Protokolle. Dementsprechend handelt es sich um eine nachweislich sichere, auf Proof-of-Stake [1][2] basierende Kryptowährung namens

Cardano Settlement Layer (CSL) und eine Reihe von Protokollen namens Cardano Computation Layer

(CCL).

Unser Designschwerpunkt liegt darin, die sozialen Aspekte von Kryptowährungen in Schichten zu berücksichtigen

durch die Trennung der Wertbuchhaltung von der komplexen Berechnung und die Berücksichtigung der Anforderungen von

Regulierungsbehörden im Rahmen mehrerer unveränderlicher Grundsätze. Darüber hinaus, wo es sinnvoll ist,

1 Wir versuchen, vorgeschlagene Protokolle durch Peer-Review zu überprüfen und den Code mit dem Formalen zu vergleichen

Spezifikationen.

1 Eine Liste finden Sie im Abschnitt „Verordnung“. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 4 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Nachweis des Einsatzes

Die Verwendung eines Proof of Stake für eine Kryptowährung ist jedoch eine heiß diskutierte Designentscheidung

fügt einen Mechanismus zur Einführung sicherer Abstimmungen hinzu, verfügt über mehr Skalierbarkeit und ermöglicht mehr

Da es sich um exotische Anreizsysteme handelte, entschieden wir uns, diese anzunehmen.

Unser Proof-of-Stake-Protokoll heißt Ouroboros und wurde von extrem entwickelt

talentiertes Team von Kryptografen aus fünf akademischen Institutionen unter der Leitung von Professor Aggelos

2 Kiayias von der University of Edinburgh. Die Kerninnovation, die es mit sich bringt, geht über die erwiesene Sicherheit hinaus

Die Verwendung eines strengen kryptografischen Modells ist ein modulares und flexibles Design, das dies ermöglicht

Zusammenstellung vieler Protokolle zur Verbesserung der Funktionalität.

Diese Modularität ermöglicht Funktionen wie Delegation, Sidechains, abonnierbare Prüfpunkte,

bessere Datenstrukturen für Light-Clients, verschiedene Formen der Zufallszahlengenerierung und sogar

unterschiedliche Synchronisationsannahmen. Wenn sich ein Netzwerk aus Tausenden zu einem entwickelt

Millionen und sogar Milliarden von Benutzern werden auch die Anforderungen ihres Konsensalgorithmus erfüllen

ändern. Daher ist es wichtig, über genügend Flexibilität zu verfügen, um auf diese Veränderungen und damit einhergehend reagieren zu können

zukunftssicher das Herzstück einer Kryptowährung.

Soziale Elemente des Geldes

Kryptowährungen sind ein Paradebeispiel für die soziale Komponente von Geld. Beim Einschränken

Analyse rein auf Technologie, es gibt kaum einen Unterschied zwischen Bitcoin und Litecoin und sogar

weniger zwischen Ethereum und Ethereum Classic. Allerdings sind sowohl Litecoin als auch Ethereum Classic

Sie verfügen neben ihren eigenen über große Marktkapitalisierungen und robuste, dynamische Gemeinschaften

gesellschaftliche Mandate.

Man kann argumentieren, dass ein großer Teil des Wertes einer Kryptowährung von ihrer Community stammt,

die Art und Weise, wie es die Währung nutzt, und sein Ausmaß an Engagement in der Entwicklung der Währung. Fördern

Der Gedanke, Währungen wie Dash hätten sogar Systeme direkt in das Protokoll integriert, um

Beziehen Sie ihre Gemeinschaft in die Entscheidung ein, was bei der Entwicklung und Finanzierung Priorität haben sollte.

2 University of Connecticut, University of Athens, University of Edinburgh, Aarhus University, Tokio Institut für Technologie WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 5 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Die enorme Vielfalt der Kryptowährungen zeugt auch von ihren sozialen Elementen.

Meinungsverschiedenheiten über Philosophie, Geldpolitik oder auch nur zwischen den Kernentwicklern

zu Fragmentierung und Verzweigungen führen. Doch im Gegensatz zu ihren Gegenstücken in Kryptowährungen sind Fiat-Währungen von

Supermächte neigen dazu, politische Veränderungen und lokale Meinungsverschiedenheiten ohne eine Währungskrise zu überstehen

Massenflucht.

Daher scheint es, dass Elemente von Altsystemen fehlen

Kryptowährungsbranche. Wir argumentieren – und haben dies in die Cardano-Roadmap einfließen lassen

Benutzer eines Protokolls benötigen Anreize, um den Gesellschaftsvertrag hinter ihrem Protokoll zu verstehen

haben die Freiheit, Änderungen auf produktive Weise vorzuschlagen. Diese Freiheit erstreckt sich auf jeden

Aspekt eines Wertaustauschsystems, von der Entscheidung, wie Märkte reguliert werden sollen, bis hin zu welchen

Projekte sollen gefördert werden. Dennoch kann es nicht über zentralisierte Akteure vermittelt werden und ist auch nicht erforderlich

eine besondere Qualifikation, die von einer gut ausgestatteten Minderheit übernommen werden könnte.

Cardano wird ein System von Overlay-Protokollen implementieren, die auf CSL aufbauen, um dies zu berücksichtigen

Bedürfnisse seiner Nutzer.

Erstens: Unabhängig vom Erfolg eines Crowdsales zur Bootstrap-Entwicklung werden die Mittel letztendlich bereitgestellt

zerstreuen. Daher wird Cardano einen dezentralen Trust enthalten monoton finanziert

3 Senkung der Inflation und der Transaktionsgebühren.

Jeder Benutzer sollte berechtigt sein, über ein Abstimmungssystem Gelder vom Trust anzufordern

Die Stakeholder von CSL stimmen darüber ab, wer Begünstigter wird. Der Prozess schafft eine produktive

Rückkopplungsschleife, die bei anderen Kryptowährungen mit Treasury-/Trust-Systemen wie Dash beobachtet wird

Beginnen Sie ein Gespräch darüber, wer gefördert werden soll und wer nicht.

Finanzierungsdiskussionen erzwingen eine Beziehung zwischen lang- und kurzfristigen Zielen, dem sozialen Aspekt der Kryptowährung

Vertrag, Prioritäten und der Glaube an die Wertschöpfung mit bestimmten Vorschlägen. Dieses Gespräch

bedeutet, dass die Gemeinschaft ihre Überzeugungen ständig im Hinblick auf das Mögliche evaluiert und debattiert

Straßenkarten.

Zweitens hoffen wir, dass Cardano irgendwann ein formelles, auf blockchain basierendes System enthalten wird

sowohl Soft- als auch Hard Forks vorschlagen und darüber abstimmen. Bitcoin mit seiner Blockgrößendebatte, Ethereum mit

Der DAO-Fork und viele andere Kryptowährungen haben seit langem Bestand und in

Häufige Fälle sind ungelöste Auseinandersetzungen über die technische und moralische Ausrichtung der Codebasis.

Es kann und sollte argumentiert werden, dass viele dieser Meinungsverschiedenheiten und der Bruch der

Gemeinschaft, die entsteht, wenn Maßnahmen ergriffen werden, sind eine direkte Folge fehlender formaler Prozesse für

über Veränderungen diskutieren.
3 Dies wird auch als Treasury-System bezeichnet WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 6 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Wo kann man Bitcoin-Benutzer davon überzeugen, Segregated Witness einzuführen? Wie soll das

Kernentwickler von Ethereum messen die Stimmung der Community für die Rettung des DAO? Wenn die

Community Brüche, ist die Kryptowährung irreparabel beschädigt?

Im schlimmsten Fall könnte die moralische Handlungsbefugnis einfach an denjenigen übergehen, der die Entwickler hat.

Infrastrukturbeziehungen und Geld, nicht die besten Wünsche der überwiegenden Mehrheit der

Gemeinschaft. Darüber hinaus, wenn ein großer Teil der Community aufgrund von Unzugänglichkeit oder mangelndem Engagement nicht erreichbar ist

zu schlechten Anreizen, wie kann man dann wirklich wissen, ob ihre Handlungen legitim sind? 4

Vorgeschlagene Kryptowährungen wie Tezos bieten ein interessantes Modell, um zu untersuchen, wo a

Das Kryptowährungsprotokoll wird wie eine Verfassung behandelt, die aus drei Abschnitten besteht (Transaktion,

Konsens und Netzwerk) mit einer Reihe formeller Regeln und einem Verfahren zur Aktualisierung der Verfassung. Doch

Es gibt noch viel zu tun mit Anreizen und der Frage, wie genau modelliert und verändert werden soll

eine Kryptowährung mit einer formalen Sprache.

Der Einsatz formaler Methoden, maschinenverständlicher Spezifikationen und die Zusammenführung eines Treasury mit

Dieser Prozess für finanzielle Anreize wird als möglicher Weg zur Inspiration untersucht.

Letztendlich geht es nur um die Möglichkeit, eine Protokolländerung auf transparente und zensurfreie Weise vorzuschlagen

mit blockchain-basierter Abstimmung sollte den Prozess verbessern, auch wenn elegantere Lösungen dies nicht können

gestaltet werden.

Entwerfen in Schichten – Cardano Siedlungsschicht

Beim Entwerfen großartiger Protokolle und Sprachen sollte man nicht in die Zukunft blicken, sondern in die Zukunft die Vergangenheit. Die Geschichte bietet eine Vielzahl von Beispielen für großartige Ideen, die auf dem Papier noch perfekt sind irgendwie nicht überlebt haben, wie zum Beispiel die Open Systems Interconnection Standards. Geschichte auch bietet glückliche Zufälle, die von TCP/IP bis JavaScript überdauert haben.

Einige aus historischer Sicht abgeleitete Prinzipien sind die folgenden:

1. Sie können die Zukunft nicht vorhersagen, also bauen Sie Spielraum ein
2. Komplexität ist auf dem Papier schön, aber die Einfachheit gewinnt normalerweise 3. Zu viele Köche verderben den Brei 4. Sobald ein Standard festgelegt ist, wird er wahrscheinlich bestehen bleiben, unabhängig davon, ob er es ist suboptimal 4 Siehe rationale Ignoranz
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 7 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

5. Aus schlechten Ideen können tatsächlich ziemlich gute werden, wenn der Wille vorhanden ist

Cardano ist ein Finanzsystem, das seinen sozialen Charakter akzeptiert. Es wird einen enormen Bedarf geben für Flexibilität und die Fähigkeit, beliebige Komplexität in der Transaktion eines bestimmten Benutzers zu bewältigen. Wenn Erfolgreich zu sein, wird ein enormer Bedarf an Rechen-, Speicher- und Netzwerkressourcen bestehen um Millionen gleichzeitiger Transaktionen zu ermöglichen.

Dennoch haben wir keinen digitalen, dezentralen Robin Hood, den wir von den reichen Knoten nehmen und an ihn weitergeben können die Armen, um eine gerechte Vernetzung zu erreichen. Wir haben auch nicht den Luxus, Menschen zu vertrauen Wohltätigkeit zu altruistischem Opfer für das Wohl des Netzwerks. Daher Cardano Design übernimmt das Konzept der Interessenstrennung von TCP/IP.

Blockchains sind letztendlich Datenbanken, die Fakten und Ereignisse mit Garantien ordnen Zeitstempel und Unveränderlichkeit. Im Zusammenhang mit Geld ordnen sie den Besitz von Vermögenswerten an. Hinzufügen Komplexe Berechnungen durch Speichern und Ausführen von Programmen sind ein orthogonales Konzept. Wollen wir Um zu wissen, wie viel Wert Alice an Bob hatte, oder wollen wir uns daran beteiligen, das herauszufinden die ganze Geschichte hinter der Transaktion und die Entscheidung, wie viel gesendet werden soll?

Es ist unglaublich verlockend, Letzteres zu wählen, wie es Ethereum getan hat, weil es flexibler ist, aber es verstößt gegen die oben genannten Designprinzipien. Das Herausfinden der Geschichte bedeutet, dass ein einziges Protokoll erforderlich ist muss in der Lage sein, willkürliche Ereignisse zu verstehen, willkürliche Transaktionen zu programmieren und eine Schlichtung zu ermöglichen Betrugsfälle und möglicherweise sogar Rückabwicklungen von Transaktionen, wenn neue Informationen vorliegen verfügbar.

Dann muss man schwierige Designentscheidungen darüber treffen, welche Metadaten für jeden gespeichert werden sollen Transaktion. Welche Elemente der Geschichte hinter der Transaktion von Alice und Bob sind relevant? Sind Sind sie für immer relevant? Wann können wir einige Daten wegwerfen? Verstößt dies gegen das Gesetz? einige Länder?

Darüber hinaus sind einige Berechnungen privater Natur. Zum Beispiel bei der Berechnung des Durchschnitts Um das Gehalt der Arbeiter in einem Büro zu ermitteln, möchten wir nicht unbedingt bekannt geben, wie viel jede Person verdient macht. Aber was wäre, wenn jede Berechnung öffentlich bekannt wäre? Was ist, wenn diese Werbung die Ausführung beeinflusst? um dem Ergebnis zu schaden?

Daher haben wir die Position gewählt, dass die Bilanzierung des Werts von der getrennt werden sollte Geschichte, warum der Wert verschoben wurde. Mit anderen Worten: Trennung von Wert und Berechnung. Diese Trennung bedeutet nicht, dass Cardano smart contracts nicht unterstützt. Im Gegenteil, Durch die explizite Trennung wird eine deutlich größere Flexibilität bei der Gestaltung, Nutzung und Nutzung ermöglicht. Datenschutz und Ausführung von smart contracts.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 8 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Das Wertbuch wird Cardano Settlement Layer (CSL) genannt. Denn der Zweck besteht darin, Rechenschaft abzulegen Value hat die Roadmap folgende Ziele:

1. Unterstützt zwei Sätze von Skriptsprachen, einen zum Verschieben von Werten und einen zum Verbessern Unterstützung des Overlay-Protokolls
2. Bieten Sie Unterstützung für KMZ-Sidechains zur Verknüpfung mit anderen Hauptbüchern 5 3. Unterstützt mehrere Signaturtypen, einschließlich quantenresistenter Signaturen für höhere Signaturen Sicherheit
4. Unterstützen Sie mehrere vom Benutzer ausgegebene Assets 5. Erzielen Sie echte Skalierbarkeit, d. h. je mehr Benutzer beitreten, desto größer werden die Möglichkeiten des Systems erhöhen

Skripterstellung

Beginnend mit der Skriptsprache erfordern Transaktionen zwischen Adressen in einem Hauptbuch einige Form eines Skripts, das ausgeführt und als gültig erwiesen werden soll. Im Idealfall möchte man nicht, dass Eve darauf zugreift Alices Geld, und man möchte auch nicht, dass ein schlecht gestaltetes Drehbuch versehentlich einen Wert an einen Toten sendet Adresse, wodurch die Gelder unwiederbringlich werden.

Systeme wie Bitcoin bieten eine äußerst unflexible und drakonische Skriptsprache Es ist schwierig, maßgeschneiderte Transaktionen zu programmieren sowie zu lesen und zu verstehen. Doch der General Die Programmierbarkeit von Sprachen wie Solidity bringt eine außerordentliche Komplexität mit sich in das System integriert und sind nur für eine viel kleinere Gruppe von Akteuren nützlich.

Aus diesem Grund haben wir uns entschieden, zu Ehren ihres Schöpfers eine neue Sprache namens Simon zu entwerfen 6 Simon Thompson und der Schöpfer der Konzepte, die ihn inspiriert haben, Simon Peyton Jones. Simon ist eine domänenspezifische Sprache, die auf „Verfassen von Verträgen: ein Abenteuer im Finanzwesen“ basiert Ingenieurwesen.

Die Grundidee besteht darin, dass Finanztransaktionen im Allgemeinen aus einer Sammlung von Transaktionen bestehen Grundelemente. Wenn man ein finanzielles Periodensystem der Elemente zusammenstellt, dann kann man das 7 bieten Unterstützung für eine beliebig große Menge zusammengesetzter Transaktionen, die die meisten, wenn nicht, abdecken alle gängigen Transaktionstypen, ohne dass eine allgemeine Programmierbarkeit erforderlich ist.

5 Demnächst in einem Artikel von Kiayias, Zindros und Miller 6 Einzelheiten werden in einer kommenden Spezifikation veröffentlicht. Die vollständige Sprache wird im unterstützt Die Veröffentlichung von Shelley CSL ist für das vierte Quartal 2017 geplant 7 Das Projekt ACTUS verfügt über eine ausführliche Ausarbeitung
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 9 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Der Hauptvorteil besteht darin, dass Sicherheit und Ausführung sehr gut verstanden werden können. Beweise kann geschrieben werden, um die Korrektheit von Vorlagen zu zeigen und den Ausführungsraum auszuschöpfen problematische Transaktionsereignisse, wie die Schaffung neuen Geldes aus dem Nichts oder eine Transaktion Formbarkeit. Zweitens kann man Erweiterungen belassen, um über Soft Forks weitere Elemente hinzuzufügen, wenn Neue Funktionalität ist erforderlich.

Allerdings wird es immer einen Bedarf geben, CSL mit Overlay-Protokollen und alten Finanzprotokollen zu verbinden Systeme und Spezialserver. So haben wir Plutus als General entwickelt Zweck smart contract Sprache und auch ein spezieller DSL für Interoperabilität.

Plutus ist eine typisierte funktionale Sprache, die auf Konzepten von Haskell basiert und verwendet werden kann Schreiben Sie benutzerdefinierte Transaktionsskripte. Für CSL wird es für komplexe Transaktionen verwendet, die erforderlich sind Fügen Sie Unterstützung für andere Ebenen hinzu, die wir verbinden müssen, z. B. unser Sidechain-Schema.

Sidechains

In Bezug auf Sidechains wird Cardano ein neues Protokoll unterstützen, das von Kiayias, Miller und entwickelt wurde Zindros (KMZ-Sidechains) basierend auf früheren Ergebnissen von Arbeitsnachweisen. Das Besondere Design geht über den Rahmen dieses Dokuments hinaus; Das Konzept ermöglicht jedoch die sichere und Nicht-interaktive Bewegung von Geldern von CSL zu einer beliebigen Cardano-Berechnungsschicht oder einer anderen blockchain unterstützt das Protokoll.

KMZ-Sidechains sind der Schlüssel zur Kapselung der Komplexität. Bücher mit regulatorischen Anforderungen, Private Operationen, robuste Skriptsprachen und andere spezielle Anliegen sind praktisch schwarz Boxen an CSL übertragen, dennoch erhält der CSL-Benutzer bestimmte Garantien hinsichtlich der Buchhaltung und der Fähigkeit dazu Rückruf der Gelder, sobald die Berechnung abgeschlossen ist.

Unterschriften

Um Werte sicher von Alice zu Bob zu übertragen, muss Alice nachweisen, dass sie dazu berechtigt ist die Gelder verschieben. Der direkteste und zuverlässigste Weg, diese Aufgabe zu erfüllen, ist die Verwendung einer Öffentlichkeit Schlüsselsignaturschema, bei dem Gelder mit einem öffentlichen Schlüssel verbunden sind und Alice einen steuert zugehörigen privaten Schlüssel.

Es gibt Hunderte möglicher Schemata mit unterschiedlichen Sicherheitsparametern und -annahmen. Einige stützen sich auf mathematische Probleme im Zusammenhang mit elliptischen Kurven, andere dagegen über Gitter mit exotischen Konzepten verbunden.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 10 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Das abstrakte Ziel ist immer dasselbe. Es gibt ein schwieriges Problem, das nur gelöst werden kann jemand hat ein geheimes Wissen. Der Inhaber dieses Wissens soll sein Der Eigentümer des Schlüsselpaars und sollte die einzige Entität sein, die die Möglichkeit hat, es zu verwenden.

Es gibt zwei Gruppen von Bedenken, mit denen eine Kryptowährung bei der Wahl eines Signaturschemas konfrontiert ist. Erstens ist da die langfristige Sicherheitsbeständigkeit des Systems selbst. Etwas kryptografisch In den 1970er und 1980er Jahren verwendete Systeme wie DES wurden gebrochen. Der Zeitraum, über den Es muss entschieden werden, welches System voraussichtlich überleben wird.

Zweitens gibt es viele Unternehmen, Regierungen und andere Institutionen, die es vorgezogen haben, oder In einigen Fällen wurde die Verwendung eines bestimmten Schemas vorgeschrieben. Beispielsweise unterhält die NSA die Suite B-Protokollsatz. Es gibt Standards von ISO und sogar W3C-Arbeitsgruppen zur Kryptographie.

Wenn eine Kryptowährung ein Einzelsignaturschema wählt, ist sie gezwungen, dieses Schema zu akzeptieren könnte irgendwann in der Zukunft kaputt gehen und mindestens eine Entität kann sie nicht nutzen Kryptowährung aufgrund gesetzlicher oder branchenspezifischer Beschränkungen. Doch eine Kryptowährung kann nicht jeden unterstützen Signaturschema, da dies erfordern würde, dass jeder Kunde jedes Schema versteht und validiert.

Für Cardano haben wir uns entschieden, mit der Verwendung der elliptischen Kurvenkryptographie zu beginnen, der Ed25519-Kurve in besonders. Wir haben uns außerdem entschieden, die vorhandenen Bibliotheken um Unterstützung für HD-Wallets zu erweitern unter Verwendung der Spezifikation von Dr. Dmitry Khovratovich und Jason Law.
8

Allerdings wird Cardano in Zukunft weitere Signaturschemata unterstützen. Insbesondere sind wir es Interesse an der Integration von BLISS-B, um unserem System quantencomputerresistente Signaturen hinzuzufügen. Wir sind auch daran interessiert, SECP256k1 hinzuzufügen, um die Interoperabilität mit Legacy-Lösungen zu verbessern Kryptowährungen wie Bitcoin.

Cardano wurde mit speziellen Erweiterungen entwickelt, die es uns ermöglichen, weitere Signaturen hinzuzufügen Schemata durch eine Soft Fork. Sie werden nach Bedarf und bei geplanten größeren Aktualisierungen hinzugefügt die Roadmap.
9

Vom Benutzer ausgegebene Vermögenswerte (UIAs)

Zu Beginn der Geschichte von Bitcoin wurden schnell Protokolle entwickelt, die es Benutzern ermöglichen, Vermögenswerte auszugeben Huckepack auf dem Buchhaltungssystem von Bitcoin, um mehrere Währungen gleichzeitig zu verfolgen. 8 Dies ist die Dokumentation für die HD Wallet-Implementierung von Cardano. Wir glauben, dass Cardano der erste ist Kryptowährung zur Unterstützung von Ed25519 HD Wallets
9 Siehe cardanoroadmap.com
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 11 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Diese Protokolle wurden vom Protokoll Bitcoin nicht nativ unterstützt, sondern durch implementiert clevere Hacks.

Im Fall von Bitcoin-Overlays wie Colored Coins und Mastercoin (jetzt Omni genannt), Licht Clients sind gezwungen, sich auf vertrauenswürdige Server zu verlassen. Auch Transaktionsgebühren müssen noch eingezahlt werden Bitcoins. Diese Eigenschaften werden mit der einzigen Pipeline zur Transaktionsgenehmigung kombiniert Bitcoin suboptimal für Multi-Asset-Buchhaltung.

Im Fall Ethereum unter Verwendung des ERC20-Standards gibt es einen größeren Funktionsumfang. Allerdings Für Transaktionsgebühren ist weiterhin Ether erforderlich. Darüber hinaus hat das Netzwerk Ethereum Schwierigkeiten Skalierung auf die Bedürfnisse aller ausgegebenen ERC20 tokens.

Das grundlegende Problem lässt sich in drei Teile unterteilen: Ressourcen, Anreize und Anliegen. In Bezug auf Ressourcen bedeutet das Hinzufügen einer völlig neuen Währung zum gleichen Hauptbuch, dass man sie hat zwei unabhängige UTXO-Sets (nicht ausgegebene Transaktionseingaben), die sich die Bandbreite, den Mempool und teilen Blockraum. Konsensknoten, die für die Einbettung von Transaktionen dieser Währungen verantwortlich sind brauchen einen Anreiz dafür. Und nicht jeder Benutzer einer Kryptowährung wird oder sollte sich darum kümmern die Währung eines bestimmten Unternehmens.

Angesichts dieser Probleme sind die Vorteile als primäres token eines Multiasset-Ledgers enorm kann effektiv als Brückenwährung dienen und eine dezentrale Marktgestaltung ermöglichen. Speziell Zweckmäßige Vermögenswerte könnten ausgegeben werden, um zusätzlichen Nutzen zu bieten, z. B. wertstabile Vermögenswerte Tether oder MakerDAO, die für Kredit- und Überweisungsanträge nützlich sind.

Angesichts der Herausforderungen hat Cardano einen pragmatischen Ansatz für die Multi-Asset-Buchhaltung gewählt. Beim schrittweisen Aufbau besteht die erste Herausforderung darin, die notwendige Infrastruktur zur Unterstützung zu entwerfen Forderungen tausender UIAs. Nötig sind nämlich folgende Weiterentwicklungen:

1. Spezielle authentifizierte Datenstrukturen ermöglichen die Verfolgung sehr großer Datenmengen UTXO Zustand

2. Die Möglichkeit, über einen verteilten Mempool zu verfügen, der eine große Menge ausstehender Transaktionen speichern kann
3. Blockchain-Partitionierung und Kontrollpunkte, um eine riesige globale blockchain zu ermöglichen 4. Ein Anreizsystem, das Konsensknoten dafür belohnt, dass sie verschiedene Gruppen von Knoten einbeziehen Transaktionen 5. Ein Abonnementmechanismus, mit dem Benutzer entscheiden können, welche Währungen sie verfolgen möchten
6. Starke Sicherheit garantiert, dass UIAs eine ähnliche Sicherheit genießen wie das native Asset 7. Unterstützung für dezentrales Market Making zur Verbesserung der Liquidität zwischen UIA und der primär token

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 12 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Unsere ersten Bemühungen, die richtige authentifizierte Datenstruktur zu finden, haben zu einem neuen Ergebnis geführt Art des AVL+-Baums, der gemeinsam von Leo Reyzin, IOHK und Waves entwickelt wurde. Weitere Forschung ist erforderlich, Es handelt sich jedoch um eine grundlegende Weiterentwicklung, die in einer späteren Version von Cardano enthalten sein wird.

Ein verteilter Mempool könnte mithilfe des RAMCloud-Protokolls der Stanford University implementiert werden. Im dritten Quartal 2017 werden Experimente beginnen, um die Integration in die Konsensschicht von Cardano zu untersuchen.

Die übrigen Themen sind miteinander verbunden und werden durch laufende Forschung abgedeckt. Wir erwarten – Thema zu Forschungsergebnissen – um ein Protokoll in Cardano für UIAs während des Basho von CSL aufzunehmen Veröffentlichung im Jahr 2018.

Skalierbarkeit

Verteilte Systeme bestehen aus einer Reihe von Computern (Knoten), die sich bereit erklären, ein Protokoll auszuführen oder

Suite von Protokollen, um ein gemeinsames Ziel zu erreichen. Dieses Ziel könnte das Teilen einer Datei gemäß Definition sein

B. das BitTorrent-Protokoll oder das Falten eines Proteins mit Folding@Home.

Die effektivsten Protokolle gewinnen Ressourcen, wenn Knoten dem Netzwerk beitreten. Eine Datei, die von gehostet wird

BitTorrent beispielsweise kann im Durchschnitt viel schneller heruntergeladen werden, wenn viele Peers vorhanden sind

gleichzeitig herunterladen. Die Geschwindigkeit erhöht sich, da die Peers gleichzeitig Ressourcen bereitstellen

konsumiere sie auch. Dieses Merkmal ist das, was man normalerweise meint, wenn man eine Verteilung angibt

Systemwaagen.

Die Herausforderung bei der Gestaltung aller aktuellen Kryptowährungen besteht darin, dass dies tatsächlich nicht der Fall ist

skalierbar konzipiert. Blockchains zum Beispiel sind normalerweise eine nur anhängbare verknüpfte Liste von

Blöcke. Die Sicherheit und Verfügbarkeit eines blockchain-Protokolls hängt von vielen Knoten ab

Besitz einer vollständigen Kopie der blockchain-Daten. Daher muss ein einzelnes Datenbyte repliziert werden

unter N Knoten. Zusätzliche Knoten stellen keine zusätzlichen Ressourcen bereit.

Dieses Ergebnis gilt für die Transaktionsverarbeitung und das gesamte Versenden von Nachrichten

das System. Das Hinzufügen weiterer Knoten zum Konsenssystem bringt keine zusätzlichen Vorteile

Transaktionsverarbeitungsleistung. Es bedeutet lediglich, dass mehr Ressourcen aufgewendet werden müssen, um dasselbe zu erreichen

Arbeit. Mehr Netzwerk-Relaying bedeutet, dass mehr Knoten dieselben Nachrichten weiterleiten müssen, um die Nachrichten aufrechtzuerhalten

gesamtes Netzwerk synchron mit dem aktuellsten Block.

Angesichts dieser Topologie können Kryptowährungen nicht zu einem globalen Netzwerk skalieren, das mit herkömmlichen Kryptowährungen vergleichbar ist

Finanzsysteme. Im Gegensatz dazu ist die Legacy-Infrastruktur skalierbar und verfügt über Größenordnungen

mehr Rechen- und Speicherleistung. Wenn man einen bestimmten Punkt hinzufügt, ist Bitcoin ein sehr kleines Netzwerk

im Vergleich zu seinen Zahlungskollegen, hat jedoch Schwierigkeiten, seine aktuelle Auslastung zu bewältigen.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 13 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Unsere Skalierbarkeitsziele für Cardano werden durch unseren Konsensalgorithmus erheblich unterstützt. Ouroboros

ermöglicht eine dezentrale Möglichkeit, ein Quorum von Konsensknoten zu wählen, die wiederum mehr ausführen können

Traditionelle Protokolle wurden in den letzten 20 Jahren entwickelt, um den Bedürfnissen großer Unternehmen gerecht zu werden

Infrastrukturanbieter wie Google und Facebook.
10

Beispielsweise bedeutet die Wahl eines Quorums für eine Epoche, dass wir über eine vertrauenswürdige Gruppe von Knoten verfügen

Führen Sie das Hauptbuch für einen bestimmten Zeitraum. Es ist trivial, mehrere Kollegien gleichzeitig zu wählen

und Partitionieren von Transaktionen auf verschiedene Quoren.

Ähnliche Techniken könnten für die Netzwerkausbreitung und auch für das Sharding des blockchain angewendet werden.

unterteilt sich in einzigartige Partitionen. In unserer aktuellen Roadmap werden Skalierungsmethoden angewendet

Ouroboros beginnen im Jahr 2018 und bleiben auch 2019 und 2020 ein Schwerpunkt.

Cardano Berechnungsschicht

Wie bereits erwähnt, gibt es zwei Komponenten einer Transaktion: den Mechanismus zum Senden und zeichnen Sie den Fluss von tokens sowie die Gründe und Bedingungen für die Verschiebung von tokens auf. Die Letztere können beliebig komplex sein und Terabytes an Daten, mehrere Signaturen und Sonderzeichen umfassen auftretende Ereignisse. Letzteres kann auch mit einem einzigen Signatur-Pushing-Wert bemerkenswert einfach sein an eine andere Adresse.

Die Herausforderung bei der Modellierung der Gründe und Bedingungen des Werteflusses besteht darin, dass dies der Fall ist auf unvorhersehbare Weise äußerst persönlich für die beteiligten Einheiten. Lehren aus Das Vertragsrecht zeichnet ein noch problematischeres Bild, während die Akteure selbst dies möglicherweise nicht tun Seien Sie sich sogar darüber im Klaren, dass die Transaktion nicht der kommerziellen Realität entspricht. Wir nennen das im Allgemeinen Phänomen „die semantische Lücke“ . 11

Warum sollte man eine Kryptowährung aufbauen, die einer endlosen Ebene an Komplexität und Abstraktion nachjagt? Es wirkt von Natur aus sisyphusartig und in der Praxis naiv. Darüber hinaus umfasste jede Abstraktion hat sowohl rechtliche als auch sicherheitsrelevante Konsequenzen.

Beispielsweise gibt es im Internet zahlreiche Aktivitäten, die allgemein als illegal gelten oder verachtet werden etwa der Handel mit Kinderpornografie oder der Verkauf von Staatsgeheimnissen. Durch den Einsatz robuster 10 Es gibt auch andere unabhängige Forschungsprotokolle, die versuchen, das gleiche Ziel zu erreichen, wie z Elastico und Bitcoin-NG
11 Loi Luu et al. diskutieren diese Lücke in ihrem aktuellen Artikel „Making Smart Contracts Smarter“. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 14 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Mit der dezentralen Infrastruktur stellt man nun einen Kanal für diese Aktivität bereit den gleichen Zensurwiderstand, den normale kommerzielle Transaktionen genießen. Es ist rechtlich unklar, ob die Konsensknoten des Netzwerks – die den Anreiz haben, sich stärker zusammenzuschließen Zeit, die Effizienz zu fördern – würden für die von ihnen gehosteten Inhalte zur Verantwortung gezogen.

Die strafrechtliche Verfolgung von Tor-Betreibern, die brutale Behandlung des Betreibers von Silk Road und das Fehlen allgemeiner Die rechtliche Klarheit hinter dem rechtlichen Schutz der Protokollteilnehmer hinterlässt einen unsicheren Weg. Es gibt Es mangelt nicht an Vorstellungskraft darüber, was eine ausreichend fortgeschrittene Kryptowährung sonst noch ermöglichen könnte (siehe der Ring von Gyges). Ist es sinnvoll, alle Benutzer einer Kryptowährung zur Unterstützung zu zwingen oder zumindest? die schlimmsten Taten und Verhaltensweisen im Internet ermöglichen?

Leider gibt es keine klaren Antworten, die einem Kryptowährungsdesigner Einblick geben. Es ist mehr darüber, eine Position auszuwählen und ihre Vorzüge zu verteidigen. Der Vorteil, dass sowohl Cardano als auch Bitcoin ist, dass wir uns dafür entschieden haben, Anliegen in Ebenen zu unterteilen. Mit Bitcoin gibt es Wurzelstock. Mit Cardano gibt es die Berechnungsschicht Cardano.

Die Arten komplexer Verhaltensweisen, die die zuvor ausgearbeiteten Handlungen ermöglichen würden, können nicht weitergeführt werden CSL. Sie erfordern die Fähigkeit, Programme auszuführen, die in einer vollständigen Turing-Sprache geschrieben sind Form der Gasökonomie zur Zählerberechnung. Sie erfordern auch Konsensknoten, die dazu bereit sind Nehmen Sie die Transaktionen in ihre Blöcke auf.

Somit könnte eine Funktionseinschränkung die Benutzer einigermaßen schützen. Bisher am meisten etabliert Regierungen haben nicht den Standpunkt vertreten, dass die Verwendung oder Aufrechterhaltung einer Kryptowährung ein Problem darstellt rechtswidrige Handlung. Daher sollte die überwiegende Mehrheit der Benutzer kein Problem damit haben, ein Hauptbuch zu führen in der Leistungsfähigkeit mit einem digitalen Zahlungssystem vergleichbar.

Wenn man die Leistungsfähigkeit erweitern möchte, gibt es zwei Möglichkeiten. Es wird von einem Privaten aktiviert Kollektiv gleichgesinnter Individuen und kurzlebiger Natur (z. B. ein Pokerspiel). Oder, es wird durch ein Hauptbuch mit vergleichbaren Funktionen wie Ethereum ermöglicht. In beiden Fällen haben wir uns entschieden Auslagerung der Ereignisse in ein anderes Protokoll.

Im Falle eines privaten, kurzlebigen Ereignisses ist es sinnvoll, das blockchain-Paradigma zu vermeiden vollständig, sondern beschränken die Bemühungen eher auf eine Bibliothek spezieller MPC-Protokolle, die dies können kann auf Wunsch einer Gruppe gleichgesinnter Teilnehmer aufgerufen werden. Die Berechnungen und Aktivitäten werden in einem privaten Netzwerk koordiniert und beziehen sich auf CSL nur als vertrauenswürdiges Bulletin Board und a Bei Bedarf können Sie auch den Message-Passing-Kanal nutzen.

Die wichtigste Erkenntnis in diesem Fall ist, dass es eine Einwilligung, eine Haftungsabgrenzung und eine Privatsphäre gibt. CSL ist Es wird als digitales Allmende genutzt, in dem sich Benutzer treffen und kommunizieren können – so wie ein Park eine Veranstaltung beherbergen würde private Veranstaltung – bietet jedoch keine besonderen Vorkehrungen oder Erleichterungen. Darüber hinaus WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 15 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Die Verwendung spezieller MPC ermöglicht eine Interaktion mit geringer Latenz, ohne dass dies erforderlich ist blockchain aufgebläht. Dadurch wird die Skalierung des Systems verbessert.

Die Forschungsbemühungen von Cardano für diese Bibliothek sind in unserem Tokyo Tech-Labor zentralisiert einige Unterstützung von Wissenschaftlern im Ausland. Wir nennen die Bibliothek „Tartaglia“, nach einem Kollegen Mathematiker und Zeitgenosse von Cardano und erwarten, dass die erste Iteration verfügbar sein wird im ersten Quartal 2018.

Im zweiten Fall benötigt man einen blockchain mit einer virtuellen Maschine, einer Reihe von Konsensknoten und einen Mechanismus, der die Kommunikation zwischen den beiden Ketten ermöglicht. Wir haben damit begonnen Prozess der rigorosen Formalisierung der virtuellen Maschine Ethereum mithilfe des K-Frameworks in 12 Partnerschaft mit einem Team der University of Illinois.

Das Ergebnis dieser Analyse wird Aufschluss darüber geben, wie ein repliziertes und letztendlich optimalstes Design gestaltet werden kann verteilte virtuelle Maschine mit klarer Betriebssemantik und starken Garantien für die Korrektheit 13 Implementierung aus der Spezifikation. Mit anderen Worten: Die VM tut tatsächlich, was der Code vorgibt Dies hat mit der Minimierung von Sicherheitsrisiken zu tun.

Es gibt immer noch ungelöste Fragen zur Gasökonomie, die von Ethereum vorgeschlagen wird, und zu deren Funktionsweise bezieht sich auf Arbeiten wie das ressourcenbewusste ML von Jan Hoffmann et al. und die umfassendere Untersuchung von Ressourcenschätzung für die Berechnung. Wir sind auch gespannt auf das Sprachniveau Unabhängigkeit der virtuellen Maschine. Beispielsweise hat das Projekt Ethereum den Wunsch geäußert für den Übergang von ihrer aktuellen VM zu Web Assembly.

Der nächste Versuch besteht darin, eine vernünftige Programmiersprache zu entwickeln, um zustandsbehaftet auszudrücken Verträge, die von dezentralen Anwendungen als Dienste aufgerufen werden. Für diese Aufgabe haben wir wählte sowohl den Ansatz zur Unterstützung der alten smart contract-Sprache Solidity als Low Assurance-Anwendungen und Entwicklung einer neuen Sprache namens Plutus für höhere Assurance Anträge, die eine formelle Prüfung erfordern.

Wie das soliditätsbasierte Zeppelin-Projekt wird IOHK auch eine Referenzbibliothek von Plutus-Code entwickeln für Anwendungsentwickler zur Verwendung in ihren Projekten. Wir werden auch ein spezielles Werkzeugset entwickeln zur formalen Verifizierung, inspiriert durch Arbeiten aus dem Liquid Haskell-Projekt der UCSD.

Im Hinblick auf den Konsens wurde Ouroboros ausreichend modular konzipiert, um Unterstützung zu bieten smart contract Auswertung. Daher verwenden sowohl CSL als auch CCL denselben Konsensalgorithmus. 12 Erfunden von Professor Grigore Rosu et. al., K ist ein universeller Rahmen für die Sprachunabhängigkeit Semantik maschinenausführbarer Dateien. Vor unserer Arbeit wurde es zur Modellierung von C, Java und JavaScript verwendet 13 Das bedeutet, dass verschiedene Konsensknoten unterschiedliche smart contracts ausführen. Wird auch als State-Sharding bezeichnet WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 16 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Der Unterschied besteht darin, dass bestätigt werden kann, dass Ouroboros sowohl eine Genehmigung als auch eine Genehmigung erteilt erlaubnislose Hauptbücher über die Verteilung token.

Mit CSL wurde Ada über eine token generierende Veranstaltung an Kunden in ganz Asien vertrieben der schließlich auf einem Sekundärmarkt weiterverkaufen wird. Dies bedeutet, dass der Konsensalgorithmus von CSL ist wird von einer vielfältigen und zunehmend dezentraleren Gruppe von Akteuren oder deren Delegierten kontrolliert weist zu. Mit CCL ist es möglich, einen Sonderzweck token zu erstellen, der von dessen Delegierten gehalten wird Ledger, bei dem es sich um regulierte Unternehmen handeln könnte, wodurch ein zugelassenes Ledger erstellt wird.

Die Flexibilität dieses Ansatzes ermöglicht es, dass verschiedene CCL-Instanzen mit unterschiedlichen Methoden realisiert werden können Regeln zur Bewertung von Transaktionen. Beispielsweise könnten Glücksspielaktivitäten eingeschränkt werden es sei denn, es liegen KYC/AML-Daten vor, indem einfach nicht zugeordnete Transaktionen auf die schwarze Liste gesetzt werden.

Unser letzter Designschwerpunkt liegt auf dem Hinzufügen vertrauenswürdiger Hardware-Sicherheitsmodule (HSM) zu unserem Protokoll Stapel. Dies sind zwei enorme Vorteile bei der Einführung dieser Funktionen in die Protokoll. Erstens sorgen HSMs für enorme Leistungssteigerungen, ohne die Sicherheit zu erhöhen 14 Bedenken, die über das Vertrauen des Anbieters hinausgehen. Zweitens, durch den Einsatz von Sealed Glass Proofs (SGP), HSMs können gewährleisten, dass Daten überprüft und anschließend vernichtet werden können, ohne dass dies der Fall ist kopiert oder an böswillige Außenstehende weitergegeben werden.

Konzentrieren wir uns auf den zweiten Punkt: SGPs könnten einen revolutionären Einfluss auf die Compliance haben. Normalerweise, wenn ein Verbraucher zur Authentifizierung persönlich identifizierbare Informationen (PII) bereitstellt Um Ihre Identität nachzuweisen oder die Teilnahmeberechtigung nachzuweisen, werden diese Informationen an einen vertrauenswürdigen Dritten weitergegeben die Hoffnung, dass es nicht böswillig handelt. Diese Aktivität ist grundsätzlich zentralisiert, der Datenlieferant verliert die Kontrolle über seine personenbezogenen Daten und unterliegt zudem verschiedenen Vorschriften, die auf der Gerichtsbarkeit basieren.

Die Möglichkeit, eine Reihe vertrauenswürdiger Attestierer auszuwählen und dann personenbezogene Daten in einer Hardware-Enklave zu speichern bedeutet, dass jeder Akteur mit einem ausreichend leistungsfähigen HSM in der Lage ist, Fakten über einen Akteur zu überprüfen auf fälschungssichere Weise, ohne dass der Prüfer die Identität des Akteurs kennt. Bob ist zum Beispiel kein US-Bürger. Alice ist eine akkreditierte Investorin. James ist ein US-Steuerzahler und man sollte ihn schicken steuerpflichtige Gewinne auf Konto X.

Die HSM-Strategie von Cardano besteht darin, in den nächsten beiden Fällen die Implementierung spezialisierter Protokolle zu versuchen Jahre mit Intel SGX und ARM Trustzone. Beide Module sind in Milliarden von Verbrauchern verbaut Geräte vom Laptop bis zum Mobiltelefon und erfordern keinen zusätzlichen Aufwand auf Verbraucherseite verwenden. Beide sind außerdem sorgfältig geprüft, gut gestaltet und basieren auf jahrelangen Iterationen einiger von ihnen die größten und bestfinanzierten Hardware-Sicherheitsteams.

14 Siehe http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ von Cornell Universität WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 17 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Verordnung

Die harte Realität aller modernen Finanzsysteme ist, dass sie mit zunehmender Skalierung einen Bedarf anhäufen, oder zumindest ein Wunsch nach Regulierung. Dieses Ergebnis ist im Allgemeinen das Ergebnis wiederkehrender Zusammenbrüche aufgrund der Nachlässigkeit eines Akteurs oder einer Gruppe von Akteuren auf einem Markt.

Beispielsweise führte die Knickerbocker-Krise von 1907 zur Gründung der Federal Reserve System im Jahr 1913 als Kreditgeber der letzten Instanz. Ein weiteres Beispiel sind die Exzesse der 1920er Jahre In den Vereinigten Staaten kam es zu einem schrecklichen Finanzkollaps, der Weltwirtschaftskrise. Dieser Zusammenbruch Um eine ähnliche Entwicklung zu verhindern, wurde 1934 die Securities Exchange Commission gegründet Ereignis verhindern oder zumindest schlechte Akteure zur Verantwortung ziehen.

Man kann vernünftigerweise über die Notwendigkeit, den Umfang und die Wirksamkeit einer Regulierung diskutieren, aber man kann sie nicht leugnen seine Existenz und der Eifer, mit dem große Regierungen es durchgesetzt haben. Allerdings ist die Die Herausforderung, vor der alle Regulierungsbehörden stehen, wenn die Welt globalisiert und Bargeld digital wird, ist zweigleisig.

Erstens: Welche Vorschriften sollten beim Umgang mit einer Sammlung oberste Priorität haben? Gerichtsbarkeiten? Die antiquierte Vorstellung der westfälischen Souveränität schmilzt bei einer einzigen Transaktion kann in weniger als einer Minute drei Dutzend Länder erreichen. Sollte es einfach derjenige sein, der das ausübt größten geopolitischen Einfluss?

Zweitens haben Verbesserungen in der Datenschutztechnologie zu einem digitalen Wettrüsten geführt, wo immer es so sein wird Es wird immer schwieriger, überhaupt nachzuvollziehen, wer an einer Transaktion beteiligt war. geschweige denn, wer einen bestimmten Wertaufbewahrungsmittel besitzt. In einer Welt mit Vermögenswerten in Millionenhöhe kann mit nichts anderem als einer geheim gehaltenen 12-Wörter-Mnemonik kontrolliert werden, wie geht das? 15 wirksame Regulierung durchsetzen?

Wie alle Finanzsysteme muss das Cardano-Protokoll in seinem Design eine Meinung darüber haben, was ist fair und vernünftig. Wir haben uns entschieden, zwischen individuellen Rechten und den Rechten eines zu unterscheiden Marktplatz.

Einzelpersonen sollten immer den alleinigen Zugang zu ihren Geldern haben, ohne Zwang oder zivilrechtliche Vermögenswerte Verfall. Dieses Recht muss durchgesetzt werden, da man nicht darauf vertrauen kann, dass alle Regierungen dies nicht tun missbrauchen ihre souveräne Macht zum persönlichen Vorteil korrupter Politiker, wie in Venezuela zu sehen ist und Simbabwe. Kryptowährungen müssen auf den kleinsten gemeinsamen Nenner gebracht werden.

15 Siehe BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 18 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Zweitens sollte die Geschichte niemals manipuliert werden. Blockchains versprechen Unveränderlichkeit. Die Einführung der Möglichkeit, den Verlauf rückgängig zu machen oder die offizielle Aufzeichnung zu ändern, bringt zu viel mit sich Versuchung, die Vergangenheit zu ändern, um einem oder mehreren bestimmten Akteuren zu helfen.

Drittens sollte der Wertefluss uneingeschränkt sein. Kapitalkontrollen und andere künstliche Mauern Menschenrechte einschränken. Abgesehen von der Sinnlosigkeit des Versuchs, sie durchzusetzen, in einem globalen 16 Wirtschaft, in der viele Bürger in den am wenigsten entwickelten Ländern außerhalb ihres Hoheitsgebiets reisen Um einen existenzsichernden Lohn zu finden, schadet die Einschränkung der Kapitalströme in der Regel den Ärmsten der Welt.

Diese Grundsätze besagten, dass sich Märkte deutlich von Individuen unterscheiden. Während die Designer von Cardano glauben an die Rechte des Einzelnen, wir glauben auch, dass Märkte das Recht haben, offen zu sagen deren Geschäftsbedingungen und wenn eine Einzelperson zustimmt, in diesem Markt Geschäfte zu tätigen, dann Im Interesse der Integrität des gesamten Systems müssen diese Standards eingehalten werden.

Die Herausforderung bestand schon immer in den Kosten und der Durchführbarkeit der Durchsetzung. Klein, multijurisdiktional Transaktionen sind in Altsystemen einfach zu teuer, um eine hohe Rückgriffssicherheit zu gewährleisten im Falle eines Betrugs oder eines Handelsstreits. Wenn man seine Überweisung an die sendet Nigerianischer Prinz, es ist normalerweise zu teuer, zu versuchen, sein Geld zurückzubekommen.
17

Für Cardano glauben wir, dass wir auf drei Ebenen innovativ sein können. Erstens durch die Verwendung von smart contracts die Bedingungen von Geschäftsbeziehungen können besser kontrolliert werden. Wenn alle Vermögenswerte vorhanden sind digital und kann ausschließlich auf CSL ausgedrückt werden, starke Garantien für betrugsfreien Handel können sein gewonnen.

Zweitens die Verwendung von HSMs zur Bereitstellung eines Identitätsraums, in dem personenbezogene Daten nicht verloren gehen, aber trotzdem daran gewöhnt sind Authentifizierungs- und Anmeldeinformationsakteure sollten ein globales Reputationssystem bereitstellen und dies ermöglichen Die Durchführung regulierter Aktivitäten ist viel kostengünstiger, beispielsweise Online-Glücksspiele mit automatisierten Systemen Steuerkonformität oder dezentraler Austausch.

Schließlich ist in der Roadmap von Cardano die Schaffung einer modularen Verordnung DAO vorgesehen, die möglich ist angepasst, um mit vom Benutzer geschriebenen smart contracts zu interagieren, um Veränderlichkeit und Verbraucher hinzuzufügen Schutz und Schlichtung. Der Umfang dieses Projekts wird in einem späteren Artikel dargelegt.

16 Als Beispiel für eine Gegenmaßnahme zum Kapitalfluss siehe das Hawala-Bankensystem 17 Siehe Vorschussbetrug WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 19 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Was ist der Sinn des Ganzen?

Cardano war ein Marathonprojekt, bei dem Hunderte der klügsten Köpfe Feedback erhielten

innerhalb und außerhalb der Kryptowährungsbranche. Es beinhaltet unermüdliches Iteration, die aktive Nutzung von

Peer-Review und schamloser Diebstahl großartiger Ideen, wenn sie aufgedeckt werden.

Die verbleibenden Abschnitte behandeln jeweils einen bestimmten Schwerpunktaspekt, den wir als Kernaspekt eingestuft haben

Bestandteil unseres Projektes. Einige wurden aufgrund des Wunsches ausgewählt, das Gesamtergebnis zu verbessern

Praktiken des Raums, während andere spezifisch für die Entwicklung von Cardano sind.

Obwohl kein Projekt jedes Ziel abdecken oder jeden Benutzer zufriedenstellen kann, ist es unsere Hoffnung, eine Vision dafür zu liefern

wie ein sich selbst entwickelnder Finanzstapel für Jurisdiktionen aussehen sollte, in denen er nicht vorhanden ist. Das Ultimative

Die Realität von Kryptowährungen ist nicht, dass sie die bestehenden alten Finanzsysteme stören werden.

Veraltete Finanzsysteme sind jederzeit in der Lage, Veränderungen zu absorbieren und ihre Form beizubehalten

und Funktion.

Vielmehr sollte man nach Orten suchen, an denen es einfach zu teuer ist, das Vorhandene einzusetzen

Bankensystem, in dem viele von weniger als ein paar Dollar am Tag leben, keine stabile Identität haben und

Kredit ist unmöglich zu finden.

An diesen Orten bündeln sich die Macht eines Zahlungssystems, Eigentumsrechte, Identität, Kredit und Risiko

Schutz in einer einzigen Anwendung, die auf einem Mobiltelefon ausgeführt wird, ist nicht nur nützlich, sondern verändert auch das Leben.

Der Grund, warum wir Cardano bauen, ist, dass wir der Meinung sind, dass wir eine berechtigte Chance haben, etwas zu liefern – oder

zumindest Fortschritte machen – diese Vision für die Entwicklungsländer.

Selbst im Scheitern: Wenn wir die Art und Weise ändern können, wie Kryptowährungen entworfen, weiterentwickelt und finanziert werden,

dann gibt es eine große Leistung.

Wissenschaft und Technik

Die Kunst der Iteration

Kryptowährungen sind als Software implementierte Protokolle. Protokolle sind einfach intelligent Gespräche zwischen Teilnehmern. Software ist letzten Endes die Manipulation von Daten WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 20 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Ziel. Doch der Unterschied zwischen solider, zuverlässiger Software sowie nützlichen, sicheren Protokollen und ihr Gegenteil ist völlig menschlich.

Gute Software braucht Verantwortlichkeit, klare Geschäftsanforderungen, wiederholbare Prozesse, Gründliche Tests und unermüdliche Iteration. Gute Software braucht auch einigermaßen talentierte Leute Entwickler mit ausreichend domänenspezifischem Wissen, um ein System richtig zu entwerfen, das dies vollständig kann jedes Problem lösen, das sie zu lösen versuchen.

Was nützliche und sichere Protokolle betrifft, insbesondere solche, die Kryptographie beinhalten und verteilt sind Systeme beginnen sie in einem eher akademischen und standardisierten Prozess. Peer-Review, endlos Debatten und ein klares Konzept der Kompromisse sind notwendig, um sicherzustellen, dass ein Protokoll nützlich ist. Doch diese Allein reicht nicht aus, Protokolle müssen im realen Einsatz implementiert und getestet werden.

Die einzigartige Herausforderung in der Kryptowährungsbranche besteht darin, dass zwei völlig unterschiedliche sind Philosophien werden ohne eine richtige Hegelsche Synthese verstümmelt. Unsere These ist ein „Umzug „Schnelle und zerbrich Dinge“-Startup-Mentalität, die von Jugend, Gier und Leidenschaft geprägt ist. Die Antithese ist a langsamer, methodischer und akademisch orientierter Ansatz, motiviert durch den Wunsch, das zu festigen Innovationen unseres Raumes in eine schöne Nische zu bringen, die reichlich Geld und Prestige genießt.

Das Ergebnis ist, dass viele Kryptowährungen entweder nur in einem Whitepaper vollständig spezifiziert sind relevant für einen Lebenslauf oder einfach nur durch hastig geschriebenen Code. Keine der aktuellen Top-Ten-Kryptowährungen von 18 Die Marktkapitalisierung basiert auf einem Peer-Review-Protokoll. Keiner der aktuellen zehn Top Kryptowährungen wurden anhand einer formalen Spezifikation implementiert.

19

Dennoch stehen Werte in Milliardenhöhe auf dem Spiel. Einmal eingesetzt, ist eine Kryptowährung äußerst wertvoll

schwer zu ändern. Woher weiß ein Benutzer, dass er ein sicheres System verwendet? Wie funktioniert ein Benutzer

Wissen Sie, dass die Marketingaussagen legitim sind? Was wäre, wenn das vorgeschlagene Protokoll niemals etwas erreichen könnte?

die Ansprüche?

Dieser Mangel an Synthese und Respekt vor dem Prozess ist einer der Hauptgründe, warum IOHK dies wollte

Build Cardano. Unsere Hoffnung war es, ein Referenzprojekt zu entwickeln, das als Beispiel dienen könnte

wie man Dinge effektiver, vernünftiger und ehrlicher macht.

Das Ziel besteht nicht darin, eine völlig neue Art der Software- und Protokollentwicklung vorzuschlagen, sondern darin

erkennen an, dass es bereits großartige Software und Protokolle gibt und wir die Bedingungen nachahmen können

das führte zu ihrer Entstehung. Zweitens, diese Bedingungen öffentlich bekannt zu machen und als Open Source bereitzustellen

möglich, so dass sie zum Nutzen des gesamten Fachgebiets nachgeahmt werden können. 18 Eine umfassende Auflistung nach Marktkapitalisierung finden Sie unter www.coinmarketcap.com 19 Ethereum verfügt über eine halbformale Spezifikation, die als Yellow Paper bekannt ist; Die Semantik von EVM gilt jedoch sind weder vollständig spezifiziert noch für eine vollständige Implementierung des Protokolls ausreichend. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 21 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Fakten und Meinungen

Die andere Sorge betrifft die Frage, wo Fakten enden und Meinungen beginnen. Es gibt Hunderte davon

Programmiersprachen, Dutzende Entwicklungsparadigmen und mehr als eine Philosophie

Projektmanagement. Die akademische Welt ist voller eigener Herausforderungen, die sich daraus ergeben

Distanz zu geschäftlichen Belangen und Praktikabilität.

Für Cardano haben wir zunächst versucht, offensichtliche Mängel zu erfassen, denen allgemein zugestimmt werden kann

aus technischer Sicht nützlich sein. Zum Beispiel Kryptographie und verteilt

Systeme sind beide außerordentlich komplizierte Themen mit viel zu vielen Beispielen dafür, wie naiv die Hände sind

kann schreckliche Fehler machen. Daher benötigt jedes Protokoll Einblicke in diese Domänen

von einem anerkannten Experten entworfen und zur Überprüfung durch andere Experten vorgelegt werden.

Ouroboros ist unsere erste Fallstudie zu diesem Bereich. Es wurde von einem Team von Kryptographen mit entworfen

eine große, vielfältige und öffentlich nachweisbare Publikationsgeschichte. Es wurde nach dem Standard gebaut

Kryptographieverfahren mit Sicherheitsannahmen, einem kontradiktorischen Modell und Beweisen. Diese

Die Beweise wurden durch Einreichung bei Konferenzen überprüft und auch unabhängig per Computer

20 Beweise, die von einem Team der Universität Cambridge in Isabelle verfasst wurden.
21

Diese Arbeit allein bietet jedoch keine Garantie für die Nützlichkeit, sondern lediglich eine strenge Prüfung der Sicherheit

Modell unter Berücksichtigung einiger Annahmen. Um die Nützlichkeit zu gewährleisten, muss das Protokoll implementiert und getestet werden.

Unsere Entwickler haben dies sowohl in Haskell als auch in Rust getan. Diese Arbeit zeigte, dass mehr Aufwand erforderlich ist

musste sich auf das Synchronisationsmodell konzentrieren, was zur Gründung von Ouroboros führte

Praos.

Diese Kunst der Iteration ist es, die großartige Protokolle hervorbringt, wobei jeder Schritt zu neuen Lektionen führt

eine Anforderung, die Richtigkeit des vorherigen Schritts erneut zu überprüfen. Es ist kostspielig, zeitaufwändig und kostengünstig

22 Das ist manchmal wirklich mühsam, dennoch ist es erforderlich, sicherzustellen, dass ein Protokoll korrekt gestaltet ist.

Protokolle – insbesondere solche, die von Milliarden von Menschen genutzt werden sollen – sind nicht nur von kurzer Dauer und schnell

sich weiterentwickeln. Vielmehr sollen sie über Jahre bis Jahrzehnte befolgt werden. Es scheint völlig

Es ist vernünftig, dass wir alle damit leben müssen, bevor wir die Welt mit einem neuen Finanzsystem belasten

Für die nächsten 100 Jahre wollen wir von seinen Designern etwas Langeweile und Strenge verlangen.

20 Angenommenes Papier Nr. 71 der jährlichen Kryptokonferenz der IACR in Kalifornien
21 Von Kawin Worrasangasilpa unter der Leitung von Professor Lawrence Paulson
22 Um der Einfachheit halber einer Tangente zu folgen, sollte man sich die Diskussion von Professor Halmos darüber ansehen, wie das geht ein Mathe-Lehrbuch schreiben WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 22 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Funktionelle Sünden

Die darin verwendeten Werkzeuge, Sprachen und Methoden bewegen sich in ein eigensinnigeres Gebiet

Softwareentwicklung sind eher Artefakte religiöser Vorsehung als objektive Realität. Quelle

Code ist wie geschriebene Prosa. Jeder hat eine Meinung darüber, was gut ist – und was ist

Was kommuniziert wird, ist manchmal weniger wichtig als die Art und Weise, wie es kommuniziert wird.

Wir müssen die Sünde begehen, uns für eine Seite zu entscheiden und gleichzeitig zu akzeptieren, dass sie in mindestens einer Hinsicht falsch liegen wird

die Augen einer Person. Allerdings gibt es für unsere Wahl zumindest eine umfangreiche Begründung.

Die Protokolle, die Cardano ermöglichen, werden in Haskell implementiert. Die Benutzeroberfläche

wurde in einer Elektronengabel eingekapselt, die wir Daedalus nennen. Wir haben uns dafür entschieden

Verwenden Sie nach Möglichkeit das Webarchitekturmodell, und für unsere Datenbank haben wir uns für einen Schlüsselwert entschieden

Paradigma mit RocksDB.

Auf Komponentenebene bedeutet diese Abstraktion, dass die Wartung wesentlich einfacher und besser ist

Technologie kann später mit geringem Aufwand ersetzt werden, und unser Stack ist teilweise daran gebunden

Entwicklungsbemühungen von Github und Facebook.

Durch die Verwendung einer WebGUI können wir React nutzen und Front-End-Funktionen mithilfe von Tools entwickeln

Hunderttausende JavaScript-Entwickler verstehen es. Verwendung einer Webarchitektur

bedeutet, dass Komponenten als Dienste behandelt werden können und das Sicherheitsmodell sinnvoll ist.

Die Wahl von Haskell für die Protokollentwicklung war die schwierigste Entscheidung. Auch im funktionalen

Welt, es gibt eine große Auswahl. Auf der flexibleren und unreineren Seite gibt es Sprachen wie

Clojure, Scala und F#, die von den riesigen Bibliotheken von Java und .Net profitieren

Ökosysteme unter Beibehaltung einiger der besten Aspekte der funktionalen Programmierung.

Es gibt eher akademisch orientierte Sprachen wie Agda und Idris, die eine ähnliche Bedeutung haben

Verbindung zu Techniken, die eine starke Überprüfung der Korrektheit ermöglichen würden. Dennoch fehlt es ihnen

Sie verfügen über vernünftige Bibliotheken und haben eine unterdurchschnittliche Entwicklungserfahrung.

Für Cardano fiel die Wahl auf Ocaml und Haskell. Ocaml ist eine wunderbare Sprache mit

Eine großartige Community, gute Tools, angemessene Entwicklungserfahrung und ein großartiges Erbe in der

Formaler Verifizierungsraum durch Coq. Warum haben wir uns für Haskell entschieden? 23

23 Hinzu kommt, dass IOHK tatsächlich ein in Ocaml implementiertes Projekt namens Qeditas hat Wir haben vom Pseudonym Bill White geerbt WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 23 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Warum Haskell?

Die Protokolle, aus denen Cardano besteht, sind verteilt, mit Kryptografie gebündelt und erfordern eine

hohe Fehlertoleranz. An den besten Tagen wird es immer noch byzantinische Schauspieler geben, die missgebildet sind

Nachrichten und fehlerhafte Clients verursachen unbeabsichtigt Chaos im Netzwerk.

Erstens wollten wir eine Sprache, die über ein starkes Typsystem verfügt, in dem wir problemlos Werkzeuge verwenden können

wie Quickcheck und ausgefeiltere Techniken wie Refinement Types, während eine

vernünftige Erwartung an Fehlertoleranz. Ein OTP-Modell im Erlang-Stil erfüllt Letzteres

wohingegen Sprachen wie Haskell und Ocaml Ersteres erfüllen.

Mit der Einführung von Cloud Haskell hat Haskell viele Vorteile von Erlang erlangt, obwohl dies nicht der Fall war

das eigene aufgeben. Darüber hinaus hat uns die Modularität und Zusammensetzbarkeit von Haskell dies ermöglicht

Verwenden Sie für Cardano eine leichtere maßgeschneiderte Bibliothek namens Time Warp.

Zweitens haben sich die Bibliotheken von Haskell in den letzten Jahren dank umfangreicher Arbeit stark weiterentwickelt

von kommerziellen Unternehmen wie Galois, FP Complete und Well-Typed. Infolgedessen kann Haskell

zum Schreiben von Produktionsanwendungen verwendet werden.
24

Drittens hat die schnelle Entwicklung von PureScript eine dringend benötigte Brücke zur JavaScript-Welt geschaffen

ähnlich dem, was Clojurescript Clojure gegeben hat. Wir gehen davon aus, dass PureScript besonders wichtig sein wird

wenn es darum geht, Cardano in einem Browser zum Laufen zu bringen und mobile Geldbörsen zu entwickeln.

Viertens hat Haskell in den letzten Jahren im Hinblick auf die Auflösung von Abhängigkeiten einen Erfolg erzielt

Bedeutende soziale und technologische Anstrengungen unter der Leitung von Technologen wie Michael Snoyman durch a

Plattform namens Stackage, die sowohl einfach zu verwenden ist als auch von FP Complete gut unterstützt wird.

Fünftens streben wir danach, dass unsere Software-Builds über eine angemessene Abhängigkeitsauflösung hinausgehen

reproduzierbar. Mit anderen Worten, mit denselben Konfigurationswerten und Abhängigkeitsversionen

sollte genau die gleichen Build-Artefakte erzeugen. Durch Stackage haben wir NixOps verwendet

mit großem Erfolg Reproduzierbarkeit zu erreichen.

Schließlich ist der Talentpool an Entwicklern, die sich auf Haskell spezialisiert haben, recht groß – im Vergleich zu

seine Kollegen – und ziemlich gut ausgebildet mit der richtigen Mischung aus akademischen und industriellen Qualifikationen. Es auch

fungiert als Kompetenzfilter, da es ungewöhnlich ist, erfahrene Haskell-Entwickler ohne Kompetenz zu finden

detaillierte Kenntnisse der Informatik.
24 Bryan O'Sullivan liefert hier einen schönen Vortrag über die industrielle Nutzung von Haskell.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 24 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Formale Spezifikation und Verifizierung

Eine wesentliche Stärke der Entwicklung eines Protokolls unter Verwendung eines nachweislich korrekten Sicherheitsmodells besteht darin bietet eine garantierte Grenze der gegnerischen Macht. Man erhält einen Vertrag, solange die Wenn das Protokoll befolgt wird und die Beweise korrekt sind, kann der Gegner die Sicherheit nicht verletzen beanspruchte Eigenschaften.

Eine tiefere Überlegung macht die vorherige Behauptung noch bedeutsamer. Gegner können willkürlich sein intelligent und fähig. Zu sagen, dass sie allein durch ein mathematisches Modell besiegt werden, ist falsch außergewöhnlich. Und natürlich ist es nicht ganz richtig.

Die Realität bringt Faktoren und Umstände mit sich, die die Utopie der reinen Sicherheit verhindern richtiges Verhalten aus bestehenden. Implementierungen können falsch sein. Hardware kann Angriffe einleiten bisher unberücksichtigte Vektoren. Das Sicherheitsmodell ist möglicherweise unzureichend und nicht konform Verwendung im wirklichen Leben.

Es bedarf einer Beurteilung darüber, wie viel Spezifikation, Genauigkeit und Kontrolle für eine erforderlich sind Protokoll. Projekte wie das SeL4 Microkernel-Projekt sind beispielsweise ein Paradebeispiel für ein All Unser Angriff auf die Mehrdeutigkeit erfordert fast 200.000 Zeilen Isabelle-Code, um weniger als zu überprüfen 10.000 Zeilen C-Code. Dennoch ist ein Betriebssystemkernel eine kritische Infrastruktur, die eine sein könnte schwerwiegende Sicherheitslücke, wenn sie nicht ordnungsgemäß implementiert wird.

Sollte jede kryptografische Software den gleichen Herkulesaufwand erfordern? Oder kann man weniger wählen Gibt es einen energischen Weg, der zu gleichwertigen Ergebnissen führt? Es spielt auch eine Rolle, ob das Protokoll vorhanden ist Perfekt implementiert, wenn die Umgebung, in der es ausgeführt wird, notorisch anfällig ist, z Windows XP?

Für Cardano haben wir den folgenden Kompromiss gewählt. Erstens aufgrund der Komplexität der In den Bereichen Kryptographie und verteiltes Rechnen sind Beweise in der Regel sehr subtil, lang und kompliziert und manchmal recht technisch. Dies impliziert, dass eine vom Menschen gesteuerte Überprüfung möglich ist mühsam und fehleranfällig. Daher glauben wir, dass jeder wichtige Beweis in einem Weißbuch dargestellt wird Papiere, die zur Abdeckung der Kerninfrastruktur geschrieben wurden, müssen maschinell überprüft werden.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 25 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Zweitens haben wir die Wahl, den Haskell-Code so zu verifizieren, dass er korrekt mit unseren Whitepapers übereinstimmt zwischen zwei beliebten Optionen: Schnittstelle mit SMT-Prüfern über LiquidHaskell und Verwendung Isabelle/HOL.

SMT-Löser (Erfüllbarkeits-Modulo-Theorien) befassen sich mit dem Problem der Funktionsfindung Parameter, die eine Gleichung oder Ungleichung erfüllen, oder alternativ zeigen, dass solche Parameter existieren nicht. Wie von De Moura und Bjørner erörtert, sind die Anwendungsfälle von SMT vielfältig, aber der Schlüssel ist Der Punkt ist, dass diese Techniken sowohl leistungsstark sind als auch Fehler und Fehler drastisch reduzieren können Semantische Fehler.

Isabelle/HOL hingegen ist ein ausdrucksstärkeres und vielfältigeres Werkzeug, das verwendet werden kann

Beide spezifizieren und überprüfen die Implementierung. Isabelle ist eine generische Theoremlöserin, die mit arbeitet

Logikkonstrukte höherer Ordnung, die Mengen und andere mathematische Objekte darstellen können

in Beweisen verwendet werden. Isabelle selbst lässt sich in den Z3 SMT-Prüfer integrieren, um mit Problemen zu arbeiten

solche Einschränkungen.

Beide Ansätze bieten einen Mehrwert und deshalb haben wir uns entschieden, beide schrittweise zu übernehmen.

Menschliche schriftliche Beweise werden in Isabelle kodiert, um ihre Richtigkeit zu überprüfen und somit zufriedenstellend zu sein

unsere Anforderungen an die Maschinenprüfung. Und wir beabsichtigen, nach und nach Liquid Haskell zu allen hinzuzufügen

Produktionscode in der Implementierung von Cardano in den Jahren 2017 und 2018.

Abschließend lässt sich sagen, dass die formale Verifizierung nur so gut ist wie die Spezifikation, anhand derer und verifiziert wird die verfügbaren Toolsets. Einer der Hauptgründe für die Wahl von Haskell ist, dass es Folgendes bietet richtige Balance zwischen Praxis und Theorie. Aus White Papers abgeleitete Spezifikationen sehen sehr ähnlich aus Haskell-Code, und die Verbindung der beiden ist wesentlich einfacher als mit einem Imperativ Sprache.

Es gibt immer noch enorme Schwierigkeiten, eine korrekte Spezifikation zu erfassen und diese auch zu aktualisieren Angabe, wann Änderungen wie Upgrades, Fehlerbehebungen und andere Anliegen vorgenommen werden müssen; Diese Realität schmälert jedoch in keiner Weise den Gesamtwert. Wenn man sich die Mühe macht Aufbau einer Grundlage auf nachweisbarer Sicherheit, dann sollte die Umsetzung so sein, wie sie war tatsächlich auf dem Papier vorgeschlagen.

Transparenz

Eine letzte Frage bei der Erörterung der Wissenschaft und Technik der Entwicklung einer Kryptowährung lautet: wie man mit Transparenz umgeht. Designentscheidungen sind nicht boolesch und ätherisch Entwickler in Träumen und dann plötzlich zum Kanoniker. Sie basieren auf Erfahrungen, Debatte und Lehren aus früheren Fehlern.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 26 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Die Herausforderung besteht darin, dass ein völlig transparenter Entwicklungsprozess die Diskussion beeinflussen könnte werden mehr theatralisch als evidenzbasiert. Egos, Versuche, eine Gemeinschaft für sich zu gewinnen, und Angst Dumm zu klingen könnte dazu führen, dass Gespräche steril und kontraproduktiv werden.

Darüber hinaus könnten Außenstehende versuchen, das Gespräch zu vereinnahmen, um sie zu erzwingen bestimmte Tangente zum einzig relevanten Thema werden. Jeder hat eine heilige Kuh.

Wie lässt sich also die Notwendigkeit eines transparenten Entwicklungsprozesses ausgleichen, der dem geschuldet ist? Gemeinschaft, die den Fortschritt einer Gruppe von Kernentwicklern anvertraut hat, die Freiheit brauchen Ausdruck ohne Angst?

Mit Cardano haben wir uns für einen auf Standards basierenden Prozess mit gezielter Aufsicht entschieden. Die Community muss wissen, dass die Wissenschaft und der Code gut durchdacht, überprüft und sind Lösen Sie tatsächlich die Dinge, von denen Entwickler behaupten, dass sie sie tun. Zu diesem Zweck sollte ein Peer-Review durchgeführt werden erfüllt die wissenschaftliche Komponente vollständig, da es speziell für diesen Zweck entwickelt wurde und hat uns die moderne Welt geschenkt.

Was Code betrifft, ist dieses Thema etwas eigensinniger. Für Cardano haben wir uns entschieden, das anzuvertrauen Cardano Foundation fungiert als Abschlussprüfer der Arbeit von IOHK. Insbesondere sind sie betraut mit folgenden Aufgaben:

1. Regelmäßige Überprüfung des im Github Cardano enthaltenen Quellcodes auf Qualität, Testabdeckung, korrekte Kommentare und Vollständigkeit
2. Überprüfung der gesamten Cardano-Dokumentation auf Richtigkeit und Nützlichkeit
3. Überprüfung der Behauptungen, dass die von den Wissenschaftlern erstellten Protokolle vollständig umgesetzt sind

Um diese Aufgabe zu erfüllen, wird IOHK der Stiftung – und ihren Mitgliedern – regelmäßig und zeitnah Berichte vorlegen weist zu – zur Überprüfung. Die Stiftung wird ihrerseits einen Entwicklungsüberwachungsbericht veröffentlichen Cardano Community mindestens vierteljährlich.

Dieser erste Versuch soll eine breitere Diskussion darüber anstoßen, wie ein dezentrales Projekt funktioniert erreicht Verantwortung. Die Entwicklungsüberwachung durch einen vertrauenswürdigen Dritten ist ein leistungsstarkes Instrument dazu Stellen Sie sicher, dass die Entwickler auf dem richtigen Weg sind. Dies reicht jedoch nicht aus, um vollständig zu garantieren, dass die Das Projekt wird immer liefern.

Aus diesem Grund wird die Stiftung nach der Integration des Finanzministeriums in CSL Förderung leisten zusätzliche Entwicklungsteams, um alternative Clients basierend auf dem Formalen zu erstellen Spezifikationen, die gemeinsam mit IOHK entwickelt wurden. Entwicklungsvielfalt war eine großartige Technik Wird vom Projekt Ethereum verwendet, um die Bildung einer Monokultur um eine einzige Reihe von Ideen herum zu verhindern Entwickler. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 27 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Was die Spezifikationen anbelangt, so lässt sich aus den Normen eine Fülle von Erkenntnissen gewinnen Prozess, der vom WC3 und der IETF verfolgt wird. Letztendlich ist jedes Protokoll Cardano integriert erfordert eine Spezifikation, die unabhängig von wissenschaftlicher Arbeit oder Quellcode ist. Vielmehr muss es so sein in einem geeigneten Format vorliegen, z. B. einem RFC.

Eines der Grundprinzipien der Cardano Foundation besteht darin, als Normungsgremium speziell für die zu fungieren Cardano Protokolle und um Gespräche zu führen, um relevante Standards zu aktualisieren, hinzuzufügen oder zu ändern Cardano. Wenn das Internet (ein Produkt von Standards) über die IETF einen Konsens darüber erzielen kann, was Kernprotokolle verwendet werden sollen, kann man durchaus davon ausgehen, dass es sich um eine dedizierte Stelle handelt könnte das gleiche Ergebnis ermöglichen.

Abschließend möchte ich sagen, dass es interessant ist, die Verlagerung dieser Diskussionen in eine dezentrale Einheit zu untersuchen gehostet auf einem blockchain. Dieses Konzept wird als dezentrale autonome Organisation bezeichnet (DAO) und in diesem Bereich sind Vorarbeiten im Gange. IOHK wird ein Referenzmodell DAO entwickeln Entitäten, die eine Schnittstelle zu Cardano haben, können bei Bedarf verwendet werden und es liegt im Vorrecht der Stiftung Cardano zu entscheiden, ob sie es in ihr Normungsmandat aufnehmen wollen.

Interoperabilität

Die große Myopie

Finanzen und die umfassendere Idee des Handels sind letztendlich ein menschliches Unterfangen. Es gibt elegante Sprachen, äußerst präzise Werkzeuge zum Erfassen von Absichten und endlose Labyrinthe von Techniken dazu Im Falle schlechter Ergebnisse sowie nach jahrtausendelanger Suche nach Rechtsmitteln können wir Regressansprüche geltend machen Gerechtigkeit im Handel. Tatsächlich handelte es sich bei einigen der frühesten Schriftformen um Handelsverträge.

Dennoch kann das menschliche Element trotz der Disintermediation zur Logik nicht gemieden werden. Maschinen oder Regierungswächter, denen schreckliche Kräfte anvertraut sind. Darin liegt das Große Kurzsichtigkeit von Kryptowährungen. Sie sind größtenteils von der menschlichen Realität losgelöst.

Menschen machen Fehler. Menschen ändern ihre Meinung. Die Leute verstehen das nicht immer vollständig Geschäftsbeziehungen, zu deren Eingehen sie sich bereit erklären. Menschen werden in die Irre geführt und betrogen. Die Umstände ändern sich auf individueller und staatlicher Ebene und erfordern einzigartige Lösungen. Ausarbeiten Zu diesem Zeitpunkt enthalten die meisten Verträge Klauseln über höhere Gewalt.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 28 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Kryptowährungen zielen jedoch darauf ab, menschliches Verständnis, Mitgefühl und Urteilsvermögen zu zerstören im Austausch gegen einen gleichgültigen digitalen Richter, der ohne Gegenleistung perfekt an eine Verfassung gebunden ist auf Fairness oder Ergebnis. Angesichts der Tatsache, dass die Menschen es immer versucht haben und es auch weiterhin versuchen werden Wenn man Regeln aus egoistischen Gründen ändert, ist es erfrischend, tatsächlich ein System zu haben, das nicht korrumpiert werden kann.

Aber was passiert, wenn ein Benutzer diese neuen Systeme mit traditionellen Finanzsystemen kombinieren muss? Systeme? Was passiert, wenn man in der menschlichen Welt leben muss? Zum Beispiel Eigentum Rechte wie die Grundbucheintragung leben vollständig in der physischen Welt. Sogar tokenvernichtet das Land immer noch erfordert eine gewisse Anerkennung der geltenden Gerichtsbarkeit.

Um noch einen weiteren Punkt anzuführen: Ein Goldbarren kann sich nicht selbst bewegen. Der digitale Richter kann es befehlen Bewegung, kann sie aber nicht erzwingen, ohne dass der Mensch sich daran anpasst. Daher kann ein digitales Hauptbuch von der Realität abweichen.

Daher muss ein Protokolldesigner entscheiden, wie viel menschliche Realität in seinem Protokoll zugelassen werden soll Kryptowährung. Je mehr Flexibilität, desto weniger Treue zum Absoluten sollte man erwarten. Die Je mehr Verbraucherschutz, desto mehr Mechanismen müssen vorhanden sein, um Rollbacks und Rückerstattungen zu ermöglichen und Bearbeitung der Geschichte.

Dieser und der nächste Abschnitt über Regulierung behandeln den pragmatischen Ansatz von Cardano zu diesem Thema. In Hinsichtlich der Interoperabilität gibt es zwei große Gruppen, die diskutiert werden müssen. Erstens, Interoperabilität mit alte Finanzsysteme (die Welt ohne Kryptowährung). Zweitens, Interoperabilität mit anderen Kryptowährungen.

Vermächtnis

Fintech besteht nicht aus einem einzigen Standard oder gar einer gemeinsamen Sprache. Es ist enorm

Vielfalt in den Ansätzen, die für die Abwicklung und das Clearing verantwortlichen Stellen, das Geschäft

Prozesse und andere Bereiche, die an der Buchhaltung, Transformation und Bewegung von beteiligt sind

Wert.

Es ist unvernünftig zu behaupten, dass nur weil eine Technologie überlegen ist, der Rest der anderen

Das Ökosystem wird sich irgendwie geschlagen geben und aufwerten. Viele Menschen verwenden es zum Beispiel immer noch

Windows XP 16 Jahre nach der Erstveröffentlichung. Dieser traurige Zustand ist für jemanden gleichbedeutend

unter Verwendung des ursprünglichen Macintosh, der 1984 im Jahr 2000 veröffentlicht wurde.

Abgesehen vom Verbraucherverhalten sind Unternehmen in ihrem Upgrade-Zyklus im Allgemeinen sogar noch langsamer. Viele

Banken verwenden immer noch in Cobol geschriebene Backends. Sobald bekannt ist, dass die Infrastruktur funktioniert und erfüllt ist

Geschäftsanforderungen gibt es in der Regel wenig Anreiz, Software zu aktualisieren oder zu verfeinern

Protokolle zum Nutzen eines Verbrauchers, unabhängig von Compliance- oder Sicherheitsbedenken. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 29 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Für Cardano müssen wir zunächst feststellen, was eine Legacy-Brücke überhaupt mit sich bringen würde. Welche Systeme,

Auf welche Standards, Einheiten und Protokolle sollten wir abzielen, um sicherzustellen, dass eine hinreichende Sicherheit besteht

Interoperabilität? Können diese Brücken föderal oder dezentralisiert sein? Oder wie Börsen werden sie es tun

zu zentralen Fehlerquellen für Hacker, böswillige Eigentümer oder übereifrige Regulierungsbehörden werden?

Es gibt drei Bedenken, die angegangen werden müssen. Erstens die Darstellung von Informationen und

Glaube an seine Genauigkeit. Zweitens die Darstellung des Wertes und des damit verbundenen Eigentums. Drittens,

Darstellung von Entitäten und eines bestimmten Benutzers sowie des Gesamtniveaus des Vertrauens in diese

Entitäten.

Um nützlich zu sein, müssen Informationen und Werte frei zwischen der alten Finanzwelt und der Welt fließen

Cardano. Anschließend müssen Ergebnisse ermittelt und aufgezeichnet werden, um Reputation und Bodenständigkeit aufzubauen

für Regress. Dennoch sind solche Dinge meist auf die beteiligten Akteure beschränkt. Zum Verschlüsseln

sie auf einem blockchain würden sie global und dauerhaft machen.

Darüber hinaus kann der Wert in der Legacy-Welt nicht immer frei fließen. Embargos, Sanktionen, Kapital

Kontrollen und gerichtliche Maßnahmen könnten zum Einfrieren von Vermögenswerten führen. Um interoperabel zu sein, kann man keine erstellen

Öffnen Sie immer das Auslassventil, damit kein Wert austritt.

Schließlich sind die Marke und der Ruf von Unternehmen einer der Eckpfeiler des kommerziellen Handelns Beziehungen. Jährlich werden Milliarden von Dollar für die Einrichtung und Aufrechterhaltung von Marketingkampagnen ausgegeben und Reparaturmarken. Wenn verleumderische, falsche oder irreführende Behauptungen über eine natürliche oder juristische Person aufgestellt werden, dann sie haben das Recht, rechtliche Schritte einzuleiten. Doch blockchains versuchen, dauerhaft zu bewahren Geschichte.

Wie bei unserer Wahl der Programmiersprache gibt es auch für die Lösung von Cardano keine ideale Lösung diese Anliegen auf eine allgegenwärtig richtige Art und Weise. Vielmehr müssen wir uns der unterstützten Meinung beugen wieder.

In Bezug auf den Informationsfluss wird dieser Fluss als vertrauenswürdiger Datenfeed bezeichnet. Es hat eine Quelle und Inhalt. Quellen haben eine gewisse Vorstellung von Glaubwürdigkeit und einen Anreiz, zu täuschen oder zu behaupten Ehrlichkeit. Inhalte können beliebig kodiert werden.

Da wir beabsichtigen, vertrauenswürdige Hardware in unserem Protokoll-Stack zu unterstützen, haben wir uns dafür entschieden Erkunden Sie die Hinzufügung von Unterstützung für das Town Crier-Protokoll von Professor Ari Juel et al. Vorausgesetzt das Durch das Vorhandensein eines glaubwürdigen Satzes von Datenquellen ermöglicht Town Crier das sichere Scrapen von Webinhalten Inhalte zur Verwendung in smart contracts und anderen Anwendungen.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 30 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Eine Bootstrap-Quellenliste wird von Emurgo, IOHK und der Cardano Foundation bereitgestellt. Später Diese Liste wird durch eine von der Community kuratierte Liste ersetzt, die Mechanismen verwendet, die von Cardano abgeleitet sind Finanzsystem. Wir hoffen, dass ein Reputationssystem rund um gute Datenfeeds entstehen kann. Dadurch wird eine positive Rückkopplungsschleife geschaffen, um die Zuverlässigkeit und Wiedergabetreue schrittweise zu verbessern.

Die Darstellung von Werten ist ein komplexeres Thema. Im Gegensatz zu Informationen – wo einmal die Richtigkeit, Aktualität und Vollständigkeit sind gewährleistet, Protokolle können sich zuverlässig verhalten deterministischer Weg – Wert ist empfindlicher.

Nach der tokenisierung sollte sich der Wert wie ein eindeutiges Objekt verhalten. Informationen können kopiert und kopiert werden herumgereicht werden, aber ein token, der das Eigentum an etwas (z. B. einem Fahrzeugtitel) darstellt, kann nicht sein geklont und auf zwei verschiedenen Hauptbüchern gehandelt. Diese Tat würde die Integrität des Staates effektiv zerstören System.

Die Herausforderung bei der Legacy-Interoperabilität beim Umgang mit tokenisierten Werten ist dieses Vertrauen Annahmen, Zuverlässigkeit und Überprüfbarkeit ändern sich, wenn tokens zwischen Hauptbüchern fließen. Zum Beispiel, wenn Bob besitzt einige Bitcoin und deponiert sie dann an einer Börse, dann hat Bob jetzt die Die Darstellung seines Bitcoin durch die Börse in ihrem Hauptbuch. Im Fall von MtGOX war dies bei ihrem Hauptbuch der Fall nicht der Realität entsprechen, was dazu führt, dass die Benutzer alles verlieren.

Das Problem wird dadurch noch komplizierter, dass Legacy-Systeme die darin lebenden tokens erkennen müssen eine Kryptowährung. Wie bereits erwähnt, sind Unternehmen seit jeher resistent gegen Modernisierungen ihre Software und die Unterstützung neuer Protokolle. Diese Situation macht es schwierig, klar zu sehen Lösung.

Für Cardano besteht unsere größte Hoffnung darin, Benutzern die Möglichkeit zu bieten, umfangreiche Metadaten anzuhängen auf ihre Transaktionen zugreifen und dann darauf warten, dass sich Industriestandards herausbilden, in die sie eingreifen können. Einige Fortschritte wurden mit der Interledger-Arbeitsgruppe, Bemühungen wie R3Cev und International erzielt Mandate zur Aktualisierung alter Finanzprotokolle.

Die größere Herausforderung bleibt jedoch die Quantifizierung und Qualifizierung des aus einem Vermächtnis resultierenden Werts System zu einem Kryptowährungs-Ledger. Zum Beispiel, wenn Bob Bankbesitzer ist und einen Dollar ausgibt Wenn er token unterstützt, kann er jederzeit eine Brücke bauen, um seine tokens an ein Hauptbuch wie Cardano zu senden Vom Benutzer ausgegebenes Asset.

Während Cardano den Besitz genau verfolgen und alle Funktionen bereitstellen würde, auf die wir gekommen sind Liebe wie Zeitstempel und Überprüfbarkeit: Keine Kryptowährung kann Bob zu einem ehrlichen Banker machen. Er hat immer die Möglichkeit, eine Teilreservebank zu betreiben, indem er nicht seinen gesamten Dollar absichert WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 31 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

tokens mit echten Dollars. Dieser Betrug kann von keiner Kryptowährung außer dem Dollar erkannt werden selbst war ein token, der von einem digitalen Hauptbuch erfasst wurde. 25

Schließlich ist die Darstellung von Entitäten im Internet ein klassisches Netzwerkproblem, das bis in die Frühzeit zurückreicht Tage des Internets. Universitäten, Unternehmen, Regierungsbehörden und beliebige Benutzer müssen irgendwann ihre Identität feststellen.

Zu diesem Zweck sind pragmatische und dennoch zentralisierte Lösungen wie die Public-Key-Infrastruktur des Internets erforderlich Das DNS-System von ICANN wurde implementiert. Angesichts der Tatsache, dass wir das moderne Web genießen, sind diese Lösungen sind sowohl skalierbar als auch praktisch. Aber sie antworten nicht eher kommerziell orientiert Frage der Zuverlässigkeit, Vertrauenswürdigkeit und anderer zur Bestimmung notwendiger Metamerkmale wenn man mit dem Unternehmen Geschäfte machen möchte.

Mehrseitige Marktplatzanbieter wie eBay haben ein Geschäftsmodell entwickelt, das auf der Bereitstellung einiger Anbieter basiert dieser Metadaten zusammen mit einem Framework zum Abschließen von Transaktionen. Urteile über die Die Qualität von Inhalten, Veranstaltungen und Unternehmen wird oft stark allein von Online-Bewertungen beeinflusst aus vertrauenswürdigen Quellen. 26

Der für Cardano relevante Teil dieses Punktes betrifft die Frage der Zentralisierung der Reputation. Einer von Unser Ziel für Cardano ist es, den Entwicklungsländern eine finanzielle Grundlage zu bieten. Ein Schlüssel zu diesem Bemühen ist die Fähigkeit, Vertrauen zu Schauspielern aufzubauen, die man noch nie getroffen hat.

Wenn ein einzelnes Unternehmen oder ein Konsortium von Unternehmen kontrolliert, wer als gut oder schlecht eingestuft wird, nicht als organisches Unternehmen Wenn ein Prozess aus tatsächlichen Interaktionen in der Gemeinschaft als Ganzes abgeleitet wird, dann könnten diese Entitäten dies tun jemanden willkürlich wegen einer wahrgenommenen Sünde auf die schwarze Liste setzen. Diese Macht steht im Widerspruch zu unseren Werten als Projekt und macht den umfassenderen Sinn der Verwendung einer Kryptowährung zunichte.

Glücklicherweise werden die gleichen Mechanismen bei der Stimmabgabe für das Finanzministerium verwendet, wobei Quellen zu einer Liste hinzugefügt werden Vertrauenswürdige Datenfeeds und die Abzweigung eines Protokolls können wiederverwendet werden, um einen Reputationsraum einzurichten. Es ist ein offenes Forschungsgebiet und unsere Hoffnung ist es, ein Overlay-Protokoll für eine dezentrale Bereitstellung bereitzustellen Reputationsnetz des Vertrauens im Jahr 2018–2019, nachdem weitere grundlegende Elemente geklärt wurden.

Interoperabilität von Kryptowährungen

25 Für digitale Hauptbücher hingegen wurde der Reservenachweis als clevere Aufbewahrungsmethode vorgeschlagen Kryptowährungen werden nur ehrlich ausgetauscht. 26 Diese Tarife wirken sich sogar auf die Erstellung von Inhalten selbst aus. Sehen Sie sich diese interessante Geschichte darüber an, wie Rotten Tomatoes funktioniert hat die Filmindustrie beeinflusst. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 32 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Durch den Übergang von der alten Welt zu verteilten digitalen Hauptbüchern wird die Interoperabilität viel einfacher. Jedes Ledger verfügt über ein Netzwerkprotokoll, Kommunikationsstandards und Sicherheitsannahmen über seinen jeweiligen Konsensalgorithmus. Diese wiederum lassen sich leicht quantifizieren.

Der Informationsfluss wird durch die Verbindung mit dem ausländischen Netzwerk und dessen Übersetzung hergestellt Nachrichten. Die Wertbewegung kann über ein Relaissystem, den atomaren Cross-Chain-Handel, erfolgen oder durch ein cleveres Sidechain-Schema. Da es keinen zentralen Betreiber gibt, einen Die Darstellung von Entitäten beschränkt sich eher auf eine Metadiskussion über das Vertrauen in Entwickler, Miner oder irgendein anderer Powerbroker.

Für Cardano integrieren wir ein neues Sidechain-Protokoll, das von Kiayias, Miller und entwickelt wurde Zindros. Es bietet eine nicht interaktive Möglichkeit, Werte sicher zwischen zwei Ketten zu bewegen Unterstützen Sie das Protokoll. Dieser Mechanismus ist die primäre Art und Weise, wie Werte zwischen CSL und a fließen CCL-Schicht.

Bei anderen Kryptowährungen sollten sich Verbundbrücken bilden, wenn Cardano an Wert und Benutzer wächst Basis. Um dieses Wachstum zu beschleunigen, unterstützt Cardano SL eine eingeschränkte Version von Plutus für Interoperabilitätsskripte. Neue Transaktionen werden in Shelley und späteren Versionen von CSL hinzugefügt speziell auf diese Bedürfnisse einzugehen.

Das Labyrinth von Daedalus

Die Punkte zur Interoperabilität kommen aus einer globalen Perspektive. Spezialisierte Protokolle, neu

Transaktionsarten, Systeme zur Beurteilung der Glaubwürdigkeit und der Informationsfluss können nicht eingeschränkt werden

nur ein einzelner Gatekeeper oder Benutzer. Vielmehr müssen sie für jeden ohne weiteres verfügbar sein

Zensur oder Zölle.

Doch was passiert, wenn Cardano ein Protokoll, eine Transaktion oder eine Anwendung nicht unterstützt, die a

Benutzer kann ohne nicht leben? Sollten wir einfach außerhalb des Geltungsbereichs bleiben? Das Internet war mit einer ähnlichen Sorge konfrontiert

während der 1990er Jahre.

Ironischerweise bietet das Internet zwei verschiedene Lösungen, die mit Kryptowährungen repliziert werden können.

Die Einführung von JavaScript ermöglichte es jeder Website, beliebige Elemente hinzuzufügen

Funktionen. Durch die Einführung von Browser-Plugins und -Erweiterungen wurden benutzerdefinierte Funktionen für hinzugefügt

Benutzer, die bereit sind, sie zu installieren. Beide Ansätze haben uns das moderne Web mit all seiner Sicherheit beschert

Schrecken.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 33 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Ethereum übernahm den früheren Ansatz, indem es Benutzern ermöglichte, Unterprotokolle einzubetten

Ethereum blockchain als smart contracts. Cardano unterstützt diese Funktion über die CCL

Paradigma. Aber was ist mit benutzerdefinierten Erweiterungen?

Ein anschauliches Beispiel wäre ein Kryptowährungshändler. Stellen Sie sich einen dezentralen Marktplatz vor,

namens DM, das eine Reihe verschiedener Kryptowährungen unterstützt. Ein Händler möchte sein Geschäft automatisieren

Strategien, die auf DM wirken.

In einem fragmentierten Ökosystem müsste der Händler für jeden Client Dutzende installieren

Kryptowährung und schreiben Sie dann individuelle Software, um mit jedem Kunden zu kommunizieren und sich abzustimmen

automatisierte Geschäfte. Wenn ein Client aktualisiert wird, kann dies zu Schäden an der maßgeschneiderten Software führen. Darüber hinaus

Was ist, wenn der Händler die Software verkaufen möchte?

Inspiriert vom Webmodell der Erweiterungen, wenn die Schnittstelle zu verschiedenen Kryptowährungen möglich ist

Wenn die Daten in einen Web-Stack eingefügt werden, wird die Aufgabe des Händlers erheblich einfacher. Ein Universal

Schnittstelle aufgebaut werden kann. Die Installation erfolgt mit einem Klick. Die Verteilung von Software kann modelliert werden

nach dem Chrome-Webshop.

Für Cardano haben wir beschlossen, mit diesem Paradigma zu experimentieren, indem wir unsere Referenz einsetzen

Frontend der Brieftasche auf Electron. Es handelt sich um ein von Github verwaltetes Open-Source-Projekt, das kombiniert

sowohl Node als auch Chrome zusammen. Cardanos Build von Electron heißt Daedalus.

Die erste Generation von Daedalus wird als HD-Wallet fungieren und viele der erwarteten Funktionen unterstützen

27 Buchhaltungs- und Sicherheitsfunktionen, die Industriestandards sind, wie etwa das Ausgeben von Passwörtern und

BIP39. In späteren Generationen wird sich Daedalus zu einem Anwendungsframework mit einem Store entwickeln,

Universelle Integrations-APIs und ein SDK.

Die wichtigsten Neuerungen sind die einfache Entwicklung durch die Möglichkeit für Programmierer, JavaScript zu verwenden.

HTML5 und CSS3 zum Erstellen ihrer Anwendungen und eine einheitliche Brücke für anwendungsübergreifende Anwendungen

Kommunikation. Komplexes Verhalten wie Kryptographie, Verwaltung eines verteilten Netzwerks usw

Datenbankmechanismen können abstrahiert werden, sodass sich der Entwickler ausschließlich auf den Benutzer konzentrieren kann

Erfahrung und die Kernlogik ihrer Anwendung.

Da Daedalus als universelles Framework gedacht ist, ist seine Roadmap und Entwicklung etwas anders

unabhängig von Cardano. Im Jahr 2017 sind sie eng miteinander verbunden, aber später wird Cardano gerecht sein

eine weitere Anwendung für einen Daedalus-Benutzer. Wir beabsichtigen auch, äußerst einzigartige Funktionen zu erkunden

beispielsweise ein universeller Schlüsselverwaltungsdienst, der ausschließlich in Intel SGX ausgeführt wird.

27 Was bereits bei daedaluswallet.io verfügbar ist
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 34 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Letztendlich können wir als Protokolldesigner nicht alle Anforderungen erfüllen. Unsere Hoffnung ist, dass die Flexibilität

dass Daedalus in Kombination mit zustandsbehafteten smart contracts, die auf CCL laufen, zufriedenstellend ist

diejenigen, die durch unsere Designentscheidungen ausgelassen wurden. Wir hoffen auch, dass bessere Standards entstehen können

Ermutigen Sie alle Kryptowährungen zu besserer Interoperabilität und Sicherheit.

Verordnung

Die falsche Dichotomie

So launenhaft und geheimnisvoll die Regulierung oft sein kann, kann man metaphorisch auf eine Eleganz schließen Erzählschleife über die Korrupten und ihre Staatsanwälte, die Gerechtigkeit suchen. Vorschriften sind das Werkzeug von der Gesetzesbringer. Aber wie alle Werkzeuge können sie primitiv, alt oder einfach falsch verwendet sein.

Kryptowährungen haben weder die menschliche Verfassung noch den Erzählkreislauf verändert. Das wird es immer geben Trotz bester Absichten kann es sich um Betrügereien, schlechte Akteure und schreckliche Ergebnisse handeln. Während Kryptowährungen können menschliches Urteilsvermögen beseitigen, sie können menschliches Verhalten jedoch nicht beseitigen.

Ein Kryptowährungsentwickler muss Stellung dazu beziehen, welches Toolkit er der Regulierungsbehörde anbieten wird Korrigieren Sie schlechte Ereignisse. Die einzigartige Herausforderung für Kryptowährungen besteht darin, dass sie ein Produkt davon sind Regulierungs- und Währungsversagen. 28

Kulturell gesehen halten viele in Kryptowährungen staatliches Handeln für korrupt, unfähig oder unwirksam. Daher haben sie wenig Respekt, Geduld oder Lust, eine spezielle Hintertür zu unterstützen für einen Regulierer oder einen Gesetzeshüter, um Unrecht zu korrigieren. Diese Tat würde dem gesamten Zweck widersprechen Kryptowährungen.

Zählt man dagegen Börsenausfälle und historische Ereignisse, so sind es mehr als 10 Prozent Bitcoin ist seit Beginn des Protokolls am 3. Januar 2009 verloren gegangen oder gestohlen worden. Stand: 30. Juni Im Jahr 2017 beläuft sich der verlorene oder gestohlene Wert auf etwas mehr als 4 Milliarden US-Dollar. Und diese Zahl berücksichtigt nicht für Bitcoin und andere tokens, die durch Betrug und schlecht gestaltete ICOs verloren gegangen sind.

28 Tatsächlich hat Satoshi im Bitcoin Genesis Block die folgende Schlagzeile aus The Times eingebettet: The Times 03.01.2009 Kanzlerin steht kurz vor der zweiten Bankenrettung WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 35 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Dann ist da noch das Thema Privatsphäre. Auf der Makroebene fließt der Wert über spezialisierte Kanäle die reguliert sind, reich an Metadaten sind und von Strafverfolgungsbehörden und Regierungen aktiv überwacht werden und internationale Regulierungsbehörden. Es handelt sich um ein wohlverstandenes Spiel, bei dem Lecks nur auf der Seite auftreten Die Bargeldseite des Geschäfts, die mit der Umstellung der Welt auf digitales Geld allmählich abnimmt.

29

Das Paradigma, wenn es keine Kryptowährungen gäbe, wäre eine Welt, in der zunehmend gehandelt wird Finanzielle Privatsphäre wie Social-Media-Inhalte. Es gibt keine und man kann sich nicht abmelden. Daher wir ein Dilemma haben, das zu einer scheinbaren Dichotomie führt.

Ein Kryptowährungsentwickler kann Prinzipien aufgeben und allen Anforderungen seiner Region nachgeben Die Gerichtsbarkeit legt ihren Kodex fest und gefährdet dadurch deren Privatsphäre und Integrität Benutzer. Oder er kann eine prinzipientreuere, aber anarchistischere Philosophie übernehmen, die sich von ihr distanziert aktuelle Best Practices und Gesetze.

Was Cardano betrifft, glauben wir, dass diese Erzählung eine falsche Dichotomie ist, die durch einen Mangel an Vorstellungskraft hervorgerufen wird. Die Die Realität ist, dass sich die meisten Benutzer keine Sorgen um die für Märkte geltenden Regeln machen. Das sind sie normalerweise besorgt über plötzliche Änderungen der Regeln zum Nutzen eines oder mehrerer Akteure. Sie sind besorgt über mangelnde Transparenz darüber, wer besondere Privilegien erhält.

Wir müssen zwischen individuellen und Marktrechten unterscheiden. Angesichts der Tatsache, dass Kryptowährungen eine Aufgrund der globalen Reichweite müssen die Rechte so benutzerorientiert wie möglich sein.

Der Datenschutz sollte angemessen sein und der Kontrolle des Benutzers und nicht eines Gatekeepers unterliegen. Der Wertefluss sollte uneingeschränkt sein. Der Wert sollte ohne Zustimmung nicht plötzlich verfallen.

Aus Marktsicht muss der Markt transparent sein, was die Nutzung und die Art der Datennutzung angeht Die Gelder werden intern verwaltet und jeder muss sich an die gleichen Regeln halten. Darüber hinaus Sobald der Benutzer zugestimmt hat, kann er seine Meinung nicht plötzlich ändern Unannehmlichkeiten. Auch die Gegenparteien brauchen Sicherheit.

Doch wie gelangt man genau vom Abstrakten zum tatsächlichen System? Was soll etwas praktisch und legal aussehen? Wir haben unsere Lösung in drei Kategorien unterteilt: Metadaten, Authentifizierung und Compliance sowie Marktplatz DAOs.

29 Der Leser sollte darüber nachdenken, sich ein Exemplar von David Wolmans „The End of Money“ zu besorgen. Es umfasst die internationale Bewegung zum Verschwinden von Bargeld. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 36 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Metadaten

Die Handlung einer Sache kann oft weniger interessant sein als die sie umgebenden Metadaten. Für Beispielsweise ist die Fahrt von Denver nach Boulder eine Tat. Mit einem Ferrari von Denver nach Boulder fahren 488 bei einem Durchschnitt von 120 MPH sind Metadaten. Dies lässt sicherlich auf eine andere Erfahrung schließen als in einem Toyota Prius mit durchschnittlich 30 Meilen pro Stunde.

Finanztransaktionen sind nicht anders. Der sie umgebende Kontext ist außergewöhnlich wichtig für Wirtschaftswissenschaftler, Steuerbehörden, Strafverfolgungsbehörden, Unternehmen und andere Einrichtungen. Leider In unserem aktuellen Fiat-basierten System sehen die meisten Verbraucher nie, wie reich an Metadaten ihr System ist Transaktionen sind oder mit wem sie geteilt werden. 30

Für Cardano erkennen wir an, dass Benutzer möglicherweise eine Weitergabe benötigen oder gesetzlich dazu verpflichtet sind Transaktionsmetadaten mit bestimmten Akteuren wie Steuerbehörden. Aber wir glauben, dass dieses Teilen notwendig ist erfolgen mit Zustimmung des Benutzers.

Wir glauben auch, dass blockchain-Systeme enorme Möglichkeiten haben, Betrug, Verschwendung usw. zu beseitigen Missbrauch durch Bereitstellung von Überprüfbarkeit, Zeitstempel und Unveränderlichkeit. So sollten einige Metadaten sein Gepostet am Cardano blockchain.

Der schwierige Teil besteht darin, ein richtiges Gleichgewicht zu finden, das unseren blockchain nicht zu erheblich verurteilt aufblähen. Aus diesem Grund haben wir einen pragmatischen Ansatz gewählt.

Erstens wird Daedalus in den nächsten 12 Monaten eine große Auswahl an Funktionen unterstützen, die es zu kennzeichnen gilt Transaktionen und Finanzaktivitäten. Diese Metadaten können exportiert und bei Bedarf mit anderen geteilt werden wen auch immer der Benutzer für notwendig hält. Darüber hinaus können die Daten von drei Parteien verarbeitet werden Anwendungen für domänenspezifische Zwecke (z. B. Steuerbuchhaltung).

Zweitens prüfen wir die Möglichkeit, Unterstützung für spezielle Adressen hinzuzufügen, die hashes und enthalten können verschlüsselte Felder. Diese Struktur würde es einem Benutzer ermöglichen, ohne Metadaten auf unserem blockchain zu posten es öffentlich preiszugeben. Aber wenn sie die Daten weitergeben möchte, wären sie vollständig überprüfbar. Unveränderlichkeit und Zeitstempelsicherheit, die eine Transaktion genießt.

30 Auf einer eher makroökonomischen Ebene schreibt der Autor Juan Zarate darüber, wie diese Daten vom US-Finanzministerium verwendet werden Abteilung im Krieg gegen den Terrorismus im Krieg des Finanzministeriums. Es bietet einen umfassenden Überblick darüber, wie die Die derzeitige Struktur der globalen Finanzmärkte kann für geopolitische Zwecke genutzt werden. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 37 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Wir haben bereits eine Adressstruktur bereitgestellt, die ein Attributfeld enthält. Es ist derzeit wird verwendet, um eine verschlüsselte Kopie der HD-Wallet-Baumstruktur für eine schnelle Wallet-Wiederherstellung zu speichern (siehe HD Wallet-Dokumentation). Spätere Versionen werden diese Konstruktion verallgemeinern.

Authentifizierung und Compliance

Eng verbunden mit Transaktionen sind die Themen des Rechts zum Vornehmen von Geschäften und der Eigentum an Geldern. Während beispielsweise genügend Mittel vorhanden sind, um etwas zu kaufen (z B. Alkohol), könnte es Einschränkungen beim Kauf geben (Altersvoraussetzungen).

Eigentum und Herkunft der Gelder unterliegen in der Regel den Bestimmungen der „Know Your Customer“-Bestimmungen. Wenn ein Gelddienstleistungsunternehmen wie eine Bank oder eine Börse ein Konto für einen neuen Kunden eröffnet, In der Regel ist es erforderlich, grundlegende Informationen über den Kunden und den Ort, an dem er sein Geld erworben hat, zu sammeln von.

Die technologische Herausforderung besteht darin, dass im Prozess der Einreichung dies gesetzlich vorgeschrieben ist Der Benutzer, der diese Informationen sendet, hat keine Garantie dafür, wie diese verwendet, gespeichert und ob sie jemals gespeichert werden zerstört. Compliance-Informationen sind wirtschaftlich wertvoll. Es könnte wegen Identitätsdiebstahls gestohlen werden oder weiterverkauft, sofern die Vorschriften dies zulassen.

Für Cardano wollen wir so viel wie möglich innovativ sein. Auf der Softwareseite der Protokolle ist kaum eine Garantie dafür, dass sich der Empfänger von Compliance-Informationen innerhalb einer Frist verhält Umfang des Verhaltens. Auf der Hardwareseite von Protokollen ist dies jedoch durch die Verwendung vertrauenswürdiger Hardware möglich Nutzen Sie Intel SGX und andere HSMs, um bestimmte Richtlinien durchzusetzen.

Daher prüfen wir die Verwendung von versiegelten Glasbeweisdokumenten zusammen mit einer Weitergaberichtlinie, um den Safe zu ermöglichen Übermittlung von Konformitätsinformationen an einen Prüfer, der wiederum zur Einhaltung gezwungen ist Richtlinien, unter denen es übertragen wurde. Wir glauben, dass sowohl einheitliche Standards entstehen könnten als auch Außerdem wird diese Methode das Risiko für Prüfer verringern, indem sie den Verlust von Kundendaten verhindert Hacker.

Als Konsequenz dieser Bemühungen schlagen wir das Schichtenmodell vor, das den Wert von Cardano trennt Auch die Berechnung kann von diesem Ansatz profitieren. Wenn die Berechnungsschicht reguliert ausgeführt wird Unternehmen (z. B. Börsen oder Casinos), dann müssten sie Compliance-Prüfungen durchführen und möglicherweise Steuerrichtlinien gegenüber Benutzern durchsetzen.

Mithilfe von SGPs kann der Benutzer neben persönlich identifizierbaren Informationen auch Geld senden, ohne dies zu tun Bedenken, dass es in das breitere Internet gelangt oder von den Konsensknoten der geschützt wird WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 38 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Berechnungsschicht. Darüber hinaus würde die Berechnungsschicht Gewissheit erlangen, dass alle Benutzer Transaktionen sind authentifiziert und legitim.

Dieses Paradigma ermöglicht auch die Portabilität von Kunden zwischen regulierten Unternehmen. Der Austausch könnte Übertragen Sie Guthaben und Konten für Kunden sofort über diese sicheren Kanäle und außerdem – Sofern die Richtlinien dies zulassen, geben Sie Daten an die Aufsichtsbehörden weiter.

Wir gehen davon aus, dass unser erster Betatest dieser Technologie Mitte 2018 mit einem Ziel durchgeführt wird in Richtung Cardano-Integration Ende 2018 bis Anfang 2019, abhängig von den Forschungsergebnissen. Diese Zeitleiste setzt außerdem die Fähigkeit voraus, mit ARM und Intel zusammenzuarbeiten, um den Code für die Ausführung signieren zu lassen ihre Hardware. 31 Marktplatz DAOs

In den beiden vorherigen Abschnitten wurde die Generierung und Übertragung von Informationen unter der Annahme behandelt Existenz eines externen Systems. Um die Legacy-Interoperabilität sicherzustellen, werden diese Funktionen immer verwendet notwendig sein, aber sie befassen sich nicht mit der auf blockchain basierenden Regulierung.

Intelligente Verträge ermöglichen eine völlig neue Art von Geschäftssystem, in dem Beziehungen stattfinden deterministisch, selbstverstärkend und frei von Mehrdeutigkeiten. Sie können wiederum zur Erstellung von Regeln verwendet werden Marktplätze einschließlich beliebig komplexer Strukturen wie Schiedsverfahren, ereignisgesteuerte Rückerstattungen, und Offenlegung von Tatsachen unter besonderen Bedingungen.

Wir nennen diese smart contract erzwungenen Strukturen Marktplatz DAOs. Sie erfordern nicht weder spezielle Protokollunterstützung noch Veränderbarkeit zur Einbettung in das Hauptbuch. Tatsächlich können sie es völlig sein erstellt unter Verwendung einer Sammlung voneinander abhängiger smart contracts.

Das architektonische Konzept besteht darin, eine Sammlung kommerzieller Vorlagen zu entwerfen, die davon inspiriert sind Vertragsrecht und bewährte Geschäftspraktiken. Diese Vorlagen können in die Vorlagen eines Entwicklers eingebunden werden smart contract, um bestimmte Standards auf dem Markt durchzusetzen.

Angenommen, ein Entwickler möchte einen ERC20 token auf CCL ausgeben, um einen Crowdsale durchzuführen. A Der Marktplatz DAO könnte speziell für Crowdsales und dessen Geschäftsbedingungen eingerichtet werden parametrisiert oder sogar durch freiwillige oder gesetzliche Standards durchgesetzt werden. Dinge wie Rückerstattungen, Eine Neuzuweisung von Mitteln oder ein Einfrieren von Zahlungen könnte im ERC20 des Entwicklers vererbt werden Vertrag.

31 Siehe kommerzielle Intel SGX-Lizenzrichtlinie WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 39 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Dieser Aufwand ermöglicht es uns, eine Makrodiskussion darüber zu führen, wie ein Markt kontrolliert werden sollte um den Verbraucherschutz zu gewährleisten. Zweitens können wir diskutieren, wie Transaktionen in a modelliert werden Möglichkeit, Rechtsschutz und Rechte innerhalb bestimmter Gerichtsbarkeiten automatisch sicherzustellen, wie z New Hampshire.

In Zusammenarbeit mit der Cardano Foundation, IOHK und anderen Einrichtungen wird das Cardano-Projekt eine erstellen Referenzbibliothek von Marketplace-DAOs für smart contract-Entwickler zur Verwendung. Das ist unsere Hoffnung Versicherungs- und Regulierungsmärkte können sich rund um diese DAOs bilden und das wird auch so sein sich auf der Grundlage der Ergebnisse selbst weiterentwickeln.

Nachhaltigkeit

Ein Eintauchen hinein die Kryptowährung Bereich Erträge viele konzeptionell Widersprüche.

Kryptowährungen sind so konzipiert, dass sie schwer zu ändern sind, aber wie alle Technologien müssen sie geändert werden

Änderung, um Designfehler und Fortschritte zu beheben. Blockchains sollen verhindern

Zentralisierung erfordern jedoch starke Akteure, die Änderungen leiten oder den Code pflegen.

Die vielleicht frustrierendste Erfahrung entsteht, wenn es offensichtliche Mängel gibt, die am häufigsten vorkommen

Die Stakeholder sind sich einig, dass sie korrigiert werden müssen, es kann jedoch kein Konsens über den weiteren Weg erzielt werden.

Die Blockgrößendebatte von Bitcoin ist nun schon seit mehr als zwei Jahren ein aktives Thema. Täglich,

Transaktionen im Gesamtwert von über einer Milliarde US-Dollar stehen aus, da das Netzwerk auf dem Höhepunkt seiner Kapazitätsauslastung ist.

Wenn die Änderung eines einfachen Parameters – selbst wenn temporäre Lösungen vorhanden sind – nicht möglich ist

koordiniert, wie können sich Unternehmen und Regierungen dann wohl fühlen, wenn sie Milliarden von Euro investieren?

Geld in den Aufbau einer Infrastruktur auf diesen Systemen stecken? Wie kann das überhaupt jemand tun?

Unternehmen setzen das strategische Risiko ein, rechenschaftsfreie Protokolle zu integrieren, die dies nicht können

rationale Design-Upgrades durchführen?

Blickt man zurück in die Geschichte, verlief die Entwicklung des Internets sogar einem ähnlichen Muster

Es dauert Jahrzehnte, bis einfache Änderungen wie der Übergang von IPv4 zu IPv6 umgesetzt werden. Dennoch gibt es eine

starker Kontrast zwischen blockchain-Technologie und dem Internet, da sie einem sehr folgen

unterschiedlicher Betreuungsstil.

Das Internet war ein militärisches Projekt, das sich aus der DARPA heraus zu starken akademischen Kreisen entwickelte

Unterstützung durch die Regierung und eine klar definierte Gruppe von Erstverwaltern. Das Internet wuchs unter

nicht-kommerzielle Bedingungen, ohne dass die Machenschaften unternehmerischer Einflussnahme dies versuchen

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 40 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

das Netzwerk monopolisieren. Tatsächlich verstieß E-Commerce bis zu seiner Aufhebung im Jahr 2010 gegen die NSF-AUP

Als Unternehmen den Luxus hatten, das Internet zu kommerzialisieren, gab es bereits ein

starke Reihe von Standards, Prinzipien und evangelistischen Anhängern. Dies hat Unternehmen nicht davon abgehalten

AOL und Microsoft versuchen, Wall Gardens zu errichten und proprietäre Technologien zu entwickeln

ActiveX. Diese Grundlage hat Akteure der nächsten Generation wie Google nicht davon abgehalten, Druck auszuüben

Angesichts ihrer enormen Benutzerbasis und Kapitalisierung haben sie ihre eigenen Pläne.

Mit Schwärmen von Mietsuchenden Für Akteure vom Händler bis zum Bergmann sind Kryptowährungen das Nonplusultra

32 kommerziell motivierte Ökosysteme. Auf dieser Grundlage entwickelte sich die Verwahrung von

Kryptowährungen haben zu einer Optimierung im Hinblick auf Eigeninteressen geführt.

Validierungsloses Mining kommt beispielsweise immer häufiger vor, da es die Fähigkeiten eines Miners verbessert

Gewinnspanne, doch dies lässt den gesamten Zweck und Nutzen des Bergbaus völlig außer Acht. Bergbau

Es hat bereits eine Zentralisierung stattgefunden, wobei nur eine Handvoll Akteure die Mehrheit kontrollieren

Bitcoins hash Macht.

Wie das Internet erfordern auch Kryptowährungen einen Konsens, um sich zu ändern. Aber wenn so schnell

Eine Zentralisierung der Macht auf eine Handvoll Makler findet statt, was bei Veränderungen nicht der Fall ist

bequem für sie?

Im Gegensatz zum Internet erfolgt das Bootstrapping der meisten Kryptowährungen nicht altruistisch

nicht-kommerzieller oder akademischer Art. Von Anfang an versucht eine Gruppe, Gewinne zu erzielen und

Es gibt Machtmakler, die dabei helfen sollen, diese Gewinne sicherzustellen.

Die Gründungszentralisierung ist eine Realität, der sich jede Kryptowährung in ihrer Entwicklung stellen muss. Wir

kann sich dem nicht völlig entziehen, sollte aber zumindest versuchen, eine schrittweise Dezentralisierung zu konzipieren.

Für Cardano haben wir sorgfältig darüber nachgedacht, welche Faktoren die Zentralisierung fördern und was

Techniken könnte angewendet werden, um die schrittweise Veröffentlichung unseres Protokolls zu fördern

Infrastruktur wie das Internet.

Wir vollständig zugeben das insgesamt Dezentralisierung ist beides unmöglich und vielleicht sogar

kontraproduktiv. Dennoch können bestimmte Faktoren gefördert werden, um ein ausgewogeneres System zu schaffen.

Erstens ermöglicht die zentrale Verwahrung von Crowdsale-Fonds eine agile und schnelle Entwicklung

des Protokolls in den frühen Tagen, schließlich muss die Finanzierung diversifiziert werden und die Geschwindigkeit der

32 Weitere Informationen zu diesem Begriff finden Sie unter dem Link WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 41 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Die Entwicklung muss sich auf ein systematischeres und bewussteres Tempo zurückziehen. Diesem Punkt folgend,

Bei der Finanzierung müssen kulturelle, sprachliche und geografische Vorurteile vermieden werden.

Zweitens, wenn die Community besser über die zugrunde liegende Natur des Problems informiert wird

Aufgrund der Technologie der Kryptowährung können Entscheidungen über die Roadmap nicht zentralisiert werden

Kernentwickler oder Stiftung. Es muss eine blockchain-basierte Methode zum Vorschlagen vorhanden sein,

Überprüfung und Umsetzung von Änderungen am Protokoll.

Drittens müssen die Anreize für die Aufrechterhaltung der Cardano SL blockchain direkt aufeinander abgestimmt sein

mit den Gesamtwünschen aller Benutzer. Das können wir einer Kabale spezialisierter Akteure nicht erlauben

Es entstehen Menschen, die unabhängig vom Willen der größeren Gemeinschaft sind.

Als erstes Prinzip haben wir uns für die Integration eines Treasury-Systems in Cardano entschieden. Für die

Zweitens werden wir einen formellen Prozess einsetzen, um Cardano Verbesserungsvorschläge durch a vorzuschlagen

System, das von CSL selbst koordiniert wird. Für den dritten glauben wir, dass Ouroboros eine elegante Lösung bietet

Lösung.

Zu den oben genannten Themen könnten detailliertere Angaben gemacht werden, sie sind jedoch für sich genommen umfangreich

über den Rahmen einer Umfragearbeit hinausgehen. Das Mechanismusdesign ist eines der kompliziertesten und kompliziertesten

voneinander abhängige akademische Bereiche mit unvollständiger Theorie und keinem soliden kanonischen Modell

auf.

Vielmehr leistet uns hier unser wissenschaftsbasierter Ansatz, der in Abschnitt zwei beschrieben wurde, gute Dienste. Veritas von IOHK

Das Team arbeitet im Rahmen der Partnerschaft mit einer Gruppe von Forschern der Lancaster University zusammen

Anweisung von Professor Bingsheng Zhang, das Referenz-Treasury-Modell von Cardano zu entwickeln. Mit

Als Ziel der Integration im Jahr 2018 erwarten wir bis Ende 2018 eine eigene, von Experten begutachtete Veröffentlichung

Zur formellen Beschreibung und Überprüfung von Änderungen an einem Kryptowährungsprotokoll finden Sie dieses Thema

Dies wird am wenigsten verstanden, da es sowohl ontologische Vorstellungen als auch einen Anreizmechanismus erfordert

breite Beteiligung. Vielleicht könnte eine Form eines repräsentativen demokratischen Prozesses entstehen oder

Verwendung von flüssigem Feedback, um eine rationalere Abstimmung zu ermöglichen.

Wir gehen davon aus, dass die Forschung in dieser Richtung den größten Teil der formellen Beteiligung des IOHK an der Forschung in Anspruch nehmen wird

Entwicklung von Cardano . Als Ausgangspunkt werden wir neben dem Referenz-Treasury bereitstellen

33 Modellieren Sie mehrere Mechanismen zur Einholung der Einwilligung. Für eine endgültige Aussage sind weitere Untersuchungen erforderlich

Lösung.

33 IOHK wird bis Ende 2020 mit dem Bau von Cardano beauftragt WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 42 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Schließlich wird die Arbeit zur Verbesserung der Anreize für Ouroboros von Professor Elias betreut

Koutsoupias von der Universität Oxford. Nach den kryptografischen Grundlagen von Ouroboros

zusammen mit allen erforderlichen Skalierbarkeitsarbeiten eine umfassendere Untersuchung von Anleihen, Strafen und Exoten verfestigt

Anreize werden dem Referenzprotokoll hinzugefügt.

Abschluss

Eine Kryptowährung ist mehr als die Summe ihrer Protokolle, ihres Quellcodes und ihres Nutzens. Es ist letztlich ein soziales System, das Menschen inspiriert, befähigt und verbindet. Frustriert von der vielen Hälfte Maßnahmen, Misserfolge und gebrochene Versprechen früherer Protokolle machten wir uns daran, etwas Besseres zu schaffen.

Dieser Prozess ist weder einfach, noch haben wir jemals geglaubt, dass er abgeschlossen werden kann. Die sozialen Protokolle bleiben bestehen sich auf unbestimmte Zeit verändern, wenn sich Menschen und Gesellschaft verändern. Um nützlich zu sein, wollen wir die Macht von einfangen evolution und portieren Sie es in Cardano.

Die Evolution wird nicht von einer einzelnen Hand oder einem großen Plan geleitet. Es ist ein durch Zufall inspirierter Prozess durch endlose Fehler und Probleme. Cardano möchte die digitale Verkörperung dieses Prozesses sein – fit genug, um auf den Märkten von heute bestehen zu können, und anpassungsfähig genug, um sich entsprechend weiterzuentwickeln die Bedürfnisse der Zukunft.

Die vorherigen Abschnitte geben einen kurzen Überblick darüber, wie wir dieses Ziel erreicht haben. Wir Ich habe fleißig versucht, kognitive Vorurteile zu erkennen, aus der Geschichte zu lernen und einem rigorosen Prinzip zu folgen Prozess. Wir haben versucht, die Notwendigkeit einer schnellen Entwicklung mit formalen Methoden in Einklang zu bringen kann sich traditionell nicht schnell bewegen.

Es war ein außerordentliches Privileg, diese Reise anzutreten. In den letzten zwei Jahren haben wir hat bereits ein nachweislich sicheres proof-of-stake-Protokoll entwickelt und eine kleine Armee von Haskell rekrutiert Entwickler und machte die Entwicklung von Cardano zum Anliegen vieler talentierter Wissenschaftler.

Wenn wir vom Labor zu einem in der Wildnis eingesetzten System übergehen, wird es Wachstumsschwierigkeiten geben, aber wir hoffen, dass die Zukunft von Cardano in einer einzigen anthropomorphisierten Form zusammengefasst werden kann Satz. Cardano ist ein pragmatischer Träumer, der von seinen Älteren lernt und ein guter Bürger in seinem Leben ist Gemeinschaft und findet immer einen Weg, ihre Rechnungen zu bezahlen.

WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 43 von 44

IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017

Wir können die Zukunft nicht kennen, aber wir freuen uns, dass wir versuchen, sie für alle besser zu machen. Danke fürs Lesen. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 44 von 44