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

Why We Are Building Cardano

Автор Charles Hoskinson and IOHK · 2017

🇺🇸 English (Оригинал)

🇻🇳 Tiếng Việt (Перевод)

Introduction

A long-term view on improving the design of cryptocurrencies so they can work on mobile devices with a reasonable and secure user experience ● Bringing stakeholders closer to the operations and maintenance of their cryptocurrency ● Acknowledging the need to account for multiple assets in the same ledger ● Abstracting transactions to include optional metadata in order to better conform to the needs of legacy systems ● Learning from the nearly 1,000 altcoins by embracing features that make sense ● Adopt a standards-driven process inspired by the Internet Engineering Task Force using a dedicated foundation to lock down the final protocol design
● Explore the social elements of commerce
● Find a healthy middle ground for regulators to interact with commerce without compromising some core principles inherited from Bitcoin

From this unstructured set of ideas, the principals working on Cardano began both to explore

cryptocurrency literature and to build a toolset of abstractions. The output of this research is

IOHK’s extensive library of papers, numerous survey results such as this recent scripting

language overview as well as an Ontology of Smart Contracts, and the Scorex project. Lessons

yielded an appreciation for the cryptocurrency industry’s unusual and at times

counterproductive growth.

First, unlike successful protocols such as TCP/IP, there is little layering in the design of

cryptocurrencies. There has been a desire to preserve a single notion of consensus around

facts and events recorded in a single ledger, regardless of whether it makes sense.

For example, Ethereum has encumbered enormous complexity attempting to become a

universal world computer, but suffers from trivial concerns potentially destroying the system’s

ability to operate as a store of value. Should everyone’s program be a first class citizen

regardless of its economic value, cost to maintain, or regulatory consequences?

Second, there is little appreciation for prior results in mainstream cryptographic research. For

example, Bitshares’ delegated Proof of Stake could have easily and reliably generated random

numbers using coin tossing with guaranteed output delivery, which is a technique known since

the 1980s (see the seminal paper by Rabin and Ben-Or).

Third, most altcoins (with a few notable exceptions such as Tezos) have not made any

accommodation for future updates. The ability to successfully push a soft or hard fork is pivotal

to the long-term success of any cryptocurrency.

As a corollary, enterprise users cannot commit millions of dollars worth of resources to

protocols where the roadmap and actors behind them are ephemeral, petty or radicalized. There

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 3 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

needs to be an efficient process through which social consensus can form around a vision for

evolving the underlying protocol. If this process is enormously burdensome, fragmentation

could break the community apart.

Finally, money is ultimately a social phenomenon. In the effort to anonymize and

disintermediate central actors, Bitcoin and its contemporaries have also discarded the need for

stable identities, metadata and reputation in commercial transactions. Adding these data

through centralized solutions removes the auditability, global availability and immutability —

which is the entire point of using a blockchain.

Legacy financial systems such as those composed of SWIFT, FIX and ACH are rich in

transactional metadata. It is not enough to know how much value moved between accounts,

regulation often requires the attribution of actors involved, compliance information, reporting

suspicious activity, and other records and actions. In some cases, the metadata is more

important than the transaction.

Hence, it seems reasonable to infer that the manipulation of metadata could be as harmful as

counterfeiting currency or rewriting transaction history. Making no accommodation for actors

who want to voluntarily include these fields seems counterproductive to mainstream adoption

and consumer protection.

Sojourn's End

The aggregation of our principled exploration of the cryptocurrency space is two collections of

protocols. Respectively, a provably secure Proof-of-Stake [1][2] based cryptocurrency called the

Cardano Settlement Layer (CSL) and a set of protocols called the Cardano Computation Layer

(CCL).

Our design emphasis is to accommodate the social aspects of cryptocurrencies, build in layers

by separating the accounting of value from complex computation and address the needs of

regulators within the scope of several immutable principles . Furthermore, where it is sensible,

1 we attempt to vet proposed protocols through peer review and check code against formal

specifications.

1 See Regulation section for list WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 4 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Proof of Stake

Using proof of stake for a cryptocurrency is a hotly debated design choice, however because it

adds a mechanism to introduce secure voting, has more capacity to scale, and permits more

exotic incentive schemes, we decided to embrace it.

Our proof of stake protocol is called Ouroboros and it has been designed by an extremely

talented team of cryptographers from five academic institutions led by Professor Aggelos

2 Kiayias of the University of Edinburgh. The core innovation it brings beyond being proven secure

using a rigorous cryptographic model is a modular and flexible design that allows for the

composition of many protocols to enhance functionality.

This modularity allows for features such as delegation, sidechains, subscribable checkpoints,

better data structures for light clients, different forms of random number generation and even

different synchronization assumptions. As a network develops from having thousands to

millions and even billions of users, the requirements of its consensus algorithm will also

change. Thus, it is vital to have enough flexibility to accommodate these changes and thereby

future-proof the heart of a cryptocurrency.

Social Elements of Money

Cryptocurrencies are a prime example of the social component of money. When restricting

analysis solely to technology, there is little difference between Bitcoin and Litecoin and even

less so between Ethereum and Ethereum Classic. Yet, both Litecoin and Ethereum Classic

maintain large market capitalizations and robust, dynamic communities as well as their own

social mandates.

It can be argued that a large part of the value of a cryptocurrency is derived from its community,

the way it uses the currency, and its level of engagement in the currency’s evolution. Furthering

the thought, currencies such as Dash have even integrated systems directly into the protocol to

engage their community in deciding what should be a priority to develop and fund.

2 University of Connecticut, University of Athens, University of Edinburgh, Aarhus University, Tokyo Institute of Technology WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 5 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The vast diversity of cryptocurrencies also provides evidence for their social elements.

Disagreements about philosophy, monetary policy, or even just between the core developers

lead to fragmentation and forks. Yet unlike their cryptocurrency counterparts, fiat currencies of

superpowers tend to survive political shifts and local disagreements without a currency crisis or

mass exodus.

Therefore, it seems that there are elements of legacy systems that are missing from the

cryptocurrency industry. We argue — and have inculcated into the Cardano roadmap – that

users of a protocol need incentives to understand the social contract behind their protocol and

have the freedom to propose changes in a productive way. This freedom extends to every

aspect of a value exchange system, from deciding how markets should be regulated to which

projects should be funded. Yet it cannot be brokered through centralized actors nor require

some special credential that could be co-opted by a well funded minority.

Cardano will implement a system of overlay protocols built on top of CSL to accommodate the

needs of its users.

First, regardless of the success of a crowdsale to bootstrap development, funds will eventually

dissipate. Hence, Cardano will include a decentralized trust funded from monotonically

3 decreasing inflation and transaction fees.

Any user should be eligible to request funds from the trust by a ballot system and the

stakeholders of CSL vote on who becomes a beneficiary. The process creates a productive

feedback loop seen in other cryptocurrencies with treasury/trust systems, such as Dash, by

starting a conversation about who should and should not be funded.

Funding discussions force a relation of long and short term goals, the cryptocurrency’s social

contract, priorities and the belief in value creation with particular proposals. This conversation

means that the community is constantly evaluating and debating its beliefs against possible

roadmaps.

Second, our hope is that Cardano will eventually include a formal, blockchain based system to

propose and vote on both soft and hard forks. Bitcoin with its block size debate, Ethereum with

the DAO fork, and many other cryptocurrencies besides have endured long standing and, in

frequent cases, unresolved arguments over the technical and moral direction of the codebase.

It can and should be argued that many of these disagreements, and the fracturing of the

community that results when action is taken, are a direct result of a lack of formal processes for

debating change.
3 This is also known as a treasury system WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 6 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Where does one go to convince Bitcoin users to adopt Segregated Witness? How should the

core developers of Ethereum measure community sentiment for bailing out the DAO? If the

community fractures, is the cryptocurrency damaged beyond repair?

In the worst cases, moral authority to act could simply devolve to whoever has the developers,

infrastructural relationships and money, not the best wishes of the vast majority of the

community. Furthermore, if a large portion of the community is inaccessible or disengaged due

to bad incentives , then how can one truly know if their acts are legitimate? 4

Proposed cryptocurrencies such as Tezos provide an interesting model to examine where a

cryptocurrency protocol is treated like a constitution containing three sections (Transaction,

Consensus and Network) with a set of formal rules and process to update the constitution. Yet

there remains much work to be done with incentives and over how exactly to model and change

a cryptocurrency with a formal language.

The use of formal methods, machine understandable specifications and merging a treasury with

this process for financial incentives are being explored as possible avenues for inspiration.

Ultimately, just the ability to propose a protocol change in a transparent, censorship free way

with blockchain based voting should improve the process, even if more elegant solutions cannot

be designed.

Designing in Layers – Cardano Settlement Layer

When designing great protocols and languages, one should not look to the future, but rather to the past. History provides a litany of examples of great ideas that are perfect on paper, yet somehow have not survived, such as the Open Systems Interconnection standards. History also provides happy accidents that have endured from TCP/IP to JavaScript.

Some principles extracted from a historical view are the following:

1. You cannot predict the future so build in wiggle room
2. Complexity is nice on paper, but simplicity usually wins 3. Too many cooks spoil the broth 4. Once a standard is set it will probably stick around, regardless of whether it is suboptimal 4 See rational ignorance
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 7 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

5. Bad ideas can actually evolve into pretty good ones if there is a will

