Cơ sở lý luận về thiết kế Cardano

著 Charles Hoskinson and IOHK · 2017

🇺🇸 English (原文)

🇻🇳 Tiếng Việt (翻訳)

導入

仮想通貨の設計を改善し、次のことに取り組むための長期的な視点合理的で安全なユーザーエクスペリエンスを備えたモバイルデバイス ● 関係者を仮想通貨の運用と保守に近づける ● 同じ台帳で複数の資産を説明する必要性を認識する ● より適切に準拠するために、オプションのメタデータを含めるためにトランザクションを抽象化します。レガシーシステムのニーズ ● 理にかなった機能を採用することで、1,000 近くのアルトコインから学ぶ ● インターネットエンジニアリングタスクフォースからインスピレーションを得た標準主導のプロセスを採用します。最終的なプロトコル設計をロックダウンするための専用の基盤
● コマースのソーシャル要素を探る
● 規制当局が貿易と相互作用するための健全な妥協点を見つける Bitcoin から継承されたいくつかの核となる原則が損なわれています

この構造化されていない一連のアイデアから、Cardano に取り組んでいるプリンシパルは、両方の研究を開始しました。

暗号通貨の文献を参照し、抽象化のツールセットを構築します。この研究の成果は、

IOHK の広範な論文ライブラリ、この最近のスクリプトなどの多数の調査結果

言語の概要、スマートコントラクトのオントロジー、および Scorex プロジェクトについて説明します。レッスン

譲ったの感謝のためにの暗号通貨業界の珍しいそしてで回

逆効果な成長。

まず、TCP/IP などの成功したプロトコルとは異なり、設計には階層化がほとんどありません。

暗号通貨。周囲の合意についての単一の概念を維持したいという願望がありました。

意味があるかどうかに関係なく、事実と出来事が単一の台帳に記録されます。

たとえば、Ethereum は、

しかし、システムを破壊する可能性があるという些細な懸念に悩まされています。

価値の保存として機能する能力。全員のプログラムは一級市民であるべきか

その経済的価値、維持コスト、規制上の影響とは無関係でしょうか？

第二に、主流の暗号研究における以前の結果はほとんど評価されていません。のために

たとえば、Bitshares の委任された Proof of Stake では、ランダムなデータを簡単かつ確実に生成できた可能性があります。

保証された出力配信を伴うコイントスを使用した数字の計算。これは、古くから知られている技術です。

1980 年代 (Rabin と Ben-Or による独創的な論文を参照)。

第三に、ほとんどのアルトコイン（Tezos などのいくつかの注目すべき例外を除く）は、

今後のアップデートのための宿泊施設。ソフトフォークまたはハードフォークを適切にプッシュする能力は極めて重要です

あらゆる暗号通貨の長期的な成功につながります。

当然のこととして、企業ユーザーは何百万ドル相当のリソースを投入することはできません。

ロードマップとその背後にある主体が一時的、つまらない、または過激化したプロトコル。そこに

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 3/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

ビジョンを中心に社会的合意を形成できる効率的なプロセスである必要がある

基礎となるプロトコルを進化させます。このプロセスが非常に面倒な場合は、断片化が発生します。

コミュニティを分断する可能性があります。

最後に、お金です結局のところある社会的現象。匿名化への取り組みの中で、

中抜きの中心人物であるBitcoinとその同時代人もまた、

商取引における安定したアイデンティティ、メタデータ、評判。これらのデータを追加すると

一元化されたソリューションにより、監査可能性、グローバルな可用性、不変性が排除されます。

これが blockchain を使用するポイントです。

SWIFT、FIX、ACH で構成される従来の金融システムには、

トランザクションメタデータ。アカウント間でどれだけの価値が移動したかを知るだけでは十分ではありません。

規制では、関係者の帰属、コンプライアンス情報、報告が必要になることがよくあります。

不審な活動、その他の記録やアクション。場合によっては、メタデータはさらに多くなります。

取引よりも重要です。

したがって、メタデータの操作は次のような有害な可能性があると推測するのが合理的と思われます。

通貨の偽造や取引履歴の書き換え。俳優に便宜を図らない

これらのフィールドを自発的に含めたいと考えている人は、主流の採用に逆効果であるように思われます

そして消費者保護。

滞在の終わり

私たちの暗号通貨空間の原則に基づいた探求の集合体は、次の 2 つのコレクションです。

プロトコル。それぞれ、安全性が証明されている Proof-of-Stake [1][2] ベースの暗号通貨は、

Cardano 決済層 (CSL) と Cardano 計算層と呼ばれる一連のプロトコル

(CCL)。

私たちの設計の重点は、暗号通貨の社会的側面に対応し、レイヤーを構築することです。

価値の会計処理を複雑な計算から分離することで、次のようなニーズに対応します。

規制当局は、いくつかの不変の原則の範囲内にあります。さらに、賢明な場合には、

1 私たちはピアレビューを通じて提案されたプロトコルを精査し、コードを正式なものと照合しようとします。

仕様。

1 リストについては規制セクションを参照私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 4/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

ステークの証明

暗号通貨にプルーフ・オブ・ステークを使用することは、設計上の選択として激しく議論されていますが、

安全な投票を導入するメカニズムを追加し、より多くの拡張能力を備え、より多くの機能を許可します。

珍しいインセンティブ制度があるため、私たちはそれを採用することにしました。

私たちのプルーフ・オブ・ステークプロトコルはウロボロスと呼ばれ、非常に優れた技術者によって設計されました。

アジェロス教授率いる 5 つの学術機関からの才能豊かな暗号学者チーム

2 エディンバラ大学のキアイアス氏。安全性が証明されているだけでなく、それがもたらす核となるイノベーション

厳密な暗号モデルを使用することは、モジュール式で柔軟な設計であり、

機能を強化するために多くのプロトコルを構成します。

このモジュール性により、委任、サイドチェーン、サブスクライブ可能なチェックポイントなどの機能が可能になります。

ライトクライアント向けのより優れたデータ構造、さまざまな形式の乱数生成、さらには

同期の前提が異なります。ネットワークが数千から発展するにつれて、

数百万、さらには数十億のユーザーにとって、そのコンセンサスアルゴリズムの要件もまた、

変化します。したがって、これらの変化に対応できる十分な柔軟性を備えていることが重要です。

将来性のある暗号通貨の中心部。

お金の社会的要素

暗号通貨は、お金の社会的要素の代表的な例です。制限する場合

テクノロジーのみを分析した場合、Bitcoin と Litecoin の間にはほとんど違いはなく、

Ethereum と Ethereum Classic の間ではそれほど違いはありません。ただし、Litecoin と Ethereum は両方ともクラシックです

大きな時価総額と堅牢でダイナミックなコミュニティ、そして独自のコミュニティを維持する

社会的義務。

暗号通貨の価値の大部分はそのコミュニティに由来していると主張できます。

通貨の使用方法、通貨の進化への関与のレベル。さらなる発展

Dash のような通貨は、システムをプロトコルに直接統合して、

開発と資金提供の優先事項を決定するためにコミュニティに参加してもらいます。

2 コネチカット大学、アテネ大学、エディンバラ大学、オーフス大学、東京工業大学私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 5/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

仮想通貨の膨大な多様性は、仮想通貨の社会的要素の証拠にもなります。

哲学、金融政策、あるいはコア開発者間でさえ意見の相違

断片化とフォークにつながります。しかし、他の仮想通貨とは異なり、法定通貨は

超大国は通貨危機や政治的変化や地元の意見の相違を乗り越える傾向がある。

大量脱出。

したがって、レガシーシステムには欠けている要素があると思われます。

暗号通貨業界。私たちはこう主張し、Cardano ロードマップに教え込みました。

プロトコルのユーザーには、プロトコルの背後にある社会契約を理解するためのインセンティブが必要です。

生産的な方法で変更を提案する自由があります。この自由はあらゆる人々に及びます

市場をどのように規制すべきかの決定から、価値交換システムの側面まで

プロジェクトには資金を提供する必要があります。しかし、中央集権的なアクターを介して仲介したり、要求したりすることはできません。

資金豊富な少数者が利用できる特別な資格。

Cardano は、CSL 上に構築されたオーバーレイプロトコルのシステムを実装して、

ユーザーのニーズ。

まず、ブートストラップ開発のためのクラウドセールの成功に関係なく、資金は最終的には

消散する。したがって、Cardano には分散型信頼が含まれます単調に資金調達

3 インフレと取引手数料の削減。

どのユーザーも投票システムによって信託に資金をリクエストする資格がある必要があります。

CSL の利害関係者は誰が受益者になるかを投票します。このプロセスは生産的なものを生み出します

Dash などの財務/信託システムを備えた他の仮想通貨で見られるフィードバックループ

誰に資金を提供すべきか、誰に資金を提供すべきでないかについての会話を開始します。

資金調達に関する議論では、長期目標と短期目標の関係が強制され、仮想通貨のソーシャル

契約、優先順位、特定の提案による価値創造に対する信念。この会話

これは、コミュニティが常にその信念を可能性に対して評価し、議論していることを意味します。

ロードマップ。

次に、Cardano には、最終的には正式な blockchain ベースのシステムが組み込まれることを望んでいます。

ソフトフォークとハードフォークの両方を提案し、投票します。 Bitcoin はブロックサイズに関する議論、Ethereum は

DAO フォークやその他の多くの暗号通貨は長年にわたって存続しており、

頻繁に起こる事件、コードベースの技術的および道徳的方向性をめぐる未解決の議論。

こうした意見の相違の多くは、

行動を起こしたときに生まれるコミュニティは、正式なプロセスの欠如の直接の結果です。

変更について議論しています。
3 これは財務システムとも呼ばれます。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 6/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

Bitcoin ユーザーに Segregated Witness を採用するよう説得するにはどこを行えばよいでしょうか?どのようにすべきか

Ethereum のコア開発者は、DAO を救済するためのコミュニティの感情を測定していますか?もし

コミュニティの亀裂、暗号通貨は修復不可能なほど損傷していますか?

最悪の場合、行動する道徳的権限が開発者の所有者に単純に委譲される可能性があります。

インフラ関係とお金の問題であり、大多数の人々の最善の願いではありません。

コミュニティ。さらに、コミュニティの大部分がアクセスできないか、参加できなくなった場合は、

では、彼らの行為が正当であるかどうかを本当に知るにはどうすればよいでしょうか? 4

Tezos などの提案されている暗号通貨は、どこで仮想通貨が存在するのかを調べるための興味深いモデルを提供します。