Cardano is a financial system that accepts its social nature. There will be a tremendous need for flexibility and the ability to address arbitrary complexity in a particular user’s transaction. If successful, there will be a need for tremendous computational, storage and network resources to accommodate millions of concurrent transactions.

Yet we do not have a digital, decentralized Robin Hood to take from the rich nodes and give to the poor ones in order to achieve a fair network. Nor do we have the luxury of trusting human beneficence to altruistically sacrifice for the greater good of the network. Therefore, Cardano’s design borrows from TCP/IP the concept of separation of concerns.

Blockchains are ultimately databases ordering facts and events with guarantees about timestamps and immutability. In the context of money, they order ownership of assets. Adding complex computation by storing and executing programs is an orthogonal concept. Do we want to know how much value went from Alice to Bob, or do we want to get involved in figuring out the whole story behind the transaction and deciding how much to send?

It is incredibly tempting to choose the latter as Ethereum has done because it is more flexible, but it violates the design principles above. Figuring out the story means that a single protocol has to be able to understand arbitrary events, script arbitrary transactions, permit arbitration in cases of fraud and even potentially reverse transactions when new information is made available.

Then one has to make difficult design decisions about what metadata to store for each transaction. What elements of the story behind Alice and Bob’s transaction are relevant? Are they relevant forever? When can we throw away some data? Does doing so violate the law in some countries?

Furthermore, some computation is private in nature. For example, when calculating the average salary of workers in an office, we would not necessarily want to leak how much each person makes. But what if every computation is publicly known? What if this publicity biases execution order to harm outcome?

Thus, we have chosen the position that the accounting of value should be separated from the story behind why the value was moved. In other words, separation of value from computation. This separation does not mean that Cardano will not support smart contracts. On the contrary, by making the separation explicit, it permits significantly more flexibility in the design, use, privacy and execution of smart contracts.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 8 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The value ledger is called the Cardano Settlement Layer (CSL). As the purpose is to account for value, the roadmap has the following goals:

1. Support two sets of scripting languages, one to move value and another to enhance overlay protocol support
2. Provide support for KMZ sidechains to link to other ledgers 5 3. Support multiple types of signature including quantum resistant signatures for higher security
4. Support multiple user issued assets 5. Achieve true scalability, meaning as more users join, the capabilities of the system increase

Scripting

Starting with the scripting language, transactions between addresses in a ledger require some form of a script to execute and be proven valid. Ideally, one would not want Eve to access Alice’s money, nor would one want a poorly designed script to accidently send value to a dead address making the funds irretrievable.

Systems such as Bitcoin provide an extremely inflexible and draconian scripting language that is difficult to program bespoke transactions in, and to read and understand. Yet the general programmability of languages such as Solidity introduce an extraordinary amount of complexity into the system and are useful to only a much smaller set of actors.

Therefore, we have chosen to design a new language called Simon in honor of its creator 6 Simon Thompson and the creator of the concepts that inspired it, Simon Peyton Jones. Simon is a domain-specific language that is based upon Composing contracts: an adventure in financial engineering.

The principal idea is that financial transactions are generally composed from a collection of foundational elements . If one assembles a financial periodic table of elements, then one can 7 provide support for an arbitrarily large set of compound transactions that will cover most, if not all, common transaction types without requiring general programmability.

5 Coming soon in a paper from Kiayias, Zindros and Miller 6 Specifics will be released in an upcoming specification. The full language will be supported in the Shelley CSL release planned for Q4 of 2017 7 Project ACTUS has an in-depth elaboration
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 9 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The primary advantage is that security and execution can be extremely well understood. Proofs can be written to show correctness of templates and exhaust the execution space of problematic transaction events, such as the creation of new money out of thin air or transaction malleability. Second, one can leave in extensions to add more elements by way of soft forks if new functionality is required.

That said, there will always be a need to connect CSL to overlay protocols, legacy financial systems, and special purpose servers. Thus we have developed Plutus as both a general purpose smart contract language and also a special purpose DSL for interoperability.

Plutus is a typed functional language based on concepts from Haskell, which can be used to write custom transaction scripts. For CSL, it will be used for complex transactions required to add support for other layers we need to connect, such as our sidechains scheme.

Sidechains

With respect to sidechains, Cardano will support a new protocol developed by Kiayias, Miller and Zindros (KMZ sidechains) based upon prior results from proofs of proofs of work. The particular design is beyond the scope of this paper; however, the concept allows for the secure and non-interactive movement of funds from CSL to any Cardano Computation Layer or other blockchain supporting the protocol.

KMZ sidechains are the key to encapsulating complexity. Ledgers with regulatory requirements, private operations, robust scripting languages and other special concerns are effectively black boxes to CSL, yet the CSL user will gain certain guarantees about accounting and the ability to recall funds once computation is complete.

Signatures

In order to securely move value from Alice to Bob, Alice needs to prove she has the right to move the funds. The most direct and reliable way of accomplishing this task is to use a public key signature scheme where funds are connected to a public key and Alice controls an associated private key.

There are hundreds of possible schemes with different security parameters and assumptions. Some rely upon mathematical problems connected to elliptic curves, whereas others are connected to exotic concepts using lattices.
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 10 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The abstract goal is always the same. There exists a hard problem that cannot be solved unless someone has a secret piece of knowledge. The holder of this piece of knowledge is said to be the owner of the keypair and should be the only entity that has the ability to use it.

There are two groups of concerns a cryptocurrency faces with choosing a signature scheme. First, there is the long-term security durability of the scheme itself. Some cryptographic schemes used in the 1970s and 1980s such as DES have been broken. The period over which the scheme should be expected to survive must be decided upon.

Second, there are many enterprises, governments and other institutions that have preferred, or in some cases, mandated the use of a particular scheme. For example, the NSA maintains the Suite B protocol set. There are standards from ISO and even W3C workgroups on cryptography.

If a cryptocurrency chooses a single signature scheme, it is forced to accept that the scheme could be broken at some point in the future and at least one entity cannot use the cryptocurrency due to legal or industry restrictions. Yet a cryptocurrency cannot support every signature scheme as this would require every client to understand and validate each scheme.

For Cardano, we decided to start with using elliptic curve cryptography, the Ed25519 curve in particular. We also decided to enhance the existing libraries by adding support for HD wallets using Dr Dmitry Khovratovich and Jason Law’s Specification .
8

This said, Cardano will support more signature schemes in the future. In particular, we are interested in integrating BLISS-B to add quantum computer resistant signatures to our system. We are also interested in adding SECP256k1 to enhance interoperability with legacy cryptocurrencies such as Bitcoin.

Cardano has been designed with special extensions that will allow us to add more signature schemes through a soft fork. They will be added as needed and during major updates planned in the roadmap .
9

User Issued Assets (UIAs)

Early in Bitcoin’s history, protocols were quickly developed to allow users to issue assets that piggybacked on Bitcoin’s accounting system in order to track multiple currencies concurrently. 8 This is the documentation for Cardano’s HD Wallet Implementation. We believe Cardano is the first cryptocurrency to support Ed25519 HD Wallets
9 See cardanoroadmap.com
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 11 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

These protocols were not natively supported by the Bitcoin protocol, but implemented through clever hacks.

In the case of Bitcoin overlays such as Colored Coins and Mastercoin (now called Omni), light clients are forced to rely on trusted servers. Also transaction fees still have to be paid in bitcoins. These properties combined with the single pipeline for transaction approval make Bitcoin suboptimal for multi-asset accounting.

In the Ethereum case using the ERC20 standard, there is more feature richness. However, transaction fees still require ether. Furthermore, the Ethereum network is having difficulty scaling to the needs of all the issued ERC20 tokens.

The fundamental problem can be broken into three parts: resources, incentives and concern. With respect to resources, adding an entirely new currency to the same ledger means one has two independent UTXO (unspent transaction inputs) sets sharing the bandwidth, mempool and block space. Consensus nodes responsible for embedding transactions of these currencies need an incentive for doing so. And not every user of a cryptocurrency will or should care about a particular entity’s currency.

Given these problems, the benefits are tremendous as the primary token of a multiasset ledger can effectively serve as a bridge currency allowing for decentralized market making. Special purpose assets could be issued to provide additional utility such as value stable assets like Tether or MakerDAO that are useful for lending and remittance applications.

Given the challenges, Cardano has adopted a pragmatic approach to multiasset accounting. Building in stages, the first challenge is designing the necessary infrastructure to support the demands of thousands of UIAs. Namely the following advancements are necessary:

1. Special purpose authenticated data structures to permit the tracking of a very large UTXO state

2. The ability to have a distributed mempool to hold a huge set of pending transactions
3. Blockchain partitioning and checkpoints to permit a huge global blockchain 4. An incentive scheme that rewards consensus nodes for including different sets of transactions 5. A subscription mechanic that allows users to decide which currencies they want to track
6. Strong security guarantees that UIAs enjoy similar security as the native asset 7. Support for decentralized market making to improve liquidity between UIA and the primary token

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 12 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Our preliminary efforts for finding the right authenticated data structure have resulted in a new type of AVL+ Tree jointly developed by Leo Reyzin, IOHK and Waves. More research is required, but it is a foundational advancement that will be included in a later version of Cardano.

A distributed mempool could be implemented using Stanford University’s RAMCloud protocol. Experiments will begin in Q3 of 2017 to study its integration into Cardano’s consensus layer.

The remaining topics are interconnected and covered by ongoing research. We expect — subject to research results — to include a protocol into Cardano for UIAs during the Basho of CSL release in 2018.

Scalability

Distributed systems are composed of a set of computers (nodes) agreeing to run a protocol or

suite of protocols to accomplish a common goal. This goal could be sharing a file as defined by

the BitTorrent protocol or folding a protein using Folding@Home.

The most effective protocols gain resources as nodes join the network. A file hosted by

BitTorrent, for example, can be downloaded much faster on average if many peers are

concurrently downloading it. The speed increases because the peers provide resources while

also consuming them. This characteristic is what one typically means when stating a distributed

system scales.

The challenge with the design of all current cryptocurrencies is that they actually are not

designed to be scalable. Blockchains, for example, are usually an append-only linked list of

blocks. The security and availability of a blockchain protocol relies upon many nodes

possessing a full copy of the blockchain data. Thus, a single byte of data must be replicated

among N nodes. Additional nodes do not provide additional resources.

This result is the same for transaction processing and the gossiping of messages throughout

the system. Adding more nodes to the consensus system does not provide additional

transaction processing power. It just means more resources have to be spent to do the same

job. More network relaying meaning more nodes have to pass the same messages to keep the

whole network in synchronization with the most current block.

Given this topology, cryptocurrencies cannot scale to a global network on par with legacy

financial systems. In contrast, legacy infrastructure is scalable and has orders of magnitude for

more processing and storage power. Adding a specific point, Bitcoin is a very small network

relative to its payment peers, yet struggles to manage its current load.
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 13 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Our scalability goals for Cardano are greatly aided by our consensus algorithm. Ouroboros

permits a decentralized way to elect a quorum of consensus nodes, which in turn can run more

traditional protocols developed over the last 20 years to accommodate the needs of large

infrastructure providers such as Google and Facebook .
10

For example, the election of a quorum for an epoch means we have a trusted set of nodes to

maintain the ledger for a specific time period. It is trivial to elect multiple quorums concurrently

and partition transactions to different quorums.

Similar techniques could be applied for network propagation and also sharding the blockchain

itself into unique partitions. In our current roadmap, scaling methods will be applied to

Ouroboros starting in 2018 and continue to be a focus in 2019 and 2020.

Cardano Computation Layer

As mentioned previously, there are two components of a transaction: the mechanism to send and record the flow of tokens and the reasons as well as conditions behind moving tokens. The latter can be arbitrarily complex and involve terabytes of data, multiple signatures and special events occurring. The latter can also be remarkably simple with a single signature pushing value to another address.

The challenge behind modeling the reasons and conditions of value flow is that they are immensely personal to the entities involved in the most unpredictable of ways. Lessons from contract law paint an even more problematic picture where the actors themselves might not even be aware that the transaction does not match commercial reality. We generally call this phenomenon “the semantic gap” . 11

Why should one build a cryptocurrency chasing an endless layer of complexity and abstraction? It seems Sisyphean in nature and naive in practice. Furthermore, each abstraction embraced has both legal and security consequences.

For example, there are numerous activities online that are universally deemed illegal or scorned such as the trafficking of child pornography or the selling of state secrets. By deploying robust 10 There are also other independently research protocols attempting to achieve the same end such as Elastico and Bitcoin-NG
11 Loi Luu et al. discuss this gap in their recent paper on Making Smart Contracts Smarter WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 14 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

decentralized infrastructure, one is now providing a channel for this activity to occur with the same censorship resistance that normal commercial transactions enjoy. It is legally unclear if the consensus nodes of the network — which have the incentive to become more federated over time to promote efficiency — would be held accountable for the content they host.

Prosecution of Tor operators, the brutal treatment of Silk Road’s operator and the lack of overall legal clarity behind legal protections of protocol participants leaves an uncertain road. There is no lack of imagination of what else a sufficiently advanced cryptocurrency could enable (see the Ring of Gyges). Is it reasonable to force all users of a cryptocurrency to endorse or at least enable the worst acts and conduct of the web?

Unfortunately, there are no clear answers that provide insight to a cryptocurrency designer. It is more about picking a position and defending its merit. The advantage that both Cardano and Bitcoin have is that we have chosen to separate concerns to layers. With Bitcoin, there is Rootstock. With Cardano, there is the Cardano Computation Layer.

The kinds of complex behavior that would enable the acts elaborated previously cannot run on CSL. They require the ability to run programs written in a Turing complete language and some form of gas economics to meter computation. They also require consensus nodes willing to include the transactions in their blocks.

Thus, a functionality restriction could reasonably protect users. So far, most established governments have not taken the position that the use or maintenance of a cryptocurrency is an illegal act. Hence, the vast majority of users should be comfortable maintaining a ledger that is comparable in capability with a digital payment system.

When one wants to extend capability, there are two possibilities. It is enabled by a private collective of likeminded individuals and ephemeral in nature (for example, a poker game). Or, it is enabled by a ledger of comparable capabilities as Ethereum. In both cases, we have chosen outsourcing the events to another protocol.

In the case of a private, ephemeral event, it is reasonable to avoid the blockchain paradigm entirely, but rather restrict efforts towards a library of special purpose MPC protocols that can be invoked when desired by a group of likeminded participants. The computations and activities are coordinated in a private network and reference CSL only as a trusted bulletin board and a message passing channel when necessary.

The key insight in this case is that there is consent, encapsulation of liability and privacy. CSL is being used as a digital commons for users to meet and communicate — like a park would host a private event — but does not provide any special accommodations or facilitation. Furthermore, WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 15 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

the use of special purpose MPC will enable low latency interaction without the need for blockchain bloat. Thus, it improves the scale of the system.

Cardano’s research efforts towards this library are centralized at our Tokyo Tech laboratory with some assistance from scientists abroad. We call the library “Tartaglia” after a fellow mathematician as well as contemporary of Cardano and expect the first iteration to be available in Q1 of 2018.

In the second case, one needs a blockchain with a virtual machine, a set of consensus nodes and a mechanism to enable communication between the two chains. We have begun the process of rigorously formalizing the Ethereum Virtual Machine using the K-framework in 12 partnership with a team from the University of Illinois.

The result of this analysis will inform the most optimal way to design a replicated and eventually distributed virtual machine with clear operational semantics and strong guarantees of correct 13 implementation from the specification. In other words, the VM actually does what the code tells it to do with the security risks minimized.

There are still unresolved questions about the gas economics proposed by Ethereum and how it relates to work such as Jan Hoffmann et al’s resource aware ML and the broader study of resource estimation for computation. We are also curious about the level of language independence of the virtual machine. For example, the Ethereum project has expressed desire for transition from their current VM to Web Assembly.

The next effort is in developing a reasonable programming language to express stateful contracts that will be called as services by decentralized applications. For this task, we have chosen both the approach of supporting the legacy smart contract language Solidity for low assurance applications and developing a new language called Plutus for higher assurance applications requiring formal verification.

Like the solidity based Zeppelin project, IOHK will also develop a reference library of Plutus code for application developers to use in their projects. We will also develop a specialized set of tools for formal verification inspired by work from UCSD’s Liquid Haskell project.

In terms of consensus, Ouroboros was designed in a sufficiently modular fashion to support smart contract evaluation. Hence, both CSL and CCL will share the same consensus algorithm. 12 Invented by Professor Grigore Rosu et. al., K is a universal framework for language independent machine executable semantics. Prior to our work, it has been used to model C, Java and JavaScript 13 Meaning that different consensus nodes run different smart contracts. Also known as state sharding WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 16 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The difference is that Ouroboros can be confirmed to permit both permissioned and permissionless ledgers via token distribution.

With CSL, Ada has been distributed by a token generating event to purchasers throughout Asia who will eventually resell on a secondary market. This means that CSL’s consensus algorithm is controlled by a diverse and increasingly more decentralized set of actors or their delegated assigns. With CCL, it is possible to create a special purpose token held by delegates of that ledger who could be regulated entities, thereby creating a permissioned ledger.

The flexibility of this approach allows for different instances of CCL to materialize with different rules about the evaluation of transactions. For example, gambling activities could be restricted unless KYC/AML data is present simply by blacklisting non-attributed transactions.

Our final design focus is on adding trusted hardware security modules (HSM) to our protocol stack. These are two enormous advantages when introducing these capabilities into the protocol. First, HSMs provide massive boosts in performance without introducing security 14 concerns beyond trusting the vendor. Second, through the use of Sealed Glass Proofs (SGP), HSMs can provide assurances that data can be verified and then destroyed without being copied or leaked to malicious outsiders.

Focusing on the second point, SGPs could have a revolutionary impact upon compliance. Ordinarily, when a consumer provides personally identifiable information (PII) to authenticate identity or prove the right to participate, this information is handed to a trusted third party with the hope it will not act maliciously. This activity is intrinsically centralized, the data provider loses control over their PII and is also subject to various regulations based on jurisdiction.

The ability to select a set of trusted attestors and then warehouse PII in a hardware enclave means that any actor with a sufficiently capable HSM will be able to verify facts about an actor in an unforgeable way without the verifier knowing the identity of the actor. For example, Bob is not an US citizen. Alice is an accredited investor. James is a US taxpayer and one should send taxable profits to account X.