暗号通貨プロトコルは、3 つのセクション (トランザクション、

コンセンサスとネットワーク）、憲法を更新するための一連の正式なルールとプロセスを備えています。まだ

インセンティブや、正確にどのようにモデル化して変更するかについては、やるべき多くの作業が残っています。

形式言語を備えた暗号通貨。

形式的な手法、機械が理解できる仕様の使用、および財務と財務の統合

この金銭的インセンティブのプロセスは、インスピレーションを得る手段として検討されています。

最終的には、透明で検閲のない方法でプロトコルの変更を提案できる能力だけが必要です。

blockchain ベースの投票を使用すると、より洗練されたソリューションができない場合でも、プロセスが改善されるはずです。

設計される。

レイヤーでの設計 – Cardano 居住層

優れたプロトコルや言語を設計するときは、将来に目を向けるべきではなく、過去。歴史には、紙の上では完璧でも、それでもなお素晴らしいアイデアの例が数多くあります。 Open Systems Interconnection 標準など、どういうわけか生き残っていません。歴史も TCP/IP から JavaScript まで続く幸せな偶然を提供します。

歴史的見解から抽出されたいくつかの原則は次のとおりです。

1. 未来を予測することはできないので、余裕を持って構築しましょう
2. 理論上は複雑でも問題ありませんが、通常は単純さが優先されます 3. 料理人が多すぎるとスープがダメになる 4. 基準が一度設定されると、それが正しいかどうかに関係なく、おそらく定着するでしょう。最適ではない 4 「合理的無知」を参照
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 7/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

5. 意志があれば、悪いアイデアは実際にかなり良いアイデアに進化する可能性があります

Cardano は、その社会的性質を受け入れる金融システムです。莫大な需要があるだろう柔軟性と、特定のユーザーのトランザクションにおける任意の複雑さに対処できる機能が備わっています。もし成功すると、膨大な計算、ストレージ、ネットワークリソースが必要になります。数百万もの同時トランザクションに対応します。

しかし、私たちは豊富なノードから取り出して提供するデジタルの分散型ロビンフッドを持っていません。公平なネットワークを実現するために、貧しい人々。人間を信頼する余裕もありませんネットワークのより大きな利益のために利他的に犠牲を払う慈善。したがって、Cardano の設計は TCP/IP から関心の分離の概念を取り入れています。

ブロックチェーンは最終的には、事実や出来事を順序立てて保証するデータベースです。タイムスタンプと不変性。お金の文脈では、彼らは資産の所有権を命令します。追加プログラムを保存して実行することによる複雑な計算は、直交する概念です。欲しいですかアリスからボブにどれだけの価値が移ったのかを知りたいですか、それとも私たちがその把握に参加したいですか取引の背後にある全体的なストーリーと送金金額の決定について教えてください。

Ethereum が行ったように、後者を選択するのは信じられないほど誘惑的です。なぜなら、後者の方が柔軟性が高いからです。しかし、それは上記の設計原則に違反します。ストーリーを理解するということは、単一のプロトコルを意味します。任意のイベントを理解し、任意のトランザクションをスクリプト化し、調停を許可できなければなりません。詐欺のケースや、新しい情報が作成された場合の取引の取り消しの可能性さえあります利用可能です。

次に、それぞれにどのメタデータを保存するかについて、難しい設計上の決定を下す必要があります。取引。アリスとボブの取引の背後にある物語のどの要素が関連していますか?あるそれらは永遠に関係しますか？いつデータを破棄できますか?そうすることは法律に違反しますかいくつかの国？

さらに、一部の計算は本質的にプライベートなものです。たとえば、平均値を計算する場合、オフィスで働く従業員の給与については、必ずしも各人がいくらなのかを漏らしたくないとは限りません。作る。しかし、すべての計算が公に知られているとしたらどうなるでしょうか?この宣伝が執行に偏りをもたらしたらどうなるか結果を損なうためですか？

したがって、私たちは価値の会計を会計から分離すべきであるという立場を選択しました。値が移動された理由の背後にあるストーリー。言い換えれば、値を計算から分離することです。この分離は、Cardano が smart contract をサポートしないことを意味するものではありません。逆に、分離を明確にすることで、設計、使用、プライバシーとsmart contractの実行。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 8/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

価値台帳は、Cardano 決済層 (CSL) と呼ばれます。説明するのが目的なので、値を考慮すると、ロードマップには次の目標があります。

1. 2 つのスクリプト言語セットをサポートします。1 つは値を移動するため、もう 1 つは機能を強化するためです。オーバーレイプロトコルのサポート
2. 他の台帳にリンクするための KMZ サイドチェーンのサポートを提供する 5 3. より高度な耐量子署名を含む複数のタイプの署名をサポートセキュリティ
4. 複数のユーザー発行アセットをサポート 5. 真のスケーラビリティを実現します。つまり、より多くのユーザーが参加するにつれてシステムの機能が向上します。増加する

スクリプト作成

スクリプト言語を始めとして、台帳内のアドレス間のトランザクションにはいくつかの処理が必要です。実行して有効であることが証明されるスクリプトの形式。理想的には、イブにアクセスさせたくないでしょう。アリスのお金も、不適切に設計されたスクリプトによって誤って死者に価値が送られることも望まないでしょう。資金を回収不能にするアドレス。

Bitcoin などのシステムは、非常に柔軟性が低く厳格なスクリプト言語を提供します。オーダーメイドのトランザクションをプログラムしたり、読んで理解したりするのは困難です。それでも一般的な Solidity などの言語のプログラム可能性により、異常な量の複雑さが生じますシステムに組み込まれ、はるかに少数のアクターのセットのみに役立ちます。

したがって、私たちはその作成者に敬意を表して Simon という新しい言語を設計することにしました。 6 サイモン・トンプソンと、そのインスピレーションとなったコンセプトの作成者であるサイモン・ペイトン・ジョーンズ。サイモンは契約の作成に基づいたドメイン固有の言語: 金融における冒険エンジニアリング。

基本的な考え方は、金融取引は一般的に以下の集合から構成されるということです。基本的な要素。元素の財務周期表を作成すると、次のことが可能になります。 7 そうでない場合でも、ほとんどをカバーする任意の大規模な複合トランザクションのセットのサポートを提供します。一般的なプログラムを必要とせずに、すべての一般的なトランザクションタイプを実行できます。

5 Kiayias、Zindros、Miller の論文で近日公開予定 6 詳細は今後の仕様でリリースされる予定です。完全な言語は、 Shelley CSL のリリースは 2017 年の第 4 四半期に予定されています 7 プロジェクト ACTUS には綿密な詳細が記載されています
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 9/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

主な利点は、セキュリティと実行を非常によく理解できることです。証拠テンプレートの正しさを示し、実行スペースを使い果たすように記述することができます。問題のある取引イベント（何もないところからの新しいお金の創造や取引など）展性。 2 番目に、次の場合は拡張機能を残したままにして、ソフトフォーク経由で要素を追加できます。新しい機能が必要です。

とはいえ、CSL をオーバーレイプロトコル、レガシー金融に接続する必要は常にあります。システム、および専用サーバー。したがって、私たちはPlutusを一般的なものとして開発しました。目的の smart contract 言語であり、相互運用性のための特別な目的の DSL でもあります。

Plutus は、Haskell の概念に基づいた型付き関数型言語です。カスタムトランザクションスクリプトを作成します。 CSL の場合、これは必要な複雑なトランザクションに使用されます。サイドチェーンスキームなど、接続する必要がある他のレイヤーのサポートを追加します。

サイドチェーン

サイドチェーンに関しては、Cardano は Kiayias、Miller、およびによって開発された新しいプロトコルをサポートします。 Zindros (KMZ サイドチェーン) は、Proof of Work の以前の結果に基づいています。特定のデザインについてはこの文書の範囲外です。ただし、この概念により、安全かつ CSL から任意の Cardano 計算層またはその他への資金の非対話型移動 blockchain プロトコルをサポートしています。

KMZ サイドチェーンは、複雑さをカプセル化する鍵となります。規制要件のある台帳、プライベートオペレーション、堅牢なスクリプト言語、その他の特別な懸念事項は事実上ブラックですボックスを CSL に送信しますが、CSL ユーザーはアカウンティングと以下の機能について一定の保証を得ることができます。計算が完了したら資金をリコールします。

署名

アリスからボブに価値を安全に移動するには、アリスは自分に次の権利があることを証明する必要があります。資金を移動させます。このタスクを実行する最も直接的で信頼性の高い方法は、パブリックユーティリティを使用することです。資金が公開鍵に関連付けられ、アリスが鍵署名スキームを制御します。関連付けられた秘密キー。

さまざまなセキュリティパラメーターと前提条件を備えた、考えられるスキームは数百通りあります。楕円曲線に関連する数学的問題に依存するものもあれば、楕円曲線に関連する数学的問題に依存するものもあります。格子を使用してエキゾチックな概念に接続します。
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 10/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

抽象的な目標は常に同じです。そうしないと解決できない難しい問題が存在します。誰かが秘密の知識を持っています。この知識の持ち主はと言われていますキーペアの所有者であり、それを使用できる唯一のエンティティである必要があります。

暗号通貨が署名スキームを選択する際に直面する懸念事項は 2 つあります。まず、スキーム自体のセキュリティの長期的な耐久性があります。何らかの暗号 1970 年代と 1980 年代に使用された DES などのスキームは破られています。その期間存続が期待されるスキームを決定する必要があります。

第二に、多くの企業、政府、その他の機関が、場合によっては、特定のスキームの使用が義務付けられます。たとえば、NSA は次のように維持しています。スイート B プロトコルセット。暗号化に関しては ISO や W3C ワークグループの標準もあります。

暗号通貨が単一の署名スキームを選択した場合、そのスキームを受け入れることが強制されます。将来のある時点で壊れる可能性があり、少なくとも 1 つのエンティティが使用できなくなります。法的または業界の制限による暗号通貨。しかし、暗号通貨はすべてをサポートできるわけではありませんこれは、すべてのクライアントが各スキームを理解し、検証する必要があるためです。

Cardano では、楕円曲線暗号 (Ed25519 曲線) を使用することから始めることにしました。特に。また、HD ウォレットのサポートを追加することで、既存のライブラリを強化することも決定しました。ドミトリー・ホブラトヴィッチ博士とジェイソン・ローの仕様書を使用。
8

つまり、Cardano は将来、より多くの署名スキームをサポートする予定です。特に私たちは、 BLISS-Bを統合して、量子コンピュータ耐性のある署名をシステムに追加することに興味があります。また、レガシーとの相互運用性を強化するために SECP256k1 を追加することにも興味があります。 Bitcoin などの暗号通貨。

Cardano は、さらに署名を追加できる特別な拡張機能を使用して設計されています。ソフトフォークによるスキーム。これらは必要に応じて、および予定されているメジャーアップデート中に追加されます。ロードマップ。
9

ユーザー発行アセット (UIA)

Bitcoin の歴史の初期に、ユーザーがアセットを発行できるようにするためのプロトコルが急速に開発されました。複数の通貨を同時に追跡するために、Bitcoin の会計システムに便乗しました。 8 これは、Cardano の HD ウォレット実装に関するドキュメントです。 Cardano が最初のものであると考えられます Ed25519 HD ウォレットをサポートするための暗号通貨
9 Cardanoroadmap.comを参照
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 11/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

これらのプロトコルは Bitcoin プロトコルによってネイティブにサポートされていませんでしたが、巧妙なハック。

Colored Coins や Mastercoin (現在は Omni と呼ばれています) などの Bitcoin オーバーレイの場合、ライトクライアントは信頼できるサーバーに依存する必要があります。また、取引手数料も引き続き支払う必要がありますビットコイン。これらのプロパティをトランザクション承認用の単一パイプラインと組み合わせることで、 Bitcoin 複数資産会計には次善です。

ERC20 標準を使用する Ethereum の場合は、さらに豊富な機能があります。ただし、取引手数料には依然としてイーサが必要です。さらに、Ethereum ネットワークに問題が発生しています発行されたすべての ERC20 token のニーズに合わせて拡張します。

根本的な問題は、リソース、インセンティブ、懸念という 3 つの部分に分けることができます。リソースに関しては、まったく新しい通貨を同じ台帳に追加することは、帯域幅、メモリプール、および帯域幅を共有する 2 つの独立した UTXO (未使用のトランザクション入力) セットブロックスペース。これらの通貨のトランザクションの埋め込みを担当するコンセンサスノードそうするためのインセンティブが必要です。そして、暗号通貨のすべてのユーザーが気にするわけではありませんし、気にするべきではありません特定のエンティティの通貨。

これらの問題を考慮すると、マルチアセット台帳のプライマリ token としての利点は非常に大きいです。分散型マーケットメイクを可能にするブリッジ通貨として効果的に機能します。スペシャル目的資産は、次のような価値の安定した資産などの追加の実用性を提供するために発行される可能性があります。融資や送金アプリケーションに便利な Tether または MakerDAO。

課題を考慮して、Cardano は複数資産会計に対する実用的なアプローチを採用しました。段階的に構築する最初の課題は、システムをサポートするために必要なインフラストラクチャを設計することです。何千ものUIAの要求。つまり、次のような進歩が必要です。

1. 非常に大規模なデータの追跡を可能にする特別な目的の認証されたデータ構造 UTXO 状態

2. 膨大な数の保留中のトランザクションを保持する分散メモリプールを持つ機能
3. ブロックチェーンのパーティショニングとチェックポイントにより、巨大なグローバル blockchain 4. さまざまなセットを含めることに対してコンセンサスノードに報酬を与えるインセンティブスキーム。トランザクション 5. ユーザーが追跡したい通貨を決定できるサブスクリプションの仕組み
6. 強力なセキュリティにより、UIA はネイティブ資産と同様のセキュリティを享受できることが保証されます 7. UIAとUIA間の流動性を改善するための分散型マーケットメイキングのサポートプライマリ token

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 12/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

適切な認証済みデータ構造を見つけるための予備的な取り組みにより、新しい結果が得られました。 Leo Reyzin、IOHK、Waves が共同開発した AVL+ Tree の一種。さらなる研究が必要ですが、ただし、これは Cardano の後のバージョンに含まれる基礎的な進歩です。

分散メモリプールは、スタンフォード大学の RAMCloud プロトコルを使用して実装できます。 Cardano のコンセンサス層への統合を研究するための実験が 2017 年の第 3 四半期に開始されます。

残りのトピックは相互に関連しており、進行中の研究でカバーされています。私たちは期待しています — 件名研究結果へ — CSL の芭蕉中に UIA のプロトコルを Cardano に含める 2018年にリリース。

スケーラビリティ

分散システムは、プロトコルまたは

共通の目標を達成するための一連のプロトコル。この目標は、次のように定義されているようにファイルを共有することです。

BitTorrent プロトコルを使用するか、Folding@Home を使用してタンパク質をフォールディングします。

最も効果的なプロトコルは、ノードがネットワークに参加するときにリソースを獲得します。によってホストされているファイル

たとえば、BitTorrent は、多くのピアが存在する場合、平均してはるかに高速にダウンロードできます。

同時にダウンロードしています。ピアがリソースを提供するため、速度が向上します。

それらを消費することも。この特性は、分散型を述べるときに通常意味するものです。

システムのスケール。

現在のすべての暗号通貨の設計における課題は、実際にはそうではないということです。

スケーラブルになるように設計されています。たとえば、ブロックチェーンは通常、追加専用のリンクされたリストです。

ブロック。 blockchain プロトコルのセキュリティと可用性は、多くのノードに依存しています。

blockchain データの完全なコピーを所有しています。したがって、単一バイトのデータを複製する必要があります。

N 個のノード間で。追加のノードは追加のリソースを提供しません。

この結果は、トランザクション処理とメッセージのゴシップでも同じです。

システム。コンセンサスシステムにノードを追加しても、追加の機能は提供されません。

トランザクション処理能力。それは、同じことを行うためにより多くのリソースを費やす必要があることを意味するだけです

仕事。ネットワーク中継が増えると、より多くのノードが同じメッセージを送信しなければならないことを意味します。

ネットワーク全体が最新のブロックと同期します。

このトポロジを考慮すると、暗号通貨は従来のネットワークと同等のグローバルネットワークに拡張できません。

金融システム。対照的に、従来のインフラストラクチャはスケーラブルであり、桁違いの拡張性を備えています。

処理能力とストレージ能力が向上します。特定の点を追加すると、Bitcoin は非常に小さなネットワークです

他の決済手段と比較すると、現在の負荷を管理するのに苦労しています。
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 13/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

Cardano のスケーラビリティ目標は、コンセンサスアルゴリズムによって大きく支援されます。ウロボロス

分散型の方法でコンセンサスノードのクォーラムを選択できるようになり、より多くのノードを実行できるようになります。

過去 20 年間にわたって大規模なニーズに対応するために開発された伝統的なプロトコル

Google や Facebook などのインフラストラクチャプロバイダー。
10

たとえば、エポックのクォーラムの選択は、信頼できるノードのセットがあることを意味します。

特定の期間、台帳を維持します。複数の定足数を同時に選出することは簡単です

トランザクションを異なるクォーラムに分割します。

同様の手法をネットワークの伝播や blockchain のシャーディングにも適用できます。

それ自体を一意のパーティションに分割します。現在のロードマップでは、スケーリング手法は以下に適用されます。

ウロボロスは 2018 年に始まり、2019 年、2020 年も引き続き注目を集めています。

Cardano 計算層

前述したように、トランザクションには 2 つのコンポーネントがあります。 token のフローと、token の移動の背後にある理由と条件を記録します。の後者は任意に複雑になる可能性があり、テラバイトのデータ、複数の署名、特殊なデータが含まれる場合があります。起こっている出来事。後者は、値をプッシュする単一のシグネチャを使用することで非常にシンプルにすることもできます。別のアドレスに。

価値の流れの理由と条件をモデル化する背後にある課題は、最も予測不可能な方法で関与するエンティティにとって非常に個人的なものです。からの教訓契約法は、俳優自身がそうではない可能性があるさらに問題のある状況を描きますこの取引が商業的現実と一致しないことにも注意してください。私たちは一般的にこれをこう呼んでいます「意味上のギャップ」という現象。 11

なぜ、無限の複雑さと抽象化の層を追い求めて暗号通貨を構築する必要があるのでしょうか? 本質的にはシーシュポスのようですが、実際には素朴です。さらに、それぞれの抽象化が包含される法的およびセキュリティ上の両方の影響を及ぼします。

たとえば、オンライン上には、一般的に違法または軽蔑されている活動が多数あります。児童ポルノの人身売買や国家機密の販売など。堅牢なシステムを導入することで、 10 同じ目的を達成しようとする他の独立した研究プロトコルもあります。 Elastico と Bitcoin-NG
11 ロイ・ルーらこのギャップについては、スマートコントラクトのスマート化に関する最近の論文で説明されています。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 14/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

分散型インフラストラクチャでは、現在、このアクティビティを実行するためのチャネルが提供されています。通常の商取引が享受するのと同じ検閲耐性。法的には不明ですが、ネットワークのコンセンサスノード - より連携を深めようとするインセンティブがある効率性を促進するための時間 — ホストするコンテンツに対して責任を負うことになります。

Tor オペレーターの訴追、Silk Road オペレーターの残忍な扱い、そして全体的な欠如プロトコル参加者の法的保護の背後にある法的明確さは不確実な道を残しています。あります十分に進歩した暗号通貨が他に何を可能にするかについて、想像力が不足することはありません（「ギュゲスの指輪）。暗号通貨のすべてのユーザーに、少なくとも支持を強制するのは合理的ですか? ウェブにおける最悪の行為や行為を可能にするのか？

残念ながら、暗号通貨設計者に洞察を与える明確な答えはありません。それはポジションの選択とそのメリットの擁護について詳しく説明します。 Cardano と Bitcoin は、懸念事項をレイヤーに分けることを選択したということです。 Bitcoin では、台木。 Cardano には、Cardano 計算層があります。

以前に詳しく説明した行為を可能にするような複雑な動作は実行できません。 CSL。チューリング完全言語で書かれたプログラムを実行する能力が必要です。メーターの計算に対するガス経済学の形式。また、喜んでコンセンサスノードを必要とします。ブロックにトランザクションを含めます。

したがって、機能制限は合理的にユーザーを保護することができます。これまでのところ、最も確立されているのは、政府は、暗号通貨の使用または維持が問題であるという立場をとっていません。違法行為。したがって、大多数のユーザーは、次のような台帳を維持することに抵抗がないはずです。デジタル決済システムと同等の機能を備えています。

能力を拡張したい場合、2 つの可能性があります。プライベートによって有効になります同じ考えを持つ個人の集合体であり、本質的には一時的です (ポーカーゲームなど)。あるいは、それ Ethereum と同等の機能を持つ台帳によって有効になります。どちらの場合も、私たちが選択したのは、イベントを別のプロトコルにアウトソーシングします。

プライベートで一時的なイベントの場合は、blockchain パラダイムを避けるのが合理的です。完全に、しかしむしろ、特別な目的の MPC プロトコルのライブラリに向けた取り組みを制限します。同じ考えを持つ参加者のグループが望むときに呼び出されます。計算とアクティビティプライベートネットワーク内で調整され、信頼できる掲示板としてのみ CSL を参照します。必要に応じてメッセージパッシングチャネルを使用します。

この場合の重要な洞察は、同意があり、責任とプライバシーがカプセル化されているということです。 CSLはユーザーが出会い、コミュニケーションするためのデジタルコモンズとして使用されています。公園でイベントを開催するのと同じです。プライベートイベント — ただし、特別な配慮や円滑化は提供されません。さらに、私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 15/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

特別な目的の MPC を使用すると、 blockchain 膨満感。したがって、システムの規模が向上します。

Cardano のこのライブラリに対する研究活動は、東工大の研究室で集中的に行われています。海外の科学者からの援助もある。私たちはこの図書館を、仲間の名前にちなんで「タルターリア」と呼んでいます。数学者であり、Cardano の同時代人であり、最初の反復が利用可能になることを期待しています 2018年の第1四半期に。

2 番目のケースでは、仮想マシン、コンセンサスノードのセットを備えた blockchain が必要です。そして 2 つのチェーン間の通信を可能にするメカニズム。を始めました。 K フレームワークを使用して Ethereum 仮想マシンを厳密に形式化するプロセス 12 イリノイ大学のチームと提携。

この分析の結果は、複製された、最終的には明確な操作セマンティクスと正しい動作の強力な保証を備えた分散仮想マシン 13 仕様からの実装。言い換えれば、VM はコードで指示されたことを実際に実行します。それはセキュリティリスクを最小限に抑えるためです。

Ethereum によって提案されたガスの経済学とそれがどのように行われるかについては、まだ未解決の疑問が残っています。 Jan Hoffmann らのリソース認識 ML や、より広範な研究などの研究に関連しています。計算のためのリソースの見積もり。言語レベルにも興味があります仮想マシンの独立性。たとえば、Ethereum プロジェクトは次のような要望を表明しています。現在の VM から Web Assembly に移行するため。

次の取り組みは、ステートフルを表現する合理的なプログラミング言語を開発することです。分散アプリケーションによってサービスとして呼び出される契約。このタスクには、レガシー smart contract 言語 Solidity をサポートするという両方のアプローチを選択しました。保証アプリケーションと、より高い保証を実現するための Plutus と呼ばれる新しい言語の開発正式な検証が必要なアプリケーション。

Solidity ベースの Zeppelin プロジェクトと同様に、IOHK は Plutus コードのリファレンスライブラリも開発しますアプリケーション開発者がプロジェクトで使用できるようにします。専用のツールセットも開発します UCSD の Liquid Haskell プロジェクトの成果に触発された正式な検証用。

コンセンサスの観点から言えば、ウロボロスは十分なモジュール形式で設計されており、 smart contract の評価。したがって、CSL と CCL は両方とも同じコンセンサスアルゴリズムを共有します。 12 Grigore Rosu 教授らによって発明されました。 al.、K は言語に依存しない普遍的なフレームワークですマシン実行可能セマンティクス。私たちの仕事が始まる前は、C、Java、JavaScript のモデル化に使用されていました。 13 異なるコンセンサスノードが異なる smart contract を実行することを意味します。状態シャーディングとも呼ばれます私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 16/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

違いは、ウロボロスは許可されたものと許可されたものの両方を許可することが確認できることです。 token 配布による権限のない台帳。

CSL では、Ada は token 生成イベントによってアジア全土の購入者に配布されました。最終的には二次市場で再販することになるでしょう。これは、CSL のコンセンサスアルゴリズムが多様かつますます分散化が進んでいる一連のアクターまたはその委任者によって制御される割り当てます。 CCL を使用すると、その代表者が保持する特別な目的の token を作成できます。規制対象となる可能性のある台帳を管理し、許可された台帳を作成します。

このアプローチの柔軟性により、CCL のさまざまなインスタンスをさまざまな方法で実現できます。取引の評価に関するルール。たとえば、ギャンブル活動が制限される可能性があります。ただし、帰属のない取引をブラックリストに登録するだけで KYC/AML データが存在する場合は除きます。

設計の最終的な焦点は、信頼できるハードウェアセキュリティモジュール (HSM) をプロトコルに追加することです。積み重ねる。これらの機能をシステムに導入すると、これら 2 つの大きな利点が得られます。プロトコル。まず、HSM はセキュリティを導入せずにパフォーマンスを大幅に向上させます。 14 ベンダーを信頼する以上の懸念があります。次に、Sealed Glass Proofs (SGP) の使用により、 HSM は、データが検証され、その後、改ざんされることなく破棄できることを保証します。悪意のある部外者にコピーまたは漏洩される。

2 番目の点に注目すると、SGP はコンプライアンスに革命的な影響を与える可能性があります。通常、消費者が認証のために個人を特定できる情報 (PII) を提供する場合、身元を特定したり、参加する権利を証明したりする場合、この情報は信頼できる第三者に渡されます。それが悪意を持って行動しないことを願っています。このアクティビティは本質的に集中化されており、データプロバイダーは PII の管理を失い、管轄区域に基づくさまざまな規制の対象にもなります。

信頼できる認証者のセットを選択し、PII をハードウェアエンクレーブに保管する機能十分な能力を持つ HSM を備えたアクターは、アクターに関する事実を検証できることを意味します。検証者が行為者の身元を知ることなく、偽造できない方法で。たとえば、ボブは米国国民ではありません。アリスは認定投資家です。ジェームズは米国の納税者なので、送金すべきだ課税対象利益はアカウント X に送られます。

Cardano の HSM 戦略は、次の 2 つの期間にわたって特殊なプロトコルの実装を試みることです。 Intel SGX と ARM Trustzone を何年も使用。どちらのモジュールも何十億もの消費者に組み込まれていますラップトップから携帯電話までのデバイスに対応しており、消費者側で追加の労力を必要としません。使用します。どちらも厳しく精査され、適切に設計されており、一部の企業による長年の反復に基づいています。最大かつ最高の資金を提供するハードウェアセキュリティチーム。

14 コーネル大学のhttp://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/を参照大学私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 17/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

規制

現代のすべての金融システムの厳しい現実は、規模が拡大するにつれてニーズが蓄積していくということです。あるいは少なくとも規制に対する願望。この結果は通常、反復的な崩壊の結果です市場における俳優または俳優の陰謀による過失によるもの。

たとえば、1907 年のニッカーボッカー危機の結果、連邦準備制度が創設されました。 1913 年に最後の貸し手として制度が創設されました。もう一つの例は、1920 年代の行き過ぎです。恐ろしい財政破綻、大恐慌を引き起こしたアメリカ。この崩壊は同様の行為を防ぐために、1934年に証券取引委員会の創設を提案した。イベントを起こすか、少なくとも悪役の責任を追及する。

規制の必要性、範囲、有効性について合理的に議論することはできるが、否定することはできないその存在と主要政府がそれを施行する熱意。ただし、世界のグローバル化と現金のデジタル化に伴い、あらゆる規制当局が直面する課題には 2 つの側面があります。

まず、一連の規制を扱う場合、どの一連の規制が最優先されるべきかということです。管轄区域?ウェストファリアの主権に関する時代遅れの概念は、単一の取引で溶けます 1 分以内に 34 か国と連絡を取ることができます。単純にそれを行使する者であればよいのか地政学的な影響が最も大きい？

第二に、プライバシー技術の向上によりデジタル軍拡競争が引き起こされ、誰が取引に参加したかを理解することさえますます困難になり、ましてや、特定の価値のあるものを誰が所有しているのかということはありません。数百万ドルの資産が存在する世界では秘密に保持されている 12 単語の記憶術だけで制御できます。どうすればよいですか? 15 効果的な規制を施行するか？

すべての金融システムと同様、Cardano プロトコルは、その設計において、何が何であるかについて意見を持たなければなりません。公平かつ合理的。私たちは個人の権利と個人の権利を分けることを選択しました。市場。

個人は強制や民事資産を介さずに常に自分の資金に単独でアクセスできる必要があります没収。すべての政府がこの権利を守らないと信頼できるわけではないため、この権利は強制されなければなりません。ベネズエラで見られるように、腐敗した政治家の個人的な利益のために主権を乱用するそしてジンバブエ。暗号通貨は最小公倍数に合わせて設計する必要があります。

15 BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki を参照
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 18/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

第二に、歴史は決して改ざんされるべきではありません。ブロックチェーンは不変性を約束します。歴史を巻き戻したり、公式記録を変更したりする権限の導入は多すぎるものをもたらします特定の俳優に利益をもたらすために過去を変えようとする誘惑。

第三に、価値の流れは無制限であるべきです。資本規制およびその他の人工壁人権を低下させる。それらを強制しようとする無駄を除けば、世界規模で 16 後発開発途上国の多くの国民が管轄外を旅行する経済生活賃金を得るために資本移動を制限すると、通常、世界で最も貧しい人々に損害を与えることになる。

これらの原則からわかるように、市場は個人とは明らかに異なります。一方、デザイナーたちは、 Cardano 個人の権利を信じており、市場には公然と意見を述べる権利があるとも信じています。その利用規約を確認し、個人がこの市場内でビジネスを行うことに同意した場合、システム全体の整合性を保つために、これらの基準を遵守する必要があります。

課題は常にコストと施行の実用性でした。小規模で複数の管轄区域にまたがる従来のシステムではトランザクションが高すぎて、高い信頼性を保証できません詐欺または商業紛争が発生した場合。に電信送金を送信すると、ナイジェリアの王子、通常、資金を取り戻そうとすると費用がかかりすぎます。
17

Cardano については、3 つのレベルで革新できると考えています。まず、smart contracts を使用します。商業関係の条件をより適切に管理できるようになります。すべての資産がデジタルであり、CSL 上でのみ表現できるため、詐欺のない商取引を強力に保証できます。得た。

2 つ目は、HSM を使用して、PII が漏洩せずに使用される ID 空間を提供することです。認証および資格情報のアクターは、グローバルな評価システムを提供し、自動化されたオンラインゲームなど、規制された活動をより低コストで実施できる税務コンプライアンスまたは分散型取引所。

最後に、Cardano のロードマップには、モジュール式規制 DAO の作成が含まれています。可変性を追加するために、ユーザーが作成した smart contract と対話するようにカスタマイズされています。保護と仲裁。このプロジェクトの範囲については、後の記事で概説します。

16 資本の流れへの対抗策の例として、ハワラ銀行システムを参照 17 「前払い詐欺」を参照私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 19/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

すべてのポイントは何でしょうか?

Cardano は、何百人もの最も優秀な頭脳からのフィードバックを含むマラソンプロジェクトです。

仮想通貨業界の内外で。それには、たゆまぬ反復、積極的な使用が含まれます。

ピアレビュー、そして素晴らしいアイデアが発覚した場合の恥知らずな窃盗。

残りのセクションでは、それぞれが中核であると判断した特定の焦点の側面について説明します。

私たちのプロジェクトのコンポーネントです。全体のベストを向上させたいという希望から選ばれた人もいます

他のものは Cardano の進化に特有のものです。

すべての目標をカバーしたり、すべてのユーザーを満足させたりできるプロジェクトはありませんが、私たちの希望は、次のようなビジョンを提供することです。

自己進化する財務スタックが不足している管轄区域にとって、それはどのようなものであるべきなのか。究極の

仮想通貨の現実は、既存の従来の金融システムを破壊するものではありません。

従来の金融システムは常に変化を吸収し、その形態を維持することができます

そして機能。

むしろ、既存のシステムを導入するにはコストが高すぎる場所に目を向けるべきです。

銀行システムでは、多くの人が一日数ドル未満で生活しており、安定した身分を持たず、

信用を見つけることは不可能です。

これらの場所では、決済システム、財産権、アイデンティティ、信用、リスクを束ねる権限が与えられます。

携帯電話上で実行される単一のアプリケーションに保護を組み込むことは、便利であるだけでなく、生活を変えるものです。

私たちが Cardano を構築している理由は、成果を提供する正当なチャンスがあると感じているからです。

少なくとも前進しています - 発展途上世界に対するこのビジョン。

たとえ失敗したとしても、暗号通貨の設計、進化、資金調達の方法を変えることができれば、

そうすれば大きな成果が得られます。

Giới thiệu

Quan điểm dài hạn về việc cải thiện thiết kế của tiền điện tử để chúng có thể hoạt động trên thiết bị di động có trải nghiệm người dùng hợp lý và an toàn ● Đưa các bên liên quan đến gần hơn với hoạt động và bảo trì tiền điện tử của họ ● Thừa nhận sự cần thiết phải hạch toán nhiều tài sản trong cùng một sổ cái ● Tóm tắt các giao dịch để bao gồm siêu dữ liệu tùy chọn nhằm tuân thủ tốt hơn với nhu cầu của các hệ thống cũ ● Học hỏi từ gần 1.000 altcoin bằng cách sử dụng các tính năng có ý nghĩa ● Áp dụng quy trình dựa trên tiêu chuẩn lấy cảm hứng từ Lực lượng Đặc nhiệm Kỹ thuật Internet bằng cách sử dụng một nền tảng chuyên dụng để khóa thiết kế giao thức cuối cùng
● Khám phá các yếu tố xã hội của thương mại
● Tìm một nền tảng trung gian lành mạnh để các cơ quan quản lý tương tác với thương mại mà không cần xâm phạm một số nguyên tắc cốt lõi kế thừa từ Bitcoin

Từ tập hợp ý tưởng không có cấu trúc này, các hiệu trưởng nghiên cứu Cardano bắt đầu khám phá cả hai

tài liệu về tiền điện tử và xây dựng một bộ công cụ trừu tượng. Đầu ra của nghiên cứu này là

Thư viện tài liệu phong phú của IOHK, nhiều kết quả khảo sát như kịch bản gần đây này

tổng quan về ngôn ngữ cũng như Bản thể học của Hợp đồng thông minh và dự án Scorex. Bài học

nhường một đánh giá cao cho cái tiền điện tử ngành công nghiệp bất thường và tại lần

tăng trưởng phản tác dụng.

Đầu tiên, không giống như các giao thức thành công như TCP/IP, có rất ít sự phân tầng trong thiết kế của

tiền điện tử. Đã có mong muốn duy trì một khái niệm chung về sự đồng thuận xung quanh

sự kiện và sự kiện được ghi lại trong một sổ cái duy nhất, bất kể nó có hợp lý hay không.

Ví dụ: Ethereum đã gây trở ngại cho sự phức tạp to lớn khi cố gắng trở thành một

máy tính phổ thông trên thế giới, nhưng gặp phải những lo ngại tầm thường có khả năng phá hủy hệ thống

khả năng hoạt động như một kho lưu trữ giá trị. Chương trình của mọi người có nên là công dân hạng nhất

bất kể giá trị kinh tế, chi phí duy trì hoặc hậu quả pháp lý của nó là bao nhiêu?

Thứ hai, có rất ít sự đánh giá cao về các kết quả trước đó trong nghiên cứu mật mã chính thống. cho

Ví dụ: Bằng chứng cổ phần được ủy quyền của Bitshares có thể tạo ngẫu nhiên một cách dễ dàng và đáng tin cậy

các con số sử dụng việc tung đồng xu với khả năng phân phối đầu ra được đảm bảo, đây là một kỹ thuật được biết đến kể từ đó

những năm 1980 (xem bài báo chuyên đề của Rabin và Ben-Or).

Thứ ba, hầu hết các altcoin (với một số ngoại lệ đáng chú ý như Tezos) đều chưa tạo ra bất kỳ khoản lợi nhuận nào.

chỗ ở cho các cập nhật trong tương lai. Khả năng đẩy thành công một soft fork hoặc hard fork là yếu tố then chốt

đến sự thành công lâu dài của bất kỳ loại tiền điện tử nào.

Hệ quả tất yếu là người dùng doanh nghiệp không thể cam kết tài nguyên trị giá hàng triệu đô la cho

các giao thức trong đó lộ trình và tác nhân đằng sau chúng là phù du, nhỏ nhặt hoặc cực đoan. Ở đó

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 3 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

cần phải là một quá trình hiệu quả mà qua đó sự đồng thuận xã hội có thể hình thành xung quanh tầm nhìn cho

phát triển giao thức cơ bản. Nếu quá trình này cực kỳ nặng nề, sự phân mảnh

có thể khiến cộng đồng tan vỡ.

Cuối cùng, tiền bạc là cuối cùng một xã hội hiện tượng. Trong nỗ lực ẩn danh và

các tác nhân trung tâm không trung gian, Bitcoin và các tác nhân cùng thời cũng đã loại bỏ nhu cầu về

danh tính, siêu dữ liệu và uy tín ổn định trong giao dịch thương mại. Thêm những dữ liệu này

thông qua các giải pháp tập trung loại bỏ khả năng kiểm toán, tính khả dụng toàn cầu và tính bất biến —

đó là toàn bộ mục đích của việc sử dụng blockchain.

Các hệ thống tài chính kế thừa như các hệ thống bao gồm SWIFT, FIX và ACH rất giàu

siêu dữ liệu giao dịch. Việc biết giá trị được di chuyển giữa các tài khoản là bao nhiêu là chưa đủ,

quy định thường yêu cầu sự phân bổ của các bên liên quan, thông tin tuân thủ, báo cáo

hoạt động đáng ngờ cũng như các hồ sơ và hành động khác. Trong một số trường hợp, siêu dữ liệu nhiều hơn

quan trọng hơn giao dịch.

Do đó, có vẻ hợp lý khi suy luận rằng việc thao túng siêu dữ liệu có thể gây hại như

làm giả tiền hoặc viết lại lịch sử giao dịch. Không tạo chỗ ở cho diễn viên

những người muốn tự nguyện đưa các lĩnh vực này vào có vẻ phản tác dụng đối với việc áp dụng chính thống

và bảo vệ người tiêu dùng.

Kết thúc tạm trú

Sự tổng hợp khám phá nguyên tắc của chúng tôi về không gian tiền điện tử là hai bộ sưu tập

giao thức. Tương ứng, một loại tiền điện tử dựa trên Bằng chứng cổ phần [1][2] có thể được chứng minh là an toàn được gọi là

Cardano Lớp giải quyết (CSL) và một tập hợp các giao thức được gọi là Lớp tính toán Cardano

(CCL).

Điểm nhấn trong thiết kế của chúng tôi là đáp ứng các khía cạnh xã hội của tiền điện tử, xây dựng theo từng lớp

bằng cách tách việc tính toán giá trị khỏi tính toán phức tạp và giải quyết các nhu cầu của

cơ quan quản lý trong phạm vi của một số nguyên tắc bất biến . Hơn nữa, ở đâu hợp lý,

1 chúng tôi cố gắng kiểm tra các giao thức được đề xuất thông qua đánh giá ngang hàng và kiểm tra mã so với chính thức

thông số kỹ thuật.

1 Xem phần Quy định để biết danh sách TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 4 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Bằng chứng về cổ phần

Tuy nhiên, việc sử dụng bằng chứng cổ phần cho tiền điện tử là một lựa chọn thiết kế được tranh luận sôi nổi bởi vì nó

bổ sung một cơ chế để giới thiệu bỏ phiếu an toàn, có nhiều khả năng mở rộng quy mô hơn và cho phép nhiều hơn

kế hoạch khuyến khích kỳ lạ, chúng tôi quyết định nắm lấy nó.

Giao thức bằng chứng cổ phần của chúng tôi được gọi là Ouroboros và nó được thiết kế bởi một

đội ngũ các nhà mật mã tài năng từ năm tổ chức học thuật do Giáo sư Aggelos đứng đầu

2 Kiayias của Đại học Edinburgh. Sự đổi mới cốt lõi mà nó mang lại ngoài việc được chứng minh là an toàn

sử dụng một mô hình mật mã nghiêm ngặt là một thiết kế mô-đun và linh hoạt cho phép

thành phần của nhiều giao thức để nâng cao chức năng.

Tính mô-đun này cho phép các tính năng như ủy quyền, chuỗi bên, điểm kiểm tra có thể đăng ký,

cấu trúc dữ liệu tốt hơn cho các máy khách nhẹ, các hình thức tạo số ngẫu nhiên khác nhau và thậm chí

giả định đồng bộ hóa khác nhau. Khi một mạng phát triển từ hàng ngàn đến

hàng triệu, thậm chí hàng tỷ người dùng, các yêu cầu về thuật toán đồng thuận của nó cũng sẽ

thay đổi. Vì vậy, điều quan trọng là phải có đủ sự linh hoạt để thích ứng với những thay đổi này và do đó

chứng minh tương lai cho trái tim của tiền điện tử.

Các yếu tố xã hội của tiền

Tiền điện tử là một ví dụ điển hình về thành phần xã hội của tiền. Khi hạn chế

phân tích chỉ dựa vào công nghệ, có rất ít sự khác biệt giữa Bitcoin và Litecoin và thậm chí

ít hơn giữa Ethereum và Ethereum Cổ điển. Tuy nhiên, cả Litecoin và Ethereum Cổ điển

duy trì mức vốn hóa thị trường lớn và cộng đồng năng động, mạnh mẽ cũng như của chính họ

mệnh lệnh xã hội.

Có thể lập luận rằng phần lớn giá trị của tiền điện tử có nguồn gốc từ cộng đồng của nó,

cách nó sử dụng tiền tệ và mức độ tham gia vào quá trình phát triển của tiền tệ. Tiếp tục

theo suy nghĩ, các loại tiền tệ như Dash thậm chí còn tích hợp hệ thống trực tiếp vào giao thức để

thu hút cộng đồng của họ tham gia vào việc quyết định những gì cần được ưu tiên phát triển và tài trợ.

2 Đại học Connecticut, Đại học Athens, Đại học Edinburgh, Đại học Aarhus, Tokyo Viện công nghệ TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 5 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Sự đa dạng rộng lớn của tiền điện tử cũng cung cấp bằng chứng cho các yếu tố xã hội của chúng.

Những bất đồng về triết lý, chính sách tiền tệ hoặc thậm chí chỉ giữa các nhà phát triển cốt lõi

dẫn đến sự phân mảnh và phân nhánh. Tuy nhiên, không giống như các loại tiền điện tử tương ứng, tiền tệ pháp định của

các siêu cường có xu hướng sống sót qua những thay đổi chính trị và những bất đồng địa phương mà không gặp khủng hoảng tiền tệ hoặc

cuộc di cư hàng loạt.

Vì vậy, có vẻ như có những yếu tố của hệ thống kế thừa bị thiếu trong

ngành công nghiệp tiền điện tử. Chúng tôi tranh luận — và đã khắc sâu vào lộ trình Cardano – rằng

người sử dụng giao thức cần được khuyến khích để hiểu hợp đồng xã hội đằng sau giao thức của họ và

có quyền tự do đề xuất những thay đổi một cách hiệu quả. Sự tự do này mở rộng đến mọi

khía cạnh của một hệ thống trao đổi giá trị, từ việc quyết định thị trường nên được điều tiết như thế nào đến

các dự án nên được tài trợ. Tuy nhiên, nó không thể được môi giới thông qua các tác nhân tập trung cũng như không yêu cầu

một số chứng chỉ đặc biệt nào đó có thể được một thiểu số được tài trợ tốt đồng chọn.

Cardano sẽ triển khai hệ thống giao thức lớp phủ được xây dựng dựa trên CSL để phù hợp với

nhu cầu của người sử dụng nó.

Đầu tiên, bất kể sự thành công của việc phát triển Crowdsale để khởi động, quỹ cuối cùng sẽ

tiêu tan. Do đó, Cardano sẽ bao gồm ủy thác phi tập trung được tài trợ từ một cách đơn điệu

3 giảm lạm phát và phí giao dịch.

Bất kỳ người dùng nào cũng có đủ điều kiện để yêu cầu cấp vốn từ quỹ tín thác thông qua hệ thống bỏ phiếu và

các bên liên quan của CSL bỏ phiếu về việc ai sẽ trở thành người thụ hưởng. Quá trình này tạo ra năng suất

vòng phản hồi được thấy trong các loại tiền điện tử khác có hệ thống kho bạc/tin cậy, chẳng hạn như Dash, bởi

bắt đầu cuộc trò chuyện về việc ai nên và không nên được tài trợ.

Các cuộc thảo luận về tài trợ buộc phải có mối quan hệ giữa các mục tiêu dài hạn và ngắn hạn, các mục tiêu xã hội của tiền điện tử.

hợp đồng, các ưu tiên và niềm tin vào việc tạo ra giá trị với các đề xuất cụ thể. Cuộc trò chuyện này

có nghĩa là cộng đồng liên tục đánh giá và tranh luận về niềm tin của mình chống lại những khả năng có thể xảy ra.

lộ trình.

Thứ hai, chúng tôi hy vọng rằng Cardano cuối cùng sẽ bao gồm một hệ thống chính thức, dựa trên blockchain để

đề xuất và bỏ phiếu cho cả fork mềm và hard fork. Bitcoin với cuộc tranh luận về kích thước khối, Ethereum với

fork DAO và nhiều loại tiền điện tử khác đã tồn tại lâu dài và, trong

những trường hợp thường xuyên xảy ra, những tranh cãi chưa được giải quyết về định hướng kỹ thuật và đạo đức của cơ sở mã.

Có thể và nên lập luận rằng nhiều trong số những bất đồng này và sự rạn nứt của

cộng đồng đạt được khi hành động được thực hiện, là kết quả trực tiếp của việc thiếu các quy trình chính thức để

tranh luận về sự thay đổi
3 Đây còn được gọi là hệ thống kho bạc TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 6 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Phải đi đâu để thuyết phục người dùng Bitcoin chấp nhận Segregated Witness? Làm thế nào nên

các nhà phát triển cốt lõi của Ethereum đo lường tình cảm của cộng đồng đối với việc giải cứu DAO? Nếu

sự rạn nứt của cộng đồng, tiền điện tử có bị hư hỏng không thể sửa chữa được không?

Trong trường hợp xấu nhất, thẩm quyền hành động về mặt đạo đức có thể được chuyển giao cho bất kỳ ai có nhà phát triển,

các mối quan hệ cơ sở hạ tầng và tiền bạc, không phải là mong muốn tốt nhất của đại đa số

cộng đồng. Hơn nữa, nếu một phần lớn cộng đồng không thể tiếp cận được hoặc bị tách rời do

trước những động cơ xấu thì làm sao người ta có thể thực sự biết được hành vi của mình có hợp pháp hay không? 4

Các loại tiền điện tử được đề xuất như Tezos cung cấp một mô hình thú vị để kiểm tra xem nơi nào

giao thức tiền điện tử được coi giống như một hiến pháp có ba phần (Giao dịch,

Đồng thuận và Mạng lưới) với một bộ quy tắc và quy trình chính thức để cập nhật hiến pháp. Chưa

vẫn còn nhiều việc phải làm với các biện pháp khuyến khích và về cách mô hình hóa và thay đổi chính xác

một loại tiền điện tử có ngôn ngữ chính thức.

Việc sử dụng các phương pháp chính thức, các thông số kỹ thuật dễ hiểu bằng máy và sáp nhập kho bạc với

quá trình khuyến khích tài chính này đang được khám phá như những con đường khả thi để truyền cảm hứng.

Cuối cùng, chỉ có khả năng đề xuất thay đổi giao thức một cách minh bạch, không bị kiểm duyệt

với biểu quyết dựa trên blockchain sẽ cải thiện quy trình, ngay cả khi các giải pháp tinh tế hơn không thể

được thiết kế.

Thiết kế theo lớp – Cardano Lớp giải quyết

Khi thiết kế các giao thức và ngôn ngữ tuyệt vời, người ta không nên nhìn về tương lai mà nên quá khứ. Lịch sử cung cấp rất nhiều ví dụ về những ý tưởng tuyệt vời hoàn hảo trên giấy tờ, tuy nhiên bằng cách nào đó đã không tồn tại được, chẳng hạn như các tiêu chuẩn Kết nối Hệ thống Mở. Lịch sử cũng cung cấp những tai nạn đáng mừng đã xảy ra từ TCP/IP sang JavaScript.

Một số nguyên tắc được rút ra từ quan điểm lịch sử như sau:

1. Bạn không thể đoán trước được tương lai vì vậy hãy xây dựng trong căn phòng lung lay
2. Sự phức tạp trên giấy tờ thì tốt, nhưng sự đơn giản thường thắng 3. Quá nhiều người nấu làm hỏng nước dùng 4. Khi một tiêu chuẩn đã được thiết lập, nó có thể sẽ được duy trì, bất kể nó có phù hợp hay không. dưới mức tối ưu 4 Xem sự thiếu hiểu biết hợp lý
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 7 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

5. Những ý tưởng tồi thực sự có thể phát triển thành những ý tưởng khá hay nếu có ý chí

Cardano là một hệ thống tài chính chấp nhận bản chất xã hội của nó. Sẽ có nhu cầu rất lớn để đảm bảo tính linh hoạt và khả năng giải quyết sự phức tạp tùy ý trong giao dịch của một người dùng cụ thể. Nếu thành công, sẽ cần có nguồn tài nguyên mạng, lưu trữ và tính toán khổng lồ để đáp ứng hàng triệu giao dịch đồng thời.

Tuy nhiên, chúng tôi không có Robin Hood phi tập trung, kỹ thuật số để lấy từ các nút phong phú và trao cho người nghèo để đạt được một mạng lưới công bằng. Chúng ta cũng không có niềm tin xa xỉ vào con người từ thiện để hy sinh một cách vị tha vì lợi ích lớn hơn của mạng lưới. Vì vậy, Cardano của thiết kế mượn từ TCP/IP khái niệm phân tách các mối quan tâm.

Blockchain cuối cùng là cơ sở dữ liệu sắp xếp các sự kiện và sự kiện với sự đảm bảo về dấu thời gian và tính bất biến. Trong bối cảnh tiền bạc, họ ra lệnh sở hữu tài sản. Thêm tính toán phức tạp bằng cách lưu trữ và thực thi các chương trình là một khái niệm trực giao. Chúng ta có muốn để biết giá trị đã chuyển từ Alice sang Bob là bao nhiêu, hay chúng ta muốn tham gia vào việc tìm hiểu toàn bộ câu chuyện đằng sau giao dịch và quyết định gửi bao nhiêu?

Thật vô cùng hấp dẫn khi chọn cái sau như Ethereum đã làm vì nó linh hoạt hơn, nhưng nó vi phạm các nguyên tắc thiết kế ở trên. Tìm ra câu chuyện có nghĩa là một giao thức duy nhất phải có khả năng hiểu các sự kiện tùy ý, kịch bản giao dịch tùy ý, cho phép phân xử trong trường hợp gian lận và thậm chí có khả năng đảo ngược giao dịch khi thông tin mới được thực hiện có sẵn.

Sau đó, người ta phải đưa ra những quyết định thiết kế khó khăn về việc lưu trữ siêu dữ liệu nào cho mỗi siêu dữ liệu. giao dịch. Những yếu tố nào trong câu chuyện đằng sau giao dịch của Alice và Bob có liên quan? là chúng có liên quan mãi mãi không? Khi nào chúng ta có thể vứt bỏ một số dữ liệu? Làm như vậy có vi phạm pháp luật không một số nước?

Hơn nữa, một số tính toán có tính chất riêng tư. Ví dụ: khi tính giá trị trung bình Lương của công nhân trong một văn phòng, chúng tôi không nhất thiết muốn tiết lộ mỗi người bao nhiêu làm cho. Nhưng điều gì sẽ xảy ra nếu mọi tính toán đều được công khai? Điều gì sẽ xảy ra nếu việc công khai này thiên vị việc thực thi để làm tổn hại đến kết quả?

Vì vậy, chúng tôi đã chọn quan điểm là việc tính toán giá trị phải được tách biệt khỏi câu chuyện đằng sau lý do tại sao giá trị được di chuyển. Nói cách khác, tách giá trị khỏi tính toán. Sự tách biệt này không có nghĩa là Cardano sẽ không hỗ trợ smart contracts. Ngược lại, bằng cách thực hiện sự phân tách rõ ràng, nó cho phép linh hoạt hơn đáng kể trong thiết kế, sử dụng, quyền riêng tư và việc thực thi smart contracts.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 8 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Sổ cái giá trị được gọi là Lớp Thanh toán Cardano (CSL). Vì mục đích là để giải thích giá trị, lộ trình có các mục tiêu sau:

1. Hỗ trợ hai bộ ngôn ngữ kịch bản, một để di chuyển giá trị và một để nâng cao hỗ trợ giao thức lớp phủ
2. Cung cấp hỗ trợ cho các chuỗi bên KMZ để liên kết với các sổ cái khác 5 3. Hỗ trợ nhiều loại chữ ký bao gồm cả chữ ký kháng lượng tử cho hiệu suất cao hơn an ninh
4. Hỗ trợ nhiều tài sản do người dùng phát hành 5. Đạt được khả năng mở rộng thực sự, nghĩa là khi có nhiều người dùng tham gia hơn, khả năng của hệ thống sẽ tăng lên

Viết kịch bản

Bắt đầu với ngôn ngữ kịch bản, các giao dịch giữa các địa chỉ trong sổ cái yêu cầu một số dạng tập lệnh để thực thi và được chứng minh là hợp lệ. Lý tưởng nhất là người ta không muốn Eve truy cập Tiền của Alice, cũng không ai muốn một kịch bản được thiết kế kém vô tình gửi giá trị cho một người đã chết. địa chỉ làm cho số tiền không thể thu hồi được.

Các hệ thống như Bitcoin cung cấp một ngôn ngữ kịch bản cực kỳ thiếu linh hoạt và hà khắc. rất khó để lập trình các giao dịch riêng biệt cũng như khó đọc và hiểu. Còn tướng quân khả năng lập trình của các ngôn ngữ như Solidity có mức độ phức tạp cao vào hệ thống và chỉ hữu ích cho một nhóm tác nhân nhỏ hơn nhiều.

Vì vậy, chúng tôi đã chọn thiết kế một ngôn ngữ mới có tên Simon để vinh danh người tạo ra nó 6 Simon Thompson và người tạo ra các ý tưởng đã truyền cảm hứng cho nó, Simon Peyton Jones. Simon là một ngôn ngữ dành riêng cho miền dựa trên Soạn hợp đồng: một cuộc phiêu lưu trong lĩnh vực tài chính kỹ thuật.

Ý tưởng chính là các giao dịch tài chính thường được tạo thành từ một tập hợp các các yếu tố nền tảng. Nếu người ta tập hợp một bảng tuần hoàn tài chính gồm các yếu tố, thì người ta có thể 7 cung cấp hỗ trợ cho một tập hợp lớn các giao dịch phức tạp tùy ý sẽ bao gồm hầu hết, nếu không tất cả các loại giao dịch phổ biến mà không yêu cầu khả năng lập trình chung.

5 Sắp có trong một bài báo của Kiayias, Zindros và Miller 6 Thông số cụ thể sẽ được phát hành trong thông số kỹ thuật sắp tới. Ngôn ngữ đầy đủ sẽ được hỗ trợ trong Dự kiến phát hành Shelley CSL vào quý 4 năm 2017 7 Dự án ACTUS được xây dựng chuyên sâu
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 9 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Ưu điểm chính là bảo mật và thực thi có thể được hiểu rất rõ. Bằng chứng có thể được viết để hiển thị tính chính xác của các mẫu và làm cạn kiệt không gian thực thi của các sự kiện giao dịch có vấn đề, chẳng hạn như việc tạo ra tiền mới một cách bất ngờ hoặc giao dịch tính dẻo. Thứ hai, người ta có thể để lại các tiện ích mở rộng để thêm nhiều phần tử hơn bằng cách phân nhánh mềm nếu chức năng mới là cần thiết.

Điều đó có nghĩa là sẽ luôn có nhu cầu kết nối CSL với các giao thức lớp phủ, các giao thức tài chính kế thừa. hệ thống và máy chủ có mục đích đặc biệt. Vì vậy chúng tôi đã phát triển Plutus vừa là một công cụ chung ngôn ngữ smart contract có mục đích và cũng là DSL có mục đích đặc biệt để có khả năng tương tác.

Plutus là một ngôn ngữ chức năng được định kiểu dựa trên các khái niệm từ Haskell, có thể được sử dụng để viết kịch bản giao dịch tùy chỉnh. Đối với CSL, nó sẽ được sử dụng cho các giao dịch phức tạp cần thiết để thêm hỗ trợ cho các lớp khác mà chúng tôi cần kết nối, chẳng hạn như sơ đồ sidechains của chúng tôi.

Chuỗi bên

Đối với sidechain, Cardano sẽ hỗ trợ giao thức mới được phát triển bởi Kiayias, Miller và Zindros (chuỗi bên KMZ) dựa trên kết quả trước đó từ bằng chứng về bằng chứng công việc. Đặc biệt thiết kế nằm ngoài phạm vi của bài viết này; tuy nhiên, khái niệm này cho phép sự an toàn và chuyển tiền không tương tác từ CSL sang bất kỳ Lớp tính toán Cardano nào hoặc lớp khác blockchain hỗ trợ giao thức.

Chuỗi bên KMZ là chìa khóa để gói gọn sự phức tạp. Sổ cái có yêu cầu quy định, hoạt động riêng tư, ngôn ngữ kịch bản mạnh mẽ và các mối quan tâm đặc biệt khác thực sự là màu đen chuyển sang CSL, tuy nhiên người sử dụng CSL sẽ nhận được những đảm bảo nhất định về kế toán và khả năng thu hồi tiền sau khi tính toán hoàn tất.

Chữ ký

Để chuyển giá trị từ Alice sang Bob một cách an toàn, Alice cần chứng minh rằng cô ấy có quyền di chuyển các quỹ. Cách trực tiếp và đáng tin cậy nhất để hoàn thành nhiệm vụ này là sử dụng một hệ thống công khai sơ đồ chữ ký khóa trong đó tiền được kết nối với khóa chung và Alice kiểm soát khóa riêng liên quan.

Có hàng trăm kế hoạch khả thi với các thông số và giả định bảo mật khác nhau. Một số dựa vào các vấn đề toán học liên quan đến đường cong elip, trong khi một số khác thì kết nối với các khái niệm kỳ lạ bằng cách sử dụng mạng.
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 10 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Mục tiêu trừu tượng luôn giống nhau. Tồn tại một vấn đề khó khăn không thể giải quyết được trừ khi ai đó có một kiến thức bí mật. Người nắm giữ kiến thức này được cho là chủ sở hữu của cặp khóa và phải là thực thể duy nhất có khả năng sử dụng nó.

Có hai nhóm mối quan tâm mà tiền điện tử phải đối mặt khi chọn sơ đồ chữ ký. Đầu tiên, đó là độ bền bảo mật lâu dài của chính chương trình này. Một số mật mã Các sơ đồ được sử dụng trong những năm 1970 và 1980 như DES đã bị phá vỡ. Khoảng thời gian mà kế hoạch dự kiến sẽ tồn tại phải được quyết định.

Thứ hai, có nhiều doanh nghiệp, chính phủ và các tổ chức khác ưu tiên hoặc trong một số trường hợp, bắt buộc phải sử dụng một chương trình cụ thể. Ví dụ, NSA duy trì Bộ giao thức bộ B. Có các tiêu chuẩn từ ISO và thậm chí cả nhóm làm việc W3C về mật mã.

Nếu một loại tiền điện tử chọn sơ đồ chữ ký duy nhất, nó buộc phải chấp nhận sơ đồ đó có thể bị hỏng tại một thời điểm nào đó trong tương lai và ít nhất một thực thể không thể sử dụng tiền điện tử do các hạn chế về pháp lý hoặc ngành. Tuy nhiên, tiền điện tử không thể hỗ trợ mọi lược đồ chữ ký vì điều này sẽ yêu cầu mọi khách hàng phải hiểu và xác thực từng lược đồ.

Đối với Cardano, chúng tôi quyết định bắt đầu bằng việc sử dụng mật mã đường cong elip, đường cong Ed25519 trong đặc biệt. Chúng tôi cũng quyết định nâng cao các thư viện hiện có bằng cách thêm hỗ trợ cho ví HD sử dụng Thông số kỹ thuật của Tiến sĩ Dmitry Khovratovich và Jason Law.
8

Điều này cho biết, Cardano sẽ hỗ trợ nhiều sơ đồ chữ ký hơn trong tương lai. Đặc biệt, chúng tôi quan tâm đến việc tích hợp BLISS-B để thêm chữ ký kháng máy tính lượng tử vào hệ thống của chúng tôi. Chúng tôi cũng quan tâm đến việc bổ sung SECP256k1 để nâng cao khả năng tương tác với các hệ thống cũ tiền điện tử chẳng hạn như Bitcoin.

Cardano đã được thiết kế với các tiện ích mở rộng đặc biệt cho phép chúng tôi thêm nhiều chữ ký hơn kế hoạch thông qua một ngã ba mềm. Chúng sẽ được thêm vào khi cần thiết và trong các bản cập nhật lớn được lên kế hoạch trong lộ trình .
9

Tài sản do người dùng phát hành (UIA)

Đầu lịch sử của Bitcoin, các giao thức đã nhanh chóng được phát triển để cho phép người dùng phát hành tài sản dựa trên hệ thống kế toán của Bitcoin để theo dõi nhiều loại tiền tệ cùng một lúc. 8 Đây là tài liệu về Triển khai Ví HD của Cardano. Chúng tôi tin rằng Cardano là lần đầu tiên tiền điện tử để hỗ trợ Ví Ed25519 HD
9 Xem cardanoroadmap.com
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 11 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Các giao thức này ban đầu không được hỗ trợ bởi giao thức Bitcoin mà được triển khai thông qua những thủ thuật thông minh.

Trong trường hợp lớp phủ Bitcoin như Xu màu và Mastercoin (hiện được gọi là Omni), ánh sáng khách hàng buộc phải dựa vào các máy chủ đáng tin cậy. Ngoài ra phí giao dịch vẫn phải được thanh toán bằng bitcoin. Các thuộc tính này kết hợp với một đường dẫn duy nhất để phê duyệt giao dịch tạo nên Bitcoin dưới mức tối ưu cho kế toán đa nội dung.

Trong trường hợp Ethereum sử dụng tiêu chuẩn ERC20, có nhiều tính năng phong phú hơn. Tuy nhiên, phí giao dịch vẫn yêu cầu ether. Hơn nữa, mạng Ethereum đang gặp khó khăn mở rộng theo nhu cầu của tất cả các ERC20 token đã phát hành.

Vấn đề cơ bản có thể được chia thành ba phần: nguồn lực, động lực và mối quan tâm. Đối với tài nguyên, việc thêm một loại tiền tệ hoàn toàn mới vào cùng một sổ cái có nghĩa là người ta có hai bộ UTXO (đầu vào giao dịch chưa được chi tiêu) độc lập chia sẻ băng thông, bộ nhớ đệm và không gian khối. Các nút đồng thuận chịu trách nhiệm nhúng các giao dịch của các loại tiền tệ này cần có động lực để làm việc đó. Và không phải mọi người dùng tiền điện tử sẽ hoặc nên quan tâm đến tiền tệ của một thực thể cụ thể.

Với những vấn đề này, lợi ích là vô cùng to lớn khi là token chính của sổ cái nhiều tài sản có thể phục vụ một cách hiệu quả như một loại tiền tệ cầu nối cho phép tạo ra thị trường phi tập trung. Đặc biệt tài sản có mục đích có thể được phát hành để cung cấp thêm tiện ích như tài sản có giá trị ổn định như Tether hoặc MakerDAO hữu ích cho các ứng dụng cho vay và chuyển tiền.

Trước những thách thức, Cardano đã áp dụng cách tiếp cận thực tế cho kế toán đa tài sản. Xây dựng theo từng giai đoạn, thách thức đầu tiên là thiết kế cơ sở hạ tầng cần thiết để hỗ trợ nhu cầu của hàng ngàn UIA. Cụ thể là những tiến bộ sau đây là cần thiết:

1. Cấu trúc dữ liệu được xác thực cho mục đích đặc biệt để cho phép theo dõi một lượng dữ liệu rất lớn UTXO tiểu bang

2. Khả năng có một mempool phân tán để chứa một lượng lớn các giao dịch đang chờ xử lý
3. Phân vùng chuỗi khối và các điểm kiểm tra để cho phép blockchain toàn cầu khổng lồ 4. Một kế hoạch khuyến khích thưởng cho các nút đồng thuận để bao gồm các nhóm khác nhau giao dịch 5. Cơ chế đăng ký cho phép người dùng quyết định loại tiền tệ nào họ muốn theo dõi
6. Bảo mật mạnh mẽ đảm bảo rằng UIA được hưởng mức bảo mật tương tự như tài sản gốc 7. Hỗ trợ tạo thị trường phi tập trung để cải thiện tính thanh khoản giữa UIA và chính token

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 12 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Những nỗ lực ban đầu của chúng tôi để tìm kiếm cấu trúc dữ liệu được xác thực phù hợp đã mang lại kết quả mới loại Cây AVL+ do Leo Reyzin, IOHK và Waves cùng phát triển. Cần nhiều nghiên cứu hơn nữa, nhưng đó là một tiến bộ cơ bản sẽ được đưa vào phiên bản sau của Cardano.

Một mempool phân tán có thể được triển khai bằng giao thức RAMCloud của Đại học Stanford. Các thử nghiệm sẽ bắt đầu vào quý 3 năm 2017 để nghiên cứu khả năng tích hợp của nó vào lớp đồng thuận của Cardano.

Các chủ đề còn lại được kết nối với nhau và được bao phủ bởi nghiên cứu đang diễn ra. Chúng tôi mong đợi - chủ đề tới kết quả nghiên cứu — để đưa giao thức vào Cardano cho UIA trong Basho của CSL phát hành vào năm 2018.

Khả năng mở rộng

Các hệ thống phân tán bao gồm một tập hợp các máy tính (nút) đồng ý chạy một giao thức hoặc

bộ giao thức để thực hiện một mục tiêu chung. Mục tiêu này có thể là chia sẻ một tập tin như được xác định bởi

giao thức BitTorrent hoặc gấp protein bằng cách sử dụng Folding@Home.

Các giao thức hiệu quả nhất sẽ thu được tài nguyên khi các nút tham gia mạng. Một tập tin được lưu trữ bởi

Ví dụ: BitTorrent có thể được tải xuống trung bình nhanh hơn nhiều nếu có nhiều đồng nghiệp

đồng thời tải xuống nó. Tốc độ tăng lên vì các đồng nghiệp cung cấp tài nguyên trong khi

cũng tiêu thụ chúng. Đặc điểm này là điều người ta thường muốn nói đến khi nêu một phân phối

cân hệ thống.

Thách thức với việc thiết kế tất cả các loại tiền điện tử hiện tại là chúng thực sự không

được thiết kế để có thể mở rộng. Ví dụ: Blockchain thường là một danh sách được liên kết chỉ nối thêm của

khối. Tính bảo mật và tính khả dụng của giao thức blockchain phụ thuộc vào nhiều nút

sở hữu bản sao đầy đủ của dữ liệu blockchain. Do đó, một byte dữ liệu phải được sao chép

giữa N nút. Các nút bổ sung không cung cấp thêm tài nguyên.

Kết quả này giống nhau đối với việc xử lý giao dịch và tin nhắn buôn chuyện trong suốt

hệ thống. Việc thêm nhiều nút hơn vào hệ thống đồng thuận không cung cấp thêm

sức mạnh xử lý giao dịch. Nó chỉ có nghĩa là phải dành nhiều nguồn lực hơn để làm điều tương tự

công việc. Nhiều mạng chuyển tiếp hơn có nghĩa là nhiều nút hơn phải truyền cùng một thông điệp để giữ

toàn bộ mạng đồng bộ với khối mới nhất.

Với cấu trúc liên kết này, tiền điện tử không thể mở rộng ra mạng lưới toàn cầu ngang bằng với mạng truyền thống

các hệ thống tài chính. Ngược lại, cơ sở hạ tầng kế thừa có khả năng mở rộng và có mức độ lớn cho

nhiều khả năng xử lý và lưu trữ hơn. Thêm một điểm cụ thể, Bitcoin là một mạng rất nhỏ

so với các công ty thanh toán ngang hàng nhưng vẫn gặp khó khăn trong việc quản lý tải hiện tại.
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 13 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Mục tiêu về khả năng mở rộng của chúng tôi cho Cardano được hỗ trợ rất nhiều bởi thuật toán đồng thuận của chúng tôi. Ouroboros

cho phép một cách phi tập trung để bầu ra số lượng nút đồng thuận, do đó có thể chạy nhiều hơn

các giao thức truyền thống được phát triển trong 20 năm qua để đáp ứng nhu cầu của số lượng lớn

các nhà cung cấp cơ sở hạ tầng như Google và Facebook.
10

Ví dụ: việc chọn số đại biểu cho một kỷ nguyên có nghĩa là chúng ta có một tập hợp các nút đáng tin cậy để

duy trì sổ cái trong một khoảng thời gian cụ thể. Việc bầu nhiều đại biểu cùng một lúc là chuyện nhỏ

và phân chia các giao dịch thành các đại biểu khác nhau.

Các kỹ thuật tương tự có thể được áp dụng để truyền bá mạng và phân chia blockchain

chính nó thành các phân vùng duy nhất. Trong lộ trình hiện tại của chúng tôi, các phương pháp mở rộng quy mô sẽ được áp dụng cho

Ouroboros bắt đầu từ năm 2018 và tiếp tục là trọng tâm trong năm 2019 và 2020.

Cardano Lớp tính toán

Như đã đề cập trước đó, có hai thành phần của một giao dịch: cơ chế gửi và ghi lại luồng token cũng như lý do cũng như điều kiện di chuyển token. các cái sau có thể phức tạp tùy ý và liên quan đến hàng terabyte dữ liệu, nhiều chữ ký và đặc biệt sự kiện xảy ra. Cái sau cũng có thể cực kỳ đơn giản với một giá trị đẩy chữ ký duy nhất đến một địa chỉ khác.

Thách thức đằng sau việc lập mô hình lý do và điều kiện của dòng giá trị là chúng vô cùng riêng tư đối với các thực thể liên quan theo những cách khó lường nhất. Bài học từ luật hợp đồng vẽ ra một bức tranh thậm chí còn rắc rối hơn khi bản thân các diễn viên có thể không thậm chí nhận thức được rằng giao dịch không phù hợp với thực tế thương mại. Chúng tôi thường gọi đây là hiện tượng “khoảng cách ngữ nghĩa”. 11

Tại sao người ta nên xây dựng một loại tiền điện tử theo đuổi một lớp phức tạp và trừu tượng vô tận? Có vẻ như Sisyphean về bản chất và ngây thơ trong thực tế. Hơn nữa, mỗi sự trừu tượng bao gồm có cả hậu quả về mặt pháp lý và an ninh.

Ví dụ: có rất nhiều hoạt động trực tuyến được mọi người coi là bất hợp pháp hoặc bị khinh miệt. chẳng hạn như buôn bán nội dung khiêu dâm trẻ em hoặc bán bí mật nhà nước. Bằng cách triển khai mạnh mẽ 10 Ngoài ra còn có các đề cương nghiên cứu độc lập khác đang cố gắng đạt được mục đích tương tự như Đàn hồi và Bitcoin-NG
11 Lợi Lưu và cộng sự. thảo luận về khoảng trống này trong bài viết gần đây của họ về Làm cho hợp đồng thông minh trở nên thông minh hơn TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 14 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

cơ sở hạ tầng phi tập trung, hiện đang cung cấp một kênh để hoạt động này diễn ra với khả năng chống kiểm duyệt tương tự như các giao dịch thương mại thông thường. Về mặt pháp lý thì không rõ liệu các nút đồng thuận của mạng - có động cơ trở nên liên kết hơn thời gian để phát huy hiệu quả - sẽ chịu trách nhiệm về nội dung họ lưu trữ.

Việc truy tố những người điều hành Tor, sự đối xử tàn bạo với những người điều hành Silk Road và sự thiếu hiểu biết tổng thể sự rõ ràng về mặt pháp lý đằng sau sự bảo vệ pháp lý của những người tham gia giao thức để lại một con đường không chắc chắn. có không thiếu trí tưởng tượng về những gì khác mà một loại tiền điện tử đủ tiên tiến có thể kích hoạt (xem vành đai Gyges). Có hợp lý không khi buộc tất cả người dùng tiền điện tử phải xác nhận hoặc ít nhất là cho phép thực hiện các hành vi và hành vi tồi tệ nhất trên web?

Thật không may, không có câu trả lời rõ ràng nào cung cấp cái nhìn sâu sắc cho nhà thiết kế tiền điện tử. Đó là nhiều hơn về việc chọn một vị trí và bảo vệ giá trị của nó. Ưu điểm của cả Cardano và Bitcoin có nghĩa là chúng tôi đã chọn tách các mối quan tâm thành các lớp. Với Bitcoin, có Gốc ghép. Với Cardano, có Lớp tính toán Cardano.

Các loại hành vi phức tạp cho phép thực hiện các hành động được xây dựng trước đó không thể thực hiện được CSL. Chúng yêu cầu khả năng chạy các chương trình được viết bằng ngôn ngữ hoàn chỉnh Turing và một số hình thức kinh tế khí để tính toán đồng hồ. Họ cũng yêu cầu các nút đồng thuận sẵn sàng bao gồm các giao dịch trong khối của họ.

Vì vậy, việc hạn chế chức năng có thể bảo vệ người dùng một cách hợp lý. Cho đến nay, được thành lập nhất các chính phủ đã không coi việc sử dụng hoặc duy trì tiền điện tử là một hành vi trái pháp luật. Do đó, đại đa số người dùng sẽ cảm thấy thoải mái khi duy trì một sổ cái có khả năng tương đương với một hệ thống thanh toán kỹ thuật số.

Khi một người muốn mở rộng khả năng, có hai khả năng. Nó được kích hoạt bởi một cá nhân tập thể gồm những cá nhân có cùng chí hướng và có tính chất phù du (ví dụ: trò chơi poker). Hoặc, nó được kích hoạt bởi một sổ cái có khả năng tương đương như Ethereum. Trong cả hai trường hợp, chúng tôi đã chọn gia công các sự kiện cho một giao thức khác.

Trong trường hợp sự kiện riêng tư, tạm thời, việc tránh mô hình blockchain là điều hợp lý hoàn toàn, mà hạn chế những nỗ lực hướng tới một thư viện các giao thức MPC có mục đích đặc biệt có thể được viện dẫn khi một nhóm người tham gia có cùng chí hướng mong muốn. Tính toán và hoạt động được điều phối trong một mạng riêng và chỉ tham chiếu CSL như một bảng thông báo đáng tin cậy và một kênh chuyển tin nhắn khi cần thiết.

Cái nhìn sâu sắc quan trọng trong trường hợp này là có sự đồng ý, đóng gói trách nhiệm pháp lý và quyền riêng tư. CSL là được sử dụng như một điểm chung kỹ thuật số để người dùng gặp gỡ và liên lạc - giống như một công viên sẽ tổ chức một sự kiện riêng tư - nhưng không cung cấp bất kỳ chỗ ở hoặc tạo điều kiện đặc biệt nào. Hơn nữa, TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 15 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

việc sử dụng MPC có mục đích đặc biệt sẽ cho phép tương tác có độ trễ thấp mà không cần blockchain đầy hơi. Vì vậy, nó cải thiện quy mô của hệ thống.

Những nỗ lực nghiên cứu của Cardano đối với thư viện này được tập trung tại phòng thí nghiệm Tokyo Tech của chúng tôi với một số hỗ trợ từ các nhà khoa học ở nước ngoài. Chúng tôi gọi thư viện là “Tartaglia” theo tên một người bạn nhà toán học cũng như người cùng thời với Cardano và mong đợi phiên bản đầu tiên sẽ có sẵn trong quý 1 năm 2018.

Trong trường hợp thứ hai, người ta cần blockchain với máy ảo, một tập hợp các nút đồng thuận và một cơ chế cho phép giao tiếp giữa hai chuỗi. Chúng tôi đã bắt đầu quá trình chính thức hóa nghiêm ngặt Máy ảo Ethereum bằng cách sử dụng K-framework trong 12 hợp tác với một nhóm từ Đại học Illinois.

Kết quả của phân tích này sẽ cung cấp thông tin về cách tối ưu nhất để thiết kế một bản sao và cuối cùng máy ảo phân tán với ngữ nghĩa hoạt động rõ ràng và đảm bảo mạnh mẽ về tính chính xác 13 thực hiện từ đặc tả. Nói cách khác, VM thực sự làm những gì mã yêu cầu nó liên quan đến việc giảm thiểu rủi ro bảo mật.

Vẫn còn những câu hỏi chưa được giải quyết về tính kinh tế khí đốt do Ethereum đề xuất và cách thức thực hiện liên quan đến công việc như ML nhận biết tài nguyên của Jan Hoffmann và cộng sự và nghiên cứu rộng hơn về ước tính tài nguyên cho tính toán. Chúng tôi cũng tò mò về trình độ ngôn ngữ tính độc lập của máy ảo. Ví dụ: dự án Ethereum đã bày tỏ mong muốn để chuyển đổi từ VM hiện tại của họ sang Web Assembly.

Nỗ lực tiếp theo là phát triển một ngôn ngữ lập trình hợp lý để thể hiện trạng thái các hợp đồng sẽ được các ứng dụng phi tập trung gọi là dịch vụ. Đối với nhiệm vụ này, chúng tôi có đã chọn cả hai phương pháp hỗ trợ ngôn ngữ smart contract kế thừa Độ vững chắc ở mức thấp các ứng dụng đảm bảo và phát triển một ngôn ngữ mới gọi là Plutus để đảm bảo cao hơn các ứng dụng yêu cầu xác minh chính thức.

Giống như dự án Zeppelin dựa trên sự vững chắc, IOHK cũng sẽ phát triển thư viện tham khảo mã Plutus để các nhà phát triển ứng dụng sử dụng trong dự án của họ. Chúng tôi cũng sẽ phát triển một bộ công cụ chuyên dụng để xác minh chính thức lấy cảm hứng từ công việc từ dự án Liquid Haskell của UCSD.

Về mặt đồng thuận, Ouroboros được thiết kế theo kiểu mô-đun đủ để hỗ trợ smart contract đánh giá. Do đó, cả CSL và CCL sẽ có chung thuật toán đồng thuận. 12 Được phát minh bởi Giáo sư Grigore Rosu et. al., K là một khuôn khổ phổ quát cho ngôn ngữ độc lập ngữ nghĩa thực thi của máy. Trước công việc của chúng tôi, nó đã được sử dụng để lập mô hình C, Java và JavaScript 13 Có nghĩa là các nút đồng thuận khác nhau chạy smart contracts khác nhau. Còn được gọi là phân đoạn trạng thái TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 16 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Sự khác biệt là Ouroboros có thể được xác nhận cho phép cả quyền và sổ cái không được phép thông qua phân phối token.

Với CSL, Ada đã được phân phối bởi sự kiện tạo token tới người mua trên khắp Châu Á người cuối cùng sẽ bán lại trên thị trường thứ cấp. Điều này có nghĩa là thuật toán đồng thuận của CSL là được kiểm soát bởi một nhóm tác nhân đa dạng và ngày càng phi tập trung hơn hoặc được ủy quyền giao. Với CCL, có thể tạo một mục đích đặc biệt token do các đại biểu của đó nắm giữ sổ cái có thể là các thực thể được quản lý, từ đó tạo ra một sổ cái được phép.

Tính linh hoạt của phương pháp này cho phép các phiên bản CCL khác nhau được hiện thực hóa với các phương pháp khác nhau. quy định về đánh giá giao dịch. Ví dụ: hoạt động cờ bạc có thể bị hạn chế trừ khi dữ liệu KYC/AML được trình bày đơn giản bằng cách đưa vào danh sách đen các giao dịch không được quy kết.

Trọng tâm thiết kế cuối cùng của chúng tôi là bổ sung các mô-đun bảo mật phần cứng đáng tin cậy (HSM) vào giao thức của chúng tôi ngăn xếp. Đây là hai lợi thế to lớn khi đưa những khả năng này vào giao thức. Đầu tiên, HSM mang lại hiệu suất tăng đáng kể mà không cần bổ sung tính bảo mật 14 mối quan tâm ngoài việc tin tưởng vào nhà cung cấp. Thứ hai, thông qua việc sử dụng Tấm kính kín (SGP), HSM có thể cung cấp sự đảm bảo rằng dữ liệu có thể được xác minh và sau đó bị hủy mà không bị sao chép hoặc rò rỉ cho người ngoài có ý đồ xấu.

Tập trung vào điểm thứ hai, SGP có thể có tác động mang tính cách mạng đối với việc tuân thủ. Thông thường, khi người tiêu dùng cung cấp thông tin nhận dạng cá nhân (PII) để xác thực nhận dạng hoặc chứng minh quyền tham gia, thông tin này sẽ được chuyển cho bên thứ ba đáng tin cậy với hy vọng nó sẽ không hành động ác ý. Hoạt động này về bản chất là tập trung, nhà cung cấp dữ liệu mất quyền kiểm soát PII của họ và cũng phải tuân theo các quy định khác nhau tùy theo thẩm quyền.

Khả năng chọn một nhóm người chứng thực đáng tin cậy và sau đó lưu trữ PII trong vùng phần cứng có nghĩa là bất kỳ tác nhân nào có HSM đủ năng lực sẽ có thể xác minh sự thật về một tác nhân theo cách không thể tha thứ mà người xác minh không biết danh tính của tác nhân. Ví dụ, Bob là không phải là công dân Hoa Kỳ. Alice là một nhà đầu tư được công nhận. James là người nộp thuế ở Hoa Kỳ và người ta nên gửi lợi nhuận chịu thuế vào tài khoản X.

Chiến lược HSM của Cardano sẽ là thử triển khai các giao thức chuyên biệt trong hai năm tới năm sử dụng Intel SGX và ARM Trustzone. Cả hai mô-đun đều được tích hợp vào hàng tỷ thiết bị tiêu dùng thiết bị từ máy tính xách tay đến điện thoại di động và không yêu cầu thêm nỗ lực từ phía người tiêu dùng để sử dụng. Cả hai đều được hiệu đính kỹ lưỡng, được thiết kế tốt và dựa trên nhiều năm lặp lại từ một số các nhóm bảo mật phần cứng lớn nhất và được tài trợ tốt nhất.

14 Xem http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ từ Cornell Đại học TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 17 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

quy định

Thực tế khắc nghiệt của tất cả các hệ thống tài chính hiện đại là khi mở rộng quy mô, chúng tích lũy nhu cầu, hoặc ít nhất là mong muốn có quy định. Kết quả này nói chung là kết quả của sự sụp đổ thường xuyên do sự sơ suất của một số tác nhân hoặc nhóm tác nhân trên thị trường.

Ví dụ, cuộc khủng hoảng Knickerbocker năm 1907 dẫn đến việc thành lập Cục Dự trữ Liên bang Hệ thống vào năm 1913 với tư cách là người cho vay cuối cùng. Một ví dụ khác là sự thái quá của những năm 1920 trong dẫn đến sự sụp đổ tài chính khủng khiếp, cuộc Đại suy thoái. Sự sụp đổ này dẫn đến việc thành lập Ủy ban Giao dịch Chứng khoán vào năm 1934 nhằm ngăn chặn tình trạng tương tự sự kiện hoặc ít nhất là buộc những kẻ xấu phải chịu trách nhiệm.

Người ta có thể tranh luận một cách hợp lý về sự cần thiết, phạm vi và hiệu quả của quy định, nhưng người ta không thể phủ nhận sự tồn tại của nó và sự nhiệt tình mà các chính phủ lớn đã thực thi nó. Tuy nhiên, thách thức mà tất cả các cơ quan quản lý phải đối mặt khi thế giới toàn cầu hóa và tiền mặt trở thành kỹ thuật số có hai hướng.

Đầu tiên, bộ quy định nào là tối cao khi xử lý một tập hợp các khu vực pháp lý? Khái niệm cổ xưa về chủ quyền theo Hòa ước Westphalia tan biến khi một giao dịch duy nhất có thể chạm tới ba chục quốc gia trong vòng chưa đầy một phút. Nếu nó chỉ đơn giản là bất cứ ai sử dụng ảnh hưởng địa chính trị lớn nhất?

Thứ hai, những cải tiến trong công nghệ bảo mật đã tạo ra một cuộc chạy đua vũ trang kỹ thuật số. ngày càng trở nên khó khăn hơn để hiểu được ai đã tham gia vào một giao dịch, ít hơn nhiều những người sở hữu một phương tiện lưu trữ giá trị cụ thể. Trong một thế giới có hàng triệu đô la tài sản có thể được kiểm soát không gì khác hơn là một bản ghi nhớ 12 từ được giữ bí mật, bạn làm thế nào 15 thực thi quy định có hiệu quả?

Giống như tất cả các hệ thống tài chính, giao thức Cardano phải có ý kiến trong thiết kế của nó về những gì công bằng và hợp lý. Chúng tôi đã chọn phân chia giữa quyền cá nhân và quyền của một thị trường.

Các cá nhân phải luôn có quyền truy cập duy nhất vào quỹ của mình mà không bị ép buộc hoặc sở hữu tài sản dân sự tịch thu. Quyền này phải được thực thi vì không phải tất cả các chính phủ đều có thể tin cậy được. lạm dụng quyền lực chủ quyền của họ vì lợi ích cá nhân của các chính trị gia tham nhũng, như đã thấy ở Venezuela và Zimbabwe. Tiền điện tử phải được thiết kế theo mẫu số chung thấp nhất.

15 Xem BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 18 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Thứ hai, lịch sử không bao giờ được phép giả mạo. Blockchains cung cấp một lời hứa về tính bất biến. Giới thiệu sức mạnh lật ngược lịch sử hoặc thay đổi hồ sơ chính thức giới thiệu quá nhiều cám dỗ thay đổi quá khứ để mang lại lợi ích cho một hoặc nhiều diễn viên cụ thể.

Thứ ba, dòng giá trị phải không bị hạn chế. Kiểm soát vốn và các bức tường nhân tạo khác làm suy giảm quyền con người. Ngoài sự vô ích của việc cố gắng thực thi chúng, trong bối cảnh toàn cầu 16 nền kinh tế với nhiều công dân ở các quốc gia kém phát triển nhất đi du lịch ngoài phạm vi quyền lực của họ Để tìm được mức lương đủ sống, việc hạn chế dòng vốn thường gây tổn hại cho những người nghèo nhất thế giới.

Những nguyên tắc này đã nêu, thị trường khác biệt rõ rệt với các cá nhân. Trong khi các nhà thiết kế của Cardano tin vào quyền cá nhân, chúng tôi cũng tin rằng thị trường có quyền công khai các điều khoản và điều kiện của họ và nếu một cá nhân đồng ý kinh doanh trong thị trường này thì chúng phải được tuân theo các tiêu chuẩn đó vì tính toàn vẹn của toàn bộ hệ thống.

Thách thức luôn là chi phí và tính thực tế của việc thực thi. Nhỏ, đa thẩm quyền các giao dịch đơn giản là quá đắt trong các hệ thống cũ để mang lại sự đảm bảo truy đòi cao trong trường hợp có gian lận hoặc tranh chấp thương mại. Khi một người gửi chuyển khoản ngân hàng của họ tới Hoàng tử Nigeria, việc cố gắng lấy lại tiền của mình thường là quá tốn kém.
17

Đối với Cardano, chúng tôi cảm thấy mình có thể đổi mới ở ba cấp độ. Đầu tiên, thông qua việc sử dụng smart contracts các điều khoản và điều kiện của các mối quan hệ thương mại có thể được kiểm soát tốt hơn. Nếu tất cả tài sản đều kỹ thuật số và chỉ có thể được thể hiện trên CSL, có thể đảm bảo mạnh mẽ về thương mại không gian lận đã đạt được.

Thứ hai, việc sử dụng HSM để cung cấp không gian nhận dạng nơi PII không bị rò rỉ nhưng vẫn được sử dụng để các tác nhân xác thực và chứng nhận phải cung cấp một hệ thống danh tiếng toàn cầu và cho phép các hoạt động được quản lý với chi phí thấp hơn nhiều sẽ được thực hiện, chẳng hạn như chơi game trực tuyến với tuân thủ thuế hoặc trao đổi phi tập trung.

Cuối cùng, trong lộ trình của Cardano là việc tạo ra quy định mô-đun DAO có thể được tùy chỉnh để tương tác với smart contract do người dùng viết nhằm tăng khả năng thay đổi, người tiêu dùng bảo vệ và trọng tài. Phạm vi của dự án này sẽ được trình bày trong bài viết sau.

16 Ví dụ về biện pháp đối phó với dòng vốn, xem Hệ thống Ngân hàng Hawala 17 Xem Lừa đảo trả trước phí TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 19 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Điểm của tất cả của nó là gì?

Cardano là một dự án chạy marathon thu hút phản hồi từ hàng trăm bộ óc thông minh nhất

trong và ngoài ngành công nghiệp tiền điện tử. Nó liên quan đến sự lặp đi lặp lại không mệt mỏi, việc sử dụng tích cực

đánh giá ngang hàng và hành vi trộm cắp trắng trợn những ý tưởng tuyệt vời khi bị phát hiện.

Mỗi phần còn lại đề cập đến một khía cạnh trọng tâm cụ thể mà chúng tôi đã quyết định là cốt lõi.

thành phần của dự án của chúng tôi. Một số được lựa chọn do mong muốn cải thiện tổng thể tốt nhất

các hoạt động thực tiễn của không gian trong khi các hoạt động khác dành riêng cho sự phát triển của Cardano.

Mặc dù không có dự án nào có thể đáp ứng mọi mục tiêu hoặc làm hài lòng mọi người dùng nhưng hy vọng của chúng tôi là mang lại tầm nhìn cho

một nền tảng tài chính tự phát triển sẽ trông như thế nào đối với các khu vực pháp lý thiếu chúng. Cuối cùng

thực tế của tiền điện tử không phải là chúng sẽ phá vỡ các hệ thống tài chính kế thừa hiện có.

Các hệ thống tài chính kế thừa luôn có khả năng tiếp thu sự thay đổi và duy trì hình thức của chúng

và chức năng.

Thay vào đó người ta nên tìm đến những nơi mà việc triển khai hệ thống hiện có quá tốn kém.

thống ngân hàng, nơi nhiều người sống với mức thu nhập dưới vài đô la một ngày, không có danh tính ổn định và

tín dụng là không thể tìm thấy.

Ở những nơi này, khả năng kết hợp hệ thống thanh toán, quyền tài sản, danh tính, tín dụng và rủi ro

bảo vệ vào một ứng dụng duy nhất chạy trên điện thoại di động không chỉ hữu ích mà còn thay đổi cuộc sống.

Lý do chúng tôi xây dựng Cardano là vì chúng tôi cảm thấy mình có cơ hội hợp pháp để phân phối — hoặc

ít nhất là tiến bộ - tầm nhìn này dành cho thế giới đang phát triển.

Ngay cả khi thất bại, nếu chúng ta có thể thay đổi cách thiết kế, phát triển và cấp vốn cho tiền điện tử,

thế thì có một thành tựu lớn lao.

科学と工学

反復の芸術

暗号通貨はソフトウェアとして実装されたプロトコルです。プロトコルは単にインテリジェントです参加者同士の会話。ソフトウェアは最終的には、何らかの条件が与えられたデータを操作することです。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 20/44 ページ

IOHK |なぜカルダノを構築するのか | 2017/06/28

目標。しかし、堅牢で信頼性の高いソフトウェアと、便利で安全なプロトコルとの違いは、彼らの会話は完全に人間的です。

優れたソフトウェアには説明責任、明確なビジネス要件、反復可能なプロセスが必要です。徹底的なテストとたゆまぬ反復。優れたソフトウェアには相応の才能も必要です十分なドメイン固有の知識を持ち、完全に機能するシステムを適切に設計できる開発者彼らが解決しようとしている問題が何であれ、解決します。

便利で安全なプロトコル、特に暗号化と分散を伴うプロトコルに関しては、システムでは、より学術的な標準主導のプロセスから始まります。査読、終わりなしプロトコルが有用であることを保証するには、議論とトレードオフの確固たる概念が必要です。それでもこれらそれだけでは十分ではないため、プロトコルを実装し、実際の使用でテストする必要があります。

暗号通貨業界特有の課題は、2 つのまったく異なるものであることです。哲学は適切なヘーゲル的総合を行わずにバラバラにまとめられています。私たちのテーマは「動き」です。「早く物事を壊す」というスタートアップの精神は、若さ、貪欲、そして情熱によって動かされています。アンチテーゼは、ゆっくりとした、系統的な、学術指向のアプローチは、豊富な資金と名声を享受して、私たちのスペースを素晴らしいニッチ市場に革新しました。

その結果、多くの暗号通貨は完全にホワイトペーパー上でのみ規定されているか、履歴書に関連するもの、または単に急いで書かれたコードによるもの。現在のトップ10の仮想通貨にはどれも入っていない 18 時価総額はピアレビューされたプロトコルに基づいています。現在のトップ10には誰も入っていない暗号通貨は正式な仕様に基づいて実装されました。

しかし、数十億ドルの価値が危険にさらされています。暗号通貨は一度導入されると非常に便利になります。

変えるのは難しい。ユーザーは、自分が安全なシステムを使用していることをどのようにして知ることができるのでしょうか?ユーザーはどうやって

マーケティング上の主張が正当であることを知っていますか?提案されたプロトコルが決して達成できない場合はどうなるか

主張は？

この統合とプロセスの尊重の欠如が、IOHK が次のことを望んだ主な理由の 1 つです。

Cardano をビルドします。私たちの希望は、例として役立つリファレンスプロジェクトを開発することでした。

より効果的、健全かつ誠実な方法で物事を行う方法。

目標は、ソフトウェアとプロトコルを開発するまったく新しい方法を提案することではなく、

優れたソフトウェアとプロトコルがすでに存在しており、その条件を模倣できることを認識する

それが彼らの創造につながりました。第二に、これらの条件を公にし、オープンソースにすることです。

分野全体の利益のためにそれらを模倣できるようにすることが可能です。 18 時価総額別の包括的なリストについては、www.coinmarketcap.com を参照してください。 19 Ethereum には、イエローペーパーとして知られる準正式な仕様があります。ただし、EVM セマンティクスは完全に規定されておらず、プロトコルの完全な実装には十分ではありません。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 21/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

事実と意見

もう 1 つの懸念は、どこまでが事実でどこから意見が始まるかということです。何百もある

プログラミング言語、数十の開発パラダイム、および複数の哲学

プロジェクト管理。学術界は、その問題に起因する独自の課題に満ちています。

ビジネス上の懸念や実用性から距離を置いています。

Cardano については、まず、普遍的に同意できる明らかな欠陥を把握しようとしました

エンジニアリングの観点から役に立ちます。たとえば、暗号化と分散

システムは両方とも非常に複雑なトピックであり、手がいかに単純であるかを示す例が多すぎます。

恐ろしい間違いを犯す可能性があります。したがって、これらのドメインからの洞察を必要とするプロトコルには、

認められた専門家によって設計され、他の専門家によるレビューのために提出される必要があります。

ウロボロスは、この分野に関する最初のケーススタディです。これは暗号学者のチームによって設計されました。

大規模かつ多様で公的に検証可能な出版履歴。規格に従って作られています

セキュリティの前提、敵対的モデルと証明を伴う暗号化プロセス。これら

証拠はカンファレンスに提出することでチェックされましたまた、コンピュータによって独立して

20 ケンブリッジ大学のチームによってイザベルで書かれた証明。
21

ただし、この作業だけでは有用性が保証されるわけではなく、セキュリティが厳密にチェックされるだけです。

いくつかの仮定を与えたモデル。有用性を得るには、プロトコルを実装してテストする必要があります。

私たちの開発者は、Haskell と Rust の両方でこれを実行しました。この研究により、さらなる努力が明らかになりました

同期モデルに焦点を当てる必要があり、それがウロボロスの作成につながりました。

プラオス。

この反復技術が優れたプロトコルを生み出すものであり、各ステップが新しいレッスンや成果につながります。

前のステップの正確さを再検証するための要件。費用も時間もかかりますし、

22 非常に面倒な作業ですが、プロトコルが正しく設計されていることを確認する必要があります。

プロトコル、特に何十億人もの人々が使用するプロトコルは、短期間ではなく急速に使用されます。

進化しています。むしろ、それらは数年から数十年にわたって追跡されることを目的としています。完全にそうだね

新しい金融システムで世界に負担をかける前に、私たち全員がそれに耐えなければならないのは当然のことです

次の 100 年に向けて、私たちはデザイナーにある程度の退屈さと厳密さを求めたいと考えています。

20 カリフォルニアで開催された IACR 年次暗号会議の論文番号 71 が受理されました
21 ローレンス・ポールソン教授の監督のもと、カウィン・ウォラサンガシルパ著
22 話を軽くするために、ハルモス教授の議論を見てください。数学の教科書を書く私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 22/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

機能的な罪

より独断的な領域に移行し、そこで使用されるツール、言語、および方法論

ソフトウェア開発は、客観的な現実というよりも、宗教的な摂理の産物です。ソース

コードは散文のようなものです。何が良いのか、何が良いのかについては誰もが意見を持っています。

場合によっては、伝えられることは、どのように伝えられるかよりも重要です。

私たちは、少なくとも一つの点で、それが間違っていることを受け入れる側を選ぶという罪を犯さなければなりません。

人の目。しかし、私たちの選択の背後には、少なくとも大規模な正当化の根拠があります。

Cardano を可能にするプロトコルは Haskell で実装されています。ユーザーインターフェース

これは、Daedalus と呼ばれる Electron のフォークにカプセル化されています。私たちが選んだのは、

可能な場合は Web アーキテクチャモデルを使用し、データベースにはキーと値を選択しました。

RocksDB を使用したパラダイム。

コンポーネントレベルから見ると、この抽象化により、メンテナンスがはるかに簡単で優れたものになることがわかります。

テクノロジーは後でほとんど労力をかけずに置き換えることができ、私たちのスタックは部分的に

Github と Facebook の開発努力。

WebGUI を使用すると、React を活用し、ツールを使用してフロントエンド機能を開発できます。

何十万人もの JavaScript 開発者に理解されています。 Web アーキテクチャの使用

これは、コンポーネントをサービスとして扱うことができ、セキュリティモデルが合理的であることを意味します。

プロトコル開発に Haskell を選択するのは最も難しい選択でした。機能面でも

世界には十分な選択肢があります。より柔軟で不純な側には、次のような言語があります。

Clojure、Scala、F#。Java と .Net の膨大なライブラリの恩恵を受けます。

関数型プログラミングの最良の側面のいくつかを維持しながら、エコシステムを構築します。

Agda や Idris など、より学術指向の言語もあります。

正確性の強力な検証を可能にする技術との接続。それでも彼らには欠けている

適切なライブラリを持っており、標準以下の開発経験がある。

Cardano の場合、選択は Ocaml と Haskell になりました。 Ocaml は素晴らしい言語です。

素晴らしいコミュニティ、優れたツール、妥当な開発経験、そして世界における素晴らしい遺産です。

Coq を介した正式な検証空間。では、なぜ Haskell を選んだのでしょうか? 23

23 この点に加えて、IOHK には実際に Qeditas と呼ばれる Ocaml で実装されているプロジェクトがあります。私たちはビル・ホワイトという仮名から受け継いだものです私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 23/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

なぜハスケルなのか?

Cardano を構成するプロトコルは分散され、暗号化にバンドルされており、

高度な耐障害性。最高の日には、奇形のビザンチン俳優がまだいるでしょう

メッセージや障害のあるクライアントにより、意図せずにネットワーク上に何らかの形で大混乱が引き起こされます。

まず、ツールを簡単に使用できる強力な型システムを備えた言語を望んでいました。

クイックチェックや絞り込みタイプなどのより複雑なテクニックなど、

耐障害性に対する合理的な期待。 Erlang スタイルの OTP モデルは後者を満たす

一方、Haskell や Ocaml のような言語は前者を満たすものです。

Cloud Haskell の導入により、Haskell は Erlang の利点の多くを獲得しましたが、そうではありませんでした。

自分自身を放棄すること。さらに、Haskell のモジュール性と構成可能性により、次のことが可能になりました。

Cardano には、Time Warp と呼ばれる軽量の特注ライブラリを使用します。

第二に、Haskell のライブラリは、広範な作業のおかげでここ数年で大きく進化しました。

Galois、FP Complete、Well-Typed などの営利団体の。結果として、Haskell は次のことを行うことができます。

運用アプリケーションの作成に使用されます。
24

第三に、PureScript の急速な進化により、JavaScript の世界への待望の架け橋が提供されました。

Clojurescript が Clojure に提供したものに似ています。 PureScript が特に重要になると予想されます

Cardano をブラウザーで動作させたり、モバイルウォレットを開発したりする場合。

第 4 に、依存関係の解決に関して、Haskell はここ数年間、

マイケル・スノイマンのような技術者が主導した重要な社会的および技術的取り組み。

stackage と呼ばれるプラットフォームは使いやすく、FP Complete によって十分にサポートされています。

第 5 に、適切な依存関係の解決を超えて、ソフトウェアビルドが

再現可能。つまり、同じ構成値と依存関係のバージョンを使用すると、

まったく同じビルドアーティファクトが生成されるはずです。スタックを通じて、NixOps を使用してきました。

大きな成功を収めて再現性を達成します。

最後に、Haskell を専門とする開発者の人材プールはかなり大きいです。

そして、学術資格と業界資格を適切に組み合わせて十分に訓練を受けています。それも

経験豊富な Haskell 開発者を見つけるのは珍しいため、コンピテンシーフィルターとして機能します。

コンピューターサイエンスに関する詳しい知識。
24 Bryan O'Sullivan は、Haskell の産業利用についてここで素晴らしい話をしています。
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 24/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

正式な仕様と検証

証明された正しいセキュリティモデルを使用してプロトコルを開発することの大きな利点は、敵対勢力の保証された制限を提供します。人に与えられる契約は、プロトコルが遵守されており、証明が正しい場合、敵はセキュリティを侵害できません。主張されたプロパティ。

深く考えてみると、以前の主張がさらに重要になります。敵対者は恣意的になり得る知的で有能。数学的モデルだけで彼らが敗北したと言うのは、異常な。そしてもちろん、それは完全に真実ではありません。

現実は、純粋な安全と安心という理想郷を妨げる要因や状況をもたらします。既存の正しい動作。実装が間違っている可能性があります。ハードウェアが攻撃を引き起こす可能性があるこれまで考慮されていなかったベクトル。セキュリティモデルが不十分で、以下に準拠していない可能性があります。実生活での使用。

どれくらいの仕様、厳密さ、チェックが要求されるかについて判断が必要です。プロトコル。たとえば、SeL4 マイクロカーネルプロジェクトのような取り組みは、あいまいさへの徹底的な攻撃により、検証に必要な約 200,000 行の Isabelle コードが必要になります。 10,000 行の C コード。しかし、オペレーティングシステムカーネルは重要なインフラストラクチャであり、適切に実装されていない場合、重大なセキュリティ脆弱性が発生します。

すべての暗号化ソフトウェアに同じ大変な労力が必要でしょうか?それとも、より少ないものを選択できますか同等の結果を生み出す活発な道はあるだろうか？プロトコルが実行される環境が脆弱であることで悪名高い場合、完全に実装されます。 WindowsXP?

Cardano については、次の妥協点を選択しました。まず、その複雑な性質により、暗号化と分散コンピューティングの領域では、証明は非常に微妙で長く、複雑で、時には非常に専門的です。これは、人間によるチェックが可能であることを意味します。退屈で間違いが起こりやすい。したがって、私たちは、すべての重要な証拠は白色で提示されると信じています。コアインフラストラクチャをカバーするために書かれた論文は機械でチェックする必要があります。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 25/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

次に、Haskell コードがホワイトペーパーに正しく対応しているかどうかを検証するには、次のいずれかを選択します。 2 つの一般的なオプションの間で、LiquidHaskell を介して SMT 証明者と接続する方法と、イザベル/HOL.

SMT (充足可能性モジュロ理論) ソルバーは関数を見つける問題に対処します。方程式または不等式を満たすパラメータ、またはそのようなパラメータが存在することを示す存在しません。 De Moura 氏と Bjørner 氏が議論したように、SMT の使用例はさまざまですが、重要なのは重要なのは、これらのテクニックは強力であり、バグを劇的に減らすことができるということです。意味上のエラー。

一方、Isabelle/HOL は、より表現力豊かで多様なツールであり、次の目的に使用できます。

実装の指定と検証の両方を行います。 Isabelle は、以下を扱う一般的な定理ソルバーです。

集合やその他の数学的オブジェクトを表現できる高次の論理構造。

証明に使用されます。 Isabelle 自体は、Z3 SMT プルーバーと統合して、次のような問題に対処します。

そういった制約。

どちらのアプローチも価値を提供するため、段階的に両方を採用することにしました。

人間が書いた証明は Isabelle でエンコードされ、その正しさをチェックすることで満足のいく結果が得られます。

私たちの機械チェック要件。そして、私たちはLiquid Haskellを徐々にすべてに追加するつもりです

2017 年から 2018 年にかけて Cardano の実装における製品コード。

最後のポイントとして、形式的な検証は、検証元の仕様と同程度にのみ有効です。利用可能なツールセット。 Haskell を選択する主な理由の 1 つは、Haskell が提供するものであることです。実用性と理論の適切なバランス。ホワイトペーパーから得られた仕様はよく似ています Haskell コードと、この 2 つを接続する方が、命令型で接続するよりもはるかに簡単です。言語。

適切な仕様を把握し、仕様を更新することは依然として非常に困難です。アップグレード、バグ修正、その他の懸念事項などの変更を行う必要がある場合の仕様。ただし、この現実が全体の価値を下げることは決してありません。問題を起こすつもりなら証明可能なセキュリティに基づいて基盤を構築すると、実装は以前と同じになるはずです実際に紙の上で提案しました。

透明性

暗号通貨開発の科学と工学について議論するときの最後の質問は、次のとおりです。透明性にどう対処するか。設計上の決定はブール的で空想的なものではなく、開発者は夢の中で、そして突然カノンになります。それらは経験から導き出されたものであり、議論と以前の失敗から学んだ教訓。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 26/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

課題は、完全に透明な開発プロセスが議論に影響を与える可能性があることです。証拠に基づいたものよりも芝居がかったものになります。エゴ、コミュニティを勝ち取ろうとする試み、そして恐怖愚かに聞こえると、会話が不毛で逆効果になる可能性があります。

さらに、部外者が会話を強要して会話を取り込もうとする可能性もあります。特定の接線が唯一の関連トピックになります。誰もが神聖な牛を持っています。

それでは、透明性のある開発プロセスの必要性とのバランスをどのようにとればよいのでしょうか。自由を必要とし、一連のコア開発者に進歩を委ねてきたコミュニティ恐れることなく表現できるか？

Cardano では、監督による標準化主導のプロセスを採用することにしました。コミュニティは、科学とコードがよく考えられ、チェックされ、開発者が主張していることを実際に解決します。この目的のために、査読はこの目的のために特別に設計されているため、科学コンポーネントを完全に満たしますそして私たちに現代の世界を与えてくれました。

コードに関しては、このトピックはもう少し意見が分かれています。 Cardano については、 Cardano 財団がIOHKの業務の最終監査人を務める。特に委託されているのは、以下の任務を伴います。

1. Cardano Github に含まれるソースコードを定期的にレビューして品質をチェックします。テスト範囲、適切なコメント、完全性
2. すべての Cardano ドキュメントの正確性と有用性をレビューする
3. 科学者が作成したプロトコルが完全に実装されているという主張を検証する

この任務を達成するために、IOHK は定期的かつタイムリーな報告書を財団に提出します。割り当てる – レビューする。財団は次に、開発監視報告書を Cardano コミュニティを少なくとも四半期ごとに開催します。

この最初の取り組みは、分散型プロジェクトがどのように行われるかについて、より広範な会話を開始することを目的としています。責任を果たします。信頼できるサードパーティによる開発監督は、開発者が順調に進んでいることを確認しますが、それを完全に保証するだけでは十分ではありません。プロジェクトは常に実現します。

このため、財務省が CSL に統合された後、財団は次のことを奨励します。正式なベースに基づいて代替クライアントを構築するための追加の開発チーム IOHKと共同開発した仕様。開発の多様性は素晴らしい技術です Ethereum プロジェクトによって、単一のアイデアセットを中心に形成されるモノカルチャーを避けるために使用されます。開発者。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 27/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

仕様に関しては、規格から得られる知識が豊富にあります。このプロセスに続いて、WC3 と IETF が進みます。最終的に、各プロトコル Cardano は統合されます。学術研究やソースコードから独立した仕様が必要です。むしろそうする必要がある RFC などの適切な形式である必要があります。

Cardano 財団の中核的理念の 1 つは、特に Cardano プロトコルを使用し、関連する標準を更新、追加、または変更するための会話をホストします。 Cardano。 IETF を通じてインターネット (標準の産物) がどのような内容について合意に達することができれば、コアプロトコルが使用される場合、専用の機関が存在すると想定するのは完全に合理的です。同じ結果を促進する可能性があります。

最後に、これらの議論を分散型エンティティに移行することを検討するのは興味深いことです。 blockchain でホストされています。この概念は分散型自律組織と呼ばれます (DAO) この分野では準備作業が進行中です。 IOHK は、次の基準 DAO モデルを開発します。 Cardano と接続するエンティティを必要に応じて使用できます。これは Cardano 財団の特権です規格上の義務の下でそれを採用するかどうかを決定します。

Khoa học và Kỹ thuật

Nghệ thuật lặp lại

Tiền điện tử là các giao thức được triển khai dưới dạng phần mềm. Các giao thức đơn giản là thông minh cuộc đối thoại giữa những người tham gia. Phần mềm cuối cùng là việc thao tác dữ liệu với một số TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 20 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

mục tiêu. Tuy nhiên, sự khác biệt giữa phần mềm vững chắc, đáng tin cậy cũng như các giao thức an toàn, hữu ích và cuộc trò chuyện của họ hoàn toàn là con người.

Phần mềm tốt cần có trách nhiệm giải trình, yêu cầu nghiệp vụ rõ ràng, quy trình lặp lại, thử nghiệm kỹ lưỡng và lặp đi lặp lại không mệt mỏi. Phần mềm tốt cũng cần có tài năng vừa phải các nhà phát triển có đủ kiến thức cụ thể về miền để thiết kế đúng một hệ thống có thể hoàn toàn giải quyết bất cứ vấn đề gì họ đang cố gắng giải quyết.

Đối với các giao thức hữu ích và an toàn, đặc biệt là các giao thức liên quan đến mật mã và phân tán hệ thống, họ bắt đầu theo một quy trình mang tính học thuật và theo tiêu chuẩn hơn. Đánh giá ngang hàng, vô tận các cuộc tranh luận và một khái niệm chắc chắn về sự đánh đổi là cần thiết để đảm bảo một giao thức có ích. Tuy nhiên những điều này thôi là chưa đủ, các giao thức cần phải được triển khai và kiểm tra bằng cách sử dụng thực tế.

Thách thức duy nhất trong ngành công nghiệp tiền điện tử là hai lĩnh vực hoàn toàn khác nhau. các triết lý được trộn lẫn với nhau mà không có sự tổng hợp đúng đắn của Hegel. Luận án của chúng tôi là một “động thái nhanh và phá vỡ mọi thứ” tâm lý khởi nghiệp được thúc đẩy bởi tuổi trẻ, lòng tham và niềm đam mê. Phản đề là một cách tiếp cận chậm, có phương pháp và mang tính học thuật được thúc đẩy bởi mong muốn củng cố những đổi mới trong không gian của chúng tôi thành một lĩnh vực thích hợp với nguồn vốn dồi dào và uy tín.

Kết quả là nhiều loại tiền điện tử chỉ được quy định hoàn toàn trên một tờ giấy trắng liên quan đến CV hoặc chỉ bằng mã được viết vội vàng. Không có loại tiền điện tử nào trong số 10 loại tiền điện tử hàng đầu hiện nay 18 vốn hóa thị trường được dựa trên một giao thức được đánh giá ngang hàng. Không có gì trong số mười hàng đầu hiện tại tiền điện tử đã được triển khai từ một đặc điểm kỹ thuật chính thức.

Tuy nhiên, hàng tỷ đô la giá trị đang bị đe dọa. Sau khi được triển khai, tiền điện tử sẽ cực kỳ hữu ích

khó thay đổi. Làm thế nào để người dùng biết họ đang sử dụng một hệ thống an toàn? Làm thế nào một người dùng

biết rằng các tuyên bố tiếp thị là hợp pháp? Điều gì sẽ xảy ra nếu giao thức được đề xuất không bao giờ có thể đạt được

những lời tuyên bố?

Sự thiếu tổng hợp và tôn trọng quy trình này là một trong những lý do chính khiến IOHK muốn

xây dựng Cardano. Hy vọng của chúng tôi là phát triển một dự án tham khảo có thể dùng làm ví dụ về

làm thế nào để làm mọi việc một cách hiệu quả, lành mạnh và trung thực hơn.

Mục tiêu không phải là đề xuất một cách hoàn toàn mới để phát triển phần mềm và giao thức mà là để

thừa nhận rằng phần mềm và giao thức tuyệt vời đã tồn tại và chúng tôi có thể bắt chước các điều kiện

điều đó đã dẫn tới sự sáng tạo của họ. Thứ hai, để làm cho những điều kiện này được biết đến một cách công khai và là nguồn mở nếu

có thể để chúng có thể được bắt chước vì lợi ích của toàn bộ lĩnh vực. 18 Xem www.coinmarketcap.com để biết danh sách toàn diện theo vốn hóa thị trường 19 Ethereum có đặc tả bán chính thức được gọi là Sách Vàng; tuy nhiên, ngữ nghĩa EVM là không được chỉ định đầy đủ và cũng không đủ để thực hiện đầy đủ giao thức. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 21 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Sự thật và ý kiến

Mối quan tâm khác là sự thật kết thúc ở đâu và ý kiến bắt đầu ở đâu. Có hàng trăm

ngôn ngữ lập trình, hàng chục mô hình phát triển và nhiều hơn một triết lý về

quản lý dự án. Thế giới học thuật đang gặp phải những thách thức riêng bắt nguồn từ

khoảng cách từ mối quan tâm kinh doanh và thực tế.

Đối với Cardano, trước tiên chúng tôi đã cố gắng nắm bắt những thiếu sót rõ ràng có thể được mọi người đồng tình

hữu ích từ góc độ kỹ thuật. Ví dụ, mật mã và phân phối

cả hai hệ thống đều là những chủ đề có liên quan đặc biệt với quá nhiều ví dụ về cách những bàn tay ngây thơ

có thể mắc phải những sai lầm khủng khiếp. Do đó, bất kỳ giao thức nào yêu cầu cái nhìn sâu sắc từ các miền này đều cần

được thiết kế bởi một chuyên gia được công nhận và được các chuyên gia khác xem xét.

Ouroboros là nghiên cứu điển hình đầu tiên của chúng tôi về lĩnh vực này. Nó được thiết kế bởi một nhóm các nhà mật mã học với

một lịch sử xuất bản lớn, đa dạng và có thể kiểm chứng công khai. Nó được xây dựng theo tiêu chuẩn

quy trình mã hóa, với các giả định về bảo mật, mô hình đối nghịch và bằng chứng. Những cái này

bằng chứng đã được kiểm tra bằng cách gửi tới hội nghị và cũng độc lập bằng máy tính

20 bằng chứng được viết bằng Isabelle bởi một nhóm tại Đại học Cambridge.
21

Tuy nhiên, riêng công việc này không đảm bảo tính hữu ích - chỉ là một cuộc kiểm tra nghiêm ngặt về an ninh

mô hình đưa ra một số giả định. Để hữu ích, người ta cần triển khai và kiểm tra giao thức.

Các nhà phát triển của chúng tôi đã làm như vậy trong cả Haskell và Rust. Công việc này cho thấy nỗ lực nhiều hơn

cần tập trung vào mô hình đồng bộ hóa, dẫn đến việc tạo ra Ouroboros

Lời khen.

Nghệ thuật lặp lại này là thứ tạo ra những giao thức tuyệt vời, với mỗi bước dẫn đến những bài học và kinh nghiệm mới.

yêu cầu xác minh lại tính đúng đắn của bước trước đó. Việc này tốn kém, mất thời gian và

22 đôi khi thực sự tẻ nhạt, nhưng cần phải đảm bảo một giao thức được thiết kế chính xác.

Các giao thức - đặc biệt là những giao thức được hàng tỷ người sử dụng - không tồn tại trong thời gian ngắn và nhanh chóng

đang phát triển. Đúng hơn là chúng được dự định sẽ được theo dõi trong nhiều năm đến nhiều thập kỷ. Có vẻ như hoàn toàn

hợp lý rằng, trước khi tạo gánh nặng cho thế giới bằng một hệ thống tài chính mới, tất cả chúng ta đều phải chung sống với

trong 100 năm tới, chúng tôi muốn yêu cầu sự tẻ nhạt và nghiêm ngặt từ các nhà thiết kế của nó.

20 Bài báo số 71 được chấp nhận của Hội nghị tiền điện tử hàng năm của IACR ở California
21 Tác giả Kawin Worrasangasilpa dưới sự giám sát của Giáo sư Lawrence Paulson
22 Đi theo tiếp tuyến để cho dễ hiểu, người ta nên xem phần thảo luận của Giáo sư Halmos về cách viết sách giáo khoa toán TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 22 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Tội lỗi chức năng

Chuyển sang lãnh thổ có nhiều quan điểm hơn, các công cụ, ngôn ngữ và phương pháp được sử dụng trong

phát triển phần mềm là sản phẩm của sự quan phòng tôn giáo hơn là thực tế khách quan. Nguồn

mã giống như văn xuôi viết. Mọi người đều có quan điểm về điều gì là tốt - và điều gì đang được

đôi khi, được truyền đạt ít quan trọng hơn cách nó được truyền đạt.

Chúng ta phải phạm tội chọn một bên chấp nhận rằng bên đó sẽ sai ít nhất trong một khía cạnh nào đó.

mắt của người đó. Tuy nhiên, ít nhất có rất nhiều lý do biện minh đằng sau sự lựa chọn của chúng ta.

Các giao thức giúp Cardano có thể thực hiện được đang được triển khai trong Haskell. Giao diện người dùng

đã được gói gọn trong một nhánh của Electron mà chúng tôi gọi là Daedalus. Chúng tôi đã chọn để

sử dụng mô hình kiến trúc web nếu có thể và đối với cơ sở dữ liệu của chúng tôi, chúng tôi đã chọn khóa-giá trị

mô hình sử dụng RocksDB.

Từ cấp độ thành phần, sự trừu tượng hóa này có nghĩa là việc bảo trì đơn giản hơn nhiều, tốt hơn

công nghệ có thể được thay thế sau này mà không tốn nhiều công sức và hệ thống của chúng tôi một phần gắn liền với

nỗ lực phát triển của Github và Facebook.

Việc sử dụng WebGUI cho phép chúng tôi tận dụng React và phát triển các tính năng giao diện người dùng bằng các công cụ

được hàng trăm nghìn nhà phát triển JavaScript hiểu. Sử dụng kiến trúc web

có nghĩa là các thành phần có thể được coi là dịch vụ và mô hình bảo mật hợp lý.

Chọn Haskell để phát triển giao thức là lựa chọn khó khăn nhất. Ngay cả trong chức năng

thế giới, có rất nhiều sự lựa chọn. Về mặt linh hoạt và không trong sạch hơn, có những ngôn ngữ như

Clojure, Scala và F#, được hưởng lợi từ các thư viện khổng lồ của Java và .Net

hệ sinh thái trong khi vẫn bảo tồn một số khía cạnh tốt nhất của lập trình chức năng.

Có nhiều ngôn ngữ mang tính học thuật hơn như Agda và Idris có quan hệ gần gũi

kết nối với các kỹ thuật cho phép xác minh tính chính xác một cách mạnh mẽ. Thế nhưng họ lại thiếu

thư viện hợp lý và có kinh nghiệm phát triển dưới mức trung bình.

Đối với Cardano, sự lựa chọn thuộc về Ocaml và Haskell. Ocaml là một ngôn ngữ tuyệt vời với

một cộng đồng tuyệt vời, công cụ tốt, kinh nghiệm phát triển hợp lý và di sản to lớn trong

không gian xác minh chính thức thông qua Coq. Vậy tại sao chúng tôi chọn Haskell? 23

23 Thêm vào điểm này, IOHK thực sự có một dự án đang được triển khai ở Ocaml có tên là Qeditas chúng tôi kế thừa từ bút danh Bill White TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 23 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Tại sao lại là Haskell?

Các giao thức tạo nên Cardano được phân phối, đi kèm với mật mã và yêu cầu

mức độ chịu lỗi cao. Vào những ngày đẹp nhất vẫn sẽ có những diễn viên Byzantine, dị dạng

tin nhắn và các máy khách bị lỗi vô tình gây ra một số dạng tàn phá trên mạng.

Đầu tiên, chúng tôi muốn một ngôn ngữ có hệ thống kiểu chữ mạnh mẽ, nơi chúng tôi có thể dễ dàng sử dụng các công cụ

chẳng hạn như Quickcheck và các kỹ thuật phức tạp hơn như Loại sàng lọc trong khi có

kỳ vọng hợp lý về khả năng chịu lỗi. Mô hình OTP kiểu Erlang đáp ứng yêu cầu sau

trong khi các ngôn ngữ như Haskell và Ocaml đáp ứng được các ngôn ngữ trước đây.

Với sự ra đời của Cloud Haskell, Haskell đã đạt được nhiều lợi thế của Erlang trong khi không

từ bỏ chính mình. Hơn nữa, tính mô-đun và khả năng kết hợp của Haskell đã cho phép chúng tôi

sử dụng thư viện riêng có trọng lượng nhẹ hơn có tên là Time Warp cho Cardano.

Thứ hai, thư viện của Haskell đã phát triển vượt bậc trong vài năm qua nhờ vào công việc mở rộng

của các tổ chức thương mại như Galois, FP Complete và Well-Typed. Kết quả là Haskell có thể

được sử dụng để viết các ứng dụng sản xuất.
24

Thứ ba, sự phát triển nhanh chóng của PureScript đã cung cấp một cầu nối rất cần thiết cho thế giới JavaScript

giống như những gì Clojurescript đã mang lại cho Clojure. Chúng tôi kỳ vọng PureScript sẽ đặc biệt quan trọng

khi nói đến việc giúp Cardano hoạt động trên trình duyệt và phát triển ví di động.

Thứ tư, liên quan đến giải pháp phụ thuộc, Haskell trong vài năm qua đã đạt được

nỗ lực xã hội và công nghệ đáng kể được dẫn dắt bởi các nhà công nghệ như Michael Snoyman thông qua một

nền tảng được gọi là stackage vừa dễ sử dụng vừa được FP Complete hỗ trợ tốt.

Thứ năm, ngoài độ phân giải phụ thuộc đầy đủ, chúng tôi hướng đến việc xây dựng phần mềm của mình

có thể tái sản xuất. Nói cách khác, với cùng giá trị cấu hình và phiên bản phụ thuộc, nó

sẽ tạo ra các tạo phẩm xây dựng giống hệt nhau. Thông qua tính năng xếp chồng, chúng tôi đã sử dụng NixOps

để đạt được khả năng tái tạo thành công lớn.

Cuối cùng, đội ngũ nhà phát triển tài năng chuyên về Haskell khá lớn — so với

các đồng nghiệp của nó - và được đào tạo khá bài bản với sự kết hợp phù hợp giữa các bằng cấp học thuật và ngành. Nó cũng

hoạt động như một bộ lọc năng lực vì hiếm khi tìm được nhà phát triển Haskell có kinh nghiệm mà không có

kiến thức chi tiết về khoa học máy tính.
24 Bryan O'Sullivan đưa ra một bài nói chuyện thú vị về ứng dụng công nghiệp của Haskell ở đây.
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 24 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Thông số kỹ thuật và xác minh chính thức

Điểm mạnh đáng kể của việc phát triển giao thức sử dụng mô hình bảo mật có thể chứng minh được là chính xác là nó cung cấp một giới hạn đảm bảo về sức mạnh đối nghịch. Người ta được giao một hợp đồng miễn là giao thức được tuân thủ và bằng chứng là chính xác, kẻ thù không thể vi phạm bảo mật tài sản được yêu cầu bồi thường.

Sự phản ánh sâu sắc hơn làm cho khẳng định trước đó càng có ý nghĩa hơn. Đối thủ có thể tùy ý thông minh và có năng lực. Nói rằng họ bị đánh bại chỉ nhờ một mô hình toán học là phi thường. Và tất nhiên, nó không hoàn toàn đúng.

Thực tế đưa ra những yếu tố và hoàn cảnh ngăn cản những điều không tưởng về an ninh và an ninh thuần túy. hành vi đúng từ hiện có. Việc triển khai có thể sai. Phần cứng có thể gây ra cuộc tấn công các vectơ trước đây chưa được xem xét. Mô hình bảo mật có thể không đầy đủ và không phù hợp với sử dụng thực tế cuộc sống.

Cần có sự phán xét về mức độ yêu cầu kỹ thuật, tính chặt chẽ và kiểm tra đối với một giao thức. Ví dụ: những nỗ lực như dự án Microkernel SeL4 là một ví dụ điển hình về tất cả tấn công vào sự mơ hồ đòi hỏi gần 200.000 dòng mã Isabelle để xác minh ít hơn 10.000 dòng mã C. Tuy nhiên, nhân hệ điều hành là cơ sở hạ tầng quan trọng có thể là một lỗ hổng bảo mật nghiêm trọng nếu không được triển khai đúng cách.

Có phải tất cả các phần mềm mật mã đều yêu cầu nỗ lực như nhau không? Hoặc người ta có thể chọn ít hơn con đường mạnh mẽ tạo ra kết quả tương đương? Cũng có vấn đề gì nếu giao thức là được triển khai một cách hoàn hảo nếu môi trường mà nó chạy trong đó nổi tiếng là dễ bị tổn thương như trên Windows XP?

Đối với Cardano, chúng tôi đã chọn thỏa hiệp sau. Thứ nhất, do tính chất phức tạp của lĩnh vực mật mã và điện toán phân tán, các bằng chứng có xu hướng rất tinh vi, dài, phức tạp và đôi khi khá kỹ thuật. Điều này ngụ ý rằng việc kiểm tra do con người thực hiện có thể tẻ nhạt và dễ mắc lỗi. Vì vậy, chúng tôi tin rằng mọi bằng chứng quan trọng được trình bày dưới dạng giấy trắng giấy viết để bao gồm cơ sở hạ tầng cốt lõi cần phải được kiểm tra bằng máy.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 25 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Thứ hai, để xác minh mã Haskell sao cho phù hợp chính xác với sách trắng của chúng tôi, chúng tôi có thể chọn giữa hai tùy chọn phổ biến: giao tiếp với bộ chứng minh SMT thông qua LiquidHaskell và sử dụng Isabelle/HOL.

Người giải SMT (lý thuyết modulo thỏa mãn) giải quyết vấn đề tìm kiếm chức năng các tham số thỏa mãn một phương trình hoặc bất phương trình, hoặc chỉ ra rằng các tham số đó không tồn tại. Như De Moura và Bjørner đã thảo luận, các trường hợp sử dụng SMT rất đa dạng, nhưng mấu chốt điểm là những kỹ thuật này đều mạnh mẽ và có thể giảm đáng kể lỗi và các lỗi ngữ nghĩa.

Mặt khác, Isabelle/HOL là một công cụ biểu cảm và đa dạng hơn có thể được sử dụng để

vừa chỉ định vừa xác minh việc thực hiện. Isabelle là một người giải định lý tổng quát làm việc với

các cấu trúc logic bậc cao hơn, có khả năng biểu diễn các tập hợp và các đối tượng toán học khác để

được sử dụng trong chứng minh. Bản thân Isabelle tích hợp với bộ chuẩn Z3 SMT để giải quyết các vấn đề liên quan đến

những hạn chế như vậy.

Cả hai cách tiếp cận đều mang lại giá trị và do đó chúng tôi đã quyết định áp dụng cả hai theo từng giai đoạn.

Bằng chứng bằng văn bản của con người sẽ được mã hóa trong Isabelle để kiểm tra tính chính xác của chúng, từ đó đáp ứng

yêu cầu kiểm tra máy của chúng tôi. Và chúng tôi dự định bổ sung dần dần Liquid Haskell cho tất cả

mã sản xuất trong quá trình triển khai Cardano trong suốt năm 2017 và 2018.

Điểm cuối cùng, việc xác minh chính thức chỉ tốt khi thông số kỹ thuật được xác minh từ và các bộ công cụ có sẵn. Một trong những lý do chính để chọn Haskell là nó cung cấp sự cân bằng hợp lý giữa thực tiễn và lý thuyết. Đặc điểm kỹ thuật bắt nguồn từ các giấy tờ trắng trông rất giống Mã Haskell và việc kết nối cả hai dễ dàng hơn đáng kể so với thực hiện bằng mệnh lệnh ngôn ngữ.

Vẫn còn khó khăn rất lớn trong việc nắm bắt được thông số kỹ thuật phù hợp cũng như cập nhật thông số kỹ thuật khi cần thực hiện các thay đổi như nâng cấp, sửa lỗi và các mối quan tâm khác; tuy nhiên, thực tế này không hề làm giảm giá trị tổng thể. Nếu một người sắp gặp rắc rối xây dựng nền tảng dựa trên tính bảo mật có thể chứng minh được thì việc triển khai phải là những gì đã được thực hiện thực sự được đề xuất trên giấy.

Minh bạch

Câu hỏi cuối cùng khi thảo luận về khoa học và kỹ thuật phát triển tiền điện tử là làm thế nào để giải quyết sự minh bạch. Các quyết định thiết kế không phải là Boolean và thanh tao, sắp tới nhà phát triển trong mơ rồi đột nhiên trở thành canon. Chúng bắt nguồn từ kinh nghiệm, tranh luận và bài học rút ra từ những sai lầm trước đó.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 26 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Thách thức là một quá trình phát triển hoàn toàn minh bạch có thể ảnh hưởng đến việc thảo luận trở nên sân khấu hơn là dựa trên bằng chứng. Cái tôi, nỗ lực thu phục cộng đồng và nỗi sợ hãi việc nghe có vẻ ngu ngốc có thể khiến các cuộc trò chuyện trở nên vô ích và phản tác dụng.

Hơn nữa, những người bên ngoài có thể cố gắng tham gia vào cuộc trò chuyện nhằm ép buộc họ tiếp tuyến cụ thể để trở thành chủ đề có liên quan duy nhất. Mọi người đều có một con bò thiêng liêng.

Vậy làm thế nào để cân bằng nhu cầu về một quá trình phát triển minh bạch, vốn phụ thuộc vào cộng đồng đã giao phó tiến độ cho một nhóm các nhà phát triển cốt lõi, với nhu cầu tự do biểu hiện mà không sợ hãi?

Với Cardano, chúng tôi đã quyết định áp dụng quy trình theo tiêu chuẩn với sự giám sát trực tiếp. Cộng đồng cần biết rằng khoa học và quy tắc đã được cân nhắc kỹ lưỡng, kiểm tra và thực sự giải quyết được những điều mà các nhà phát triển khẳng định họ làm. Để đạt được mục đích này, việc đánh giá ngang hàng nên hoàn toàn đáp ứng được thành phần khoa học vì nó được thiết kế đặc biệt cho mục đích này và đã cho chúng ta thế giới hiện đại.

Đối với mã, chủ đề này có nhiều quan điểm hơn một chút. Đối với Cardano, chúng tôi đã quyết định ủy thác Cardano Foundation đóng vai trò là kiểm toán viên cuối cùng cho công việc của IOHK. Đặc biệt, họ được giao phó với các nhiệm vụ sau:

1. Đánh giá thường xuyên mã nguồn có trong Cardano Github để kiểm tra chất lượng, phạm vi kiểm tra, nhận xét thích hợp và đầy đủ
2. Xem lại tất cả tài liệu Cardano về tính chính xác và hữu ích
3. Xác minh các tuyên bố rằng các giao thức do các nhà khoa học tạo ra đã được triển khai đầy đủ

Để hoàn thành nhiệm vụ này, IOHK sẽ gửi báo cáo thường xuyên và kịp thời cho Tổ chức – và giao - để xem xét. Đến lượt mình, Quỹ sẽ công bố một báo cáo giám sát phát triển cho Cardano cộng đồng ít nhất mỗi quý.

Nỗ lực đầu tiên này nhằm bắt đầu một cuộc trò chuyện rộng hơn về cách một dự án phi tập trung đạt được trách nhiệm giải trình. Giám sát phát triển từ bên thứ ba đáng tin cậy là một công cụ mạnh mẽ để đảm bảo rằng các nhà phát triển đang đi đúng hướng, nhưng việc đảm bảo hoàn toàn rằng dự án sẽ luôn luôn cung cấp.

Vì lý do này, sau khi kho bạc được tích hợp vào CSL, Quỹ sẽ khuyến khích các nhóm phát triển bổ sung để xây dựng các khách hàng thay thế dựa trên chính thức thông số kỹ thuật được phát triển cùng với IOHK. Sự đa dạng trong phát triển đã là một kỹ thuật tuyệt vời được dự án Ethereum sử dụng để tránh tình trạng độc canh hình thành xung quanh một nhóm ý tưởng hoặc nhà phát triển. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 27 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Về các thông số kỹ thuật, có rất nhiều kiến thức thu được từ các tiêu chuẩn quá trình tiếp theo là WC3 và IETF. Cuối cùng, mỗi giao thức Cardano tích hợp yêu cầu một đặc tả độc lập với công việc học tập hoặc mã nguồn. Đúng hơn là nó cần phải ở định dạng phù hợp như RFC.

Một trong những nguyên lý cốt lõi của Tổ chức Cardano là đóng vai trò là cơ quan tiêu chuẩn dành riêng cho Cardano giao thức và tổ chức các cuộc trò chuyện để cập nhật, thêm hoặc thay đổi các tiêu chuẩn liên quan đến Cardano. Nếu internet (một sản phẩm tiêu chuẩn) thông qua IETF có thể đạt được sự đồng thuận về những gì các giao thức cốt lõi sẽ được sử dụng thì hoàn toàn hợp lý khi cho rằng một cơ quan chuyên trách có thể tạo điều kiện cho kết quả tương tự.

Như một lưu ý cuối cùng, thật thú vị khi khám phá việc chuyển những cuộc thảo luận này sang một thực thể phi tập trung được lưu trữ trên blockchain. Khái niệm này được gọi là tổ chức tự trị phi tập trung (DAO) và công việc sơ bộ đang được tiến hành trong lĩnh vực này. IOHK sẽ phát triển mô hình DAO tham khảo cho các thực thể giao tiếp với Cardano để sử dụng nếu muốn và đó là đặc quyền của Tổ chức Cardano để quyết định xem có chấp nhận nó theo yêu cầu tiêu chuẩn của họ hay không.

相互運用性

グランド近視

金融、そしてより広い意味での商取引は、最終的には人間の仕事です。エレガントな存在です言語、意図を捉えるための非常に正確なツール、そして技術の無限の迷路悪い結果や何千年にもわたる法律が求めた場合に救済を得る貿易における公平性。実際、最も初期の文書形式のいくつかは商業契約でした。

しかし、論理への媒介を排除しても、人間的要素を避けることはできません。恐るべき力を託された機械や政府の監視員。そこには壮大な場所があります仮想通貨に対する近視眼。彼らはほとんどが人間の現実から乖離しています。

人は間違いを犯します。人々は考えを変えます。人々は必ずしも完全に理解しているわけではありません彼らが締結することに同意しているビジネス関係。人々は誤解され、騙されます。状況は個人および州レベルで変化するため、独自の解決策が必要になります。くどくどとこの点、ほとんどの契約には不可抗力条項が含まれています。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 28/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

しかし、暗号通貨は人間の理解、思いやり、判断力を投げ捨てようとします。思いやりのないデジタル裁判官が憲法に何の配慮もなく完全に拘束されることと引き換えに公平性や結果に対して。人間がこれまで常に試みてきたこと、そしてこれからも試み続けることを考えると、利己的な目的のためにルールを変更するのではなく、実際に腐敗しないシステムを持つことは新鮮です。

しかし、ユーザーがこれらの新しいシステムと従来の金融システムを融合する必要がある場合はどうなるでしょうか。システム？人間の世界で生きなければならなくなったらどうなるでしょうか？たとえば、財産土地登記などの権利は完全に物理世界に存在します。土地をtoken化してもなお現行の管轄権をある程度認める必要がある。

別の点を説明すると、金の延べ棒はそれ自体を動かすことができません。デジタル裁判官は、デジタル裁判官に命令することができます。動きは可能ですが、人間が対応しなければ強制することはできません。したがって、デジタル台帳は次のことが可能です。現実から逸脱する。

したがって、プロトコル設計者は、プロトコルの中で人間の現実をどの程度まで許容するかを決定する必要があります。暗号通貨。柔軟性が高くなるほど、期待される絶対的なものへの忠実度は低くなります。の消費者保護が強化されると、ロールバックや返金を提供するためのメカニズムがより多く存在する必要がありますそして歴史の編集。

このセクションと次の規制では、このトピックに対する Cardano の実際的なアプローチについて説明します。で相互運用性に関しては、議論すべき 2 つの大きなグループがあります。まず、相互運用性レガシー金融システム（非暗号通貨の世界）。第二に、他のものとの相互運用性暗号通貨。

レガシー

Fintech は単一の標準や共通言語で構成されているわけではありません。すごいものがあります

アプローチの多様性、決済・清算の主体、ビジネス

プロセス、および会計、変革、および移動に関与するその他のドメイン

値。

1 つのテクノロジーが優れているからといって、残りのテクノロジーが優れていると主張するのは不合理です。

エコシステムは何らかの形で敗北を認め、アップグレードするでしょう。たとえば、今でも多くの人が使っている

Windows XP は最初のリリースから 16 年が経過しました。この悲しい状況は誰かに等しい

1984 年にリリースされた初代 Macintosh を 2000 年に使用しました。

消費者の行動は別として、企業のアップグレードサイクルは一般にさらに遅いです。たくさん

銀行は依然として COBOL で書かれたバックエンドを使用しています。インフラストラクチャが機能し、要件を満たすことが確認されると、

ビジネス要件に応じて、ソフトウェアをアップグレードまたは改良するインセンティブは通常ほとんどありません。

コンプライアンスやセキュリティ上の懸念以外に、消費者の利益を目的としたプロトコル。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 29/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

Cardano については、まずレガシーブリッジが何を必要とするのかを確立する必要があります。どのようなシステム、

合理的な確実性を確保するためにターゲットにすべき標準、エンティティ、およびプロトコル

相互運用性?これらのブリッジは連合または分散化できますか?それとも交換のようなものですか？

ハッカー、悪意のある所有者、または過度の規制当局にとって障害の中心点になるでしょうか?

対処しなければならない懸念が 3 つあります。まず、情報の表現と、

その正確さへの信頼。第二に、価値とそれに関連する所有権の表現。第三に、

エンティティの表現、および特定のユーザーの信頼レベルの集合体

エンティティ。

有用であるためには、情報と価値が従来の金融世界と金融世界の間で自由に流れる必要があります。

Cardano。次に、評判と根拠を築くために、結果を確立して記録する必要があります

救済のために。しかし、そのようなことはほとんどの場合、関与する行為者に限定されています。エンコードするには

blockchain 上にあるものはグローバルかつ永続的になります。

さらに、レガシーの世界では価値が常に自由に流れるとは限りません。通商禁止、制裁、資本

規制や司法措置により資産が凍結される可能性があります。相互運用可能にするためには、

値が漏れる場合は、エスケープバルブを常に開いてください。

最後に、企業のブランドと評判は商業の基礎の 1 つです。関係。マーケティングキャンペーンを確立、維持するために毎年数十億ドルが費やされています。そして修理ブランド。個人または団体に関して中傷的、虚偽、または誤解を招く主張がなされた場合、彼らには法的手段を求める権利があります。それでも、blockchain は永久に保存しようとしています歴史。

プログラミング言語の選択と同様、Cardano を解決するための理想的なソリューションはありません。これらの懸念を普遍的に正しい方法で解決します。むしろ、支持された意見に屈する必要がありますまたまた。

情報の流れに関しては、このフローは信頼できるデータフィードとして知られています。ソースがあるんだよそして内容。情報源には、信頼性と騙したり保守したりするインセンティブについての何らかの概念があります。正直さ。コンテンツは任意にエンコードできます。

プロトコルスタックで信頼できるハードウェアをサポートするつもりであることを考慮して、次のことを選択しました。 Ari Juel 教授らの Town Crier Protocol のサポート追加を検討します。と仮定すると、信頼できるデータソースのセットが存在するため、Town Crier は Web の安全なスクレイピングを許可します smart contracts およびその他のアプリケーションで使用するためのコンテンツ。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 30/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

ソースのブートストラップリストは、Emurgo、IOHK、Cardano 財団によって提供されます。後でこのリストは、Cardano の仕組みを使用してコミュニティが厳選したリストに置き換えられます。財務システム。私たちの希望は、評判システムが優れたデータフィードを中心に実現できることです。これにより、正のフィードバックループが作成され、信頼性と忠実度が徐々に向上します。

値の表現はより複雑なトピックです。情報とは異なり、かつては正確性、適時性、完全性が確立されているため、プロトコルは信頼性の高い方法で動作できます。決定論的な方法 — 価値はより繊細です。

token 化されると、値は一意のオブジェクトのように動作するはずです。情報はコピーできますし、回覧されましたが、何か (車両のタイトルなど) の所有権を表す token は許可されません。 2 つの異なる台帳でクローンが作成され、取引されます。この行為は事実上、システム。

token 化された値を扱う場合の従来の相互運用性の課題は、信頼性が確保されていないことです。 token が台帳間を流れるにつれて、仮定、信頼性、監査可能性が変化します。たとえば、次の場合ボブはBitcoinをいくつか所有し、それを取引所に預けると、ボブは現在、 Exchange の台帳上の彼の Bitcoin の表示。 MtGOX の場合、台帳には次のようなことが書かれていました。現実と一致せず、ユーザーはすべてを失います。

レガシーシステムが、次の地域に住んでいる token を認識する必要があるため、問題はさらに複雑になります。暗号通貨。前述したように、企業は歴史的にアップグレードに抵抗があります。ソフトウェアと新しいプロトコルのサポート。この状況では明確に見ることが困難になります解決策。

Cardano については、ユーザーが豊富なメタデータを添付できるオプションを提供することが私たちの最大の望みです。その後、業界標準が出現してそれを取り込むのを待ちます。一部 Interledger ワークグループ、R3Cev などの取り組み、国際的な取り組みで進展が見られました。古い金融プロトコルをアップグレードすることが義務付けられています。

ただし、レガシーから送られる価値を定量化して認定するという、より大きな課題が残っています。システムを暗号通貨台帳に変換します。たとえば、ボブが銀行の所有者で、ドルを発行しているとします。 token を支援すると、いつでも自分の token を Cardano のような台帳に送信するためのブリッジを構築できます。ユーザーが発行したアセット。

Cardano は所有権を正確に追跡し、これまでに実現したすべての機能を提供します。タイムスタンプや監査可能性などを重視しても、ボブを誠実な銀行家にできる仮想通貨はありません。彼には、全額を裏付けずに端数準備銀行を運営するという選択肢も常にある私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 31/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

tokens (実質ドル)。この不正行為は、ドルが使用されない限り、暗号通貨では検出できません。それ自体はデジタル台帳によって記録された token でした。 25

最後に、エンティティのオンライン表現は、初期に遡る古典的なネットワーク問題です。インターネットの時代。大学、企業、政府機関、および任意のユーザーある時点でアイデンティティを確立する必要があります。

この目的を達成するには、Web の公開鍵インフラストラクチャなどの実用的でありながら集中化されたソリューションが必要です。 ICANN の DNS システムが実装されています。私たちが現代のウェブを楽しんでいることを考えると、これらはソリューションはスケーラブルかつ実用的です。しかし、彼らはより商業的な方向の質問には答えません。信頼性、信頼性、および判断に必要なその他のメタ特性の問題そのエンティティとビジネスをしたい場合。

eBay のような多面的なマーケットプレイスのホストは、いくつかのサービスを提供するビジネスモデルを構築しています。このメタデータをトランザクションを完了するためのフレームワークと連携させます。に関する判決コンテンツ、イベント、ビジネスの品質は、多くの場合、オンライン評価のみに大きく影響されます。信頼できる情報源から。 26

この点の Cardano に関連する部分は、評判の一元化の問題です。の 1 つ Cardano の目標は、発展途上国に財政スタックを提供することです。この取り組みの鍵となるのは会ったことのない俳優と信頼関係を築く能力です。

組織的な組織ではなく、単一の組織または複数の組織のコンソーシアムが、誰が良いか悪いかのレッテルを貼られるかを制御する場合コミュニティ全体での実際の相互作用から派生したプロセスであれば、これらのエンティティは罪を犯したと思われる人物を恣意的にブラックリストに載せる。この力はプロジェクトとしての私たちの価値観に反するものですそして、暗号通貨を使用するというより広範な点に反することになります。

幸いなことに、財務省投票の投票にも同じメカニズムが使用されており、情報源がリストに追加されています。信頼できるデータフィードとプロトコルのフォークを再利用して、レピュテーションスペースを確立できます。それはオープンな研究領域であり、私たちの希望は、分散型のオーバーレイプロトコルを提供することです。より基本的な要素が確立された後、2018 年から 2019 年にかけて信頼のレピュテーション Web が構築されます。

暗号通貨の相互運用性

25 一方、デジタル台帳の場合は、準備金の証明が賢明な保管方法として提案されています。暗号通貨は正直な交換のみを行います。 26 これらの割合は、コンテンツの作成自体にも影響を与えます。 Rotten Tomatoes の仕組みについては、こちらの興味深い記事をご覧ください。映画業界に影響を与えた。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 32/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

従来の世界から分散デジタル台帳に移行すると、相互運用性がはるかにシンプルになります。各台帳には、ネットワークプロトコル、通信の標準、およびセキュリティの前提条件があります。それぞれのコンセンサスアルゴリズムについて。これらは簡単に定量化できます。

情報の移動は、外部ネットワークに接続し、そのネットワークを翻訳することによって確立されます。メッセージ。価値の移動はリレーシステム、アトミッククロスチェーン取引を通じて実行可能または賢いサイドチェーンスキームを介して。集中管理されたオペレーターがいないため、エンティティの表現は、開発者、採掘者、または信頼に関するメタディスカッションにさらに限定されます。他のパワーブローカー。

Cardano では、Kiayias、Miller、およびによって開発された新しいサイドチェーンプロトコルを統合しています。ジンドロス。これは、2 つのチェーン間で価値を安全に移動する非対話型の方法を提供します。プロトコルをサポートします。このメカニズムは、CSL と CCL層。

他の暗号通貨の場合、Cardano の価値とユーザーが増加するにつれて、フェデレーテッドブリッジが形成されるはずですベース。この成長を加速するために、Cardano SL は制限付きバージョンの Plutus をサポートしています。相互運用性スクリプト。新しいトランザクションは、CSL の Shelley 以降のリリースに追加されます。特にこれらのニーズに対応します。

ダイダロスの迷路

相互運用性に関するポイントは、グローバルな観点からのものです。特殊なプロトコル、新しい

取引の種類、信頼性を評価するシステム、情報の流れなどを対象範囲とすることはできません。

単一のゲートキーパーまたはユーザーだけです。むしろ、それらは、

検閲や通行料金。

しかし、Cardano が、必要なプロトコル、トランザクション、またはアプリケーションをサポートしていない場合はどうなるでしょうか。

ユーザーはそれなしでは生きていけませんか？対象外にするだけでいいのでしょうか？ウェブも同様の懸念に直面していました

1990年代に。

皮肉なことに、Web は暗号通貨を使用して複製できる 2 つの異なるソリューションを提供します。

JavaScript の導入により、任意の Web サイトにプログラムを追加できるようになりました。

特徴。ブラウザのプラグインと拡張機能の導入により、カスタム機能が追加されました。

ユーザーが喜んでインストールします。どちらのアプローチでも、セキュリティを備えた最新の Web が実現しました。

恐怖。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 33/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

Ethereum は、ユーザーがサブプロトコルを埋め込めるようにすることで、前者のアプローチを採用しました。

Ethereum blockchain を smart contract として。 Cardano は CCL を通じてこの機能をサポートします

パラダイム。しかし、カスタム拡張機能についてはどうでしょうか?

わかりやすい例としては、暗号通貨トレーダーが挙げられます。分散型マーケットプレイスを想像してみてください。

DM と呼ばれ、さまざまな暗号通貨のセットをサポートします。トレーダーは自分の業務を自動化したいと考えています

DMに基づいた戦略。

断片化されたエコシステムでは、トレーダーは各クライアントに数十のクライアントをインストールする必要があります。

暗号通貨を作成し、調整するために各クライアントと通信するためのカスタムソフトウェアを作成します。

自動取引。 1 つのクライアントが更新されると、特注のソフトウェアが破損する可能性があります。さらに、

トレーダーがソフトウェアを販売したい場合はどうすればよいでしょうか?

拡張機能の Web モデルからインスピレーションを得て、さまざまな暗号通貨へのインターフェイスを実現できます。

Web スタックに取り込まれると、トレーダーの作業が劇的に簡単になります。普遍的な

インターフェースを確立できます。インストールはワンクリックです。ソフトウェアの配布をモデル化できる

Chrome ウェブストアの後。

Cardano については、リファレンスをデプロイしてこのパラダイムを実験することにしました。

Electron 上のウォレットのフロントエンド。 Github によって管理されているオープンソースプロジェクトです。

Node と Chrome の両方を一緒に使用します。 Cardano の Electron ビルドは Daedalus と呼ばれます。

初代ダイダロス予想される多くの機能をサポートする HD ウォレットとして機能します。

27 業界標準の会計およびセキュリティ機能 (パスワードの使用やパスワードの使用など)

BIP39。後の世代では、Daedalus はストアを備えたアプリケーションフレームワークに発展します。

ユニバーサル統合 API と SDK。

主な革新は、プログラマーが JavaScript を使用できるようにすることで開発が容易になったことです。

アプリケーションを構築するための HTML5 と CSS3、およびクロスアプリケーション用の統合ブリッジ

コミュニケーション。暗号化、分散ネットワークの管理などの複雑な動作

データベースの仕組みを抽象化できるため、開発者はユーザーのみに集中できます。

エクスペリエンスとアプリケーションのコアロジック。

Daedalus は普遍的なフレームワークであることを目的としているため、そのロードマップと進化は多少異なります。

Cardano とは独立しています。 2017 年中はこれらは密接に結合していますが、その後 Cardano は単なる結合になります。

Daedalus ユーザー向けの別のアプリケーション。非常にユニークな機能も検討する予定です

Intel SGX のみで実行されるユニバーサルキー管理サービスなど。

27 daedaluswallet.io ですでに入手可能です
私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 34/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

結局のところ、プロトコル設計者として、すべてのニーズをサポートすることはできません。私たちの願いは、その柔軟性です。

Daedalus が提供するものと、CCL 上で実行されるステートフル smart contract を組み合わせたものは、次の条件を満たします。

私たちの設計上の決定によって取り残されたもの。また、より良い標準が出現することを期待しています。

すべての暗号通貨がより優れた相互運用性とセキュリティを享受できるように奨励します。

Khả năng tương tác

Cận thị lớn

Tài chính và ý tưởng rộng hơn về thương mại cuối cùng là nỗ lực của con người. Có tồn tại thanh lịch ngôn ngữ, công cụ cực kỳ chính xác để nắm bắt ý định và mê cung vô tận các kỹ thuật để đạt được quyền truy đòi trong trường hợp có kết quả xấu cũng như hàng nghìn năm luật pháp tìm kiếm công bằng trong thương mại. Trên thực tế, một số hình thức viết sớm nhất là hợp đồng thương mại.

Tuy nhiên, yếu tố con người không thể bị loại bỏ bất kể logic đã được giải trừ, máy móc hoặc lính gác của chính phủ được giao phó những quyền lực khủng khiếp. Sự vĩ đại nằm ở đó cận thị của tiền điện tử. Họ hầu hết đã ly dị với thực tế của con người.

Mọi người mắc sai lầm. Mọi người thay đổi suy nghĩ của họ. Mọi người không phải lúc nào cũng hiểu đầy đủ về mối quan hệ kinh doanh mà họ đồng ý tham gia. Mọi người bị lừa dối và lừa dối. Hoàn cảnh thay đổi ở cấp độ cá nhân và tiểu bang đòi hỏi các giải pháp độc đáo. Đang làm việc điểm này, hầu hết các hợp đồng đều có điều khoản bất khả kháng.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 28 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Tuy nhiên, tiền điện tử tìm cách loại bỏ sự hiểu biết, lòng trắc ẩn và sự phán xét của con người để đổi lấy một thẩm phán kỹ thuật số vô tâm, hoàn toàn bị ràng buộc bởi hiến pháp mà không cần cân nhắc đến sự công bằng hoặc kết quả. Cho rằng con người đã luôn cố gắng và sẽ tiếp tục cố gắng để thay đổi các quy tắc để đạt được mục đích ích kỷ, thật sảng khoái khi thực sự có một hệ thống không thể bị hỏng.

Nhưng điều gì sẽ xảy ra khi người dùng cần kết hợp các hệ thống mới này với tài chính truyền thống? hệ thống? Điều gì xảy ra khi một người cần sống trong thế giới con người? Ví dụ, tài sản các quyền như đăng ký đất đai tồn tại hoàn toàn trong thế giới vật chất. Thậm chí token việc cải tạo đất vẫn đòi hỏi một số sự thừa nhận về thẩm quyền đương nhiệm.

Để cung cấp một điểm khác, một thỏi vàng không thể tự di chuyển. Thẩm phán kỹ thuật số có thể ra lệnh cho nó chuyển động, nhưng không thể ép buộc nó nếu không có con người điều tiết. Do đó sổ cái kỹ thuật số có thể trôi dạt khỏi thực tế.

Do đó, người thiết kế giao thức cần phải quyết định mức độ thực tế của con người được cho phép trong tiền điện tử. Càng linh hoạt thì càng ít trung thành với điều tuyệt đối. các bảo vệ người tiêu dùng nhiều hơn thì càng phải tồn tại nhiều cơ chế để cung cấp các khoản hoàn trả, hoàn tiền và biên tập lịch sử.

Phần này và phần tiếp theo về quy định đề cập đến cách tiếp cận thực tế của Cardano đối với chủ đề này. trong về khả năng tương tác, có hai nhóm lớn cần thảo luận. Thứ nhất, khả năng tương tác với hệ thống tài chính kế thừa (thế giới phi tiền điện tử). Thứ hai, khả năng tương tác với các thiết bị khác tiền điện tử.

Di sản

Fintech không bao gồm một tiêu chuẩn duy nhất hoặc thậm chí là một ngôn ngữ chung. Có rất nhiều

sự đa dạng trong cách tiếp cận, các đơn vị chịu trách nhiệm thanh toán và thanh toán bù trừ, hoạt động kinh doanh

các quy trình và các lĩnh vực khác liên quan đến việc tính toán, chuyển đổi và chuyển động của

giá trị.

Thật vô lý khi cho rằng, đơn giản chỉ vì một công nghệ vượt trội hơn thì các công nghệ còn lại

hệ sinh thái bằng cách nào đó sẽ thừa nhận thất bại và nâng cấp. Ví dụ, nhiều người vẫn sử dụng

Windows XP 16 năm sau lần phát hành đầu tiên Tình trạng đáng buồn này tương đương với một ai đó

sử dụng Macintosh ban đầu được phát hành vào năm 1984 vào năm 2000.

Bỏ qua hành vi của người tiêu dùng, các doanh nghiệp nhìn chung thậm chí còn chậm hơn trong chu kỳ nâng cấp của mình. Nhiều

các ngân hàng vẫn sử dụng phần phụ trợ được viết bằng Cobol. Một khi cơ sở hạ tầng được biết là có thể hoạt động và đáp ứng

yêu cầu kinh doanh, thường có rất ít động lực để nâng cấp hoặc cải tiến phần mềm và

các giao thức vì lợi ích của người tiêu dùng ngoài các mối lo ngại về tuân thủ hoặc bảo mật. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 29 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Đối với Cardano, trước tiên chúng ta phải xác định xem một cây cầu kế thừa sẽ đòi hỏi những gì? Những hệ thống nào,

các tiêu chuẩn, thực thể và giao thức mà chúng tôi nên nhắm tới để đảm bảo có sự chắc chắn hợp lý về

khả năng tương tác? Những cây cầu này có thể được liên kết hoặc phân cấp? Hoặc giống như trao đổi họ sẽ

trở thành điểm thất bại trung tâm của tin tặc, chủ sở hữu độc hại hoặc cơ quan quản lý quá nhiệt tình?

Có ba mối lo ngại cần được giải quyết. Đầu tiên, việc thể hiện thông tin và

niềm tin vào tính chính xác của nó. Thứ hai, đại diện cho giá trị và quyền sở hữu liên quan của nó. Thứ ba,

sự đại diện của các thực thể và của một người dùng cụ thể cùng với mức độ tin cậy tổng hợp đối với những thực thể đó

các thực thể.

Để trở nên hữu ích, thông tin và giá trị cần được luân chuyển tự do giữa thế giới tài chính truyền thống và

Cardano. Sau đó, kết quả cần được thiết lập và ghi nhận để xây dựng danh tiếng và cơ sở

để truy đòi. Tuy nhiên, những điều như vậy chủ yếu nằm trong phạm vi tự nhiên của các tác nhân liên quan. Để mã hóa

chúng trên blockchain sẽ biến chúng thành toàn cầu và vĩnh viễn.

Hơn nữa, giá trị không phải lúc nào cũng có thể tự do chảy trong thế giới kế thừa. Cấm vận, trừng phạt, vốn

kiểm soát và hành động tư pháp có thể đóng băng tài sản. Để có thể tương tác, người ta không thể tạo ra một

luôn mở van thoát để giá trị bị rò rỉ.

Cuối cùng, thương hiệu và danh tiếng của đơn vị là một trong những nền tảng của hoạt động thương mại. các mối quan hệ. Hàng tỷ đô la được chi hàng năm cho các chiến dịch tiếp thị nhằm thiết lập, duy trì và sửa chữa thương hiệu. Nếu có những tuyên bố bôi nhọ, sai sự thật hoặc gây nhầm lẫn về một cá nhân hoặc tổ chức thì họ có quyền tìm kiếm sự trợ giúp pháp lý. Tuy nhiên, nỗ lực của blockchain để bảo tồn vĩnh viễn lịch sử.

Giống như lựa chọn ngôn ngữ lập trình của chúng tôi, không có giải pháp lý tưởng nào để Cardano giải quyết những mối quan tâm này một cách chính xác ở mọi nơi. Đúng hơn là chúng ta phải nhượng bộ trước ý kiến được ủng hộ một lần nữa.

Đối với luồng thông tin, luồng này được gọi là nguồn cấp dữ liệu đáng tin cậy. Nó có nguồn và nội dung. Các nguồn có một số khái niệm về độ tin cậy và động cơ để lừa dối hoặc duy trì sự trung thực. Nội dung có thể được mã hóa tùy ý.

Vì chúng tôi có ý định hỗ trợ phần cứng đáng tin cậy trong ngăn xếp giao thức của mình nên chúng tôi đã chọn khám phá việc bổ sung hỗ trợ cho Giao thức Town Crier của Giáo sư Ari Juel và cộng sự. Giả sử sự tồn tại của một bộ nguồn dữ liệu đáng tin cậy, Town Crier cho phép quét web một cách an toàn nội dung để sử dụng trong smart contracts và các ứng dụng khác.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 30 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Danh sách các nguồn khởi động sẽ được cung cấp bởi Emurgo, IOHK và Cardano Foundation. sau này danh sách này sẽ được thay thế bằng danh sách do cộng đồng tuyển chọn sử dụng cơ chế bắt nguồn từ Cardano hệ thống kho bạc. Chúng tôi hy vọng rằng hệ thống danh tiếng có thể hiện thực hóa nhờ nguồn cấp dữ liệu tốt, từ đó tạo ra vòng phản hồi tích cực để dần dần nâng cao độ tin cậy và độ trung thực.

Việc thể hiện giá trị là một chủ đề phức tạp hơn. Không giống như thông tin - nơi mà một khi tính xác thực, kịp thời và đầy đủ được thiết lập, các giao thức có thể hoạt động một cách đáng tin cậy và theo cách xác định - giá trị tinh tế hơn.

Sau khi tokenđược chỉnh sửa, giá trị sẽ hoạt động giống như một đối tượng duy nhất. Thông tin có thể được sao chép và được chuyển đi khắp nơi nhưng token thể hiện quyền sở hữu một thứ gì đó (chẳng hạn như quyền sở hữu xe) thì không thể được nhân bản và giao dịch trên hai sổ cái khác nhau. Hành động này sẽ phá hủy một cách hiệu quả tính toàn vẹn của hệ thống.

Thách thức về khả năng tương tác kế thừa khi xử lý giá trị tokenized là sự tin cậy các giả định, độ tin cậy và khả năng kiểm tra thay đổi khi token lưu chuyển giữa các sổ cái. Ví dụ, nếu Bob sở hữu một số Bitcoin và sau đó gửi chúng vào một sàn giao dịch, khi đó Bob hiện có sự thể hiện của sàn giao dịch về Bitcoin của anh ấy trên sổ cái của họ. Trong trường hợp của MtGOX, sổ cái của họ đã làm không phù hợp với thực tế, khiến người dùng mất tất cả.

Vấn đề còn phức tạp hơn do nhu cầu về các hệ thống cũ có thể nhận ra token sống trong một loại tiền điện tử. Như đã đề cập trước đây, các doanh nghiệp thường phản đối việc nâng cấp phần mềm của họ và hỗ trợ các giao thức mới. Tình trạng này gây khó khăn cho việc nhìn rõ giải pháp.

Đối với Cardano, hy vọng tốt nhất của chúng tôi là cung cấp tùy chọn để người dùng đính kèm nguồn siêu dữ liệu phong phú vào các giao dịch của họ và sau đó chờ đợi các tiêu chuẩn ngành xuất hiện để áp dụng. Một số tiến bộ đã được thực hiện với nhóm làm việc Interledger, những nỗ lực như R3Cev và quốc tế bắt buộc phải nâng cấp các giao thức tài chính cũ.

Tuy nhiên, thách thức lớn hơn vẫn là định lượng và định tính giá trị được gửi từ một di sản hệ thống sang sổ cái tiền điện tử. Ví dụ: nếu Bob là chủ ngân hàng và phát hành đồng đô la được hỗ trợ token thì anh ấy luôn có thể xây dựng một cầu nối để gửi token của mình tới một sổ cái như Cardano dưới dạng tài sản do người dùng phát hành.

Mặc dù Cardano sẽ theo dõi quyền sở hữu một cách chính xác và cung cấp tất cả các tính năng mà chúng tôi đã hướng tới tình yêu như đánh dấu thời gian và khả năng kiểm toán, không có loại tiền điện tử nào có thể khiến Bob trở thành một chủ ngân hàng trung thực. Anh ta luôn có lựa chọn điều hành một ngân hàng dự trữ một phần bằng cách không thế chấp toàn bộ số đô la của mình. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 31 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

token bằng đô la thật. Tiền điện tử không thể phát hiện gian lận này trừ khi đồng đô la bản thân nó đã là token được hạch toán bằng sổ cái kỹ thuật số . 25

Cuối cùng, việc biểu diễn các thực thể trực tuyến là một bài toán mạng cổ điển có từ rất sớm. ngày của Internet. Các trường đại học, doanh nghiệp, cơ quan chính phủ và bất kỳ người dùng tùy ý nào cần thiết lập danh tính của họ tại một số điểm.

Để đạt được mục tiêu này, các giải pháp thực tế nhưng tập trung như Cơ sở hạ tầng khóa công khai của web và Hệ thống DNS của ICANN đã được triển khai. Cho rằng chúng ta thích trang web hiện đại, những các giải pháp đều có thể mở rộng và thực tế. Nhưng họ không trả lời theo hướng thương mại hơn câu hỏi về độ tin cậy, độ tin cậy và các đặc điểm meta khác cần thiết để xác định nếu một người muốn kinh doanh với thực thể đó.

Các tổ chức thị trường đa phương như eBay đã xây dựng một mô hình kinh doanh về việc cung cấp một số siêu dữ liệu này cùng với một khuôn khổ để hoàn thành các giao dịch. Những phán quyết về chất lượng nội dung, sự kiện và hoạt động kinh doanh thường bị ảnh hưởng sâu sắc chỉ bởi xếp hạng trực tuyến từ các nguồn đáng tin cậy. 26

Phần của điểm này liên quan đến Cardano là vấn đề tập trung danh tiếng. Một trong mục tiêu của chúng tôi cho Cardano là cung cấp nguồn tài chính cho các nước đang phát triển. Chìa khóa cho nỗ lực này là khả năng tạo dựng niềm tin với những người chưa từng gặp mặt.

Nếu một thực thể đơn lẻ hoặc một tập đoàn các thực thể kiểm soát ai được dán nhãn tốt hay xấu, chứ không phải một tổ chức hữu cơ quá trình bắt nguồn từ sự tương tác thực tế trong cộng đồng nói chung, thì các thực thể này có thể tùy tiện đưa vào danh sách đen bất cứ ai vì bất kỳ tội lỗi nào. Quyền lực này đi ngược lại các giá trị của chúng tôi với tư cách là một dự án và đánh bại quan điểm rộng hơn của việc sử dụng tiền điện tử.

May mắn thay, các cơ chế tương tự được sử dụng trong việc bỏ phiếu bầu kho bạc, bổ sung các nguồn vào danh sách nguồn cấp dữ liệu đáng tin cậy và phân nhánh một giao thức có thể được sử dụng lại để thiết lập không gian danh tiếng. Nó là một lĩnh vực nghiên cứu mở và hy vọng của chúng tôi là cung cấp một giao thức lớp phủ cho một nền tảng phi tập trung mạng lưới tín nhiệm uy tín trong năm 2018-2019 sau khi nhiều yếu tố nền tảng đã được giải quyết.

Khả năng tương tác tiền điện tử

25 Mặt khác, đối với sổ cái kỹ thuật số, bằng chứng dự trữ đã được đề xuất như một cách thông minh để lưu giữ tiền điện tử chỉ trao đổi trung thực. 26 Những tỷ lệ này thậm chí còn ảnh hưởng đến việc tạo ra nội dung. Xem câu chuyện thú vị này về cách Rotten Tomatoes đã tác động đến ngành công nghiệp điện ảnh. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 32 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Chuyển từ thế giới kế thừa sang sổ cái kỹ thuật số phân tán, khả năng tương tác trở nên đơn giản hơn nhiều. Mỗi sổ cái có một giao thức mạng, các tiêu chuẩn liên lạc và các giả định bảo mật về thuật toán đồng thuận tương ứng của nó. Những điều này lần lượt có thể được định lượng dễ dàng.

Sự di chuyển thông tin được thiết lập bằng cách kết nối với mạng nước ngoài và dịch nó tin nhắn. Việc di chuyển giá trị có thể được thực hiện thông qua hệ thống chuyển tiếp, giao dịch chuỗi chéo nguyên tử hoặc thông qua một sơ đồ sidechains thông minh. Vì không có một nhà điều hành tập trung nên một việc đại diện cho các thực thể hạn chế nhiều hơn vào việc siêu thảo luận về niềm tin vào các nhà phát triển, thợ mỏ hoặc một số nhà môi giới quyền lực khác.

Đối với Cardano, chúng tôi đang tích hợp giao thức sidechain mới được phát triển bởi Kiayias, Miller và Zindros. Nó cung cấp một cách không tương tác để di chuyển giá trị một cách an toàn giữa hai chuỗi hỗ trợ giao thức. Cơ chế này sẽ là cách thức chính để truyền giá trị giữa CSL và lớp CCL.

Đối với các loại tiền điện tử khác, các cầu nối liên kết sẽ hình thành khi Cardano tăng giá trị và số lượng người dùng cơ sở. Để giúp đẩy nhanh tốc độ tăng trưởng này, Cardano SL hỗ trợ phiên bản giới hạn của Plutus dành cho kịch bản tương tác. Các giao dịch mới sẽ được thêm vào Shelley và các bản phát hành CSL sau này cụ thể để giải quyết những nhu cầu này.

Mê cung Daedalus

Các quan điểm về khả năng tương tác đến từ góc độ toàn cầu. Các giao thức chuyên biệt, mới

loại giao dịch, hệ thống đánh giá độ tin cậy và luồng thông tin không thể được giới hạn trong phạm vi

chỉ là một người gác cổng hoặc người dùng. Đúng hơn là chúng phải có sẵn cho bất cứ ai mà không cần

kiểm duyệt hoặc phí cầu đường.

Tuy nhiên, điều gì sẽ xảy ra khi Cardano không hỗ trợ giao thức, giao dịch hoặc ứng dụng mà một

người dùng không thể sống thiếu? Chúng ta có nên nằm ngoài phạm vi không? Web phải đối mặt với mối lo ngại tương tự

trong những năm 1990.

Trớ trêu thay, web cung cấp hai giải pháp khác nhau có thể được nhân rộng bằng tiền điện tử.

Sự ra đời của JavaScript đã cung cấp khả năng lập trình cho bất kỳ trang web nào để thêm tùy ý

tính năng. Việc giới thiệu các plugin và tiện ích mở rộng của trình duyệt đã bổ sung thêm các khả năng tùy chỉnh cho

người dùng sẵn sàng cài đặt chúng. Cả hai cách tiếp cận đều mang lại cho chúng tôi trang web hiện đại cùng với tất cả các tính năng bảo mật của nó

nỗi kinh hoàng.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 33 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Ethereum đã áp dụng cách tiếp cận trước đây bằng cách cho phép người dùng nhúng các giao thức con trên

Ethereum blockchain dưới dạng smart contracts. Cardano hỗ trợ tính năng này thông qua CCL

mô thức. Nhưng còn tiện ích mở rộng tùy chỉnh thì sao?

Một ví dụ làm sáng tỏ sẽ là một nhà giao dịch tiền điện tử. Hãy tưởng tượng một thị trường phi tập trung,

được gọi là DM, hỗ trợ một tập hợp các loại tiền điện tử khác nhau. Một nhà giao dịch muốn tự động hóa

chiến lược hành động trên DM.

Trong một hệ sinh thái bị phân mảnh, nhà giao dịch sẽ phải cài đặt hàng tá ứng dụng khách cho mỗi hệ sinh thái.

tiền điện tử và sau đó viết phần mềm tùy chỉnh để nói chuyện với từng khách hàng nhằm phối hợp

giao dịch tự động. Nếu một khách hàng cập nhật thì nó có thể làm hỏng phần mềm riêng biệt. Hơn nữa,

nếu người giao dịch muốn bán phần mềm thì sao?

Lấy cảm hứng từ mô hình web của các tiện ích mở rộng, nếu giao diện cho các loại tiền điện tử khác nhau có thể

được kéo vào một ngăn xếp web thì nhiệm vụ của nhà giao dịch trở nên dễ dàng hơn đáng kể. Một phổ quát

giao diện có thể được thiết lập. Cài đặt chỉ bằng một cú nhấp chuột. Việc phân phối phần mềm có thể được mô hình hóa

sau cửa hàng trực tuyến Chrome.

Đối với Cardano, chúng tôi đã quyết định thử nghiệm mô hình này bằng cách triển khai tài liệu tham khảo của mình

giao diện người dùng của ví trên Electron. Đây là một dự án nguồn mở được duy trì bởi Github kết hợp

cả Node và Chrome cùng nhau. Bản dựng Electron của Cardano có tên là Daedalus.

Thế hệ đầu tiên của Daedalus sẽ hoạt động như một ví HD với sự hỗ trợ cho nhiều tính năng được mong đợi

27 các tính năng kế toán và bảo mật theo tiêu chuẩn ngành, chẳng hạn như mật khẩu chi tiêu và

BIP39. Ở các thế hệ sau, Daedalus sẽ phát triển thành một khung ứng dụng có cửa hàng,

API tích hợp phổ quát và SDK.

Những cải tiến quan trọng là dễ phát triển bằng cách cho phép các lập trình viên sử dụng JavaScript,

HTML5 và CSS3 để xây dựng các ứng dụng của họ và là cầu nối thống nhất cho nhiều ứng dụng

giao tiếp. Hành vi phức tạp như mật mã, quản lý mạng phân tán và

cơ chế cơ sở dữ liệu có thể được trừu tượng hóa, do đó cho phép nhà phát triển chỉ tập trung vào người dùng

kinh nghiệm và logic cốt lõi của ứng dụng của họ.

Vì Daedalus được dự định là một khuôn khổ phổ quát nên lộ trình và sự phát triển của nó có phần

độc lập với Cardano. Trong năm 2017 chúng được kết hợp chặt chẽ với nhau nhưng sau này Cardano sẽ chỉ được kết hợp chặt chẽ với nhau

một ứng dụng khác dành cho người dùng Daedalus. Chúng tôi cũng có ý định khám phá những tính năng cực kỳ độc đáo

chẳng hạn như dịch vụ quản lý khóa chung chỉ chạy trong Intel SGX.

27 Đã có sẵn tại daedaluswallet.io
TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 34 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Cuối cùng, với tư cách là nhà thiết kế giao thức, chúng tôi không thể hỗ trợ mọi nhu cầu. Hy vọng của chúng tôi là sự linh hoạt

mà Daedalus sẽ cung cấp kết hợp với smart contract trạng thái chạy trên CCL sẽ đáp ứng

những thứ bị bỏ sót do quyết định thiết kế của chúng tôi. Chúng tôi cũng hy vọng rằng các tiêu chuẩn tốt hơn có thể xuất hiện để

khuyến khích tất cả các loại tiền điện tử tận hưởng khả năng tương tác và bảo mật tốt hơn.

規制

誤った二分法

規制は気まぐれで難解であることが多いですが、比喩的にエレガントな規制を推測することができます。正義を求める腐敗した検察官の物語のループ。規制はツールキットです法をもたらす者。しかし、他のツールと同様に、それらは粗雑であったり、古いものであったり、単に誤用されている可能性があります。

暗号通貨は人間の状況や物語のループを変えませんでした。常に存在します最善の意図にもかかわらず、詐欺、悪者、そしてひどい結果になる可能性があります。その間暗号通貨は人間の判断を排除することはできますが、人間の行動を排除することはできません。

仮想通貨の設計者は、規制当局にどのようなツールキットを提供するかについての立場をとらなければならない悪い出来事を修正します。暗号通貨が直面する独特の課題は、仮想通貨が次のようなものであるということです。規制および金融上の失敗。 28

文化的に、仮想通貨業界の多くは政府の行動が腐敗している、無能である、または不正であると考えています。効果がない。したがって、彼らは特別なバックドアを支持することへの敬意、忍耐、または願望をほとんど持っていません。規制当局や法務官が不正を正すため。この行為は、暗号通貨。

一方で、取引所の失敗や歴史的出来事を考慮すると、10% 以上が Bitcoin は、2009 年 1 月 3 日にプロトコルが開始されて以来、紛失または盗難に遭っています。6 月 30 日現在、 2017 年の紛失または盗難の価値は 40 億ドル強に達します。そして、この数字は考慮されていません Bitcoin とその他の token は、詐欺や不適切な ICO によって失われました。

28 実際、サトシはタイムズ紙から抜粋した次の見出しを Bitcoin ジェネシスブロックに埋め込みました。タイムズ紙 2009/01/03 銀行に対する二度目の救済の瀬戸際にある首相私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 35/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

次に、プライバシーの問題があります。マクロスケールでは、価値は特化したチャネルを通じて流れます規制され、豊富なメタデータがあり、法執行機関や政府によって積極的に監視されているものそして国際規制当局。でのみ漏れが発生するよく理解されたゲームです。世界がデジタルマネーに移行するにつれて、現金の側面は徐々に減少しています。

仮想通貨が存在しなかった場合のパラダイムは、ますます仮想通貨を扱う世界になるように思われます。ソーシャルメディアコンテンツのような経済的プライバシー。何もなく、オプトアウトすることもできません。したがって、私たちは明らかな二分法を生み出すジレンマを抱えています。

暗号通貨の設計者は原則を放棄し、ローカルの要求に何でも従うことができます。管轄権がそのコードに課されるため、そのコードのプライバシーと完全性が侵害されます。ユーザー。あるいは、より原則的だがアナーキズム的な、哲学から切り離された哲学を採用することもできる。現在のベストプラクティスと法律。

Cardano にとって、この物語は想像力の欠如によってもたらされた誤った二分法であると感じます。の現実には、ほとんどのユーザーは市場に存在するルールを気にしていません。彼らは通常、 1 人または複数の関係者に利益をもたらすためにルールが突然変更されることを懸念しています。彼らは心配しています誰が特別な特権を得るのかについての透明性の欠如について。

私たちは個人の権利と市場の権利を区別する必要があります。暗号通貨にはグローバルに展開するには、権利は可能な限りユーザー指向である必要があります。

プライバシーは合理的であり、門番ではなくユーザーが制御できるものである必要があります。価値の流れ無制限であるべきです。価値は、同意なしに突然没収されるべきではありません。

市場の観点から見ると、市場はデータの使用方法について透明性を保つ必要があります。資金は内部で処理され、全員が同じルールに従ってプレイする必要があります。さらに、ユーザーが一度同意すると、次のような理由で突然考えを変えることはできません。不便。取引相手も確実性を必要としています。

しかし、抽象的なシステムから実際のシステムに正確に移行するにはどうすればよいでしょうか?どうすればいいですか実用的かつ合法的に見えるか？私たちはソリューションをメタデータ、メタデータ、認証とコンプライアンス、およびマーケットプレイス DAOs。

29 読者は、デビッド・ウォルマンの『お金の終わり』を手に取ることを検討すべきです。それは、現金消滅への国際的な動き。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 36/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

メタデータ

何かの行為は、それを取り巻くメタデータほど興味深いものではないことがよくあります。のためにたとえば、デンバーからボルダーまで車で行くのは行為です。フェラーリでデンバーからボルダーまでドライブ平均時速 120 マイルで 488 がメタデータです。確かに、これは、実際の場合とは異なる経験を示唆します。トヨタのプリウスは平均時速30マイル。

金融取引も同様です。彼らを取り巻く状況は異常です経済学者、税務当局、法執行機関、企業、その他の団体にとって重要です。悲しいことに現在の法定通貨ベースのシステムでは、ほとんどの消費者は自分のメタデータがどれほど豊富であるかを決して知りません。トランザクションは、または誰と共有されますか。 30

Cardano については、ユーザーが共有する必要がある、または法的に義務付けられている可能性があることを認めます。税務当局などの特定の関係者とのトランザクションメタデータ。しかし、私たちはこの共有が必要であると信じています。ユーザーの同意がある場合。

また、blockchain システムには、詐欺、無駄、および不正行為を排除する大きな力があると信じています。監査可能性、タイムスタンプ、不変性を提供することで悪用を防止します。したがって、一部のメタデータは次のようになります。 Cardano blockchain に投稿されました。

難しいのは、blockchain を過大評価にしない正しいバランスを見つけることです。膨満。この懸念を考慮して、私たちは実用的なアプローチを選択しました。

まず、Daedalus は今後 12 か月間にわたって、ラベルを付けるための多数の機能をサポートします。取引と金融活動。これらのメタデータは、オンデマンドでエクスポートして共有できます。ユーザーが必要と判断した人なら誰でも。さらに、データは第三者によって操作される可能性があります。ドメイン固有の目的 (税務会計など) のアプリケーション。

2 番目に、hashes や暗号化されたフィールド。この構造により、ユーザーはメタデータを blockchain に投稿することができます。それを公に明らかにすることです。しかし、彼女がデータを共有したい場合は、すべての監査可能性が伴うことになります。トランザクションが享受する不変性とタイムスタンプの保証。

30 よりマクロなスケールで、著者のフアン・ザラテは、このデータが米国財務省によってどのように使用されるかについて書いています。財務省戦争における対テロ戦争の部門。これは、世界金融市場の現在の構造は、地政学的な目的に利用される可能性があります。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 37/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

属性フィールドを含むアドレス構造はすでにデプロイ済みです。現在はウォレットを迅速に回復するために、HD ウォレットツリー構造の暗号化されたコピーを保存するために使用されます (「 HD ウォレットのドキュメント)。後のバージョンでは、この構造が一般化されます。

認証とコンプライアンス

取引と密接に関係しているのは、取引を行う権利と、資金の所有権。たとえば、何かを購入するのに十分な資金があるとしても（アルコールなど）、購入に制限（年齢要件）がある場合があります。

資金の所有権と出所は通常、顧客の規制に従って決まります。銀行や取引所などのマネーサービス事業者が新規顧客の口座を開設すると、通常、顧客とその資金をどこで入手したかに関する基本的な事実を収集する必要があります。から。

技術的な課題は、この法的に要求されたデータを提出する過程で、情報を送信するユーザーは、それがどのように使用され、保存されるか、また今後も使用されるかどうかについては保証がありません。破壊されました。コンプライアンス情報は商業的に価値があります。個人情報盗難で盗まれる可能性があるまたは規制が許可する場合は再販します。

Cardano に関しては、できる限り革新したいと考えています。プロトコルのソフトウェア側には、コンプライアンス情報の受信者が一定の範囲内で行動することを保証するものはほとんどありません。行為の範囲。ただし、プロトコルのハードウェア側では、信頼できるハードウェアを使用して、 Intel SGX およびその他の HSM を活用して、特定のポリシーを適用します。

したがって、私たちは安全なセキュリティを許可する共有ポリシーと並行して Sealed Glass Proofs の使用を検討しています。コンプライアンス情報を検証者に送信し、検証者は順守を強制されます。ポリシーに基づいて送信されました。私たちは、両方の統一基準が出現する可能性があると信じています。また、この方法は顧客データの損失を防ぐことで検証者のリスクを軽減します。ハッカー。

この取り組みの必然として、Cardano に対して値を分離する階層化モデルを提案します。計算もこのアプローチから恩恵を受けることができます。計算層が規制対象によって実行されている場合エンティティ (取引所やカジノなど) の場合、コンプライアンスチェックを実施する必要があります。ユーザーに対して課税政策を適用する可能性があります。

SGP を使用すると、ユーザーは個人を特定できる情報とともに資金を送金することができます。それがより広範なインターネットに漏洩するか、またはそのコンセンサスノードによって保存されるのではないかという懸念。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 38/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

計算層。さらに、計算層は、すべてのユーザーが取引は認証され、合法的です。

このパラダイムにより、規制対象組織間での顧客のポータビリティも可能になります。交換できる可能性がありますこれらの安全なチャネルを通じて顧客の残高と口座を即座に転送するだけでなく、政策が許可する場合は、規制当局とデータを共有します。

このテクノロジーの最初のベータテストは、次の目的で 2018 年半ばに実施される予定です。研究結果が出るまで、2018 年末から 2019 年初めにかけて Cardano 統合に向けて取り組んでいます。このタイムラインまた、ARM および Intel と連携して、実行するコードの署名を取得できることも想定しています。彼らのハードウェア。 31 マーケットプレイス DAOs

前の 2 つのセクションでは、次のことを前提とした情報の生成と移動について説明しました。何らかの外部システムの存在。従来の相互運用性を確保するために、これらの機能は常に必要ですが、blockchain ベースの規制には対応していません。

スマートコントラクトは、人間関係を維持するまったく新しい種類の商業システムを可能にします。決定的で自己強制的であり、曖昧さはありません。これらは、次に、次のルールを作成するために使用できます。仲裁、イベント主導の返金など、任意に複雑な構造を含むマーケットプレイスそして特別な条件を与えられた事実の暴露。

これらの smart contract 強制構造をマーケットプレイス DAO と呼びます。必要ありません台帳に埋め込まれる特別なプロトコルのサポートや変更可能性。実際、それらは完全に可能です相互依存する smart contract のコレクションを使用して構築されます。

アーキテクチャのコンセプトは、以下からインスピレーションを得た商用テンプレートのコレクションをデザインすることです。契約法とビジネスのベストプラクティス。これらのテンプレートは、開発者のテンプレートに接続できます。 smart contract 市場に特定の基準を強制します。

たとえば、開発者がクラウドセールを行うために CCL で ERC20 token を発行したいとします。あマーケットプレイス DAO はクラウドセールとその利用規約に特化して設立される可能性がありますパラメータ化されたり、ボランティアや法的基準によって強制されたりすることもあります。返金などの事、資金の再配分や支払いの凍結は開発者のERC20に継承される可能性がある契約。

31 インテル SGX 商用ライセンスポリシーを参照私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 39/44 ページ

IOHK |なぜカルダノを構築するのか | 2017/06/28

この取り組みにより、市場をどのように管理すべきかについてマクロな議論ができるようになります。消費者保護を確保するため。次に、トランザクションをモデル化する方法について説明します。特定の管轄区域内での法的保護と権利を自動的に確保する方法。ニューハンプシャー州。

Cardano 財団、IOHK、その他の団体と協力して、Cardano プロジェクトは smart contract 開発者が使用する Marketplace DAOs のリファレンスライブラリ。私たちの希望はそれです保険市場と規制市場はこれらのDAOを中心に形成される可能性があり、それらは結果に基づいて自己進化します。

Quy định

Sự phân đôi sai lầm

Vì các quy định thường có thể thay đổi và phức tạp, người ta có thể suy ra một cách ẩn dụ một cách thanh lịch. vòng lặp kể chuyện của những kẻ tham nhũng và các công tố viên của họ đang tìm kiếm công lý. Các quy định là bộ công cụ của người làm luật. Nhưng giống như tất cả các công cụ, chúng có thể thô sơ, cũ kỹ hoặc đơn giản là bị sử dụng sai mục đích.

Tiền điện tử không thay đổi hoàn cảnh của con người hoặc vòng lặp tường thuật. Sẽ luôn có là lừa đảo, kẻ xấu và kết quả khủng khiếp mặc dù có ý định tốt nhất. Trong khi tiền điện tử có thể loại bỏ sự phán xét của con người, chúng không thể loại bỏ hành vi của con người.

Một nhà thiết kế tiền điện tử phải xác định được bộ công cụ mà anh ta sẽ cung cấp cho cơ quan quản lý sửa chữa những sự kiện xấu. Thách thức duy nhất mà tiền điện tử phải đối mặt là chúng là sản phẩm của thất bại về mặt quản lý và tiền tệ. 28

Về mặt văn hóa, nhiều người trong lĩnh vực tiền điện tử coi hành động của chính phủ là tham nhũng, thiếu hiệu quả hoặc không hiệu quả. Vì vậy, họ ít tôn trọng, kiên nhẫn hay mong muốn ủng hộ một cửa hậu đặc biệt. cho một cơ quan quản lý hoặc luật sư để sửa chữa sai lầm. Hành động này sẽ là sự nguyền rủa đối với toàn bộ mục đích của tiền điện tử.

Mặt khác, tính cả những thất bại của sàn giao dịch và các sự kiện lịch sử, hơn 10% Bitcoin đã bị mất hoặc bị đánh cắp kể từ khi giao thức bắt đầu vào ngày 3 tháng 1 năm 2009. Tính đến ngày 30 tháng 6, Vào năm 2017, giá trị bị mất hoặc bị đánh cắp lên tới hơn 4 tỷ USD. Và con số này không tính đến cho Bitcoin và token khác bị thua do lừa đảo và ICO kém hình thành.

28 Trên thực tế, Satoshi đã nhúng vào Bitcoin Genesis Block với dòng tiêu đề sau được lấy từ The Times: The Times 03/01/2009 Thủ tướng sắp có gói cứu trợ ngân hàng lần thứ hai TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 35 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Sau đó là vấn đề về quyền riêng tư. Ở quy mô vĩ mô, giá trị chảy qua các kênh chuyên biệt được quản lý, giàu siêu dữ liệu và được cơ quan thực thi pháp luật, chính phủ giám sát tích cực và các cơ quan quản lý quốc tế. Đây là một trò chơi được hiểu rõ với sự rò rỉ chỉ xảy ra trên khía cạnh tiền mặt, vốn đang giảm dần khi thế giới chuyển sang tiền kỹ thuật số.

Mô hình nếu tiền điện tử không tồn tại dường như là một thế giới ngày càng xử lý quyền riêng tư tài chính như nội dung truyền thông xã hội. Không có và người ta không thể từ chối. Do đó chúng tôi có một tình thế tiến thoái lưỡng nan dẫn đến sự phân đôi rõ ràng.

Một nhà thiết kế tiền điện tử có thể từ bỏ các nguyên tắc và tuân theo bất kỳ yêu cầu nào của địa phương họ quyền tài phán đặt lên mã của họ, do đó làm tổn hại đến quyền riêng tư và tính toàn vẹn của mã của họ. người dùng. Hoặc anh ta có thể áp dụng một triết lý có nguyên tắc hơn nhưng mang tính vô chính phủ, tách biệt khỏi các thông lệ và luật lệ tốt nhất hiện nay.

Đối với Cardano, chúng tôi cảm thấy câu chuyện này là một sự phân đôi sai lầm do thiếu trí tưởng tượng. các thực tế là hầu hết người dùng không quan tâm đến các quy tắc hiện có cho thị trường. Họ thường lo ngại về những thay đổi đột ngột trong các quy tắc nhằm mang lại lợi ích cho một hoặc nhiều chủ thể. Họ đang lo lắng về sự thiếu minh bạch về việc ai được hưởng đặc quyền.

Chúng ta cần phân biệt giữa quyền cá nhân và quyền thị trường. Cho rằng tiền điện tử có phạm vi toàn cầu, các quyền cần phải hướng tới người dùng nhất có thể.

Quyền riêng tư phải hợp lý và nằm trong tầm kiểm soát của người dùng chứ không phải người gác cổng. Dòng chảy giá trị nên không bị hạn chế. Giá trị không nên bị tịch thu đột ngột mà không có sự đồng ý.

Từ góc độ thị trường, thị trường cần minh bạch về việc sử dụng dữ liệu, cách thức tiền sẽ được xử lý nội bộ và mọi người cần phải chơi theo cùng một bộ quy tắc. Hơn nữa, một khi người dùng đã đồng ý thì họ không thể đột ngột thay đổi quyết định do sự bất tiện. Các đối tác cũng cần sự chắc chắn.

Nhưng chính xác thì làm thế nào để chuyển từ hệ thống trừu tượng sang hệ thống thực tế? Điều gì nên thực tế và pháp lý như thế nào? Chúng tôi đã chia giải pháp của mình thành ba loại: siêu dữ liệu, xác thực và tuân thủ cũng như thị trường DAOs.

29 Độc giả nên cân nhắc mua một cuốn The End of Money của David Wolman. Nó bao gồm phong trào quốc tế hướng tới sự biến mất của tiền mặt. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 36 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Siêu dữ liệu

Hành động của một điều gì đó thường có thể kém thú vị hơn siêu dữ liệu xung quanh nó. cho Ví dụ: lái xe từ Denver đến Boulder là một hành động. Lái xe từ Denver đến Boulder trên chiếc Ferrari 488 ở mức trung bình 120 MPH là siêu dữ liệu. Chắc chắn điều này hàm ý một trải nghiệm khác với trong một Toyota Prius ở tốc độ trung bình 30 MPH.

Các giao dịch tài chính cũng không khác. Bối cảnh xung quanh họ cực kỳ đặc biệt quan trọng đối với các nhà kinh tế, cơ quan thuế, cơ quan thực thi pháp luật, doanh nghiệp và các đơn vị khác. Đáng buồn thay trong hệ thống dựa trên tiền pháp định hiện tại của chúng tôi, hầu hết người tiêu dùng không bao giờ thấy được siêu dữ liệu của họ phong phú đến mức nào. giao dịch là gì hoặc họ được chia sẻ với ai . 30

Đối với Cardano, chúng tôi thừa nhận rằng người dùng có thể cần hoặc được pháp luật yêu cầu chia sẻ siêu dữ liệu giao dịch với một số tác nhân nhất định như cơ quan thuế. Nhưng chúng tôi tin rằng việc chia sẻ này phải được sự đồng ý của người dùng.

Chúng tôi cũng tin rằng hệ thống blockchain có sức mạnh to lớn để loại bỏ gian lận, lãng phí và lạm dụng bằng cách cung cấp khả năng kiểm tra, đánh dấu thời gian và tính bất biến. Vì vậy một số siêu dữ liệu nên được đã đăng lên Cardano blockchain.

Phần khó khăn là tìm ra sự cân bằng chính xác mà không ảnh hưởng đến blockchain của chúng tôi. đầy hơi. Với mối quan tâm này, chúng tôi đã chọn một cách tiếp cận thực dụng.

Đầu tiên, Daedalus sẽ hỗ trợ trong 12 tháng tới một loạt tính năng để gắn nhãn giao dịch và hoạt động tài chính. Những siêu dữ liệu này có thể được xuất và chia sẻ theo yêu cầu với bất cứ ai người dùng thấy cần thiết. Hơn nữa, dữ liệu có thể được vận hành bởi ba bên các ứng dụng cho các mục đích cụ thể của miền (ví dụ: kế toán thuế).

Thứ hai, chúng tôi đang khám phá việc bổ sung hỗ trợ cho các địa chỉ đặc biệt có thể bao gồm hashes và các trường được mã hóa. Cấu trúc này sẽ cho phép người dùng đăng siêu dữ liệu trên blockchain của chúng tôi mà không cần công khai tiết lộ điều đó. Nhưng nếu cô ấy muốn chia sẻ dữ liệu, nó sẽ có tất cả khả năng kiểm tra, tính bất biến và sự đảm bảo về dấu thời gian mà một giao dịch được hưởng.

30 Ở quy mô vĩ mô hơn, tác giả Juan Zarate viết về cách Kho bạc Hoa Kỳ sử dụng dữ liệu này Bộ trong cuộc chiến chống khủng bố trong Cuộc chiến của Kho bạc. Nó cung cấp một cái nhìn toàn diện về cách thức Cấu trúc hiện tại của thị trường tài chính toàn cầu có thể được sử dụng cho mục đích địa chính trị. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 37 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Chúng tôi đã triển khai cấu trúc địa chỉ có chứa trường thuộc tính. Hiện tại nó đang đang được sử dụng để lưu trữ bản sao được mã hóa của cấu trúc cây ví HD để phục hồi ví nhanh chóng (xem Tài liệu về Ví HD). Các phiên bản sau sẽ khái quát cách xây dựng này.

Xác thực và tuân thủ

Gắn liền với các giao dịch là các chủ đề về quyền thực hiện giao dịch và quyền sở hữu các quỹ. Ví dụ: mặc dù có thể có đủ tiền để mua một thứ gì đó (ví dụ: ví dụ như rượu), có thể có những hạn chế trong việc mua hàng (yêu cầu về độ tuổi).

Quyền sở hữu và nguồn gốc của tiền thường phụ thuộc vào các quy định khách hàng của bạn. Khi một doanh nghiệp dịch vụ tiền tệ như ngân hàng hoặc sàn giao dịch mở tài khoản cho một khách hàng mới, thường được yêu cầu thu thập thông tin cơ bản về khách hàng và nơi họ kiếm được tiền từ.

Thách thức về mặt công nghệ là trong quá trình nộp yêu cầu pháp lý này thông tin, người dùng gửi nó không có gì đảm bảo nó sẽ được sử dụng, lưu trữ như thế nào và liệu nó có bao giờ được bị phá hủy. Thông tin tuân thủ có giá trị về mặt thương mại. Nó có thể bị đánh cắp để đánh cắp danh tính hoặc bán lại khi quy định cho phép.

Đối với Cardano, chúng tôi muốn đổi mới nhiều nhất có thể. Về phía phần mềm của các giao thức, có rất ít để đảm bảo rằng người nhận thông tin tuân thủ sẽ hành xử trong phạm vi phạm vi hành vi. Tuy nhiên, về mặt phần cứng của các giao thức, sử dụng phần cứng đáng tin cậy, người ta có thể tận dụng Intel SGX và các HSM khác để thực thi một số chính sách nhất định.

Vì vậy, chúng tôi đang khám phá việc sử dụng Kính kín cùng với chính sách chia sẻ để cho phép bảo mật an toàn. truyền thông tin tuân thủ đến người xác minh, người này buộc phải tuân thủ các chính sách mà nó được truyền đi. Chúng tôi tin rằng cả hai tiêu chuẩn thống nhất đều có thể xuất hiện và Ngoài ra, phương pháp này sẽ giảm rủi ro cho người xác minh bằng cách ngăn chặn việc mất dữ liệu khách hàng từ tin tặc.

Như một hệ quả tất yếu cho nỗ lực này, mô hình phân lớp mà chúng tôi đề xuất để Cardano tách giá trị khỏi tính toán cũng có thể được hưởng lợi từ phương pháp này. Nếu lớp tính toán được chạy theo quy định các thực thể (chẳng hạn như sàn giao dịch hoặc sòng bạc), thì họ sẽ cần tiến hành kiểm tra việc tuân thủ và có khả năng thực thi chính sách thuế đối với người dùng.

Sử dụng SGP, người dùng có thể gửi tiền cùng với thông tin nhận dạng cá nhân mà không cần lo ngại rằng nó sẽ rò rỉ vào mạng internet rộng hơn hoặc được bảo vệ bởi các nút đồng thuận của TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 38 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

lớp tính toán Hơn nữa, lớp tính toán sẽ đạt được sự chắc chắn rằng tất cả người dùng giao dịch được xác thực và hợp pháp.

Mô hình này cũng cho phép khả năng di chuyển của khách hàng giữa các thực thể được quản lý. Trao đổi có thể chuyển số dư và tài khoản cho khách hàng ngay lập tức thông qua các kênh an toàn này và cũng — khi chính sách cho phép — chia sẻ dữ liệu với cơ quan quản lý.

Chúng tôi hy vọng thử nghiệm beta đầu tiên của công nghệ này sẽ được tiến hành vào giữa năm 2018 với mục tiêu hướng tới tích hợp Cardano vào cuối năm 2018 đến đầu năm 2019 đang chờ kết quả nghiên cứu. Dòng thời gian này cũng giả định khả năng cộng tác với ARM và Intel để có được mã được ký để chạy trên phần cứng của họ. 31 Thị trường DAOs

Hai phần trước đề cập đến việc tạo ra và di chuyển thông tin giả định rằng sự tồn tại của một số hệ thống bên ngoài. Để đảm bảo khả năng tương tác kế thừa, các tính năng này sẽ luôn là cần thiết nhưng chúng không giải quyết được quy định dựa trên blockchain.

Hợp đồng thông minh cho phép một loại hệ thống thương mại hoàn toàn mới, nơi các mối quan hệ được thiết lập mang tính quyết định, tự thực thi và không có sự mơ hồ. Chúng có thể lần lượt được sử dụng để tạo ra các quy tắc cho thị trường bao gồm các cấu trúc phức tạp tùy ý như trọng tài, hoàn tiền theo sự kiện, và sự tiết lộ các sự kiện trong những điều kiện đặc biệt.

Chúng tôi gọi đây là smart contract cấu trúc được thi hành Thị trường DAOs. Họ không yêu cầu hỗ trợ giao thức đặc biệt cũng như khả năng thay đổi được nhúng vào sổ cái. Trên thực tế, chúng hoàn toàn có thể được xây dựng bằng cách sử dụng tập hợp smart contracts phụ thuộc lẫn nhau.

Ý tưởng kiến trúc là thiết kế một bộ sưu tập các mẫu thương mại lấy cảm hứng từ luật hợp đồng và các thông lệ kinh doanh tốt nhất. Các mẫu này có thể được kết nối với nhà phát triển smart contract để thực thi các tiêu chuẩn cụ thể trên thị trường.

Ví dụ: giả sử nhà phát triển muốn phát hành ERC20 token trên CCL để tiến hành bán hàng cộng đồng. A Thị trường DAO có thể được thiết lập riêng cho hoạt động bán hàng cộng đồng cũng như các điều khoản và điều kiện của nó được tham số hóa hoặc thậm chí được thực thi bởi các tiêu chuẩn tình nguyện hoặc pháp lý. Những việc như hoàn lại tiền, việc tái phân bổ tiền hoặc đóng băng thanh toán có thể được kế thừa trong ERC20 của nhà phát triển hợp đồng.

31 Xem Chính sách cấp phép thương mại Intel SGX TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 39 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Nỗ lực này cho phép chúng tôi có một cuộc thảo luận vĩ mô về cách kiểm soát thị trường nhằm đảm bảo quyền lợi người tiêu dùng. Thứ hai, chúng ta có thể thảo luận cách mô hình hóa các giao dịch trong một cách để tự động đảm bảo sự bảo vệ pháp lý và các quyền trong phạm vi khu vực pháp lý cụ thể, chẳng hạn như New Hampshire.

Làm việc với Quỹ Cardano, IOHK và các đơn vị khác, dự án Cardano sẽ tạo ra một thư viện tham khảo của Marketplace DAOs để smart contract nhà phát triển sử dụng. Hy vọng của chúng tôi là thế thị trường bảo hiểm và quản lý có thể hình thành xung quanh DAO này và chúng sẽ tự phát triển dựa trên kết quả.

持続可能性

アン浸漬にの暗号通貨エリア収量たくさんの概念的な矛盾。

暗号通貨は変更が難しいように設計されていますが、他のテクノロジーと同様に、変更する必要があります。

設計上の欠陥と進歩に対処するための変更。ブロックチェーンは次のことを防ぐことを目的としています。

集中化ではありますが、変更を主導したりコードを保守したりする強力なアクターが必要です。

おそらく最もイライラする経験は、ほとんどの製品に明らかな欠陥があるときに起こります。

利害関係者は修正が必要であることに同意しているが、今後の方向性については合意が得られない。

Bitcoin のブロックサイズに関する議論は、2 年以上にわたって活発な問題となっています。毎日、

ネットワークの容量がピークに達しているため、総額 10 億ドルを超えるトランザクションが保留中です。

一時的な解決策が存在する場合でも、単純なパラメータを変更できない場合は、

では、企業と政府はどのようにして数十億ドルもの資金を安心して投資できるのでしょうか。

これらのシステムの上にインフラストラクチャを構築することにお金を費やすのでしょうか？さらに言えば、どのようにして

ビジネスは、責任のないプロトコルを統合するという戦略的リスクに賭けています。

合理的な設計をアップグレードしますか?

歴史を振り返ると、インターネットの進化も同様のパターンをたどってきました。

IPv4 から IPv6 への移行のような単純な変更は、実現するまでに数十年かかります。それでも、

blockchain テクノロジーとインターネットは、非常に高度な技術に従っているという点で、強い対照的です。

異なるスタイルの管理。

インターネットは軍事プロジェクトであり、DARPA から学界へと発展してきました。

政府の支援と明確に定義された一連の初期管理者。インターネットは次のように成長しました

企業影響力による陰謀のない非商業的条件

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 40/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

ネットワークを独占します。実際、電子商取引は、2006 年に廃止されるまで NSF AUP に違反していました。

1992年。

企業がインターネットを商業化する余裕があった頃には、すでに

一連の強力な基準、原則、そして伝道の信奉者。これによって、次のような企業が止まることはありませんでした。

AOL と Microsoft は、ウォールガーデンを構築しようとしたり、次のような独自のテクノロジーを開発したりしました。

アクティブX。この財団は、Google などの次世代の主体の推進を止めていない

巨大なユーザーベースと資本を考慮した独自のアジェンダ。

家賃を求める人が群がる中トレーダーからマイナーまで、仮想通貨は究極の存在です

32 商業目的のエコシステム。この基盤を踏まえると、

暗号通貨は自己利益を中心とした最適化をもたらしました。

たとえば、検証不要のマイニングはマイナーの作業効率を向上させるため、より頻繁に行われ始めています。

しかし、これはマイニングの目的と有用性全体を完全に無視しています。マイニング

ほんの一握りの主体が大部分を制御する集中化がすでに起こっています。

Bitcoin の hash の力。

インターネットと同様、暗号通貨も変更するにはコンセンサスが必要です。しかし、これほど急速なときは、

少数のブローカーへの権力の集中が起こる、変化が起こらない場合に何が起こるか

彼らにとって都合がいいのか？

インターネットとは異なり、ほとんどの暗号通貨のブートストラップは利他的な方法で行われません。

非商業的または学術的な手段。一部のグループは設立当初から利益を上げようとしますが、

これらの利益を確保するために割り当てられたパワーブローカーがいます。

創設時の集中化は、各仮想通貨が進化する上で直面しなければならない現実です。私たち

それを完全に逃れることはできませんが、少なくとも段階的な分散化を中心に設計するように努めるべきです。

Cardano については、どのような要因が集中化を促進するのか、また何が原因なのかを慎重に検討しました。

テクニックできるかもしれない私たちのプロトコルが徐々に公開されるよう促すために適用される

ウェブのようなインフラストラクチャ。

私たち完全に認めるそれ合計分散化です両方不可能そしておそらくさえ

逆効果。しかし、よりバランスのとれたシステムを生み出すために特定の要因を促進することはできます。

第一に、クラウドセール資金の集中管理により機敏かつ迅速な開発が可能になります。

プロトコルの初期段階では、最終的には資金調達の多様化とスピードの向上が必要になります。

32 この用語の詳細については、リンクを参照してください私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 41/44 ページIOHK |なぜカルダノを構築するのか | 2017/06/28

開発はより体系的かつ計画的なペースに戻る必要があります。この点に続いて、

資金提供にあたっては、文化的、言語的、地理的な偏見を避ける必要があります。

第二に、コミュニティがその根底にある性質についてより多くの情報を得るにつれて、

暗号通貨のテクノロジー、ロードマップに関する決定を一連の組織に一元化することはできません。

コア開発者または財団。 blockchain ベースの提案方法が必要です。

精査し、プロトコルの変更を制定します。

第三に、Cardano SL blockchain を維持する背後にあるインセンティブを直接調整する必要があります。

ユーザー全員の要望を集約して。専門的な活動家からなる陰謀団が行うことを許すことはできません。

より大きなコミュニティの意志から独立した人々が現れます。

最初の原則として、財務システムを Cardano に統合することを選択しました。のために

2 番目に、Cardano 改善提案を提案するための正式なプロセスを導入します。

CSL 自身が調整するシステム。 3 つ目については、ウロボロスがエレガントな機能を提供すると信じています。

解決策。

上記のトピックについてさらに詳しく説明しますが、それ自体が広範であり、

調査票の範囲を超えています。メカニズムの設計は最も複雑なものの 1 つであり、

理論が不完全で、確固たる標準モデルが存在せず、相互に依存する学術分野

オン。

むしろ、セクション 2 で説明した科学主導のアプローチが、ここでは役に立ちます。 IOHKのベリタス

チームは、ランカスター大学の研究者グループと協力して研究を行っています。

Cardano の参照財務モデルを開発するよう Bingsheng Zhang 教授から指示されました。と

2018 年の統合を目指しており、年末までに専用の査読済みの出版物が出版される予定です。

2017年。

暗号通貨プロトコルへの変更の正式な説明と精査については、このトピックは

存在論的概念とインセンティブを与えるメカニズムの両方が必要なため、最も理解されていません。

幅広い参加。おそらく、何らかの形の代表的な民主的プロセスが出現する可能性があります。

より合理的な投票を提供するための流動的なフィードバックの使用。

私たちは、この方向の研究がIOHKの正式な関与のほとんどを消費することを期待しています。

Cardano の開発。開始点として、参照財務省と並行して展開します。

33 同意を獲得するためのいくつかのメカニズムをモデル化します。最終的な決定にはさらなる研究が必要です

解決策。

Cardano を構築するために 33 IOHK が 2020 年末まで保持されます私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 42/44 ページ

IOHK |なぜカルダノを構築するのか | 2017/06/28

最後に、ウロボロスのインセンティブを改善するための作業はエリアス教授によって監督されています

オックスフォード大学のコウツピアス氏。ウロボロスの暗号基盤が完成した後、

必要なすべてのスケーラビリティ作業、ボンド、ペナルティ、エキゾチックに関する広範な研究と並行して固められました。

インセンティブは参照プロトコルに追加されます。

Tính bền vững

Một ngâm vào cái tiền điện tử khu vực sản lượng nhiều khái niệm những mâu thuẫn.

Tiền điện tử được thiết kế để khó thay đổi, nhưng, giống như tất cả công nghệ, chúng cần phải

thay đổi để giải quyết các sai sót và tiến bộ trong thiết kế. Blockchain nhằm mục đích ngăn chặn

tập trung hóa nhưng vẫn yêu cầu các tác nhân mạnh mẽ dẫn dắt các thay đổi hoặc duy trì quy tắc.

Có lẽ trải nghiệm khó chịu nhất là khi có những thiếu sót rõ ràng mà hầu hết mọi người đều phải trải qua.

sự đồng ý của các bên liên quan cần phải được sửa chữa, tuy nhiên sự đồng thuận không thể xuất hiện trên con đường phía trước.

Cuộc tranh luận về kích thước khối của Bitcoin hiện đã trở thành một vấn đề sôi nổi trong hơn hai năm. hàng ngày,

các giao dịch có tổng trị giá hơn một tỷ đô la đang chờ xử lý vì mạng đang đạt công suất cao nhất.

Nếu việc thay đổi một tham số đơn giản - ngay cả khi có các giải pháp tạm thời - không thể thực hiện được.

phối hợp, thì làm thế nào các doanh nghiệp và chính phủ có thể cảm thấy thoải mái khi đầu tư hàng tỷ USD

đô la để xây dựng cơ sở hạ tầng trên các hệ thống này? Đối với vấn đề đó, làm sao có thể

canh bạc kinh doanh về rủi ro chiến lược của việc tích hợp các giao thức không có trách nhiệm giải trình mà không thể

thực hiện nâng cấp thiết kế hợp lý?

Nhìn lại lịch sử, sự phát triển của Internet cũng theo một mô hình tương tự, thậm chí

những thay đổi đơn giản như quá trình chuyển đổi từ IPv4 sang IPv6 phải mất hàng thập kỷ mới thành hiện thực. Tuy nhiên, có một

sự tương phản mạnh mẽ giữa công nghệ blockchain và internet ở chỗ chúng tuân theo một nguyên tắc rất

phong cách giám hộ khác nhau.

Internet là một dự án quân sự phát triển từ DARPA thành giới học thuật với sức mạnh

sự hỗ trợ của chính phủ và một nhóm người giám hộ ban đầu được xác định rõ ràng. Internet phát triển dưới

điều kiện phi thương mại mà không có mưu đồ gây ảnh hưởng của công ty nhằm cố gắng

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 40 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

độc quyền mạng. Trên thực tế, thương mại điện tử đã vi phạm AUP của NSF cho đến khi nó bị bãi bỏ vào năm

Vào thời điểm các doanh nghiệp có được sự xa xỉ trong việc thương mại hóa Internet, đã có một

một bộ tiêu chuẩn, nguyên tắc và tín đồ truyền giáo mạnh mẽ. Điều này không ngăn được các công ty như

AOL và Microsoft từ việc cố gắng xây dựng những khu vườn trên tường và tạo ra công nghệ độc quyền như

ActiveX. Nền tảng này đã không ngăn được các tác nhân thế hệ tiếp theo như Google thúc đẩy

chương trình nghị sự của riêng họ dựa trên cơ sở người dùng và vốn hóa khổng lồ của họ.

Với hàng loạt người tìm kiếm tiền thuê các tác nhân từ nhà giao dịch đến thợ mỏ, tiền điện tử là mục tiêu cuối cùng

32 hệ sinh thái có động cơ thương mại. Với nền tảng này, sự phát triển của quyền giám hộ

tiền điện tử đã dẫn đến việc tối ưu hóa xung quanh lợi ích cá nhân.

Ví dụ: việc khai thác không cần xác thực đang bắt đầu xảy ra thường xuyên hơn vì nó cải thiện khả năng của người khai thác.

tỷ suất lợi nhuận, tuy nhiên điều này hoàn toàn không quan tâm đến toàn bộ mục đích và tiện ích của việc khai thác. Khai thác mỏ

sự tập trung hóa đã diễn ra chỉ với một số ít người kiểm soát phần lớn

Sức mạnh hash của Bitcoin.

Giống như internet, tiền điện tử cần có sự đồng thuận để thay đổi. Nhưng khi nhanh như vậy

xảy ra sự tập trung quyền lực vào một số ít người môi giới, điều gì sẽ xảy ra khi không có sự thay đổi?

thuận tiện cho họ?

Không giống như internet, việc khởi động hầu hết các loại tiền điện tử không được thực hiện một cách vị tha.

phương tiện phi thương mại hoặc học thuật. Ngay từ khi thành lập, một số nhóm tìm cách kiếm lợi nhuận và

có những nhà môi giới quyền lực được giao nhiệm vụ giúp đảm bảo những lợi ích đó.

Tập trung sáng lập là một thực tế mà mỗi loại tiền điện tử phải đối mặt trong quá trình phát triển của nó. Chúng tôi

không thể thoát khỏi nó hoàn toàn, nhưng ít nhất nên cố gắng thiết kế theo hướng phân cấp dần dần.

Đối với Cardano, chúng tôi đã suy nghĩ cẩn thận về những yếu tố nào thúc đẩy sự tập trung hóa và những gì

kỹ thuật có thể được áp dụng để khuyến khích giao thức của chúng tôi dần dần trở nên công khai

cơ sở hạ tầng như web.

Chúng tôi đầy đủ thừa nhận đó tổng cộng sự phân cấp là cả hai không thể và có lẽ thậm chí

phản tác dụng. Tuy nhiên, một số yếu tố nhất định có thể được khuyến khích để tạo ra một hệ thống cân bằng hơn.

Đầu tiên, trong khi việc giám sát tập trung các quỹ huy động vốn cộng đồng cho phép phát triển nhanh chóng và linh hoạt

của giao thức trong những ngày đầu, cuối cùng nguồn tài trợ phải đa dạng hóa và tốc độ

32 Xem liên kết để biết thêm thông tin về thuật ngữ này TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 41 trên 44IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

sự phát triển cần phải rút lui về một tốc độ có hệ thống và có chủ ý hơn. Theo điểm này,

nguồn tài trợ cần tránh sự thiên vị về văn hóa, ngôn ngữ và địa lý.

Thứ hai, khi cộng đồng ngày càng có nhiều thông tin hơn về bản chất cơ bản của

công nghệ tiền điện tử, các quyết định về lộ trình không thể được tập trung vào một tập hợp

nhà phát triển cốt lõi hoặc nền tảng. Cần phải có phương pháp dựa trên blockchain để đề xuất,

kiểm tra và ban hành các thay đổi đối với giao thức.

Thứ ba, các khuyến khích đằng sau việc duy trì Cardano SL blockchain phải được điều chỉnh trực tiếp

với mong muốn chung của tất cả người dùng. Chúng ta không thể cho phép một nhóm các tác nhân chuyên môn

xuất hiện những người độc lập với ý chí của cộng đồng lớn hơn.

Đối với nguyên tắc đầu tiên, chúng tôi đã chọn tích hợp hệ thống kho bạc vào Cardano. Đối với

thứ hai, chúng tôi sẽ triển khai một quy trình chính thức để đề xuất Cardano Đề xuất cải tiến thông qua một

hệ thống do chính CSL điều phối. Đối với điều thứ ba, chúng tôi tin rằng Ouroboros cung cấp một giao diện trang nhã

giải pháp.

Chi tiết hơn có thể được cung cấp về các chủ đề trên, nhưng chúng có phạm vi rộng theo đúng nghĩa của chúng và

vượt quá phạm vi của một bài khảo sát. Thiết kế cơ chế là một trong những công việc phức tạp nhất và

các lĩnh vực học thuật phụ thuộc lẫn nhau với lý thuyết chưa đầy đủ và không có mô hình kinh điển vững chắc để đứng vững

trên.

Thay vào đó, cách tiếp cận dựa trên khoa học của chúng tôi được mô tả trong phần hai phục vụ tốt cho chúng tôi ở đây. Veritas của IOHK

nhóm đang hợp tác với một nhóm các nhà nghiên cứu từ Đại học Lancaster thuộc

sự hướng dẫn của Giáo sư Bingsheng Zhang để phát triển mô hình kho bạc tham khảo của Cardano. Với

nhằm mục đích hội nhập vào năm 2018, chúng tôi mong đợi một ấn phẩm được bình duyệt chuyên dụng vào cuối năm

Để mô tả chính thức và kiểm tra các thay đổi đối với giao thức tiền điện tử, chủ đề này là

ít được hiểu nhất vì nó đòi hỏi cả khái niệm bản thể học cũng như cơ chế khuyến khích

sự tham gia rộng rãi. Có lẽ một số hình thức của quá trình dân chủ đại diện có thể xuất hiện hoặc

sử dụng phản hồi lỏng để cung cấp biểu quyết hợp lý hơn.

Chúng tôi hy vọng nghiên cứu theo hướng này sẽ thu hút phần lớn sự tham gia chính thức của IOHK vào

sự phát triển của Cardano . Là điểm khởi đầu, chúng tôi sẽ triển khai cùng với kho bạc tham chiếu

33 mô hình hóa một số cơ chế để nắm bắt sự đồng ý. Cần nghiên cứu thêm để có kết luận chắc chắn

giải pháp.

33 IOHK được giữ lại để xây dựng Cardano cho đến cuối năm 2020 TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 42 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Cuối cùng, công việc cải thiện các biện pháp khuyến khích cho Ouroboros đang được giám sát bởi Giáo sư Elias

Koutsoupias của Đại học Oxford. Sau khi nền tảng mật mã của Ouroboros được

được củng cố cùng với tất cả các công việc cần thiết về khả năng mở rộng, nghiên cứu rộng hơn về trái phiếu, hình phạt và các vấn đề kỳ lạ.

ưu đãi sẽ được thêm vào giao thức tham chiếu.

結論

暗号通貨は、そのプロトコル、ソースコード、ユーティリティの合計以上のものです。それは最終的には人々にインスピレーションを与え、可能にし、結び付ける社会システム。多くの半分に不満を感じている過去のプロトコルの対策、失敗、約束の破棄を解決し、私たちはより良いものを構築することに着手しました。

このプロセスは単純ではありませんし、それが完了するとは信じていませんでした。ソーシャルプロトコルは継続します人や社会の変化に合わせて無限に変化します。役に立つために、私たちは次の力を閉じ込めたいと考えています。進化させて Cardano に移植します。

進化は、誰かの手や壮大な計画によって導かれるものではありません。それはセレンディピティにインスピレーションを得たプロセスです終わりのない間違いや問題によって。 Cardano は、このプロセスのデジタル化を目指しています — 今日の市場を生き抜くのに十分な適合性と、それに合わせて進化するのに十分な適応性を備えている将来のニーズ。

前のセクションでは、私たちがこの目標にどのようにアプローチしてきたかを簡単に説明しました。私たち認知バイアスを認識し、歴史から学び、厳格な規則に従うよう熱心に努めてきました。プロセス。私たちは、迅速な開発の必要性と、次のような正式な手法のバランスを取るよう努めてきました。古来だと腹八分目を守れません。

この旅に乗り出すことができて大変光栄でした。過去 2 年間で、私たちはすでに安全であると証明されたproof-of-stakeプロトコルを開発し、Haskellの小軍を採用した Cardano の開発は多くの才能ある科学者の関心事でした。

実験室から実際に展開されるシステムに移行するにつれて、成長痛が生じるでしょう。しかし私たちの希望は、Cardano の未来を単一の擬人化された作品に要約できることです。文。 Cardano は長老たちから学び、現実的な夢想家であり、社会の良き市民です。コミュニティに参加し、請求額を支払う方法を常に見つけます。

私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 43/44 ページ

IOHK |なぜカルダノを構築するのか | 2017/06/28

未来を知ることはできませんが、すべての人にとってより良い未来となるよう努めることを嬉しく思います。読んでいただきありがとうございます。私たちがカルダノを構築する理由クリエイティブ・コモンズ表示 4.0 国際ライセンス 44/44 ページ

Phần kết luận

Một loại tiền điện tử không chỉ là tổng của các giao thức, mã nguồn và tiện ích của nó. Cuối cùng nó là một hệ thống xã hội truyền cảm hứng, cho phép và kết nối mọi người. Thất vọng vì nhiều nửa các biện pháp, thất bại và thất hứa của các giao thức trước đây, chúng tôi bắt đầu xây dựng thứ gì đó tốt hơn.

Quá trình này không hề đơn giản và chúng tôi cũng chưa bao giờ tin rằng nó có thể kết thúc. Các giao thức xã hội tiếp tục thay đổi vô tận khi con người và xã hội thay đổi. Để có ích, chúng ta muốn bẫy sức mạnh của tiến hóa và chuyển nó vào Cardano.

Sự tiến hóa không được chỉ đạo bởi một bàn tay hay một kế hoạch vĩ đại. Đó là một quá trình lấy cảm hứng tình cờ bởi vô số sai lầm và vấn đề. Cardano mong muốn trở thành hiện thân kỹ thuật số của quy trình này — đủ phù hợp để có thể tồn tại trong thị trường ngày nay và đủ thích ứng để phát triển nhằm đáp ứng những nhu cầu của tương lai.

Các phần trước đưa ra cái nhìn ngắn gọn về cách chúng tôi tiếp cận mục tiêu này. Chúng tôi đã siêng năng cố gắng nhận ra những thành kiến về mặt nhận thức, học hỏi từ lịch sử và tuân theo một nguyên tắc nghiêm ngặt quá trình. Chúng tôi đã cố gắng cân bằng nhu cầu phát triển nhanh chóng bằng các phương pháp chính thức nhằm theo truyền thống không thể di chuyển nhanh chóng.

Thật là một đặc ân đặc biệt khi được bắt đầu cuộc hành trình này. Trong hai năm qua, chúng tôi đã đã phát triển giao thức proof-of-stake có độ an toàn được chứng minh là an toàn, đã chiêu mộ một đội quân Haskell nhỏ các nhà phát triển và khiến sự phát triển của Cardano trở thành mối quan tâm của nhiều nhà khoa học tài năng.

Khi chúng tôi chuyển từ phòng thí nghiệm sang hệ thống được triển khai ngoài tự nhiên, sẽ có những khó khăn ngày càng tăng, nhưng hy vọng của chúng tôi là tương lai của Cardano có thể được tóm tắt trong một câu. Cardano là một người mơ mộng thực dụng, học hỏi từ những người lớn tuổi, là một công dân tốt trong xã hội của mình cộng đồng và luôn tìm cách thanh toán các hóa đơn của mình.

TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 43 trên 44

IOHK | TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO | 28/06/2017

Chúng tôi không thể biết trước tương lai, nhưng chúng tôi rất vui khi được cố gắng làm cho nó trở nên tốt đẹp hơn cho mọi người. Cảm ơn đã đọc. TẠI SAO CHÚNG TÔI XÂY DỰNG CARDANO Giấy phép quốc tế Creative Commons Ghi công 4.0 Trang 44 trên 44