Cardano’s HSM strategy will be to attempt implemented specialized protocols over the next two years using Intel SGX and ARM Trustzone. Both modules are built into billions of consumer devices from laptops to cellphones and require no additional effort on the consumer side to use. Both are also heavily vetted, well designed and based upon years of iteration from some of the largest and best funded hardware security teams.

14 See http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ from Cornell University WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 17 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Regulation

The harsh reality of all modern financial systems is that as they scale, they accumulate a need, or at least a desire, for regulation. This outcome is generally the result of recurrent collapses due to the negligence of some actor or cabal of actors in a marketplace.

For example, the Knickerbocker Crisis of 1907 resulted in the creation of the Federal Reserve System in 1913 as a lender of last resort. Another example is the excesses of the 1920s in the United States that resulted in a terrible financial collapse, the Great Depression. This collapse yielded the creation of the Securities Exchange Commission in 1934 in order to prevent a similar event or at least hold bad actors accountable.

One can reasonably debate the need for, scope and efficacy of regulation, but one cannot deny its existence and the zeal with which major governments have enforced it. However, the challenge all regulators face as the world globalizes and cash becomes digital is two-pronged.

First, which set of regulations should be supreme when dealing with a collection of jurisdictions? The antiquated notion of Westphalian sovereignty melts when a single transaction can touch three dozen countries in under a minute. Should it simply be whomever wields the most geopolitical influence?

Second, improvements in privacy technology have created a digital arms race where it will become increasingly more difficult to even understand who has participated in a transaction, much less who owns a particular store of value. In a world where millions of dollars of assets can be controlled with nothing more than a secretly held 12-word mnemonic , how do you 15 enforce effective regulation?

Like all financial systems, the Cardano protocol must have an opinion in its design over what is fair and reasonable. We have chosen to divide between individual rights and the rights of a marketplace.

Individuals should always have sole access to their funds without coercion or civil asset forfeiture. This right has to be enforced because not all governments can be trusted not to abuse their sovereign power for the personal gain of corrupt politicians, as seen in Venezuela and Zimbabwe. Cryptocurrencies have to be engineered to the lowest common denominator.

15 See BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 18 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Second, history should never be tampered with. Blockchains provide a promise of immutability. Introducing the power to roll back history or alter the official record introduces too much temptation to change the past in order to benefit a particular actor or actors.

Third, the flow of value should be unrestricted. Capital controls and other artificial walls diminish human rights. Outside of the futility of attempting to enforce them , in a global 16 economy with many citizens in the least developed nations traveling outside of their jurisdiction to find a living wage, restricting capital flows usually ends up harming the poorest in the world.

These principles stated, markets are distinctly different from individuals. While the designers of Cardano believe in individual rights, we also believe that markets have the right to openly state their terms and conditions, and if an individual agrees to do business within this market, then they must be held to those standards for the sake of integrity of the entire system.

The challenge has always been cost and practicality of enforcement. Small, multijurisdictional transactions are simply too expensive in legacy systems to provide high assurance of recourse in the event of fraud or a commercial dispute. When one sends their wire transfer to the Nigerian Prince , it is usually too expensive to try to get one’s funds back.
17

For Cardano, we feel we can innovate on three levels. First, through the use of smart contracts the terms and conditions of commercial relationships can be better controlled. If all assets are digital and can be solely expressed on CSL, strong guarantees of fraud-free commerce can be gained.

Second, the use of HSMs to provide an identity space where PII is not leaked but yet used to authenticate and credential actors should provide a global reputation system and allow for much lower cost regulated activities to be conducted, such as online gaming with automated tax compliance or decentralized exchanges.

Finally, in Cardano’s roadmap is the creation of a modular regulation DAO that can be customized to interact with user written smart contracts in order to add mutability, consumer protection and arbitration. The scope of this project will be outlined in a later paper.

16 As an example of a countermeasure to capital flow, see the Hawala Banking System 17 See Advance-fee Scam WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 19 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

What is the Point of All of It?

Cardano has been a marathon project involving feedback from hundreds of the brightest minds

inside and outside of the cryptocurrency industry. It involves tireless iteration, the active use of

peer review, and shameless theft of great ideas when uncovered.

The remaining sections each cover a particular aspect of focus we have decided is a core

component of our project. Some were selected due to a desire to improve the overall best

practices of the space whereas others are specific to Cardano’s evolution.

While no project can cover every goal or satisfy every user, our hope is to provide a vision for

what a self-evolving financial stack should look like for jurisdictions that lack them. The ultimate

reality of cryptocurrencies is not that they will disrupt the existing legacy financial systems.

Legacy financial systems are always capable of absorbing change and maintaining their form

and function.

Rather one ought to look to places where it is simply too expensive to deploy the existing

banking system, where many live on less than a few dollars a day, have no stable identity and

credit is impossible to find.

In these places, the power to bundle a payment system, property rights, identity, credit and risk

protection into a single application running on a cell phone is not just useful, it is life changing.

The reason we are building Cardano is that we feel we have a legitimate shot at delivering — or

at least advancing — this vision for the developing world.

Even in failure, if we can change the way cryptocurrencies are designed, evolved and funded,

then there is a great accomplishment.

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.

Science and Engineering

The Art of Iteration

Cryptocurrencies are protocols implemented as software. Protocols are simply intelligent conversations between participants. Software is ultimately the manipulation of data given some WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 20 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

goal. Yet the difference between solid, reliable software as well as useful, secure protocols and their converse is completely human.

Good software needs accountability, clear business requirements, repeatable processes, thorough testing and tireless iteration. Good software also needs reasonably talented developers with enough domain specific knowledge to properly design a system that can fully resolve whatever problem they are trying to solve.

As for useful and secure protocols, especially ones involving cryptography and distributed systems, they start in a more academic and standards driven process. Peer review, endless debates and a firm concept of trade offs are necessary to ensure a protocol is useful. Yet these alone are not sufficient, protocols need to be implemented and tested by real life use.

The unique challenge in the cryptocurrency industry is that two completely different philosophies are mangled together without a proper Hegelian synthesis. Our thesis is a “move fast and break things” startup mentality driven by youth, greed and passion. The antithesis is a slow, methodical and academically oriented approach motivated by a desire to solidify the innovations of our space into a nice niche enjoying ample funding and prestige.

The result is that many cryptocurrencies are either entirely specified on a white paper only relevant to a CV or just by hastily written code. None of the current top ten cryptocurrencies by 18 market capitalization are based upon a peer reviewed protocol. None of the current ten top cryptocurrencies were implemented from a formal specification .

Yet billions of dollars of value are at stake. Once deployed, a cryptocurrency is exceedingly

difficult to change. How does a user know they are using a secure system? How does a user

know that the marketing claims are legitimate? What if the proposed protocol can never achieve

the claims?

This lack of synthesis and respect for process is one of the primary reasons IOHK wanted to

build Cardano. Our hope was to develop a reference project that would serve as an example of

how to do things in a more effective, sane and honest way.

The goal is not to propose a totally new way of developing software and protocols, but rather to

acknowledge that great software and protocols already exist and we can mimic the conditions

that led to their creation. Second, to make these conditions publicly known and open source if

possible so that they can be imitated for the benefit of the entire field. 18 See www.coinmarketcap.com for a comprehensive listing by market capitalization 19 Ethereum has a semi-formal specification known as the Yellow Paper; however, the EVM semantics are not fully specified nor are sufficient for a full implementation of the protocol. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 21 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Facts and Opinions

The other concern is over where facts end and opinion begins. There are hundreds of

programming languages, dozens of development paradigms and more than one philosophy on

project management. The academic world is riddled with its own challenges stemming from its

distance from business concerns and practicality.

For Cardano, we first attempted to capture obvious deficiencies that can be universally agreed

to be useful from an engineering perspective. For example, cryptography and distributed

systems are both extraordinarily involved topics with far too many examples of how naive hands

can make horrific mistakes. Therefore, any protocol requiring insight from these domains needs

to be designed by an acknowledged expert and be submitted for review by other experts.

Ouroboros is our first case study of this area. It was designed by a team of cryptographers with

a large, diverse and publicly verifiable publication history. It was built according to the standard

cryptography process, with security assumptions, an adversarial model and proofs. These

proofs were checked by submission to conferences and also independently by computer

20 proofs written in Isabelle by a team at the University of Cambridge .
21

Yet this work alone provides no guarantees of usefulness — just a rigorous check of a security

model given some assumptions. For usefulness, one needs to implement and test the protocol.

Our developers have done so in both Haskell and also Rust. This work revealed that more effort

needed to be focused on the synchronization model, which led to the creation of Ouroboros

Praos.

This art of iteration is what produces great protocols, with each step leading to new lessons and

a requirement to re-verify the correctness of prior step . It is costly, time consuming, and at

22 times truly tedious, yet it is required to ensure a protocol is correctly designed.

Protocols — especially ones to be used by billions of people — are not short lived and rapidly

evolving. Rather they are intended to be followed for years to decades. It seems entirely

reasonable that, prior to burdening the world with a new financial system we all have to live with

for the next 100 years, we want to demand some tedium and rigor from its designers.

20 Accepted Paper Number 71 of the IACR’s Annual Crypto Conference in California
21 By Kawin Worrasangasilpa under the supervision of Professor Lawrence Paulson
22 Following a tangent for a sake of levity, one should watch Professor Halmos’s discussion about how to write a math textbook WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 22 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Functional Sins

Moving into more opinionated territory, the tools, languages and methodologies used in

software development are more artifacts of religious providence than objective reality. Source

code is like written prose. Everyone has an opinion of what is good — and what is being

communicated is, at times, less important than how it is communicated.

We must commit the sin of choosing a side accepting that it will be wrong in at least one

person’s eyes. However, there is at least a large corpus of justification behind our choice.

The protocols making Cardano possible are being implemented in Haskell. The user interface

has been encapsulated in a fork of Electron that we are calling Daedalus. We have chosen to

use the web architectural model where possible, and for our database, we opted for a key-value

paradigm using RocksDB.

From a component level, this abstraction means that maintenance is far simpler, better

technology can be substituted later with little effort, and that our stack is partly tied to the

development efforts of Github and Facebook.

Using a WebGUI allows us to leverage React and develop front end features using tools

understood by hundreds of thousands of JavaScript developers. Using a web architecture

means that components can be treated as services and the security model is sensible.

Choosing Haskell for protocol development was the most difficult choice. Even in the functional

world, there are ample choices. On the more flexible and impure side, there are languages like

Clojure, Scala and F#, which benefit from the enormous libraries of Java and the .Net

ecosystems while preserving some of the best aspects of functional programming.

There are more academically oriented languages such as Agda and Idris that have a close

connection to techniques that would allow for strong verification of correctness. Yet they lack

reasonable libraries and have a subpar development experience.

For Cardano, the choice came down to Ocaml and Haskell. Ocaml is a wonderful language with

a great community, good tooling, reasonable development experience and a great legacy in the

formal verification space through Coq . So why did we choose Haskell? 23

23 Adding to this point, IOHK actually does have a project being implemented in Ocaml called Qeditas that we inherited from the pseudonymous Bill White WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 23 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Why Haskell?

The protocols that compose Cardano are distributed, bundled with cryptography and require a

high degree of fault tolerance. On the best days, there will still be Byzantine actors, malformed

messages and faulty clients unintentionally causing some form of havok on the network.

First, we wanted a language that enjoys a strong type system where we could easily use tools

such as Quickcheck and more elaborate techniques such as Refinement Types while having a

reasonable expectation of fault tolerance. An Erlang style OTP model satisfies the latter

whereas languages like Haskell and Ocaml satisfy the former.

With the introduction of Cloud Haskell, Haskell gained many of Erlang’s advantages while not

surrendering its own. Furthermore, Haskell’s modularity and composability has allowed us to

use a lighter weight bespoke library called Time Warp for Cardano.

Second, Haskell’s libraries have evolved greatly over the last few years thanks to extensive work

of commercial entities like Galois, FP Complete and Well-Typed. As a consequence, Haskell can

be used to write production applications.
24

Third, PureScript’s rapid evolution has provided a much needed bridge to the JavaScript world

akin to what Clojurescript has given Clojure. We expect PureScript will be especially important

when it comes to getting Cardano to work in a browser and developing mobile wallets.

Fourth, with respect to dependency resolution, Haskell in the last several years has enjoyed a

significant social and technological effort led by technologists like Michael Snoyman through a

platform called stackage that is both easy to use and well supported by FP Complete.

Fifth, beyond adequate dependency resolution, we aim for our software builds to be

reproducible. In other words, with the same configuration values and dependency versions it

should produce exactly the same build artifacts. Through stackage, we have been using NixOps

to achieve reproducibility with great success.

Finally, the talent pool of developers specializing in Haskell is reasonably large — compared to

its peers — and quite well-trained with the right mix of academic and industry credentials. It also

acts as a competency filter as it is uncommon to find experienced Haskell developers without

detailed knowledge of computer science.
24 Bryan O'Sullivan provides a nice talk about Haskell’s industrial use here.
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 24 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Formal Specification and Verification

A significant strength of developing a protocol using a provably correct security model is that it provides a guaranteed limit of adversarial power. One is given a contract that as long as the protocol is followed and the proofs are correct, the adversary cannot violate the security properties claimed.

Deeper reflection makes the prior assertion even more significant. Adversaries can be arbitrarily intelligent and capable. To say they are defeated solely through a mathematical model is extraordinary. And, of course, it is not entirely true.

Reality introduces factors and circumstances that prevent the utopia of pure security and correct behavior from existing. Implementations can be wrong. Hardware can introduce attack vectors previously unconsidered. The security model might be insufficient and not conform to real life use.

A judgement call is needed about how much specification, rigor and checking is demanded for a protocol. For example, endeavors like the SeL4 Microkernel project are a prime example of an all out assault on ambiguity requiring almost 200,000 lines of Isabelle code to verify less than 10,000 lines of C code. Yet an operating system kernel is critical infrastructure that could be a serious security vulnerability if not properly implemented.

Should all cryptographic software require the same Herculean effort? Or can one choose a less vigorous path that produces equivalent outcomes? Also does it matter if the protocol is perfectly implemented if the environment it runs in is notoriously vulnerable such as on Windows XP?

For Cardano, we have chosen the following compromise. First, due to the complex nature of the domains of cryptography and distributed computing, proofs tend to be very subtle, long, complicated and sometimes quite technical. This implies that human driven checking can be tedious and error-prone. Therefore, we believe that every significant proof presented in a white paper written to cover core infrastructure needs to be machine checked.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 25 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Second, to verify Haskell code so it correctly corresponds to our white papers, we can choose between two popular options: interfacing with SMT provers via LiquidHaskell and using Isabelle/HOL.

SMT (satisfiability modulo theories) solvers deal with the problem of finding functional parameters that satisfy an equation or inequation, or alternatively showing that such parameters do not exist. As discussed by De Moura and Bjørner, use cases of SMT are various, but the key point is that these techniques are both powerful and can dramatically reduce bugs and semantic errors.

Isabelle/HOL, on the other hand, is a more expressive and diverse tool which can be used to

both specify and verify implementation. Isabelle is a generic theorem solver working with

higher-order logic constructs, capable of representing sets and other mathematical objects to

be used in proofs. Isabelle itself integrates with Z3 SMT prover to work with problems involving

such constraints.

Both approaches provide value and therefore we have decided to embrace them both in stages.

Human written proofs will be encoded in Isabelle to check their correctness thereby satisfying

our machine checking requirement. And we intend on gradually adding Liquid Haskell to all

production code in Cardano’s implementation throughout 2017 and 2018.

As a final point, formal verification is only as good as the specification one is verifying from and the toolsets available. One of the primary reasons for choosing Haskell is that it provides the right balance of practicality and theory. Specification derived from white papers looks a lot like Haskell code, and connecting the two is considerably easier than doing so with an imperative language.

There is still enormous difficulty in capturing a proper specification and also updating the specification when changes such as upgrades, bug fixes and other concerns need to be made; however, this reality does not in any way diminish the overall value. If one is going to trouble of building a foundation upon provable security, then the implementation should be what was actually proposed on paper.

Transparency

A final question when discussing the science and engineering of developing a cryptocurrency is how to address transparency. Design decisions are not Boolean and ethereal, coming to developers in dreams and then suddenly becoming canon. They are derived from experience, debate and lessons learned from earlier mistakes.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 26 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

The challenge is that a totally transparent development process could influence discussion to become more theatrical than evidence based. Egos, attempts to win over a community, and fear of sounding stupid could force conversations to become sterile and counterproductive.

Furthermore, outsiders could attempt to co-opt the conversation in an effort to force their particular tangent to become the only relevant topic. Everyone has a sacred cow.

So how does one balance the need for a transparent development process, which is owed to the community that has entrusted progress to a set of core developers, with the need for freedom of expression without fear?

With Cardano, we have decided to embrace a standards driven process with directed oversight. The community needs to know that the science and the code are well thought out, checked and actually solve the things that developers claim they do. To this end, peer review should completely satisfy the science component as it has been designed specifically for this purpose and has given us the modern world.

For code, this topic is a bit more opinionated. For Cardano, we have elected to entrust the Cardano Foundation to serve as a final auditor of IOHK’s work. In particular, they are entrusted with the following duties:

1. Regular review of the source code contained in the Cardano Github to check for quality, test coverage, proper comments and completeness
2. Review of all Cardano documentation for correctness and usefulness
3. Verifying the claims that the protocols produced by the scientists are fully implemented

To accomplish this task, IOHK will submit regular and timely reports to the Foundation – and its assigns – to review. The Foundation in turn will release a development oversight report to the Cardano community on at least a quarterly basis.

This first effort is intended to start a broader conversation about how a decentralized project achieves accountability. Development oversight from a trusted third party is a powerful tool to ensure that developers are on track, but it is not sufficient to completely guarantee that the project will always deliver.

For this reason, after the treasury is integrated into CSL, the Foundation will encourage additional development teams to construct alternative clients based upon the formal specifications developed jointly with IOHK. Development diversity has been a great technique used by the Ethereum project to avoid a monoculture forming around a single set of ideas or developers. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 27 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

With respect to specifications, there is a wealth of knowledge to be gained from the standards process followed by the WC3 and the IETF. Ultimately, each protocol Cardano integrates requires a specification that is independent of academic work or source code. Rather it needs to be in a suitable format such as an RFC.

One of the Cardano Foundation’s core tenets is to act as standards body specifically for the Cardano protocols and to host conversations to update, add or change standards relevant to Cardano. If the internet (a product of standards) through IETF can reach consensus about what core protocols shall be used, then it is entirely reasonable to assume that a dedicated body could facilitate the same outcome.

As a closing note, it is interesting to explore moving these discussions to a decentralized entity hosted on a blockchain. This concept is called a decentralized autonomous organization (DAO) and preliminary work is underway in this area. IOHK will develop a reference DAO model for entities interfacing with Cardano to use if desired and it is the Cardano Foundation’s prerogative to decide whether to embrace it under their standards mandate.

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.

Interoperability

The Grand Myopia

Finance and the broader idea of commerce is ultimately a human endeavor. There exist elegant languages, extremely precise tools to capture intent, and endless mazes of techniques to achieve recourse in the event of bad outcomes as well as thousands of years of laws seeking equity in trade. In fact some of the earliest forms of writing were commercial contracts.

Yet the human element cannot be eschewed regardless of the disintermediation to logic, machines or governmental sentinels entrusted with terrible powers. Therein lies the grand myopia of cryptocurrencies. They are mostly divorced from human reality.

People make mistakes. People change their minds. People do not always fully understand the business relationships they are agreeing to enter. People get misled and defrauded. Circumstances change on an individual and state level that require unique solutions. Belaboring this point, most contracts contain force majeure clauses.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 28 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

However, cryptocurrencies seek to toss out human understanding, compassion and judgement in exchange for an uncaring digital judge perfectly bound to a constitution without consideration to fairness or outcome. Given that humans have always tried and will continue to attempt to change rules to selfish ends, it is refreshing to actually have a system that cannot be corrupted.

But what happens when a user needs to blend these new systems with traditional financial systems? What happens when one needs to live in the human world? For example, property rights such as land registration live entirely in the physical world. Even tokenizing the land still requires some acknowledgement of the incumbent jurisdiction.

To provide another point, a bar of gold cannot move itself. The digital judge can command its movement, but cannot force it without humans to accommodate. Hence a digital ledger can drift from reality.

Thus a protocol designer needs to decide how much human reality should be permitted in his cryptocurrency. The more flexibility, the less fidelity to the absolute one should expect. The more consumer protection, the more mechanisms have to exist to provide rollbacks, refunds and editing of history.

This section and the next on regulation covers Cardano’s pragmatic approach to the topic. In terms of interoperability, there are two broad groups to discuss. First, interoperability with legacy financial systems (the non-cryptocurrency world). Second, interoperability with other cryptocurrencies.

Legacy

Fintech is not composed of a single standard or even a common language. There is tremendous

diversity in approaches, the entities responsible for settlement and clearing, business

processes, and other domains involved in the accounting, transformation and movement of

value.

It is unreasonable to suggest that, simply because one technology is superior, the rest of the

ecosystem will somehow admit defeat and upgrade. For example, many people still use

Windows XP 16 years after the initial release. This sad state of affairs is equivalent to someone

using the original Macintosh released in 1984 in the year 2000.

Consumer behavior aside, businesses are generally even slower in their upgrade cycle. Many

banks still use back ends written in Cobol. Once infrastructure is known to work and meets

business requirements, there is usually little incentive to upgrade or refine software and

protocols for a consumer’s benefit outside of compliance or security concerns. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 29 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

For Cardano, we first have to establish what would a legacy bridge even entail? What systems,

standards, entities and protocols should we target to ensure there is a reasonable certainty of

interoperability? Can these bridges be federated or decentralized? Or like exchanges will they

become central points of failure for hackers, malicious owners or overzealous regulators?

There are three concerns that have to be addressed. First, the representation of information and

belief in its accuracy. Second, representation of value and its associated ownership. Third,

representation of entities and, a particular user’s alongside the aggregate level of trust in such

entities.

To be useful, information and value need to freely flow between the legacy financial world and

Cardano. Then outcomes need to be established and recorded to build reputation and grounds

for recourse. Yet such things are mostly scoped in nature to the actors involved. To encode

them on a blockchain would make them global and permanent.

Furthermore, value cannot always freely flow in the legacy world. Embargos, sanctions, capital

controls and judicial action could freeze assets. To be interoperable, one cannot create an

always open escape valve for value to leak.

Finally, the brand and reputation of entities is one of the cornerstones of commercial relationships. Billions of dollars are spent yearly on marketing campaigns to establish, maintain and repair brands. If libelous, false or misleading claims are made about a person or entity, then they have the right to seek legal recourse. Yet blockchains attempt to permanently preserve history.

Like our choice of programming language, there is no ideal solution for Cardano to resolve these concerns in a ubiquitously correct way. Rather, we have to yield to supported opinion again.

With respect to the flow of information, this flow is known as a trusted data feed. It has a source and content. Sources have some notion of credibility and incentive to deceive or maintain honesty. Content can be arbitrarily encoded.

Given that we intend on supporting trusted hardware in our protocol stack, we have chosen to explore adding support for Professor Ari Juel et al.’s Town Crier Protocol. Assuming the existence of a credible set of data sources, Town Crier permits the secure scraping of web content for use in smart contracts and other applications.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 30 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

A bootstrap list of sources will be provided by Emurgo, IOHK and the Cardano Foundation. Later this list will be replaced by a community curated list using mechanics derived from Cardano’s treasury system. Our hope is that a reputation system can materialize around good data feeds, thereby creating a positive feedback loop to gradually improve reliability and fidelity.

The representation of value is a more complex topic. Unlike information — where once the veracity, timeliness and completeness are established, protocols can behave in a reliable and deterministic way — value is more delicate.

Once tokenized, value should behave like a unique object. Information can be copied and passed around, but a token representing ownership of something (say a vehicle title) cannot be cloned and traded on two different ledgers. This act would effectively destroy the integrity of the system.

The challenge in legacy interoperability when dealing with tokenized value is that trust assumptions, reliability and auditability change as tokens flow between ledgers. For example, if Bob owns some Bitcoin and then deposits them on an exchange, then Bob now has the exchange’s representation of his Bitcoin on their ledger. In the case of MtGOX, their ledger did not conform to reality, causing the users to lose everything.

The problem is further complicated by the need for legacy systems to recognize tokens living in a cryptocurrency. As mentioned previously, businesses are historically resistant to upgrading their software and supporting new protocols. This situation makes it difficult to see a clear solution.

For Cardano, our best hope is to provide an option for users to attach a rich supply of metadata to their transactions and then wait for industry standards to emerge to hook into. Some progress has been made with the Interledger workgroup, efforts like R3Cev and international mandates to upgrade old financial protocols.

However, the larger challenge remains of quantifying and qualifying value sent from a legacy system to a cryptocurrency ledger. For example if Bob is a bank owner and issues a dollar backed token, then he can always build a bridge to send his tokens to a ledger like Cardano as a user issued asset.

While Cardano would track ownership precisely and provide all the features we have come to love such as timestamping and auditability, no cryptocurrency can make Bob an honest banker. He always has the option of running a fractional reserve bank by not backing all of his dollar WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 31 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

tokens with real dollars. This fraud cannot be detected by a cryptocurrency unless the dollar itself was a token accounted by a digital ledger . 25

Finally, the representation of entities online is a classical network problem dating back to early days of the internet. Universities, businesses, government departments and any arbitrary users need to establish their identity at some point.

To this end, pragmatic yet centralized solutions like the web’s Public Key Infrastructure and ICANN’s DNS system have been implemented. Given that we enjoy the modern web, these solutions are both scalable and practical. But they do not answer a more commercially oriented question of reliability, trustworthiness and other meta characteristics necessary for determining if one wants to do business with the entity.

Multi-sided marketplace hosts like eBay have constructed a business model on providing some of this metadata alongside a framework to complete transactions. Judgements about the quality of content, events and businesses are often deeply influenced solely by online ratings from trusted sources . 26

The part of this point relevant to Cardano is a question of centralization of reputation. One of our goals for Cardano is to provide a financial stack for the developing world. A key to this effort is the ability to establish trust with actors one has never met.

If a single entity or a consortium of entities control who is labeled good or bad, not an organic process derived from actual interactions in the community as a whole, then these entities could arbitrarily blacklist anyone for any perceived sin. This power is against our values as a project and defeats the broader point of using a cryptocurrency.

Fortunately, the same mechanisms used in voting for treasury ballots, adding sources to a list of trusted data feeds and forking a protocol can be reused to establish a reputation space. It is an open area of research and our hope is to provide an overlay protocol for a decentralized reputation web of trust in 2018-2019 after more foundational elements have been settled.

Cryptocurrency Interoperability

25 For digital ledgers on the other hand, proof of reserve has been proposed as a clever way of keeping cryptocurrency only exchanges honest. 26 These rates even impact the creation of content itself. See this interest story on how Rotten Tomatoes has impacted the movie industry. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 32 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Moving from the legacy world to distributed digital ledgers, interoperability becomes far simpler. Each ledger has a network protocol, standards of communication and security assumptions about its respective consensus algorithm. These in turn can be easily quantified.

Movement of information is established by connecting to the foreign network and translating its messages. Movement of value can be done through a relay system, atomic cross chain trading or through a clever sidechains scheme. As there is not a centralized operator, one representation of entities restricts more to a metadiscussion of trust in developers, miners or some other powerbroker.

For Cardano, we are integrating a new sidechain protocol developed by Kiayias, Miller and Zindros. It provides a non-interactive way of safely moving value between two chains that support the protocol. This mechanism will be the primary way value will flow between CSL and a CCL layer.

For other cryptocurrencies, federated bridges should form as Cardano grows in value and user base. To help accelerate this growth, Cardano SL supports a restricted version of Plutus for interoperability scripts. New transactions will be added in the Shelley and later releases of CSL specifically to address these needs.

The Maze of Daedalus

The points on interoperability come from a global perspective. Specialized protocols, new

transaction types, systems to assess credibility and the flow of information cannot be scoped to

just a single gatekeeper or user. Rather they must be readily available to anyone without

censorship or tolls.

Yet what happens when Cardano does not support a protocol, transaction or application that a

user cannot live without? Should we just be out of scope? The web faced a similar concern

during the 1990s.

Ironically, the web provides two different solutions that can be replicated with cryptocurrencies.

The introduction of JavaScript provided programmability to any website to add arbitrary

features. The introduction of browser plugins and extensions added custom capabilities for

users willing to install them. Both approaches gave us the modern web alongside all its security

horrors.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 33 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Ethereum adopted the former approach by allowing users to embed subprotocols on the

Ethereum blockchain as smart contracts. Cardano supports this feature through the CCL

paradigm. But what about custom extensions?

An elucidating example would be a cryptocurrency trader. Imagine a decentralized marketplace,

called DM, that supports a set of different cryptocurrencies. A trader wants to automate his

strategies acting on DM.

In a fragmented ecosystem, the trader would have to install dozens of clients for each

cryptocurrency and then write custom software to talk to each client in order to coordinate

automated trades. If one client updates, then it could break the bespoke software. Furthermore,

what if the trader wants to sell the software?

Inspired from the web model of extensions, if the interface to various cryptocurrencies can be

pulled into a web stack, then the trader’s task becomes dramatically easier. A universal

interface can be established. Installation is one click. Distribution of software can be modeled

after the Chrome web store.

For Cardano, we have decided to experiment with this paradigm by deploying our reference

wallet’s front end on Electron. It is an open source project maintained by Github that combines

both Node and Chrome together. Cardano’s build of Electron is called Daedalus.

The first generation of Daedalus will act as an HD wallet with support for many of the expected

27 accounting and security features that are industry standards, such as spending passwords and

BIP39. In later generations Daedalus will develop into an application framework with a store,

universal integration APIs and an SDK.

The key innovations are ease of development by allowing programmers to use JavaScript,

HTML5 and CSS3 to build their applications and a unified bridge for cross application

communication. Complex behavior such as cryptography, managing a distributed network and

database mechanics can be abstracted away thereby letting the developer focus solely on user

experience and their application’s core logic.

As Daedalus is intended to be a universal framework, its roadmap and evolution is somewhat

independent of Cardano’s. During 2017 they are tightly coupled, but later Cardano will be just

another application for a Daedalus user. We also intend on exploring extremely unique features

such as a universal key management service running solely in Intel SGX.

27 Which is already available at daedaluswallet.io
WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 34 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Ultimately, as protocol designers, we cannot support all needs. Our hope is that the flexibility

that Daedalus will provide combined with stateful smart contracts running on CCL will satisfy

those left out by our design decisions. We also hope that better standards can emerge to

encourage all cryptocurrencies to enjoy better interoperability and security.

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.

Regulation

The False Dichotomy

As mercurial and arcane as regulation can often be, one can metaphorically infer an elegant narrative loop of the corrupt and their prosecutors seeking justice. Regulations are the toolkit of the lawbringer. But like all tools, they might be crude, old or simply misused.

Cryptocurrencies have not changed the human condition or the narrative loop. There will always be scams, bad actors and terrible outcomes despite the best of intentions. While cryptocurrencies can remove human judgement, they cannot remove human behavior.

A cryptocurrency designer has to take a position on what toolkit he will offer the regulator to correct bad events. The unique challenge cryptocurrencies face is that they are a product of regulatory and monetary failure . 28

Culturally, many in cryptocurrencies consider government action to be corrupt, inept or ineffective. Therefore, they have little respect, patience or desire to endorse a special backdoor for a regulator or lawman to right wrongs. This act would be anathema to the entire purpose of cryptocurrencies.

On the other hand, counting exchange failures and historic events, more than 10 percent of Bitcoin has been lost or stolen since the protocol started on January 3rd, 2009. As of June 30th, 2017, the value lost or stolen comes to a little over $4 billion. And this figure does not account for Bitcoin and other tokens lost to scams and poorly formed ICOs.

28 In fact Satoshi embedded in the Bitcoin Genesis Block the following headline taken from The Times: The Times 03/Jan/2009 Chancellor on brink of second bailout for banks WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 35 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Then there is the issue of privacy. On a macro scale, value flows through specialized channels that are regulated, rich in metadata and actively monitored by law enforcement, governments and international regulators. It is a well understood game with leakage occurring only on the cash side of affairs, which has been gradually diminishing as the world moves to digital money.

The paradigm if cryptocurrencies did not exist would seem to be a world that increasingly treats financial privacy like social media content. There is none and one cannot opt out. Hence we have a dilemma yielding an apparent dichotomy.

A cryptocurrency designer can surrender principles and yield to whatever demands their local jurisdiction places upon their code, thereby compromising the privacy and integrity of their users. Or he can adopt a more principled, but anarchistic, philosophy that divorces itself from current best practices and laws.

For Cardano, we feel this narrative is a false dichotomy brought on by a lack of imagination. The reality is that most users are not concerned about rules existing for markets. They are usually concerned about sudden changes in the rules to benefit one or more actors. They are worried about a lack of transparency over who gets special privileges.

We need to distinguish between individual and market rights. Given that cryptocurrencies have a global reach, rights needs to be as user oriented as possible.

Privacy should be reasonable and at the user’s control, not a gatekeeper. The flow of value should be unrestricted. Value should not be subject to sudden forfeiture without consent.

From a market perspective, the marketplace needs to be transparent about the use of data, how funds will be handled within and everyone needs to play by the same set of rules. Furthermore, once the user has consented, then they cannot suddenly change their mind due to inconvenience. Counterparties need certainty as well.

But how exactly does one move from the abstract to an actual system? What should something practical and legal look like? We have broken our solution into three categories: metadata, authentication and compliance as well as marketplace DAOs.

29 The reader should consider picking up a copy of David Wolman’s The End of Money. It covers the international movement towards cash disappearing. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 36 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Metadata

The act of something can often be less interesting than the metadata surrounding it. For example, driving from Denver to Boulder is an act. Driving from Denver to Boulder in a Ferrari 488 at an average of 120 MPH is metadata. Certainly this infers a different experience than in a Toyota Prius at an average of 30 MPH.

Financial transactions are no different. The context surrounding them is extraordinarily important to economists, tax authorities, law enforcement, businesses and other entities. Sadly in our current fiat based system, most consumers never see how rich in metadata their transactions are or who they are shared with . 30

For Cardano, we acknowledge that users could need or are legally required to share transactional metadata with certain actors like tax authorities. But we believe this sharing has to be at the user’s consent.

We also believe that blockchain systems have tremendous power to eliminate fraud, waste and abuse by providing auditability, timestamping and immutability. Thus some metadata should be posted to the Cardano blockchain.

The hard part is finding a correct balance that does not condemn our blockchain to substantial bloat. Given this concern, we have chosen a pragmatic approach.

First, Daedalus will support over the next 12 months a large array of features to label transactions and financial activity. These metadata can be exported and shared on demand with whoever the user deems necessary. Furthermore, the data can be operated on by three party applications for domain specific purposes (for example, tax accounting).

Second, we are exploring adding support for special addresses that can include hashes and encrypted fields. This structure would permit a user to post metadata on our blockchain without publicly revealing it. But if she wants to share the data, it would carry all the auditability, immutability and timestamp surety that a transaction enjoys.

30 On a more macro scale, author Juan Zarate writes about how this data is used by the US Treasury Department in the war on terrorism in Treasury’s War. It provides a comprehensive view into how the current structure of global financial markets can be used for geopolitical ends. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 37 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

We have already deployed an address structure that contains an attribute field. It is currently being used to store an encrypted copy of HD wallet trees structure for fast wallet recovery (see HD Wallet documentation). Later versions will generalize this construction.

Authentication and Compliance

Closely connected to transactions are the topics of the right to make transactions and the ownership of funds. For example, while there might be sufficient funds to buy something (for example alcohol), there could be restrictions on its purchase (age requirements).

Ownership and origin of funds are typically providence of know your customer regulations. When a money service business like a bank or exchange opens an account for a new customer, it is usually required to collect basic facts about the customer and where he acquired his funds from.

The technological challenge is that in the process of submitting this legally required information, the user sending it has no guarantee how it will be used, stored and if it will ever be destroyed. Compliance information is commercially valuable. It could be stolen for identity theft or resold where regulations permit.

For Cardano, we want to innovate as much as possible. On the software side of protocols, there is little to provide a guarantee that the receiver of compliance information will behave within a scope of conduct. However, on the hardware side of protocols, using trusted hardware, one can leverage Intel SGX and other HSMs to enforce certain policies.

Thus we are exploring using Sealed Glass Proofs alongside a sharing policy to permit the safe transmission of compliance information to a verifier who in turn is forced to comply with the policies it was transmitted under. We believe that both uniform standards could emerge and also that this method will reduce risk to verifiers by preventing the loss of customer data from hackers.

As a corollary to this effort, the layered model we propose for Cardano separating value from computation also can benefit from this approach. If the computation layer is run by regulated entities (say exchanges or casinos), then they would need to conduct compliance checks and potentially enforce tax policy on users.

Using SGPs, the user can send funds alongside personally identifiable information without concern that it will leak into the broader internet or be preserved by the consensus nodes of the WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 38 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

computation layer. Furthermore, the computation layer would gain certainty that all users transacting are authenticated and legitimate.

This paradigm also allows for customer portability between regulated entities. Exchanges could transfer balances and accounts for customers instantly through these safe channels and also — where policies permit — share data with regulators.

We expect our first beta test of this technology to be conducted in mid-2018 with an aim towards Cardano integration in late-2018 to early 2019 pending research results. This timeline also assumes the ability to collaborate with ARM and Intel in order to get code signed to run on their hardware . 31 Marketplace DAOs

The two previous sections covered the generation and movement of information assuming the existence of some external system. To ensure legacy interoperability, these features will always be necessary, but they do not address blockchain based regulation.

Smart contracts enable a completely new kind of commercial system where relationships are deterministic, self-enforcing and free of ambiguity. They can in turn be used to create rules for marketplaces including arbitrarily complex structures such as arbitration, event driven refunds, and revelation of facts given special conditions.

We call these smart contract enforced structures Marketplace DAOs. They do not require special protocol support nor mutability to be embedded in the ledger. In fact, they can be totally constructed using a collection of interdependent smart contracts.

The architectural concept is to design a collection of commercial templates inspired from contract law and business best practices. These templates can be wired into a developer’s smart contract to enforce specific standards upon the marketplace.

For example, say a developer wants to issue an ERC20 token on CCL to conduct a crowdsale. A Marketplace DAO could be established specifically for crowdsales and its terms and conditions parameterized or even enforced by volunteer or legal standards. Things such as refunds, reallocation of funds or freezing of payment could be inherited in the developer’s ERC20 contract.

31 See Intel SGX Commercial License Policy WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 39 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

This effort allows us to have a macro discussion about how a marketplace should be controlled in order to ensure consumer protection. Second, we can discuss how to model transactions in a way to automatically ensure legal protection and rights within specific jurisdictions, such as New Hampshire.

Working with the Cardano Foundation, IOHK and other entities, the Cardano project will create a reference library of Marketplace DAOs for smart contract developers to use. Our hope is that insurance and regulatory markets can form around these DAOs and that they will be self-evolving based upon outcomes.

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ả.

Sustainability

An immersion into the cryptocurrency area yields many conceptual contradictions.

Cryptocurrencies are designed to be difficult to change, but, like all technology, they need to

change to address design flaws and advancements. Blockchains are intended to prevent

centralization, yet require strong actors to lead changes or maintain the code.

Perhaps the most frustrating experience comes when there are clear deficiencies that most

stakeholders agree need to be corrected, yet consensus cannot emerge on the path forwards.

Bitcoin’s block size debate has now been an active issue for more than two years. Daily,

transactions totalling over a billion dollars are pending because the network is at peak capacity.

If changing a simple parameter — even in the presence of temporary solutions — cannot be

coordinated, then how can enterprises and governments feel comfortable investing billions of

dollars into building infrastructure on top of these systems? For that matter, how can any

business gamble on the strategic risk of integrating accountability-free protocols that cannot

make rational design upgrades?

Looking back into history, the evolution of the internet has followed a similar pattern with even

simple changes like the transition from IPv4 to IPv6 taking decades to realize. Yet there is a

strong contrast between blockchain technology and the internet in that they follow a very

different style of custodianship.

The internet was a military project that grew out of DARPA into academic circles with strong

government backing and a well-defined set of initial custodians. The internet grew under

non-commercial conditions without the machinations of corporate influence attempting to

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 40 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

monopolize the network. In fact, e-commerce violated the NSF AUP until it was repealed in

By the time businesses had the luxury of commercializing the internet, there was already a

strong set of standards, principles and evangelistic adherents. This did not stop companies like

AOL and Microsoft from trying to build wall gardens and creating proprietary technology like

ActiveX. This foundation has not stopped next generation actors such as Google from pushing

their own agendas given their enormous user bases and capitalizations.

With swarms of rent seeking actors from traders to miners, cryptocurrencies are the ultimate

32 commercially motivated ecosystems. Given this foundation, evolution of the custodianship of

cryptocurrencies has resulted in optimization around self-interest.

For example, validationless mining is starting to occur more frequently as it improves a miner’s

profit margin, yet this completely disregards the entire purpose and utility of mining. Mining

centralization has already occurred with just a handful of actors in control of the majority of

Bitcoin’s hash power.

Like the internet, cryptocurrencies require consensus to change. But when such rapid

centralization of power to a handful of brokers occurs, what happens when change is not

convenient to them?

Unlike the internet, the bootstrapping of most cryptocurrencies is not done through altruistically

non-commercial or academic means. From inception, some group seeks to make gains and

there are power brokers assigned to help ensure those gains.

Founding centralization is a reality that each cryptocurrency must face in its evolution. We

cannot fully escape it, but should at least try to design around gradual decentralization.

For Cardano, we thought carefully about what factors promote centralization and what

techniques could be applied to encourage our protocol to gradually become public

infrastructure like the web.

We fully admit that total decentralization is both impossible and perhaps even

counterproductive. Yet certain factors can be encouraged to produce a more balanced system.

First, while centralized custodianship of crowdsale funds allows for agile and rapid development

of the protocol during the early days, eventually funding has to diversify and the speed of

32 See link for more information on this term WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 41 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

development needs to retire to a more systematic and deliberate pace. Following this point,

funding needs to avoid cultural, linguistic and geographic bias.

Second, as the community becomes more informed about the underlying nature of the

cryptocurrency’s technology, decisions about the roadmap cannot be centralized to a set of

core developers or foundation. There needs to be a blockchain based method for proposing,

vetting, and enacting changes to the protocol.

Third, the incentives behind maintaining the Cardano SL blockchain have to be directly aligned

with the aggregate desires of all users. We cannot permit a cabal of specialized actors to

emerge who are independent of the will of the greater community.

For the first principle, we have chosen to integrate a treasury system into Cardano. For the

second, we will deploy a formal process to propose Cardano Improvement Proposals through a

system coordinated by CSL itself. For the third, we believe Ouroboros provides an elegant

solution.

More detail could be provided on the above topics, but they are extensive in their own right and

beyond the scope of a survey paper. Mechanism design is one of the most intricate and

interdependent academic fields with incomplete theory and no solid canonical model to stand

on.

Rather our science driven approach described in section two serves us well here. IOHK’s Veritas

team is working in partnership with a group of researchers from Lancaster University under the

direction of Professor Bingsheng Zhang to develop Cardano’s reference treasury model. With

the aim of integration in 2018, we expect a dedicated peer reviewed publication by the end of

For formal description and vetting of changes to a cryptocurrency protocol, this topic is the

least understood as it requires both ontological notions as well as a mechanism to incentivize

broad participation. Perhaps some form of representative democratic process could emerge or

use of liquid feedback to provide more rational voting.

We expect research in this direction to consume most of IOHK’s formal involvement in the

development of Cardano . As a starting point, we will deploy alongside the reference treasury

33 model several mechanisms to capture consent. Further study is required for a definitive

solution.

33 IOHK is retained to build Cardano until the end of 2020 WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 42 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

Finally, work to improve incentives for Ouroboros is being supervised by Professor Elias

Koutsoupias of the University of Oxford. After the cryptographic foundations of Ouroboros are

solidified alongside all required scalability work, a broader study of bonds, penalties and exotic

incentives will be added to the reference protocol.

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.

Conclusion

A cryptocurrency is more than the sum of its protocols, source code and utility. It is ultimately a social system that inspires, enables and connects people. Frustrated by the many half measures, failures and broken promises of past protocols, we set out to build something better.

This process is not simple nor have we ever believed it can finish. Social protocols continue indefinitely changing as people and society change. To be useful, we want to trap the power of evolution and port it into Cardano.

Evolution is not guided by a single hand or a grand design. It is a process of serendipity inspired by endless mistakes and problems. Cardano seeks to be the digital embodiment of this process — fit enough to be able to survive the markets of today and adaptive enough to evolve to meet the needs of the future.

The previous sections capture a brief view into how we have been approaching this goal. We have diligently tried to recognize cognitive biases, learn from history and follow a rigorous process. We have tried to balance the need for rapid development with formal methods that traditionally cannot move quickly.

It has been an extraordinary privilege to embark on this journey. In the past two years, we have already developed a provably secure proof-of-stake protocol, recruited a small army of Haskell developers and made Cardano’s development the concern of many talented scientists.

As we move from the laboratory to a deployed system in the wild, there will be growing pains, but our hope is that Cardano’s future could be summarized in a single anthropomorphized sentence. Cardano is a pragmatic dreamer that learns from its elders, is a good citizen in its community, and always finds a way to pay its bills.

WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 43 of 44

IOHK | WHY WE ARE BUILDING CARDANO | 06/28/2017

We cannot know the future, but we are glad to be trying to make it a better one for everyone. Thanks for reading. WHY WE ARE BUILDING CARDANO Creative Commons Attribution 4.0 International License Page 44 of 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