कार्डानो डिज़ाइन तर्क

Why We Are Building Cardano

Tác giả Charles Hoskinson and IOHK · 2017

🇺🇸 English (Bản gốc)

🇮🇳 हिन्दी (Bản dịch)

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.

परिचय

क्रिप्टोकरेंसी के डिज़ाइन में सुधार पर एक दीर्घकालिक दृष्टिकोण ताकि वे काम कर सकें उचित और सुरक्षित उपयोगकर्ता अनुभव वाले मोबाइल उपकरण ● हितधारकों को उनकी क्रिप्टोकरेंसी के संचालन और रखरखाव के करीब लाना ● एक ही बहीखाते में कई परिसंपत्तियों का हिसाब रखने की आवश्यकता को स्वीकार करना ● बेहतर अनुरूपण के लिए वैकल्पिक मेटाडेटा को शामिल करने के लिए लेनदेन का सार विरासत प्रणालियों की आवश्यकताएँ ● लगभग 1,000 altcoins से उन विशेषताओं को अपनाकर सीखना जो अर्थपूर्ण हों ● इंटरनेट इंजीनियरिंग टास्क फोर्स द्वारा प्रेरित मानक-संचालित प्रक्रिया अपनाएं अंतिम प्रोटोकॉल डिज़ाइन को लॉक करने के लिए एक समर्पित फाउंडेशन
● वाणिज्य के सामाजिक तत्वों का अन्वेषण करें
● नियामकों के लिए वाणिज्य के साथ बातचीत के लिए एक स्वस्थ मध्य मार्ग खोजें Bitcoin से विरासत में मिले कुछ मूल सिद्धांतों से समझौता करना

विचारों के इस असंरचित सेट से, Cardano पर काम करने वाले प्रिंसिपलों ने दोनों का पता लगाना शुरू किया

क्रिप्टोक्यूरेंसी साहित्य और अमूर्तता का एक टूलसेट बनाने के लिए। इस शोध का आउटपुट है

IOHK के कागजात की व्यापक लाइब्रेरी, इस हालिया स्क्रिप्टिंग जैसे कई सर्वेक्षण परिणाम

भाषा अवलोकन के साथ-साथ स्मार्ट कॉन्ट्रैक्ट्स की ओण्टोलॉजी और स्कोरेक्स परियोजना। सबक

उपज एक सराहना के लिए द क्रिप्टोकरेंसी उद्योग का असामान्य और पर बार

प्रतिकूल वृद्धि.

सबसे पहले, टीसीपी/आईपी जैसे सफल प्रोटोकॉल के विपरीत, इसके डिज़ाइन में बहुत कम परतें होती हैं

क्रिप्टोकरेंसी। चारों ओर सर्वसम्मति की एक ही धारणा को संरक्षित करने की इच्छा रही है

तथ्यों और घटनाओं को एक ही बहीखाते में दर्ज किया जाता है, भले ही इसका कोई मतलब हो।

उदाहरण के लिए, Ethereum ने बनने के प्रयास में भारी जटिलता का सामना किया है

यूनिवर्सल वर्ल्ड कंप्यूटर, लेकिन सिस्टम को संभावित रूप से नष्ट करने वाली छोटी-छोटी चिंताओं से ग्रस्त है

मूल्य के भंडार के रूप में कार्य करने की क्षमता। क्या हर किसी का कार्यक्रम प्रथम श्रेणी का नागरिक होना चाहिए

इसके आर्थिक मूल्य, रखरखाव की लागत, या नियामक परिणामों की परवाह किए बिना?

दूसरा, मुख्यधारा के क्रिप्टोग्राफ़िक अनुसंधान में पूर्व परिणामों की बहुत कम सराहना की जाती है। के लिए

उदाहरण के लिए, बिटशेयर द्वारा प्रत्यायोजित हिस्सेदारी का प्रमाण आसानी से और विश्वसनीय रूप से यादृच्छिक उत्पन्न किया जा सकता था

गारंटीकृत आउटपुट डिलीवरी के साथ सिक्का उछालने का उपयोग करके संख्याएँ, जो तब से ज्ञात तकनीक है

1980 का दशक (राबिन और बेन-ओर का मौलिक पेपर देखें)।

तीसरा, अधिकांश altcoins (Tezos जैसे कुछ उल्लेखनीय अपवादों के साथ) ने कोई भी कमाई नहीं की है

भविष्य के अपडेट के लिए आवास। नरम या कठोर कांटे को सफलतापूर्वक धकेलने की क्षमता महत्वपूर्ण है

किसी भी क्रिप्टोकरेंसी की दीर्घकालिक सफलता के लिए।

परिणामस्वरूप, एंटरप्राइज़ उपयोगकर्ता लाखों डॉलर मूल्य के संसाधन समर्पित नहीं कर सकते

प्रोटोकॉल जहां रोडमैप और उनके पीछे के कलाकार अल्पकालिक, क्षुद्र या कट्टरपंथी होते हैं। वहाँ

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 3आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

एक कुशल प्रक्रिया की आवश्यकता है जिसके माध्यम से एक दृष्टिकोण के इर्द-गिर्द सामाजिक सहमति बन सके

अंतर्निहित प्रोटोकॉल विकसित करना। यदि यह प्रक्रिया अत्यधिक बोझिल, विखंडन वाली है

समुदाय को तोड़ सकता है।

अंततः, पैसा है अंततः ए सामाजिक घटना. गुमनाम करने के प्रयास में और

मध्यवर्ती केंद्रीय अभिनेताओं, Bitcoin और उसके समकालीनों ने भी इसकी आवश्यकता को त्याग दिया है

वाणिज्यिक लेनदेन में स्थिर पहचान, मेटाडेटा और प्रतिष्ठा। ये डेटा जोड़ा जा रहा है

केंद्रीकृत समाधानों के माध्यम से ऑडिटेबिलिटी, वैश्विक उपलब्धता और अपरिवर्तनीयता को दूर किया जाता है -

जो blockchain का उपयोग करने का संपूर्ण बिंदु है।

स्विफ्ट, फिक्स और एसीएच जैसी विरासती वित्तीय प्रणालियाँ समृद्ध हैं

लेन-देन संबंधी मेटाडेटा. यह जानना पर्याप्त नहीं है कि खातों के बीच कितना मूल्य स्थानांतरित हुआ,

विनियमन में अक्सर शामिल अभिनेताओं के आरोप, अनुपालन जानकारी, रिपोर्टिंग की आवश्यकता होती है

संदिग्ध गतिविधि, और अन्य रिकॉर्ड और कार्रवाइयां। कुछ मामलों में, मेटाडेटा अधिक है

लेन-देन से भी महत्वपूर्ण.

इसलिए, यह अनुमान लगाना उचित प्रतीत होता है कि मेटाडेटा में हेरफेर उतना ही हानिकारक हो सकता है

नकली मुद्रा बनाना या लेन-देन का इतिहास दोबारा लिखना। अभिनेताओं के लिए कोई आवास नहीं बनाना

जो लोग स्वेच्छा से इन क्षेत्रों को शामिल करना चाहते हैं, उन्हें मुख्यधारा में अपनाना प्रतिकूल लगता है

और उपभोक्ता संरक्षण।

प्रवास का अंत

क्रिप्टोक्यूरेंसी क्षेत्र के हमारे सैद्धांतिक अन्वेषण का एकत्रीकरण दो संग्रह है

प्रोटोकॉल. क्रमशः, एक सिद्ध रूप से सुरक्षित प्रूफ-ऑफ-स्टेक [1][2] आधारित क्रिप्टोकरेंसी जिसे कहा जाता है

Cardano सेटलमेंट लेयर (CSL) और प्रोटोकॉल का एक सेट जिसे Cardano कंप्यूटेशन लेयर कहा जाता है

(सीसीएल).

हमारा डिजाइन जोर क्रिप्टोकरेंसी के सामाजिक पहलुओं को परतों में समायोजित करने पर है

मूल्य के लेखांकन को जटिल गणना से अलग करके और की जरूरतों को संबोधित करके

कई अपरिवर्तनीय सिद्धांतों के दायरे में नियामक। इसके अलावा, जहां यह समझदारी है,

1 हम सहकर्मी समीक्षा के माध्यम से प्रस्तावित प्रोटोकॉल की जांच करने और औपचारिक के विरुद्ध कोड की जांच करने का प्रयास करते हैं

विशिष्टताएँ.

1 सूची के लिए विनियमन अनुभाग देखें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 4आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

हिस्सेदारी का प्रमाण

हालाँकि, क्रिप्टोकरेंसी के लिए हिस्सेदारी के प्रमाण का उपयोग करना एक गर्मागर्म बहस वाला डिज़ाइन विकल्प है

सुरक्षित मतदान शुरू करने के लिए एक तंत्र जोड़ता है, इसमें पैमाने की अधिक क्षमता होती है, और अधिक अनुमति देता है

विदेशी प्रोत्साहन योजनाएं, हमने इसे अपनाने का फैसला किया।

हमारे हिस्सेदारी प्रोटोकॉल के प्रमाण को ऑरोबोरोस कहा जाता है और इसे एक अत्यंत द्वारा डिजाइन किया गया है

प्रोफेसर एग्गेलोस के नेतृत्व में पांच शैक्षणिक संस्थानों के क्रिप्टोग्राफरों की प्रतिभाशाली टीम

2 एडिनबर्ग विश्वविद्यालय के कियियास। सुरक्षित साबित होने से परे यह जो मुख्य नवीनता लाता है

एक कठोर क्रिप्टोग्राफ़िक मॉडल का उपयोग करना एक मॉड्यूलर और लचीला डिज़ाइन है जो इसकी अनुमति देता है

कार्यक्षमता बढ़ाने के लिए कई प्रोटोकॉल की संरचना।

यह मॉड्यूलरिटी डेलिगेशन, साइडचेन, सब्सक्राइबेबल चेकपॉइंट्स जैसी सुविधाओं की अनुमति देती है।

हल्के ग्राहकों के लिए बेहतर डेटा संरचनाएं, यादृच्छिक संख्या पीढ़ी के विभिन्न रूप और यहां तक कि

विभिन्न तुल्यकालन धारणाएँ। जैसे एक नेटवर्क हजारों से विकसित होता है

लाखों और यहां तक कि अरबों उपयोगकर्ताओं के लिए, इसके सर्वसम्मति एल्गोरिथ्म की आवश्यकताएं भी होंगी

परिवर्तन. इस प्रकार, इन परिवर्तनों को समायोजित करने के लिए पर्याप्त लचीलापन होना महत्वपूर्ण है

क्रिप्टोकरेंसी का भविष्य-प्रमाण।

धन के सामाजिक तत्व

क्रिप्टोकरेंसी पैसे के सामाजिक घटक का एक प्रमुख उदाहरण है। प्रतिबंधित करते समय

केवल प्रौद्योगिकी के लिए विश्लेषण, Bitcoin और Litecoin और यहां तक कि के बीच थोड़ा अंतर है

Ethereum और Ethereum क्लासिक के बीच कम। फिर भी, दोनों Litecoin और Ethereum क्लासिक

बड़े बाजार पूंजीकरण और मजबूत, गतिशील समुदायों के साथ-साथ अपने समुदायों को भी बनाए रखें

सामाजिक आदेश.

यह तर्क दिया जा सकता है कि किसी क्रिप्टोकरेंसी के मूल्य का एक बड़ा हिस्सा उसके समुदाय से प्राप्त होता है,

जिस तरह से यह मुद्रा का उपयोग करता है, और मुद्रा के विकास में इसकी भागीदारी का स्तर। आगे बढ़ाना

विचार यह है कि डैश जैसी मुद्राओं ने सिस्टम को सीधे प्रोटोकॉल में एकीकृत कर दिया है

अपने समुदाय को यह तय करने में शामिल करें कि विकास और वित्त पोषण की प्राथमिकता क्या होनी चाहिए।

2 कनेक्टिकट विश्वविद्यालय, एथेंस विश्वविद्यालय, एडिनबर्ग विश्वविद्यालय, आरहूस विश्वविद्यालय, टोक्यो प्रौद्योगिकी संस्थान हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 5आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

क्रिप्टोकरेंसी की विशाल विविधता उनके सामाजिक तत्वों का प्रमाण भी प्रदान करती है।

दर्शन, मौद्रिक नीति या यहां तक कि मुख्य डेवलपर्स के बीच भी असहमति

विखंडन और कांटे की ओर ले जाता है। फिर भी अपने क्रिप्टोकरेंसी समकक्षों के विपरीत, फ़िएट मुद्राएँ

महाशक्तियाँ मुद्रा संकट के बिना राजनीतिक बदलावों और स्थानीय असहमतियों से बची रहती हैं

सामूहिक पलायन.

इसलिए, ऐसा लगता है कि विरासत प्रणालियों के कुछ तत्व गायब हैं

क्रिप्टोक्यूरेंसी उद्योग। हम तर्क देते हैं - और इसे Cardano रोडमैप में शामिल किया गया है

किसी प्रोटोकॉल के उपयोगकर्ताओं को अपने प्रोटोकॉल के पीछे के सामाजिक अनुबंध को समझने के लिए प्रोत्साहन की आवश्यकता होती है

उत्पादक तरीके से परिवर्तन प्रस्तावित करने की स्वतंत्रता है। यह स्वतंत्रता प्रत्येक तक फैली हुई है

मूल्य विनिमय प्रणाली का पहलू, यह तय करने से लेकर कि बाज़ारों को कैसे विनियमित किया जाना चाहिए तक

परियोजनाओं को वित्त पोषित किया जाना चाहिए। फिर भी इसे केंद्रीकृत अभिनेताओं के माध्यम से दलाली नहीं दी जा सकती और न ही इसकी आवश्यकता है

कुछ विशेष क्रेडेंशियल जिन्हें अच्छी तरह से वित्त पोषित अल्पसंख्यक द्वारा सहयोजित किया जा सकता है।

Cardano को समायोजित करने के लिए CSL के शीर्ष पर निर्मित ओवरले प्रोटोकॉल की एक प्रणाली लागू करेगा

इसके उपयोगकर्ताओं की आवश्यकताएँ।

सबसे पहले, बूटस्ट्रैप विकास के लिए क्राउडसेल की सफलता की परवाह किए बिना, फंड अंततः आएगा

नष्ट करना इसलिए, Cardano में एक विकेन्द्रीकृत ट्रस्ट शामिल होगा नीरस रूप से वित्त पोषित

3 मुद्रास्फीति और लेनदेन शुल्क में कमी।

किसी भी उपयोगकर्ता को मतपत्र प्रणाली द्वारा ट्रस्ट से धन का अनुरोध करने के लिए पात्र होना चाहिए

सीएसएल के हितधारक इस पर मतदान करते हैं कि लाभार्थी कौन बनता है। प्रक्रिया एक उत्पादक बनाती है

डैश जैसे ट्रेजरी/ट्रस्ट सिस्टम के साथ अन्य क्रिप्टोकरेंसी में फीडबैक लूप देखा जाता है

इस बारे में बातचीत शुरू करना कि किसे वित्त पोषित किया जाना चाहिए और किसे नहीं।

फंडिंग चर्चाएं क्रिप्टोकरेंसी के सामाजिक, दीर्घकालिक और अल्पकालिक लक्ष्यों के संबंध को बल देती हैं

अनुबंध, प्राथमिकताएं और विशेष प्रस्तावों के साथ मूल्य निर्माण में विश्वास। यह बातचीत

इसका मतलब है कि समुदाय लगातार संभव के विरुद्ध अपनी मान्यताओं का मूल्यांकन और बहस कर रहा है

रोडमैप.

दूसरा, हमारी आशा है कि Cardano में अंततः एक औपचारिक, blockchain आधारित प्रणाली शामिल होगी

नरम और कठोर दोनों कांटों पर प्रस्ताव रखें और वोट करें। Bitcoin अपने ब्लॉक आकार की बहस के साथ, Ethereum के साथ

DAO फोर्क, और इसके अलावा कई अन्य क्रिप्टोकरेंसी लंबे समय तक टिके रहे हैं और,

लगातार मामले, कोडबेस की तकनीकी और नैतिक दिशा पर अनसुलझे तर्क।

यह तर्क दिया जा सकता है और दिया जाना चाहिए कि इनमें से कई असहमतियां, और फ्रैक्चरिंग

जब कार्रवाई की जाती है तो समुदाय के लिए जो परिणाम सामने आते हैं, वे औपचारिक प्रक्रियाओं की कमी का प्रत्यक्ष परिणाम होते हैं

बदलाव पर बहस.
3 इसे राजकोषीय प्रणाली भी कहा जाता है हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 6आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

Bitcoin उपयोगकर्ताओं को पृथक गवाह अपनाने के लिए मनाने के लिए कोई कहाँ जाता है? कैसे होना चाहिए

Ethereum के मुख्य डेवलपर DAO को बचाने के लिए सामुदायिक भावना को मापते हैं? यदि

सामुदायिक फ्रैक्चर, क्या क्रिप्टोकरेंसी मरम्मत से परे क्षतिग्रस्त हो गई है?

सबसे खराब मामलों में, कार्य करने का नैतिक अधिकार आसानी से उसी को हस्तांतरित हो सकता है जिसके पास डेवलपर्स हैं,

बुनियादी ढांचे के रिश्ते और पैसा, विशाल बहुमत की शुभकामनाएं नहीं

समुदाय. इसके अलावा, यदि समुदाय का एक बड़ा हिस्सा पहुंच से बाहर है या वंचित है

बुरे प्रोत्साहनों के लिए, तो कोई वास्तव में कैसे जान सकता है कि उनके कार्य वैध हैं? 4

Tezos जैसी प्रस्तावित क्रिप्टोकरेंसी यह जांचने के लिए एक दिलचस्प मॉडल प्रदान करती है कि a

क्रिप्टोकरेंसी प्रोटोकॉल को एक संविधान की तरह माना जाता है जिसमें तीन खंड होते हैं (लेन-देन,

सर्वसम्मति और नेटवर्क) संविधान को अद्यतन करने के लिए औपचारिक नियमों और प्रक्रिया के एक सेट के साथ। फिर भी

प्रोत्साहनों तथा वास्तव में किस प्रकार मॉडल तैयार किया जाए तथा परिवर्तन किया जाए इस पर बहुत काम किया जाना बाकी है

एक औपचारिक भाषा वाली क्रिप्टोकरेंसी।

औपचारिक तरीकों का उपयोग, मशीन की समझने योग्य विशिष्टताएँ और एक खजाने का विलय

वित्तीय प्रोत्साहन के लिए इस प्रक्रिया को प्रेरणा के संभावित रास्ते के रूप में खोजा जा रहा है।

अंततः, पारदर्शी, सेंसरशिप मुक्त तरीके से प्रोटोकॉल परिवर्तन का प्रस्ताव करने की क्षमता

blockchain आधारित मतदान से प्रक्रिया में सुधार होना चाहिए, भले ही अधिक सुरुचिपूर्ण समाधान नहीं हो सकते

डिज़ाइन किया जाए.

परतों में डिज़ाइनिंग - Cardano निपटान परत

महान प्रोटोकॉल और भाषाएँ डिज़ाइन करते समय, किसी को भविष्य पर नहीं, बल्कि भविष्य पर ध्यान देना चाहिए अतीत. इतिहास ऐसे महान विचारों के ढेरों उदाहरण उपलब्ध कराता है जो फिर भी कागज पर सटीक बैठते हैं किसी तरह बच नहीं पाए हैं, जैसे कि ओपन सिस्टम इंटरकनेक्शन मानक। इतिहास भी टीसीपी/आईपी से लेकर जावास्क्रिप्ट तक हुई सुखद दुर्घटनाएँ प्रदान करता है।

ऐतिहासिक दृष्टिकोण से निकाले गए कुछ सिद्धांत निम्नलिखित हैं:

1. आप भविष्य की भविष्यवाणी नहीं कर सकते इसलिए सोच-समझकर निर्माण करें
2. कागज पर जटिलता अच्छी है, लेकिन आमतौर पर सरलता ही जीतती है 3. बहुत सारे रसोइये शोरबा को खराब कर देते हैं 4. एक बार मानक तय हो जाने के बाद यह संभवत: कायम रहेगा, चाहे वह कोई भी हो उपइष्टतम 4 तर्कसंगत अज्ञान देखें
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 7आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

5. यदि इच्छाशक्ति हो तो बुरे विचार वास्तव में बहुत अच्छे विचारों में विकसित हो सकते हैं

Cardano एक वित्तीय प्रणाली है जो अपनी सामाजिक प्रकृति को स्वीकार करती है। बहुत जरूरत होगी लचीलेपन और किसी विशेष उपयोगकर्ता के लेनदेन में मनमानी जटिलता को संबोधित करने की क्षमता के लिए। यदि सफल होने पर जबरदस्त कम्प्यूटेशनल, भंडारण और नेटवर्क संसाधनों की आवश्यकता होगी लाखों समवर्ती लेनदेन को समायोजित करने के लिए।

फिर भी हमारे पास समृद्ध नोड्स से लेने और देने के लिए एक डिजिटल, विकेन्द्रीकृत रॉबिन हुड नहीं है एक निष्पक्ष नेटवर्क प्राप्त करने के लिए गरीबों को। न ही हमारे पास इंसान पर भरोसा करने की सुविधा है नेटवर्क के व्यापक हित के लिए परोपकारी रूप से त्याग करना। इसलिए, Cardano डिज़ाइन टीसीपी/आईपी से चिंताओं को अलग करने की अवधारणा उधार लेता है।

ब्लॉकचेन अंततः तथ्यों और घटनाओं को गारंटी के साथ ऑर्डर करने वाले डेटाबेस हैं टाइमस्टैम्प और अपरिवर्तनीयता। पैसे के संदर्भ में, वे संपत्ति के स्वामित्व का आदेश देते हैं। जोड़ना प्रोग्रामों को संग्रहीत और निष्पादित करके जटिल गणना एक ऑर्थोगोनल अवधारणा है। क्या हम चाहते हैं? यह जानने के लिए कि ऐलिस से बॉब तक कितना मूल्य गया, या क्या हम इसका पता लगाने में शामिल होना चाहते हैं लेन-देन और कितना भेजना है यह तय करने के पीछे की पूरी कहानी?

बाद वाले को चुनना अविश्वसनीय रूप से आकर्षक है जैसा कि Ethereum ने किया है क्योंकि यह अधिक लचीला है, लेकिन यह उपरोक्त डिज़ाइन सिद्धांतों का उल्लंघन करता है। कहानी का पता लगाने का मतलब है कि एक एकल प्रोटोकॉल मनमानी घटनाओं को समझने, मनमाने लेनदेन को स्क्रिप्ट करने, मध्यस्थता की अनुमति देने में सक्षम होना चाहिए नई जानकारी मिलने पर धोखाधड़ी के मामले और यहां तक कि संभावित रूप से रिवर्स लेनदेन के मामले भी सामने आते हैं उपलब्ध.

फिर किसी को प्रत्येक के लिए कौन सा मेटाडेटा संग्रहीत करना है, इसके बारे में कठिन डिज़ाइन निर्णय लेना पड़ता है लेनदेन. ऐलिस और बॉब के लेन-देन के पीछे की कहानी के कौन से तत्व प्रासंगिक हैं? हैं वे हमेशा के लिए प्रासंगिक हैं? हम कुछ डेटा कब फेंक सकते हैं? क्या ऐसा करना कानून का उल्लंघन है कुछ देश?

इसके अलावा, कुछ गणनाएँ निजी प्रकृति की होती हैं। उदाहरण के लिए, औसत की गणना करते समय किसी कार्यालय में कर्मचारियों का कितना वेतन है, हम जरूरी नहीं चाहेंगे कि प्रत्येक व्यक्ति को कितना वेतन मिले बनाता है. लेकिन क्या होगा यदि प्रत्येक गणना सार्वजनिक रूप से ज्ञात हो? क्या होगा यदि यह प्रचार निष्पादन में पक्षपात करता है परिणाम को नुकसान पहुंचाने का आदेश?

इस प्रकार, हमने यह स्थिति चुनी है कि मूल्य के लेखांकन को इससे अलग किया जाना चाहिए मूल्य क्यों स्थानांतरित किया गया इसके पीछे की कहानी। दूसरे शब्दों में, गणना से मूल्य का पृथक्करण। इस अलगाव का मतलब यह नहीं है कि Cardano smart contracts का समर्थन नहीं करेगा। इसके विपरीत, पृथक्करण को स्पष्ट करके, यह डिज़ाइन, उपयोग, में काफी अधिक लचीलेपन की अनुमति देता है। smart contracts की गोपनीयता और निष्पादन।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 8आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

वैल्यू लेजर को Cardano सेटलमेंट लेयर (CSL) कहा जाता है। चूँकि इसका उद्देश्य हिसाब-किताब करना है मूल्य, रोडमैप के निम्नलिखित लक्ष्य हैं:

1. स्क्रिप्टिंग भाषाओं के दो सेटों का समर्थन करें, एक मूल्य को स्थानांतरित करने के लिए और दूसरा बढ़ाने के लिए ओवरले प्रोटोकॉल समर्थन
2. अन्य बहीखातों से लिंक करने के लिए KMZ साइडचेन के लिए सहायता प्रदान करें 5 3. उच्चतर के लिए क्वांटम प्रतिरोधी हस्ताक्षर सहित कई प्रकार के हस्ताक्षर का समर्थन करें सुरक्षा
4. एकाधिक उपयोगकर्ता द्वारा जारी संपत्तियों का समर्थन करें 5. वास्तविक स्केलेबिलिटी प्राप्त करें, जिसका अर्थ है कि जैसे-जैसे अधिक उपयोगकर्ता जुड़ेंगे, सिस्टम की क्षमताएं बढ़ेंगी वृद्धि

स्क्रिप्टिंग

स्क्रिप्टिंग भाषा से शुरू करके, बही में पतों के बीच लेनदेन के लिए कुछ की आवश्यकता होती है निष्पादित करने और वैध साबित होने के लिए एक स्क्रिप्ट का रूप। आदर्श रूप से, कोई नहीं चाहेगा कि ईव का उपयोग हो ऐलिस का पैसा, न ही कोई चाहेगा कि खराब डिज़ाइन की गई स्क्रिप्ट गलती से किसी मृत व्यक्ति को मूल्य भेज दे धन को अप्राप्य बनाने का पता।

Bitcoin जैसी प्रणालियाँ एक अत्यंत अनम्य और कठोर स्क्रिप्टिंग भाषा प्रदान करती हैं जो इसमें विशिष्ट लेन-देन को प्रोग्राम करना और पढ़ना और समझना कठिन है। फिर भी जनरल सॉलिडिटी जैसी भाषाओं की प्रोग्रामयोग्यता असाधारण मात्रा में जटिलता का परिचय देती है सिस्टम में और केवल अभिनेताओं के बहुत छोटे समूह के लिए उपयोगी हैं।

इसलिए, हमने इसके निर्माता के सम्मान में साइमन नामक एक नई भाषा डिजाइन करने का विकल्प चुना है 6 साइमन थॉम्पसन और इसे प्रेरित करने वाली अवधारणाओं के निर्माता, साइमन पीटन जोन्स। साइमन है एक डोमेन-विशिष्ट भाषा जो अनुबंधों की रचना पर आधारित है: वित्तीय क्षेत्र में एक साहसिक कार्य इंजीनियरिंग.

मुख्य विचार यह है कि वित्तीय लेनदेन आम तौर पर संग्रह से बनाये जाते हैं मूलभूत तत्व. यदि कोई तत्वों की वित्तीय आवर्त सारणी एकत्र करता है, तो वह ऐसा कर सकता है 7 मिश्रित लेनदेन के मनमाने ढंग से बड़े सेट के लिए सहायता प्रदान करें जो अधिकांश को कवर करेगा, यदि नहीं सामान्य प्रोग्रामयोग्यता की आवश्यकता के बिना सभी, सामान्य लेनदेन प्रकार।

5 कियियास, ज़िंड्रोस और मिलर का एक पेपर जल्द ही आ रहा है 6 विशिष्टताओं को आगामी विनिर्देश में जारी किया जाएगा। इसमें पूर्ण भाषा का समर्थन किया जाएगा 2017 की चौथी तिमाही के लिए शेली सीएसएल रिलीज़ की योजना बनाई गई 7 प्रोजेक्ट ACTUS का गहन विवरण है
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 9आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

प्राथमिक लाभ यह है कि सुरक्षा और निष्पादन को बहुत अच्छी तरह से समझा जा सकता है। सबूत टेम्प्लेट की शुद्धता दिखाने और निष्पादन स्थान को समाप्त करने के लिए लिखा जा सकता है समस्याग्रस्त लेन-देन की घटनाएँ, जैसे हवा से नए पैसे का निर्माण या लेन-देन लचीलापन. दूसरा, यदि कोई नरम कांटे के माध्यम से अधिक तत्व जोड़ने के लिए एक्सटेंशन में छोड़ सकता है नई कार्यक्षमता की आवश्यकता है.

उन्होंने कहा, सीएसएल को ओवरले प्रोटोकॉल, लीगेसी फाइनेंशियल से जोड़ने की हमेशा जरूरत रहेगी सिस्टम, और विशेष प्रयोजन सर्वर। इस प्रकार हमने प्लूटस को एक जनरल के रूप में विकसित किया है उद्देश्य smart contract भाषा और अंतरसंचालनीयता के लिए एक विशेष प्रयोजन डीएसएल भी।

प्लूटस हास्केल की अवधारणाओं पर आधारित एक टाइप की गई कार्यात्मक भाषा है, जिसका उपयोग किया जा सकता है कस्टम लेनदेन स्क्रिप्ट लिखें। सीएसएल के लिए, इसका उपयोग आवश्यक जटिल लेनदेन के लिए किया जाएगा अन्य परतों के लिए समर्थन जोड़ें जिन्हें हमें कनेक्ट करने की आवश्यकता है, जैसे कि हमारी साइडचेन योजना।

साइडचेन

साइडचेन के संबंध में, Cardano Kiayias, Miller और द्वारा विकसित एक नए प्रोटोकॉल का समर्थन करेगा। ज़िन्ड्रोस (KMZ साइडचेन) कार्य के प्रमाणों के पूर्व परिणामों पर आधारित है। विशेष डिज़ाइन इस पेपर के दायरे से बाहर है; हालाँकि, अवधारणा सुरक्षित और के लिए अनुमति देती है सीएसएल से किसी Cardano संगणना परत या अन्य तक धन की गैर-संवादात्मक आवाजाही blockchain प्रोटोकॉल का समर्थन करता है।

KMZ साइडचेन जटिलता को समाहित करने की कुंजी हैं। विनियामक आवश्यकताओं वाले बहीखाते, निजी परिचालन, मजबूत स्क्रिप्टिंग भाषाएं और अन्य विशेष चिंताएं प्रभावी रूप से काली हैं सीएसएल के लिए बक्से, फिर भी सीएसएल उपयोगकर्ता को लेखांकन और क्षमता के बारे में कुछ गारंटी प्राप्त होगी गणना पूरी होने पर धनराशि वापस मंगाएँ।

हस्ताक्षर

मूल्य को ऐलिस से बॉब तक सुरक्षित रूप से स्थानांतरित करने के लिए, ऐलिस को यह साबित करने की आवश्यकता है कि उसके पास इसका अधिकार है निधियों को स्थानांतरित करें. इस कार्य को पूरा करने का सबसे सीधा और विश्वसनीय तरीका जनता का उपयोग करना है कुंजी हस्ताक्षर योजना जहां धनराशि सार्वजनिक कुंजी से जुड़ी होती है और ऐलिस इसे नियंत्रित करती है संबद्ध निजी कुंजी.

विभिन्न सुरक्षा मापदंडों और मान्यताओं के साथ सैकड़ों संभावित योजनाएं हैं। कुछ लोग अण्डाकार वक्रों से जुड़ी गणितीय समस्याओं पर भरोसा करते हैं, जबकि अन्य करते हैं लैटिस का उपयोग करके विदेशी अवधारणाओं से जुड़ा हुआ है।
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 10आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

अमूर्त लक्ष्य सदैव एक ही होता है। एक कठिन समस्या मौजूद है जिसे तब तक हल नहीं किया जा सकता किसी के पास गुप्त ज्ञान है। ज्ञान के इस टुकड़े का धारक कहा जाता है कीपेयर का स्वामी और एकमात्र इकाई होनी चाहिए जिसके पास इसका उपयोग करने की क्षमता हो।

एक क्रिप्टोकरेंसी को हस्ताक्षर योजना चुनने में चिंताओं के दो समूहों का सामना करना पड़ता है। सबसे पहले, योजना की दीर्घकालिक सुरक्षा स्थायित्व है। कुछ क्रिप्टोग्राफ़िक 1970 और 1980 के दशक में उपयोग की जाने वाली DES जैसी योजनाएँ टूट गई हैं। वह अवधि जिस पर इस योजना के जीवित रहने की उम्मीद की जानी चाहिए और इस पर निर्णय लिया जाना चाहिए।

दूसरा, ऐसे कई उद्यम, सरकारें और अन्य संस्थान हैं जिन्होंने या को प्राथमिकता दी है कुछ मामलों में, किसी विशेष योजना का उपयोग अनिवार्य है। उदाहरण के लिए, एनएसए इसका रखरखाव करता है सुइट बी प्रोटोकॉल सेट। क्रिप्टोग्राफी पर ISO और यहां तक कि W3C कार्यसमूहों के मानक भी हैं।

यदि कोई क्रिप्टोकरेंसी एकल हस्ताक्षर योजना चुनती है, तो उसे उस योजना को स्वीकार करने के लिए मजबूर किया जाता है भविष्य में किसी बिंदु पर इसे तोड़ा जा सकता है और कम से कम एक इकाई इसका उपयोग नहीं कर सकती कानूनी या उद्योग प्रतिबंधों के कारण क्रिप्टोकरेंसी। फिर भी एक क्रिप्टोकरेंसी हर किसी का समर्थन नहीं कर सकती हस्ताक्षर योजना क्योंकि इसके लिए प्रत्येक ग्राहक को प्रत्येक योजना को समझने और मान्य करने की आवश्यकता होगी।

Cardano के लिए, हमने अण्डाकार वक्र क्रिप्टोग्राफी, Ed25519 वक्र का उपयोग शुरू करने का निर्णय लिया विशेष. हमने एचडी वॉलेट के लिए समर्थन जोड़कर मौजूदा लाइब्रेरी को बढ़ाने का भी निर्णय लिया डॉ दिमित्री खोवराटोविच और जेसन लॉ की विशिष्टता का उपयोग करना।
8

इसमें कहा गया है, Cardano भविष्य में और अधिक हस्ताक्षर योजनाओं का समर्थन करेगा। विशेष रूप से, हम हैं हमारे सिस्टम में क्वांटम कंप्यूटर प्रतिरोधी हस्ताक्षर जोड़ने के लिए BLISS-B को एकीकृत करने में रुचि है। हम विरासत के साथ अंतरसंचालनीयता बढ़ाने के लिए SECP256k1 को जोड़ने में भी रुचि रखते हैं क्रिप्टोकरेंसी जैसे Bitcoin।

Cardano को विशेष एक्सटेंशन के साथ डिज़ाइन किया गया है जो हमें अधिक हस्ताक्षर जोड़ने की अनुमति देगा एक नरम कांटा के माध्यम से योजनाएं। उन्हें आवश्यकतानुसार और योजनाबद्ध प्रमुख अपडेट के दौरान जोड़ा जाएगा रोडमैप.
9

उपयोगकर्ता द्वारा जारी संपत्ति (यूआईए)

Bitcoin के इतिहास की शुरुआत में, उपयोगकर्ताओं को संपत्ति जारी करने की अनुमति देने के लिए प्रोटोकॉल तेजी से विकसित किए गए थे एक साथ कई मुद्राओं को ट्रैक करने के लिए Bitcoin की लेखा प्रणाली पर आधारित। 8 यह Cardano के HD वॉलेट कार्यान्वयन के लिए दस्तावेज़ है। हमारा मानना है कि Cardano पहला है Ed25519 HD वॉलेट का समर्थन करने के लिए क्रिप्टोकरेंसी
9 कार्डानोरोडमैप.कॉम देखें
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 11आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

ये प्रोटोकॉल मूल रूप से Bitcoin प्रोटोकॉल द्वारा समर्थित नहीं थे, लेकिन इसके माध्यम से कार्यान्वित किए गए थे चतुर हैक.

रंगीन सिक्के और मास्टरकॉइन (जिसे अब ओमनी कहा जाता है) जैसे Bitcoin ओवरले के मामले में, प्रकाश ग्राहकों को विश्वसनीय सर्वर पर भरोसा करने के लिए मजबूर किया जाता है। इसके अलावा लेनदेन शुल्क का भी भुगतान करना होगा बिटकॉइन। ये संपत्तियाँ लेन-देन अनुमोदन के लिए एकल पाइपलाइन के साथ संयुक्त होती हैं बहु-संपत्ति लेखांकन के लिए Bitcoin उप-इष्टतम।

ERC20 मानक का उपयोग करते हुए Ethereum मामले में, अधिक सुविधा समृद्धि है। हालाँकि, लेनदेन शुल्क के लिए अभी भी ईथर की आवश्यकता होती है। इसके अलावा, Ethereum नेटवर्क में कठिनाई हो रही है सभी जारी किए गए ERC20 tokens की आवश्यकताओं को पूरा करना।

मूलभूत समस्या को तीन भागों में विभाजित किया जा सकता है: संसाधन, प्रोत्साहन और चिंता। संसाधनों के संबंध में, एक ही बही में एक पूरी तरह से नई मुद्रा जोड़ने का मतलब है कि किसी के पास है दो स्वतंत्र UTXO (अव्ययित लेनदेन इनपुट) बैंडविड्थ, मेमपूल और साझा करते हैं स्थान को ब्लॉक करें. इन मुद्राओं के लेनदेन को एम्बेड करने के लिए आम सहमति नोड्स जिम्मेदार हैं ऐसा करने के लिए प्रोत्साहन की आवश्यकता है। और क्रिप्टोकरेंसी का हर उपयोगकर्ता इसकी परवाह नहीं करेगा या उसे इसकी परवाह नहीं करनी चाहिए किसी विशेष इकाई की मुद्रा.

इन समस्याओं को देखते हुए, मल्टीएसेट लेजर के प्राथमिक token के रूप में लाभ जबरदस्त हैं विकेंद्रीकृत बाजार निर्माण के लिए प्रभावी रूप से एक पुल मुद्रा के रूप में काम कर सकता है। विशेष उद्देश्य परिसंपत्तियाँ अतिरिक्त उपयोगिता प्रदान करने के लिए जारी की जा सकती हैं जैसे मूल्य स्थिर संपत्तियाँ टेदर या मेकरDAO जो उधार और प्रेषण अनुप्रयोगों के लिए उपयोगी हैं।

चुनौतियों को देखते हुए, Cardano ने मल्टीएसेट अकाउंटिंग के लिए व्यावहारिक दृष्टिकोण अपनाया है। चरणों में निर्माण, पहली चुनौती समर्थन के लिए आवश्यक बुनियादी ढांचे को डिजाइन करना है हजारों यूआईए की मांगें। अर्थात् निम्नलिखित प्रगति आवश्यक है:

1. बहुत बड़े पैमाने पर ट्रैकिंग की अनुमति देने के लिए विशेष प्रयोजन प्रमाणित डेटा संरचनाएँ UTXO स्थिति

2. लंबित लेनदेन का एक बड़ा सेट रखने के लिए एक वितरित मेमपूल रखने की क्षमता
3. एक विशाल वैश्विक blockchain को अनुमति देने के लिए ब्लॉकचेन विभाजन और चौकियाँ 4. एक प्रोत्साहन योजना जो विभिन्न सेटों को शामिल करने के लिए सर्वसम्मति नोड्स को पुरस्कृत करती है लेन-देन 5. एक सदस्यता मैकेनिक जो उपयोगकर्ताओं को यह तय करने की अनुमति देता है कि वे किन मुद्राओं को ट्रैक करना चाहते हैं
6. मजबूत सुरक्षा यह गारंटी देती है कि यूआईए को मूल संपत्ति के समान सुरक्षा प्राप्त है 7. यूआईए और के बीच तरलता में सुधार के लिए विकेंद्रीकृत बाजार निर्माण के लिए समर्थन प्राथमिक token

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 12आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

सही प्रमाणित डेटा संरचना खोजने के हमारे प्रारंभिक प्रयासों का एक नया परिणाम सामने आया है एवीएल+ ट्री का प्रकार लियो रेयज़िन, आईओएचके और वेव्स द्वारा संयुक्त रूप से विकसित किया गया है। अधिक शोध की आवश्यकता है, लेकिन यह एक मूलभूत प्रगति है जिसे Cardano के बाद के संस्करण में शामिल किया जाएगा।

स्टैनफोर्ड यूनिवर्सिटी के रैमक्लाउड प्रोटोकॉल का उपयोग करके एक वितरित मेमपूल लागू किया जा सकता है। Cardano की सर्वसम्मति परत में इसके एकीकरण का अध्ययन करने के लिए प्रयोग 2017 की तीसरी तिमाही में शुरू होंगे।

शेष विषय आपस में जुड़े हुए हैं और चल रहे अनुसंधान द्वारा कवर किए गए हैं। हम अपेक्षा करते हैं - विषय शोध परिणामों के लिए - सीएसएल के बैशो के दौरान यूआईए के लिए Cardano में एक प्रोटोकॉल शामिल करना 2018 में रिलीज.

स्केलेबिलिटी

वितरित सिस्टम कंप्यूटरों (नोड्स) के एक सेट से बने होते हैं जो प्रोटोकॉल चलाने के लिए सहमत होते हैं

एक सामान्य लक्ष्य को पूरा करने के लिए प्रोटोकॉल का सुइट। यह लक्ष्य परिभाषित फ़ाइल को साझा करना हो सकता है

बिटटोरेंट प्रोटोकॉल या फोल्डिंग@होम का उपयोग करके प्रोटीन को फोल्ड करना।

जैसे ही नोड नेटवर्क से जुड़ते हैं, सबसे प्रभावी प्रोटोकॉल संसाधन प्राप्त करते हैं। द्वारा होस्ट की गई एक फ़ाइल

उदाहरण के लिए, यदि कई सहकर्मी हैं तो बिटटोरेंट को औसतन बहुत तेजी से डाउनलोड किया जा सकता है

इसे समवर्ती रूप से डाउनलोड करना। गति बढ़ जाती है क्योंकि सहकर्मी संसाधन उपलब्ध कराते हैं

उनका सेवन भी कर रहे हैं. वितरित बताते समय आमतौर पर इस विशेषता का मतलब यही होता है

सिस्टम स्केल.

सभी मौजूदा क्रिप्टोकरेंसी के डिज़ाइन के साथ चुनौती यह है कि वे वास्तव में ऐसी नहीं हैं

स्केलेबल होने के लिए डिज़ाइन किया गया। उदाहरण के लिए, ब्लॉकचेन आमतौर पर केवल परिशिष्ट से जुड़ी हुई सूची होती है

ब्लॉक. blockchain प्रोटोकॉल की सुरक्षा और उपलब्धता कई नोड्स पर निर्भर करती है

blockchain डेटा की पूरी प्रतिलिपि रखना। इस प्रकार, डेटा की एक बाइट को दोहराया जाना चाहिए

एन नोड्स के बीच। अतिरिक्त नोड अतिरिक्त संसाधन प्रदान नहीं करते हैं.

यह परिणाम लेन-देन प्रसंस्करण और संदेशों की गपशप के लिए समान है

प्रणाली. सर्वसम्मति प्रणाली में अधिक नोड जोड़ने से अतिरिक्त नोड प्रदान नहीं होता है

लेनदेन प्रसंस्करण शक्ति. इसका सीधा सा मतलब है कि ऐसा करने के लिए अधिक संसाधन खर्च करने होंगे

नौकरी. अधिक नेटवर्क रिलेइंग का अर्थ है कि अधिक नोड्स को समान संदेश रखने के लिए पास करना होगा

संपूर्ण नेटवर्क सबसे वर्तमान ब्लॉक के साथ सिंक्रनाइज़ेशन में।

इस टोपोलॉजी को देखते हुए, क्रिप्टोकरेंसी विरासत के समान वैश्विक नेटवर्क तक नहीं पहुंच सकती है

वित्तीय प्रणालियाँ. इसके विपरीत, विरासती बुनियादी ढांचा स्केलेबल है और इसमें परिमाण का क्रम है

अधिक प्रसंस्करण और भंडारण शक्ति। एक विशिष्ट बिंदु जोड़ने पर, Bitcoin एक बहुत छोटा नेटवर्क है

अपने भुगतान साथियों के सापेक्ष, फिर भी अपने वर्तमान भार को प्रबंधित करने के लिए संघर्ष करता है।
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 13आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

Cardano के लिए हमारे स्केलेबिलिटी लक्ष्यों को हमारे सर्वसम्मति एल्गोरिथ्म से काफी मदद मिलती है। ऑरोबोरोस

सर्वसम्मति नोड्स के कोरम का चुनाव करने के लिए एक विकेन्द्रीकृत तरीके की अनुमति देता है, जो बदले में अधिक चल सकता है

बड़ी जरूरतों को समायोजित करने के लिए पिछले 20 वर्षों में पारंपरिक प्रोटोकॉल विकसित हुए हैं

Google और Facebook जैसे बुनियादी ढांचा प्रदाता।
10

उदाहरण के लिए, एक युग के लिए कोरम के चुनाव का मतलब है कि हमारे पास नोड्स का एक विश्वसनीय सेट है

एक विशिष्ट समय अवधि के लिए खाता बही बनाए रखें। एक साथ कई कोरम का चुनाव करना मामूली बात है

और लेन-देन को अलग-अलग कोरम में विभाजित करें।

इसी तरह की तकनीकों को नेटवर्क प्रसार और blockchain को शार्डिंग करने के लिए भी लागू किया जा सकता है

स्वयं अद्वितीय विभाजनों में। हमारे वर्तमान रोडमैप में, स्केलिंग विधियों को लागू किया जाएगा

ऑरोबोरोस 2018 में शुरू होगा और 2019 और 2020 में फोकस बना रहेगा।

Cardano संगणना परत

जैसा कि पहले उल्लेख किया गया है, लेन-देन के दो घटक होते हैं: भेजने का तंत्र और tokens के प्रवाह और tokens को स्थानांतरित करने के पीछे के कारणों और स्थितियों को रिकॉर्ड करें। द उत्तरार्द्ध मनमाने ढंग से जटिल हो सकता है और इसमें टेराबाइट्स डेटा, एकाधिक हस्ताक्षर और विशेष शामिल हो सकते हैं घटनाएँ घटित हो रही हैं. उत्तरार्द्ध भी एकल हस्ताक्षर पुशिंग मान के साथ उल्लेखनीय रूप से सरल हो सकता है दूसरे पते पर.

मूल्य प्रवाह के कारणों और स्थितियों के मॉडलिंग के पीछे चुनौती यह है कि वे हैं सबसे अप्रत्याशित तरीकों से शामिल संस्थाओं के लिए बेहद व्यक्तिगत। से सबक अनुबंध कानून और भी अधिक समस्याग्रस्त तस्वीर पेश करता है जहां अभिनेता स्वयं ऐसा नहीं कर सकते यह भी ध्यान रखें कि लेन-देन व्यावसायिक वास्तविकता से मेल नहीं खाता है। हम आम तौर पर इसे कहते हैं घटना "सिमेंटिक गैप"। 11

किसी को जटिलता और अमूर्तता की अंतहीन परत का पीछा करते हुए क्रिप्टोकरेंसी का निर्माण क्यों करना चाहिए? यह स्वभाव से सिस्फीयन और व्यवहार में अनुभवहीन लगता है। इसके अलावा, प्रत्येक अमूर्तता को अपनाया गया इसके कानूनी और सुरक्षा दोनों परिणाम हैं।

उदाहरण के लिए, ऑनलाइन ऐसी कई गतिविधियाँ हैं जिन्हें सार्वभौमिक रूप से अवैध या तिरस्कृत माना जाता है जैसे कि बाल पोर्नोग्राफ़ी की तस्करी या राज्य रहस्यों की बिक्री। मजबूत तैनाती करके 10 अन्य स्वतंत्र अनुसंधान प्रोटोकॉल भी हैं जो समान लक्ष्य हासिल करने का प्रयास कर रहे हैं जैसे इलास्टिको और Bitcoin-एनजी
11 लोई लू एट अल. स्मार्ट कॉन्ट्रैक्ट्स को स्मार्ट बनाने पर अपने हालिया पेपर में इस अंतर पर चर्चा करें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 14आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विकेन्द्रीकृत बुनियादी ढाँचा, अब इस गतिविधि के लिए एक चैनल प्रदान कर रहा है वही सेंसरशिप प्रतिरोध जो सामान्य वाणिज्यिक लेनदेन का आनंद लेता है। यह कानूनी तौर पर अस्पष्ट है नेटवर्क के सर्वसम्मति नोड्स - जिनमें अधिक संघीय बनने के लिए प्रोत्साहन है दक्षता को बढ़ावा देने का समय - उनके द्वारा होस्ट की जाने वाली सामग्री के लिए जवाबदेह ठहराया जाएगा।

टोर ऑपरेटरों पर मुकदमा, सिल्क रोड के ऑपरेटर के साथ क्रूर व्यवहार और समग्रता में कमी प्रोटोकॉल प्रतिभागियों की कानूनी सुरक्षा के पीछे कानूनी स्पष्टता एक अनिश्चित रास्ता छोड़ती है। वहाँ है पर्याप्त रूप से उन्नत क्रिप्टोकरेंसी और क्या सक्षम कर सकती है, इसकी कल्पना की कोई कमी नहीं है (देखें)। द रिंग ऑफ गाइजेस)। क्या क्रिप्टोकरेंसी के सभी उपयोगकर्ताओं को इसका समर्थन करने या कम से कम मजबूर करना उचित है? वेब के सबसे खराब कृत्यों और आचरण को सक्षम करें?

दुर्भाग्य से, ऐसे कोई स्पष्ट उत्तर नहीं हैं जो क्रिप्टोकरेंसी डिज़ाइनर को अंतर्दृष्टि प्रदान करते हों। यह है किसी पद को चुनने और उसकी योग्यता का बचाव करने के बारे में अधिक जानकारी। फायदा यह है कि दोनों Cardano और Bitcoin का मतलब यह है कि हमने चिंताओं को परतों में अलग करना चुना है। Bitcoin के साथ, वहाँ है रूटस्टॉक. Cardano के साथ, Cardano संगणना परत है।

जिस प्रकार के जटिल व्यवहार पहले बताए गए कृत्यों को सक्षम बनाते हैं, वे आगे नहीं चल सकते सीएसएल. उन्हें ट्यूरिंग संपूर्ण भाषा और कुछ में लिखे गए प्रोग्राम चलाने की क्षमता की आवश्यकता होती है मीटर गणना के लिए गैस अर्थशास्त्र का स्वरूप। उन्हें इच्छुक सर्वसम्मति वाले नोड्स की भी आवश्यकता होती है उनके ब्लॉक में लेनदेन शामिल करें।

इस प्रकार, एक कार्यक्षमता प्रतिबंध उपयोगकर्ताओं की यथोचित सुरक्षा कर सकता है। अब तक, सबसे अधिक स्थापित सरकारों ने यह स्थिति नहीं ली है कि क्रिप्टोकरेंसी का उपयोग या रखरखाव एक है अवैध कार्य. इसलिए, अधिकांश उपयोगकर्ताओं को खाता बही बनाए रखने में सहजता होनी चाहिए डिजिटल भुगतान प्रणाली के साथ क्षमता में तुलनीय।

जब कोई क्षमता बढ़ाना चाहता है, तो दो संभावनाएँ होती हैं। यह एक निजी द्वारा सक्षम है समान विचारधारा वाले व्यक्तियों का समूह और प्रकृति में अल्पकालिक (उदाहरण के लिए, एक पोकर गेम)। या, यह Ethereum जैसी तुलनीय क्षमताओं वाले खाता बही द्वारा सक्षम किया गया है। दोनों ही मामलों में, हमने चुना है घटनाओं को दूसरे प्रोटोकॉल पर आउटसोर्स करना।

एक निजी, अल्पकालिक घटना के मामले में, blockchain प्रतिमान से बचना उचित है पूरी तरह से, बल्कि विशेष प्रयोजन एमपीसी प्रोटोकॉल की लाइब्रेरी की दिशा में प्रयासों को प्रतिबंधित कर सकता है समान विचारधारा वाले प्रतिभागियों के समूह द्वारा वांछित होने पर इसे लागू किया जा सकता है। गणना और गतिविधियाँ एक निजी नेटवर्क में समन्वित होते हैं और सीएसएल को केवल एक विश्वसनीय बुलेटिन बोर्ड के रूप में संदर्भित करते हैं और ए आवश्यकता पड़ने पर संदेश भेजने वाला चैनल।

इस मामले में मुख्य अंतर्दृष्टि यह है कि इसमें सहमति, दायित्व और गोपनीयता का समावेश है। सीएसएल है उपयोगकर्ताओं को मिलने और संवाद करने के लिए एक डिजिटल कॉमन्स के रूप में उपयोग किया जा रहा है - जैसे कि एक पार्क मेजबानी करेगा निजी कार्यक्रम - लेकिन कोई विशेष आवास या सुविधा प्रदान नहीं करता है। इसके अलावा, हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 15आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विशेष प्रयोजन एमपीसी का उपयोग बिना किसी आवश्यकता के कम विलंबता इंटरैक्शन को सक्षम करेगा blockchain ब्लोट। इस प्रकार, यह सिस्टम के पैमाने में सुधार करता है।

इस पुस्तकालय के प्रति Cardano के अनुसंधान प्रयास हमारी टोक्यो टेक प्रयोगशाला में केंद्रीकृत हैं विदेश में वैज्ञानिकों से कुछ सहायता। हम पुस्तकालय को एक साथी के नाम पर "टार्टग्लिया" कहते हैं गणितज्ञ और साथ ही Cardano के समकालीन और पहली पुनरावृत्ति उपलब्ध होने की उम्मीद है 2018 की पहली तिमाही में.

दूसरे मामले में, किसी को वर्चुअल मशीन के साथ blockchain की आवश्यकता होती है, जो सर्वसम्मति नोड्स का एक सेट है और दो श्रृंखलाओं के बीच संचार को सक्षम करने के लिए एक तंत्र। हमने शुरुआत कर दी है K-फ्रेमवर्क का उपयोग करके Ethereum वर्चुअल मशीन को सख्ती से औपचारिक बनाने की प्रक्रिया 12 इलिनोइस विश्वविद्यालय की एक टीम के साथ साझेदारी।

इस विश्लेषण का परिणाम एक प्रतिकृति और अंततः डिजाइन करने का सबसे इष्टतम तरीका बताएगा स्पष्ट परिचालन शब्दार्थ और सही की मजबूत गारंटी के साथ वितरित वर्चुअल मशीन 13 विनिर्देशन से कार्यान्वयन. दूसरे शब्दों में, VM वास्तव में वही करता है जो कोड बताता है इसका संबंध सुरक्षा जोखिमों को न्यूनतम करने से है।

Ethereum द्वारा प्रस्तावित गैस अर्थशास्त्र और यह कैसे होगा, इसके बारे में अभी भी अनसुलझे प्रश्न हैं जन हॉफमैन एट अल के संसाधन जागरूक एमएल और व्यापक अध्ययन जैसे काम से संबंधित है गणना के लिए संसाधन अनुमान. हम भाषा के स्तर को लेकर भी उत्सुक हैं वर्चुअल मशीन की स्वतंत्रता. उदाहरण के लिए, Ethereum प्रोजेक्ट ने इच्छा व्यक्त की है उनके वर्तमान वीएम से वेब असेंबली में संक्रमण के लिए।

अगला प्रयास स्टेटफुल को व्यक्त करने के लिए एक उचित प्रोग्रामिंग भाषा विकसित करना है ऐसे अनुबंध जिन्हें विकेंद्रीकृत अनुप्रयोगों द्वारा सेवाएँ कहा जाएगा। इस कार्य के लिए हमारे पास है निम्न के लिए विरासत smart contract भाषा दृढ़ता का समर्थन करने के दोनों दृष्टिकोण को चुना आश्वासन अनुप्रयोग और उच्च आश्वासन के लिए प्लूटस नामक एक नई भाषा विकसित करना औपचारिक सत्यापन की आवश्यकता वाले आवेदन।

सॉलिडिटी आधारित ज़ेपेलिन परियोजना की तरह, IOHK प्लूटस कोड की एक संदर्भ लाइब्रेरी भी विकसित करेगा एप्लिकेशन डेवलपर्स के लिए उनकी परियोजनाओं में उपयोग करने के लिए। हम उपकरणों का एक विशेष सेट भी विकसित करेंगे यूसीएसडी के लिक्विड हास्केल प्रोजेक्ट के काम से प्रेरित औपचारिक सत्यापन के लिए।

सर्वसम्मति के संदर्भ में, ऑरोबोरोस को समर्थन के लिए पर्याप्त मॉड्यूलर फैशन में डिजाइन किया गया था smart contract मूल्यांकन. इसलिए, सीएसएल और सीसीएल दोनों समान सर्वसम्मति एल्गोरिदम साझा करेंगे। 12 प्रोफेसर ग्रिगोर रोसु एट द्वारा आविष्कार किया गया। अल., के भाषा स्वतंत्र के लिए एक सार्वभौमिक ढांचा है मशीन निष्पादन योग्य शब्दार्थ। हमारे काम से पहले, इसका उपयोग सी, जावा और जावास्क्रिप्ट को मॉडल करने के लिए किया गया है 13 मतलब यह कि अलग-अलग सर्वसम्मति नोड अलग-अलग smart contracts चलाते हैं। इसे स्टेट शार्डिंग के रूप में भी जाना जाता है हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 16आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

अंतर यह है कि ऑरोबोरोस को अनुमति और अनुमति दोनों की अनुमति देने की पुष्टि की जा सकती है token वितरण के माध्यम से अनुमति रहित बही।

सीएसएल के साथ, एडा को token जनरेटिंग इवेंट द्वारा पूरे एशिया में खरीदारों को वितरित किया गया है जो अंततः द्वितीयक बाज़ार में पुनर्विक्रय करेगा। इसका मतलब है कि सीएसएल की सर्वसम्मति एल्गोरिथ्म है अभिनेताओं या उनके प्रतिनिधियों के एक विविध और तेजी से अधिक विकेन्द्रीकृत समूह द्वारा नियंत्रित नियुक्त करता है। सीसीएल के साथ, उसके प्रतिनिधियों द्वारा आयोजित एक विशेष उद्देश्य token बनाना संभव है बही-खाता जो विनियमित संस्थाएँ हो सकती हैं, जिससे एक अनुमति प्राप्त बही-खाता बनाया जा सकता है।

इस दृष्टिकोण का लचीलापन सीसीएल के विभिन्न उदाहरणों को अलग-अलग के साथ साकार करने की अनुमति देता है लेन-देन के मूल्यांकन के बारे में नियम. उदाहरण के लिए, जुआ गतिविधियों को प्रतिबंधित किया जा सकता है जब तक कि केवाईसी/एएमएल डेटा केवल गैर-जिम्मेदार लेनदेन को ब्लैकलिस्ट करके मौजूद न हो।

हमारा अंतिम डिज़ाइन फोकस हमारे प्रोटोकॉल में विश्वसनीय हार्डवेयर सुरक्षा मॉड्यूल (एचएसएम) जोड़ने पर है ढेर. इन क्षमताओं को इसमें शामिल करने पर ये दो बड़े फायदे हैं प्रोटोकॉल. सबसे पहले, एचएसएम सुरक्षा शुरू किए बिना प्रदर्शन में भारी वृद्धि प्रदान करते हैं 14 विक्रेता पर भरोसा करने से परे चिंताएँ। दूसरा, सीलबंद ग्लास प्रूफ़ (एसजीपी) के उपयोग के माध्यम से, एचएसएम आश्वासन दे सकते हैं कि डेटा को सत्यापित किया जा सकता है और फिर बिना नष्ट किए नष्ट किया जा सकता है दुर्भावनापूर्ण बाहरी लोगों को कॉपी या लीक किया गया।

दूसरे बिंदु पर ध्यान केंद्रित करते हुए, एसजीपी अनुपालन पर क्रांतिकारी प्रभाव डाल सकता है। आमतौर पर, जब कोई उपभोक्ता प्रमाणित करने के लिए व्यक्तिगत रूप से पहचान योग्य जानकारी (पीआईआई) प्रदान करता है पहचान या भाग लेने का अधिकार साबित करने के लिए, यह जानकारी किसी विश्वसनीय तीसरे पक्ष को सौंप दी जाती है आशा है कि यह दुर्भावनापूर्ण कार्य नहीं करेगा। यह गतिविधि आंतरिक रूप से केंद्रीकृत, डेटा प्रदाता है अपने पीआईआई पर नियंत्रण खो देता है और क्षेत्राधिकार के आधार पर विभिन्न नियमों के अधीन भी होता है।

हार्डवेयर एन्क्लेव में विश्वसनीय अनुप्रमाणकों के एक सेट और फिर वेयरहाउस पीआईआई का चयन करने की क्षमता इसका मतलब है कि पर्याप्त रूप से सक्षम एचएसएम वाला कोई भी अभिनेता किसी अभिनेता के बारे में तथ्यों को सत्यापित करने में सक्षम होगा सत्यापनकर्ता को अभिनेता की पहचान जाने बिना एक अविस्मरणीय तरीके से। उदाहरण के लिए, बॉब है अमेरिकी नागरिक नहीं. ऐलिस एक मान्यता प्राप्त निवेशक है। जेम्स एक अमेरिकी करदाता हैं और किसी को भेजना चाहिए एक्स खाते में करयोग्य लाभ।

Cardano की HSM रणनीति अगले दो में विशेष प्रोटोकॉल लागू करने का प्रयास करेगी इंटेल एसजीएक्स और एआरएम ट्रस्टज़ोन का उपयोग करते हुए वर्षों। दोनों मॉड्यूल अरबों उपभोक्ताओं के लिए बनाए गए हैं लैपटॉप से लेकर सेलफोन तक के उपकरणों के लिए उपभोक्ता की ओर से किसी अतिरिक्त प्रयास की आवश्यकता नहीं होती है उपयोग करें. दोनों की गहन जांच-पड़ताल की गई है, अच्छी तरह से डिज़ाइन किया गया है और इनमें से कुछ वर्षों की पुनरावृत्ति पर आधारित हैं सबसे बड़ी और सर्वोत्तम वित्त पोषित हार्डवेयर सुरक्षा टीमें।

14 कॉर्नेल से http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ देखें विश्वविद्यालय हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 17आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विनियमन

सभी आधुनिक वित्तीय प्रणालियों की कड़वी सच्चाई यह है कि जैसे-जैसे वे बड़े होते हैं, वे एक आवश्यकता जमा करते हैं, या कम से कम विनियमन की इच्छा। यह परिणाम आम तौर पर बार-बार होने वाले पतन का परिणाम होता है किसी बाज़ार में किसी अभिनेता या अभिनेताओं के समूह की लापरवाही के कारण।

उदाहरण के लिए, 1907 के निकरबॉकर संकट के परिणामस्वरूप फेडरल रिजर्व का निर्माण हुआ 1913 में अंतिम उपाय के ऋणदाता के रूप में प्रणाली। दूसरा उदाहरण 1920 के दशक की ज्यादतियों का है संयुक्त राज्य अमेरिका जिसके परिणामस्वरूप भयानक वित्तीय पतन हुआ, महामंदी। यह पतन इसे रोकने के लिए 1934 में प्रतिभूति विनिमय आयोग का निर्माण किया गया घटना या कम से कम बुरे अभिनेताओं को जवाबदेह ठहराना।

कोई भी विनियमन की आवश्यकता, दायरे और प्रभावकारिता पर उचित रूप से बहस कर सकता है, लेकिन कोई इनकार नहीं कर सकता है इसका अस्तित्व और वह उत्साह जिसके साथ प्रमुख सरकारों ने इसे लागू किया है। हालाँकि, दुनिया के वैश्वीकरण और नकदी के डिजिटल होने के कारण सभी नियामकों के सामने चुनौती दोतरफा है।

सबसे पहले, किसी संग्रह से निपटते समय नियमों का कौन सा सेट सर्वोच्च होना चाहिए क्षेत्राधिकार? वेस्टफेलियन संप्रभुता की पुरातन धारणा एक लेन-देन से पिघल जाती है एक मिनट के अंदर तीन दर्जन देशों को छू सकता है। क्या इसे बस वही होना चाहिए जो इसका उपयोग करता है सर्वाधिक भूराजनीतिक प्रभाव?

दूसरा, गोपनीयता प्रौद्योगिकी में सुधार ने डिजिटल हथियारों की होड़ पैदा कर दी है जहां यह होगी यह समझना और भी कठिन हो गया है कि लेन-देन में किसने भाग लिया है, इससे भी कम जो मूल्य के किसी विशेष भंडार का मालिक हो। ऐसी दुनिया में जहां करोड़ों डॉलर की संपत्ति है इसे गुप्त रूप से रखी गई 12-शब्दीय स्मृति से अधिक किसी भी चीज़ से नियंत्रित नहीं किया जा सकता है, आप कैसे हैं? 15 प्रभावी विनियमन लागू करें?

सभी वित्तीय प्रणालियों की तरह, Cardano प्रोटोकॉल के डिज़ाइन में क्या है, इस पर एक राय होनी चाहिए निष्पक्ष और तर्कसंगत. हमने व्यक्तिगत अधिकारों और किसी के अधिकारों के बीच विभाजन करना चुना है बाज़ार.

व्यक्तियों को हमेशा बिना किसी दबाव या नागरिक संपत्ति के अपने धन तक एकमात्र पहुंच होनी चाहिए ज़ब्ती. इस अधिकार को लागू किया जाना चाहिए क्योंकि सभी सरकारों पर ऐसा न करने का भरोसा नहीं किया जा सकता भ्रष्ट राजनेताओं के निजी लाभ के लिए अपनी संप्रभु शक्ति का दुरुपयोग करते हैं, जैसा कि वेनेज़ुएला में देखा गया है और जिम्बाब्वे. क्रिप्टोकरेंसी को सबसे कम सामान्य भाजक के लिए इंजीनियर किया जाना चाहिए।

15 BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki देखें
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 18आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

दूसरा, इतिहास के साथ कभी छेड़छाड़ नहीं की जानी चाहिए. ब्लॉकचेन अपरिवर्तनीयता का वादा प्रदान करते हैं। इतिहास को पलटने या आधिकारिक रिकॉर्ड में बदलाव करने की शक्ति का परिचय बहुत अधिक है किसी विशेष अभिनेता या अभिनेताओं को लाभ पहुंचाने के लिए अतीत को बदलने का प्रलोभन।

तीसरा, मूल्य का प्रवाह अप्रतिबंधित होना चाहिए। पूंजी नियंत्रण और अन्य कृत्रिम दीवारें मानवाधिकारों को कम करो. वैश्विक स्तर पर, उन्हें लागू करने के प्रयास की निरर्थकता से परे 16 अल्प विकसित देशों में कई नागरिकों के अपने अधिकार क्षेत्र से बाहर यात्रा करने की अर्थव्यवस्था जीवनयापन लायक मजदूरी पाने के लिए, पूंजी प्रवाह को सीमित करने से आम तौर पर दुनिया के सबसे गरीब लोगों को नुकसान पहुंचता है।

इन सिद्धांतों में कहा गया है, बाजार व्यक्तियों से स्पष्ट रूप से भिन्न होते हैं। जबकि के डिजाइनर Cardano व्यक्तिगत अधिकारों में विश्वास करते हैं, हम यह भी मानते हैं कि बाजारों को खुले तौर पर कहने का अधिकार है उनके नियम और शर्तें, और यदि कोई व्यक्ति इस बाज़ार में व्यापार करने के लिए सहमत है, तो संपूर्ण प्रणाली की अखंडता की खातिर उन्हें उन मानकों के अनुरूप रखा जाना चाहिए।

चुनौती हमेशा कार्यान्वयन की लागत और व्यावहारिकता रही है। छोटा, बहुक्षेत्राधिकार पुराने सिस्टम में लेन-देन इतना महंगा है कि सहारा का उच्च आश्वासन प्रदान नहीं किया जा सकता धोखाधड़ी या व्यावसायिक विवाद की स्थिति में। जब कोई अपना वायर ट्रांसफर भेजता है नाइजीरियाई राजकुमार, किसी की धनराशि वापस पाने का प्रयास करना आमतौर पर बहुत महंगा होता है।
17

Cardano के लिए, हमें लगता है कि हम तीन स्तरों पर नवप्रवर्तन कर सकते हैं। सबसे पहले, smart contracts के उपयोग के माध्यम से व्यावसायिक संबंधों के नियमों और शर्तों को बेहतर ढंग से नियंत्रित किया जा सकता है। यदि सभी संपत्तियां हैं डिजिटल और पूरी तरह से सीएसएल पर व्यक्त किया जा सकता है, धोखाधड़ी मुक्त व्यापार की मजबूत गारंटी हो सकती है हासिल किया.

दूसरा, एक पहचान स्थान प्रदान करने के लिए एचएसएम का उपयोग जहां पीआईआई लीक नहीं हुआ है लेकिन अभी तक इसका उपयोग किया जाता है प्रमाणित और प्रमाणिक अभिनेताओं को एक वैश्विक प्रतिष्ठा प्रणाली प्रदान करनी चाहिए और इसकी अनुमति देनी चाहिए बहुत कम लागत वाली विनियमित गतिविधियाँ संचालित की जाएंगी, जैसे स्वचालित के साथ ऑनलाइन गेमिंग कर अनुपालन या विकेंद्रीकृत विनिमय।

अंत में, Cardano के रोडमैप में एक मॉड्यूलर विनियमन DAO का निर्माण किया जा सकता है परिवर्तनशीलता, उपभोक्ता जोड़ने के लिए उपयोगकर्ता द्वारा लिखित smart contracts के साथ बातचीत करने के लिए अनुकूलित संरक्षण और मध्यस्थता. इस परियोजना के दायरे को बाद के पेपर में रेखांकित किया जाएगा।

16 पूंजी प्रवाह के प्रतिकार के उदाहरण के रूप में, हवाला बैंकिंग प्रणाली देखें 17 अग्रिम-शुल्क घोटाला देखें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 19आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

इस सबका मतलब क्या है?

Cardano एक मैराथन परियोजना रही है जिसमें सैकड़ों प्रतिभाशाली दिमागों की प्रतिक्रिया शामिल है

क्रिप्टोक्यूरेंसी उद्योग के अंदर और बाहर। इसमें अथक पुनरावृत्ति, सक्रिय उपयोग शामिल है

सहकर्मी समीक्षा, और उजागर होने पर महान विचारों की बेशर्म चोरी।

शेष अनुभाग प्रत्येक फोकस के एक विशेष पहलू को कवर करते हैं जिसे हमने तय किया है कि यह एक मूल है

हमारे प्रोजेक्ट का घटक। कुछ को समग्र रूप से सर्वश्रेष्ठ में सुधार करने की इच्छा के कारण चुना गया था

अंतरिक्ष की प्रथाएँ जबकि अन्य Cardano के विकास के लिए विशिष्ट हैं।

हालाँकि कोई भी परियोजना हर लक्ष्य को पूरा नहीं कर सकती या हर उपयोगकर्ता को संतुष्ट नहीं कर सकती, हमारी आशा एक दृष्टिकोण प्रदान करना है

जिन न्यायक्षेत्रों में इनका अभाव है, उनके लिए स्व-विकसित वित्तीय ढेर कैसा दिखना चाहिए। परम

क्रिप्टोकरेंसी की वास्तविकता यह नहीं है कि वे मौजूदा विरासत वित्तीय प्रणालियों को बाधित करेंगे।

विरासती वित्तीय प्रणालियाँ हमेशा परिवर्तन को अवशोषित करने और अपने स्वरूप को बनाए रखने में सक्षम होती हैं

और कार्य.

बल्कि ऐसी जगहों पर ध्यान देना चाहिए जहां मौजूदा को तैनात करना बहुत महंगा हो

बैंकिंग प्रणाली, जहां बहुत से लोग प्रतिदिन कुछ डॉलर से भी कम पर गुजारा करते हैं, उनकी कोई स्थिर पहचान नहीं है और

श्रेय पाना असंभव है.

इन स्थानों में, भुगतान प्रणाली, संपत्ति अधिकार, पहचान, ऋण और जोखिम को बंडल करने की शक्ति

सेल फोन पर चलने वाले एकल एप्लिकेशन में सुरक्षा न केवल उपयोगी है, बल्कि यह जीवन बदल रही है।

हम Cardano का निर्माण इसलिए कर रहे हैं क्योंकि हमें लगता है कि हमारे पास डिलीवरी करने का एक वैध मौका है - या

कम से कम आगे बढ़ना - विकासशील दुनिया के लिए यह दृष्टिकोण।

विफलता में भी, यदि हम क्रिप्टोकरेंसी के डिज़ाइन, विकास और वित्त पोषण के तरीके को बदल सकते हैं,

तो बड़ी उपलब्धि है.

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.

विज्ञान और इंजीनियरिंग

पुनरावृत्ति की कला

क्रिप्टोकरेंसी सॉफ़्टवेयर के रूप में कार्यान्वित प्रोटोकॉल हैं। प्रोटोकॉल केवल बुद्धिमान होते हैं प्रतिभागियों के बीच बातचीत. सॉफ़्टवेयर अंततः कुछ दिए गए डेटा का हेरफेर है हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 20

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

लक्ष्य. फिर भी ठोस, विश्वसनीय सॉफ़्टवेयर के साथ-साथ उपयोगी, सुरक्षित प्रोटोकॉल और के बीच अंतर उनकी बातचीत पूरी तरह से मानवीय है।

अच्छे सॉफ़्टवेयर को जवाबदेही, स्पष्ट व्यावसायिक आवश्यकताएँ, दोहराने योग्य प्रक्रियाएँ, की आवश्यकता होती है। संपूर्ण परीक्षण और अथक पुनरावृत्ति। अच्छे सॉफ्टवेयर के लिए काफी प्रतिभाशाली लोगों की भी जरूरत होती है एक सिस्टम को ठीक से डिज़ाइन करने के लिए पर्याप्त डोमेन विशिष्ट ज्ञान वाले डेवलपर्स जो पूरी तरह से कर सकते हैं वे जिस भी समस्या को हल करने का प्रयास कर रहे हैं उसे हल करें।

जहां तक उपयोगी और सुरक्षित प्रोटोकॉल का सवाल है, विशेष रूप से क्रिप्टोग्राफी और वितरित प्रोटोकॉल से जुड़े प्रोटोकॉल सिस्टम, वे अधिक शैक्षणिक और मानकों द्वारा संचालित प्रक्रिया में शुरू होते हैं। सहकर्मी समीक्षा, अंतहीन यह सुनिश्चित करने के लिए कि प्रोटोकॉल उपयोगी है, बहस और ट्रेडऑफ़ की दृढ़ अवधारणा आवश्यक है। फिर भी ये अकेले पर्याप्त नहीं हैं, प्रोटोकॉल को वास्तविक जीवन में उपयोग द्वारा लागू और परीक्षण करने की आवश्यकता है।

क्रिप्टोक्यूरेंसी उद्योग में अनोखी चुनौती यह है कि दो पूरी तरह से अलग हैं उचित हेगेलियन संश्लेषण के बिना दर्शन एक साथ उलझे हुए हैं। हमारी थीसिस एक "चाल" है तेजी से काम करो और चीजों को तोड़ो” युवा, लालच और जुनून से प्रेरित स्टार्टअप मानसिकता। प्रतिपक्षी एक है को मजबूत करने की इच्छा से प्रेरित धीमा, व्यवस्थित और शैक्षणिक रूप से उन्मुख दृष्टिकोण हमारे क्षेत्र के नवोन्वेषों को एक अच्छे क्षेत्र में स्थापित किया गया है और पर्याप्त धन और प्रतिष्ठा का आनंद लिया जा रहा है।

नतीजा यह है कि कई क्रिप्टोकरेंसी या तो पूरी तरह से केवल एक श्वेत पत्र पर निर्दिष्ट हैं सीवी के लिए प्रासंगिक या सिर्फ जल्दबाजी में लिखे गए कोड से। वर्तमान शीर्ष दस क्रिप्टोकरेंसी में से कोई भी नहीं 18 बाज़ार पूंजीकरण एक सहकर्मी समीक्षा प्रोटोकॉल पर आधारित है। मौजूदा दस शीर्ष में से कोई नहीं क्रिप्टोकरेंसी को एक औपचारिक विनिर्देश से लागू किया गया था।

फिर भी अरबों डॉलर का मूल्य दांव पर है। एक बार तैनात होने के बाद, एक क्रिप्टोकरेंसी अत्यधिक उपयोगी हो जाती है

बदलना मुश्किल. उपयोगकर्ता को कैसे पता चलेगा कि वे एक सुरक्षित प्रणाली का उपयोग कर रहे हैं? एक उपयोगकर्ता कैसे करता है

क्या आप जानते हैं कि विपणन के दावे वैध हैं? क्या होगा यदि प्रस्तावित प्रोटोकॉल कभी भी हासिल नहीं कर सकता?

दावे?

प्रक्रिया के प्रति संश्लेषण और सम्मान की कमी उन प्राथमिक कारणों में से एक है जो IOHK चाहता था

निर्माण Cardano. हमारी आशा एक संदर्भ परियोजना विकसित करने की थी जो एक उदाहरण के रूप में काम करेगी

चीजों को अधिक प्रभावी, समझदार और ईमानदार तरीके से कैसे करें।

लक्ष्य सॉफ़्टवेयर और प्रोटोकॉल विकसित करने का एक बिल्कुल नया तरीका प्रस्तावित करना नहीं है, बल्कि ऐसा करना है

स्वीकार करें कि बेहतरीन सॉफ़्टवेयर और प्रोटोकॉल पहले से मौजूद हैं और हम स्थितियों की नकल कर सकते हैं

जिससे उनकी रचना हुई। दूसरा, इन शर्तों को सार्वजनिक रूप से ज्ञात करना और खुला स्रोत बनाना

संभव है ताकि पूरे क्षेत्र के लाभ के लिए उनका अनुकरण किया जा सके। 18 बाजार पूंजीकरण द्वारा व्यापक सूची के लिए www.coinmarketcap.com देखें 19 Ethereum में एक अर्ध-औपचारिक विनिर्देश है जिसे येलो पेपर के नाम से जाना जाता है; हालाँकि, EVM शब्दार्थ हैं पूरी तरह से निर्दिष्ट नहीं हैं और न ही प्रोटोकॉल के पूर्ण कार्यान्वयन के लिए पर्याप्त हैं। हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 21आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

तथ्य और राय

दूसरी चिंता इस बात को लेकर है कि तथ्य कहां खत्म होते हैं और राय कहां से शुरू होती है। सैकड़ों हैं

प्रोग्रामिंग भाषाएँ, दर्जनों विकास प्रतिमान और एक से अधिक दर्शन

परियोजना प्रबंधन. अकादमिक जगत अपनी ही चुनौतियों से जूझ रहा है

व्यावसायिक चिंताओं और व्यावहारिकता से दूरी।

Cardano के लिए, हमने सबसे पहले उन स्पष्ट कमियों को पकड़ने का प्रयास किया जिन पर सार्वभौमिक सहमति हो सकती है

इंजीनियरिंग के दृष्टिकोण से उपयोगी होना। उदाहरण के लिए, क्रिप्टोग्राफी और वितरित

सिस्टम दोनों असाधारण रूप से शामिल विषय हैं और कितने भोले हाथों के बहुत सारे उदाहरण हैं

भयंकर ग़लतियाँ कर सकते हैं. इसलिए, किसी भी प्रोटोकॉल को इन डोमेन से अंतर्दृष्टि की आवश्यकता होती है

किसी मान्यता प्राप्त विशेषज्ञ द्वारा डिज़ाइन किया जाना चाहिए और अन्य विशेषज्ञों द्वारा समीक्षा के लिए प्रस्तुत किया जाना चाहिए।

ऑरोबोरोस इस क्षेत्र का हमारा पहला केस अध्ययन है। इसे क्रिप्टोग्राफर्स की एक टीम द्वारा डिजाइन किया गया था

एक बड़ा, विविध और सार्वजनिक रूप से सत्यापन योग्य प्रकाशन इतिहास। इसे मानक के अनुरूप बनाया गया है

क्रिप्टोग्राफी प्रक्रिया, सुरक्षा धारणाओं, एक प्रतिकूल मॉडल और सबूतों के साथ। ये

सम्मेलनों में प्रस्तुत करके सबूतों की जाँच की गई और कंप्यूटर द्वारा स्वतंत्र रूप से भी

20 कैंब्रिज विश्वविद्यालय की एक टीम द्वारा इसाबेल में लिखे गए साक्ष्य।
21

फिर भी यह कार्य अकेले उपयोगिता की कोई गारंटी नहीं देता है - केवल सुरक्षा की एक कठोर जाँच

मॉडल में कुछ धारणाएँ दी गई हैं। उपयोगिता के लिए, प्रोटोकॉल को लागू करने और परीक्षण करने की आवश्यकता है।

हमारे डेवलपर्स ने हास्केल और रस्ट दोनों में ऐसा किया है। इस कार्य से वह अधिक प्रयास उजागर हुआ

सिंक्रोनाइज़ेशन मॉडल पर ध्यान केंद्रित करने की आवश्यकता थी, जिसके कारण ऑरोबोरोस का निर्माण हुआ

प्रोस.

पुनरावृत्ति की यह कला महान प्रोटोकॉल का निर्माण करती है, जिसमें प्रत्येक चरण नए पाठों की ओर ले जाता है

पिछले चरण की सत्यता को पुनः सत्यापित करने की आवश्यकता। यह महँगा, समय लेने वाला और कम समय लेने वाला है

22 यह वास्तव में कठिन समय है, फिर भी यह सुनिश्चित करना आवश्यक है कि प्रोटोकॉल सही ढंग से डिज़ाइन किया गया है।

प्रोटोकॉल - विशेष रूप से अरबों लोगों द्वारा उपयोग किए जाने वाले - अल्पकालिक और तेजी से चलने वाले नहीं होते हैं

विकसित हो रहा है. बल्कि इनका वर्षों से लेकर दशकों तक पालन करने का इरादा है। यह पूरी तरह से लगता है

उचित है कि, दुनिया पर एक नई वित्तीय प्रणाली का बोझ डालने से पहले हम सभी को इसके साथ रहना होगा

अगले 100 वर्षों के लिए, हम इसके डिजाइनरों से कुछ नीरसता और कठोरता की मांग करना चाहते हैं।

कैलिफोर्निया में IACR के वार्षिक क्रिप्टो सम्मेलन के 20 स्वीकृत पेपर नंबर 71
21 प्रोफेसर लॉरेंस पॉलसन की देखरेख में काविन वोरासंगासिल्पा द्वारा
22 हल्केपन के लिए एक स्पर्शरेखा का अनुसरण करते हुए, किसी को प्रोफेसर हेल्मोस की चर्चा देखनी चाहिए कि कैसे गणित की पाठ्यपुस्तक लिखें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 22आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

क्रियात्मक पाप

अधिक विचारशील क्षेत्र में आगे बढ़ते हुए, उपकरणों, भाषाओं और पद्धतियों का उपयोग किया जाता है

सॉफ़्टवेयर विकास वस्तुनिष्ठ वास्तविकता की तुलना में धार्मिक प्रोविडेंस की अधिक कलाकृतियाँ हैं। स्रोत

कोड लिखित गद्य की तरह है. हर किसी की राय है कि क्या अच्छा है - और क्या होना चाहिए

कभी-कभी संप्रेषित किया जाना इस बात से कम महत्वपूर्ण होता है कि इसे कैसे संप्रेषित किया जाता है।

हमें यह स्वीकार करते हुए एक पक्ष चुनने का पाप करना चाहिए कि वह कम से कम एक में गलत होगा

व्यक्ति की आँखें. हालाँकि, हमारी पसंद के पीछे कम से कम औचित्य का एक बड़ा कोष है।

Cardano को संभव बनाने वाले प्रोटोकॉल हास्केल में कार्यान्वित किए जा रहे हैं। उपयोगकर्ता इंटरफ़ेस

इलेक्ट्रॉन के एक कांटे में संपुटित किया गया है जिसे हम डेडालस कह रहे हैं। हमने चुना है

जहां संभव हो वेब आर्किटेक्चरल मॉडल का उपयोग करें, और हमारे डेटाबेस के लिए, हमने एक कुंजी-मूल्य का विकल्प चुना

RocksDB का उपयोग कर प्रतिमान।

घटक स्तर से, इस अमूर्तन का अर्थ है कि रखरखाव कहीं अधिक सरल और बेहतर है

प्रौद्योगिकी को बाद में थोड़े प्रयास से प्रतिस्थापित किया जा सकता है, और हमारा ढेर आंशिक रूप से इससे जुड़ा हुआ है

जीथब और फेसबुक के विकास प्रयास।

वेबजीयूआई का उपयोग करने से हमें रिएक्ट का लाभ उठाने और टूल का उपयोग करके फ्रंट एंड सुविधाओं को विकसित करने की अनुमति मिलती है

सैकड़ों-हजारों जावास्क्रिप्ट डेवलपर्स द्वारा समझा गया। वेब आर्किटेक्चर का उपयोग करना

इसका मतलब है कि घटकों को सेवाओं के रूप में माना जा सकता है और सुरक्षा मॉडल समझदार है।

प्रोटोकॉल विकास के लिए हास्केल को चुनना सबसे कठिन विकल्प था। यहां तक कि कार्यात्मक में भी

दुनिया में पर्याप्त विकल्प हैं। अधिक लचीले और अशुद्ध पक्ष में, जैसी भाषाएँ हैं

क्लोजर, स्काला और एफ#, जो जावा और .नेट की विशाल लाइब्रेरी से लाभान्वित होते हैं

कार्यात्मक प्रोग्रामिंग के कुछ सर्वोत्तम पहलुओं को संरक्षित करते हुए पारिस्थितिकी तंत्र।

एग्डा और इदरीस जैसी अधिक शैक्षणिक रूप से उन्मुख भाषाएं हैं जो एक दूसरे के करीब हैं

उन तकनीकों से जुड़ाव जो शुद्धता के मजबूत सत्यापन की अनुमति देगा। फिर भी उनमें कमी है

उचित पुस्तकालय और निम्न स्तर का विकास अनुभव।

Cardano के लिए, विकल्प Ocaml और हास्केल के पास आ गया। Ocaml एक अद्भुत भाषा है

एक महान समुदाय, अच्छी टूलींग, उचित विकास अनुभव और एक महान विरासत

Coq के माध्यम से औपचारिक सत्यापन स्थान। तो हमने हास्केल को क्यों चुना? 23

23 इस बिंदु को जोड़ते हुए, IOHK के पास वास्तव में Ocaml में Qeditas नामक एक परियोजना कार्यान्वित की जा रही है हमें छद्म नाम बिल व्हाइट से विरासत में मिला हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 23आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

हास्केल क्यों?

जो प्रोटोकॉल Cardano बनाते हैं, उन्हें वितरित किया जाता है, क्रिप्टोग्राफी के साथ बंडल किया जाता है और इसके लिए एक की आवश्यकता होती है

दोष सहनशीलता की उच्च डिग्री। सबसे अच्छे दिनों में, अभी भी विकृत बीजान्टिन अभिनेता होंगे

संदेश और दोषपूर्ण क्लाइंट अनजाने में नेटवर्क पर किसी प्रकार की गड़बड़ी पैदा कर रहे हैं।

सबसे पहले, हम एक ऐसी भाषा चाहते थे जिसमें एक मजबूत प्रकार की प्रणाली हो जहां हम आसानी से टूल का उपयोग कर सकें

जैसे कि क्विकचेक और अधिक विस्तृत तकनीकें जैसे कि शोधन प्रकार

दोष सहनशीलता की उचित अपेक्षा। एरलांग शैली ओटीपी मॉडल बाद वाले को संतुष्ट करता है

जबकि हास्केल और ओकैमल जैसी भाषाएँ पूर्व को संतुष्ट करती हैं।

क्लाउड हास्केल की शुरूआत के साथ, हास्केल को एरलांग के कई लाभ प्राप्त हुए जबकि ऐसा नहीं हुआ

अपना समर्पण कर रहा है. इसके अलावा, हास्केल की मॉड्यूलैरिटी और कंपोजिबिलिटी ने हमें इसकी अनुमति दी है

Cardano के लिए टाइम वॉर्प नामक हल्के वजन वाली कस्टम लाइब्रेरी का उपयोग करें।

दूसरा, व्यापक कार्य की बदौलत पिछले कुछ वर्षों में हास्केल की लाइब्रेरीज़ काफी विकसित हुई हैं

गैलोइस, एफपी कम्प्लीट और वेल-टाइप्ड जैसी व्यावसायिक संस्थाओं की। परिणामस्वरूप, हास्केल कर सकता है

उत्पादन अनुप्रयोग लिखने के लिए उपयोग किया जा सकता है।
24

तीसरा, प्योरस्क्रिप्ट के तीव्र विकास ने जावास्क्रिप्ट दुनिया को एक बहुत जरूरी पुल प्रदान किया है

क्लोजरस्क्रिप्ट ने क्लोजर को जो दिया है, उसके समान। हमें उम्मीद है कि प्योरस्क्रिप्ट विशेष रूप से महत्वपूर्ण होगा

जब ब्राउज़र में काम करने और मोबाइल वॉलेट विकसित करने के लिए Cardano प्राप्त करने की बात आती है।

चौथा, निर्भरता समाधान के संबंध में, हास्केल ने पिछले कई वर्षों में आनंद लिया है

माइकल स्नोयमैन जैसे प्रौद्योगिकीविदों के नेतृत्व में महत्वपूर्ण सामाजिक और तकनीकी प्रयास

प्लेटफ़ॉर्म जिसे स्टैकेज कहा जाता है, इसका उपयोग करना आसान है और एफपी कम्प्लीट द्वारा अच्छी तरह से समर्थित है।

पांचवां, पर्याप्त निर्भरता समाधान से परे, हमारा लक्ष्य हमारे सॉफ़्टवेयर का निर्माण करना है

प्रतिलिपि प्रस्तुत करने योग्य. दूसरे शब्दों में, समान कॉन्फ़िगरेशन मान और निर्भरता संस्करण के साथ

बिल्कुल वैसी ही निर्मित कलाकृतियों का उत्पादन करना चाहिए। स्टैकेज के माध्यम से, हम निक्सऑप्स का उपयोग कर रहे हैं

बड़ी सफलता के साथ प्रतिलिपि प्रस्तुत करने योग्यता प्राप्त करने के लिए।

अंत में, हास्केल में विशेषज्ञता वाले डेवलपर्स का प्रतिभा पूल तुलनात्मक रूप से काफी बड़ा है

इसके समकक्ष - और अकादमिक और उद्योग संबंधी साख के सही मिश्रण के साथ काफी अच्छी तरह से प्रशिक्षित। यह भी

एक योग्यता फ़िल्टर के रूप में कार्य करता है क्योंकि इसके बिना अनुभवी हास्केल डेवलपर्स को ढूंढना असामान्य है

कंप्यूटर विज्ञान का विस्तृत ज्ञान।
24 ब्रायन ओ'सुलिवन यहां हास्केल के औद्योगिक उपयोग के बारे में एक अच्छी चर्चा प्रदान करते हैं।
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 24आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

औपचारिक विशिष्टता और सत्यापन

एक सिद्ध रूप से सही सुरक्षा मॉडल का उपयोग करके प्रोटोकॉल विकसित करने की एक महत्वपूर्ण ताकत यह है प्रतिकूल शक्ति की एक गारंटीकृत सीमा प्रदान करता है। किसी को एक अनुबंध दिया जाता है कि जब तक प्रोटोकॉल का पालन किया जाता है और सबूत सही हैं, विरोधी सुरक्षा का उल्लंघन नहीं कर सकता संपत्तियों का दावा किया गया।

गहन चिंतन पूर्व दावे को और भी अधिक महत्वपूर्ण बनाता है। विरोधी मनमानी कर सकते हैं बुद्धिमान और सक्षम. कहने का तात्पर्य यह है कि उन्हें केवल एक गणितीय मॉडल के माध्यम से हराया जाता है असाधारण. और, निःसंदेह, यह पूरी तरह सच नहीं है।

वास्तविकता उन कारकों और परिस्थितियों का परिचय देती है जो शुद्ध सुरक्षा के स्वप्नलोक को रोकती हैं मौजूदा से सही व्यवहार. कार्यान्वयन ग़लत हो सकता है. हार्डवेयर हमला कर सकता है वैक्टर पर पहले विचार नहीं किया गया था। सुरक्षा मॉडल अपर्याप्त और अनुरूप नहीं हो सकता है वास्तविक जीवन में उपयोग.

इसके लिए कितनी विशिष्टता, कठोरता और जाँच की मांग की जाती है, इसके बारे में एक निर्णय कॉल की आवश्यकता है प्रोटोकॉल. उदाहरण के लिए, SeL4 माइक्रोकर्नेल प्रोजेक्ट जैसे प्रयास इसका एक प्रमुख उदाहरण हैं अस्पष्टता पर हमला करने के लिए कम से कम सत्यापित करने के लिए इसाबेल कोड की लगभग 200,000 पंक्तियों की आवश्यकता होती है C कोड की 10,000 पंक्तियाँ। फिर भी एक ऑपरेटिंग सिस्टम कर्नेल महत्वपूर्ण बुनियादी ढांचा है जो एक हो सकता है यदि ठीक से कार्यान्वित नहीं किया गया तो गंभीर सुरक्षा भेद्यता।

क्या सभी क्रिप्टोग्राफ़िक सॉफ़्टवेयर को समान कठिन प्रयास की आवश्यकता होनी चाहिए? या फिर कोई कम चुन सकता है जोरदार पथ जो समान परिणाम उत्पन्न करता है? इससे भी क्या फर्क पड़ता है कि प्रोटोकॉल है यदि यह जिस वातावरण में चल रहा है, वह बेहद असुरक्षित है, तो इसे पूरी तरह से लागू किया जाता है विंडोज़ एक्सपी?

Cardano के लिए, हमने निम्नलिखित समझौता चुना है। सबसे पहले, की जटिल प्रकृति के कारण क्रिप्टोग्राफी और वितरित कंप्यूटिंग के डोमेन में, प्रमाण बहुत सूक्ष्म, लंबे होते हैं, जटिल और कभी-कभी काफी तकनीकी। इसका तात्पर्य यह है कि जाँच मानव संचालित हो सकती है थकाऊ और त्रुटि-प्रवण। इसलिए, हमारा मानना है कि हर महत्वपूर्ण सबूत सफ़ेद रंग में प्रस्तुत किया जाता है मुख्य बुनियादी ढांचे को कवर करने के लिए लिखे गए पेपर की मशीन से जांच की जानी चाहिए।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 25आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

दूसरा, हास्केल कोड को सत्यापित करने के लिए ताकि यह हमारे श्वेत पत्रों से सही ढंग से मेल खाए, हम चुन सकते हैं दो लोकप्रिय विकल्पों के बीच: लिक्विडहास्केल के माध्यम से एसएमटी प्रोवर्स के साथ इंटरफेस करना और उपयोग करना इसाबेल/होल.

एसएमटी (संतुष्टि मॉड्यूलो सिद्धांत) सॉल्वर कार्यात्मक खोजने की समस्या से निपटते हैं पैरामीटर जो किसी समीकरण या असमानता को संतुष्ट करते हैं, या वैकल्पिक रूप से ऐसे पैरामीटर दिखाते हैं अस्तित्व में नहीं है. जैसा कि डी मौरा और ब्योर्नर ने चर्चा की, एसएमटी के उपयोग के मामले विविध हैं, लेकिन महत्वपूर्ण हैं मुद्दा यह है कि ये तकनीकें शक्तिशाली हैं और नाटकीय रूप से बग को कम कर सकती हैं अर्थ संबंधी त्रुटियाँ.

दूसरी ओर, इसाबेल/एचओएल एक अधिक अभिव्यंजक और विविध उपकरण है जिसका उपयोग किया जा सकता है

दोनों कार्यान्वयन को निर्दिष्ट और सत्यापित करते हैं। इसाबेल एक सामान्य प्रमेय सॉल्वर के साथ काम कर रही है

उच्च-क्रम तर्क निर्माण, सेट और अन्य गणितीय वस्तुओं का प्रतिनिधित्व करने में सक्षम

प्रमाणों में उपयोग किया जाए। इसाबेल स्वयं शामिल समस्याओं के साथ काम करने के लिए Z3 SMT प्रोवर के साथ एकीकृत होती है

ऐसी बाधाएँ.

दोनों दृष्टिकोण मूल्य प्रदान करते हैं और इसलिए हमने उन दोनों को चरणों में अपनाने का निर्णय लिया है।

मानव लिखित प्रमाणों को उनकी सत्यता की जांच करने के लिए इसाबेल में एन्कोड किया जाएगा जिससे संतुष्टि होगी

हमारी मशीन जाँच की आवश्यकता। और हम धीरे-धीरे सभी में लिक्विड हास्केल जोड़ने का इरादा रखते हैं

2017 और 2018 के दौरान PH_0001 के कार्यान्वयन में उत्पादन कोड।

अंतिम बिंदु के रूप में, औपचारिक सत्यापन केवल उतना ही अच्छा है जितना कि कोई व्यक्ति जिस विनिर्देशन से सत्यापन कर रहा है टूलसेट उपलब्ध हैं. हास्केल को चुनने का एक प्राथमिक कारण यह है कि यह प्रदान करता है व्यावहारिकता और सिद्धांत का सही संतुलन। श्वेत पत्र से प्राप्त विशिष्टता काफी हद तक एक जैसी दिखती है हास्केल कोड, और दोनों को जोड़ना अनिवार्यता के साथ ऐसा करने की तुलना में काफी आसान है भाषा.

उचित विनिर्देश प्राप्त करने और अद्यतन करने में अभी भी भारी कठिनाई है विनिर्देशन जब उन्नयन, बग फिक्स और अन्य चिंताओं जैसे परिवर्तन करने की आवश्यकता होती है; हालाँकि, यह वास्तविकता किसी भी तरह से समग्र मूल्य को कम नहीं करती है। अगर किसी को परेशानी हो रही है सिद्ध सुरक्षा पर एक नींव का निर्माण, फिर कार्यान्वयन वही होना चाहिए जो था वास्तव में कागज पर प्रस्तावित है।

पारदर्शिता

क्रिप्टोकरेंसी विकसित करने के विज्ञान और इंजीनियरिंग पर चर्चा करते समय एक अंतिम प्रश्न है पारदर्शिता को कैसे संबोधित करें. डिज़ाइन निर्णय बूलियन और ईथर नहीं हैं, आ रहे हैं सपनों में डेवलपर्स और फिर अचानक कैनन बन जाना। वे अनुभव से प्राप्त होते हैं, बहस और पिछली गलतियों से सबक।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 26आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

चुनौती यह है कि पूरी तरह से पारदर्शी विकास प्रक्रिया चर्चा को प्रभावित कर सकती है साक्ष्य आधारित से अधिक नाटकीय बनें। अहंकार, एक समुदाय पर विजय पाने का प्रयास और भय मूर्खतापूर्ण लगने से बातचीत निष्फल और अनुत्पादक हो सकती है।

इसके अलावा, बाहरी लोग जबरदस्ती बातचीत में शामिल होने का प्रयास कर सकते हैं विशेष स्पर्शरेखा ही एकमात्र प्रासंगिक विषय बन जाती है। हर किसी के पास एक पवित्र गाय है.

तो कोई पारदर्शी विकास प्रक्रिया की आवश्यकता को कैसे संतुलित कर सकता है, जो कि देय है समुदाय जिसने स्वतंत्रता की आवश्यकता के साथ प्रमुख डेवलपर्स के एक समूह को प्रगति सौंपी है बिना भय के अभिव्यक्ति की?

Cardano के साथ, हमने निर्देशित निरीक्षण के साथ एक मानक संचालित प्रक्रिया को अपनाने का निर्णय लिया है। समुदाय को यह जानने की जरूरत है कि विज्ञान और कोड को अच्छी तरह से सोचा, जांचा और परखा गया है वास्तव में उन चीजों को हल करें जो डेवलपर्स दावा करते हैं कि वे करते हैं। इस प्रयोजन के लिए, सहकर्मी समीक्षा होनी चाहिए यह विज्ञान घटक को पूरी तरह से संतुष्ट करता है क्योंकि इसे विशेष रूप से इसी उद्देश्य के लिए डिज़ाइन किया गया है और हमें आधुनिक दुनिया दी है।

कोड के लिए, यह विषय थोड़ा अधिक विचारशील है। Cardano के लिए, हमने इसे सौंपने का चुनाव किया है Cardano फाउंडेशन IOHK के काम के अंतिम लेखा परीक्षक के रूप में काम करेगा। विशेष रूप से, उन्हें सौंपा गया है निम्नलिखित कर्तव्यों के साथ:

1. गुणवत्ता की जांच के लिए Cardano Github में निहित स्रोत कोड की नियमित समीक्षा, परीक्षण कवरेज, उचित टिप्पणियाँ और पूर्णता
2. शुद्धता और उपयोगिता के लिए सभी Cardano दस्तावेज़ों की समीक्षा
3. दावों की पुष्टि करते हुए कि वैज्ञानिकों द्वारा तैयार किए गए प्रोटोकॉल पूरी तरह से लागू हैं

इस कार्य को पूरा करने के लिए, IOHK फाउंडेशन को नियमित और समय पर रिपोर्ट प्रस्तुत करेगा - और इसकी असाइन करता है - समीक्षा करने के लिए। बदले में फाउंडेशन एक विकास निरीक्षण रिपोर्ट जारी करेगा Cardano समुदाय कम से कम त्रैमासिक आधार पर।

इस पहले प्रयास का उद्देश्य विकेंद्रीकृत परियोजना के बारे में व्यापक बातचीत शुरू करना है जवाबदेही हासिल करता है. किसी विश्वसनीय तृतीय पक्ष से विकास निरीक्षण एक शक्तिशाली उपकरण है सुनिश्चित करें कि डेवलपर्स सही रास्ते पर हैं, लेकिन यह पूरी तरह से गारंटी देने के लिए पर्याप्त नहीं है प्रोजेक्ट हमेशा डिलीवर करेगा.

इस कारण से, राजकोष को सीएसएल में एकीकृत करने के बाद, फाउंडेशन प्रोत्साहित करेगा औपचारिक आधार पर वैकल्पिक ग्राहक तैयार करने के लिए अतिरिक्त विकास दल IOHK के साथ संयुक्त रूप से विनिर्देश विकसित किए गए। विकास विविधता एक महान तकनीक रही है Ethereum परियोजना द्वारा विचारों के एक समूह के इर्द-गिर्द एक मोनोकल्चर बनने से बचने के लिए उपयोग किया जाता है डेवलपर्स. हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 27

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विशिष्टताओं के संबंध में, मानकों से प्रचुर मात्रा में ज्ञान प्राप्त किया जा सकता है WC3 और IETF द्वारा अपनाई गई प्रक्रिया। अंततः, प्रत्येक प्रोटोकॉल Cardano एकीकृत होता है एक ऐसे विनिर्देश की आवश्यकता है जो शैक्षणिक कार्य या स्रोत कोड से स्वतंत्र हो। बल्कि इसकी जरूरत है आरएफसी जैसे उपयुक्त प्रारूप में हो।

Cardano फाउंडेशन के मूल सिद्धांतों में से एक विशेष रूप से मानक निकाय के रूप में कार्य करना है Cardano प्रोटोकॉल और प्रासंगिक मानकों को अद्यतन करने, जोड़ने या बदलने के लिए वार्तालापों की मेजबानी करना Cardano. यदि IETF के माध्यम से इंटरनेट (मानकों का एक उत्पाद) किस बारे में आम सहमति तक पहुंच सकता है कोर प्रोटोकॉल का उपयोग किया जाएगा, तो यह मान लेना पूरी तरह से उचित है कि एक समर्पित निकाय है समान परिणाम की सुविधा प्रदान कर सकता है।

समापन नोट के रूप में, इन चर्चाओं को विकेंद्रीकृत इकाई में ले जाना दिलचस्प है blockchain पर होस्ट किया गया। इस अवधारणा को विकेन्द्रीकृत स्वायत्त संगठन (DAO) कहा जाता है और इस क्षेत्र में प्रारंभिक कार्य चल रहा है। IOHK इसके लिए एक संदर्भ DAO मॉडल विकसित करेगा वांछित होने पर उपयोग करने के लिए Cardano के साथ इंटरफेस करने वाली संस्थाएं और यह Cardano फाउंडेशन का विशेषाधिकार है यह तय करने के लिए कि क्या इसे अपने मानक अधिदेश के तहत अपनाया जाए।

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.

इंटरोऑपरेबिलिटी

ग्रैंड मायोपिया

वित्त और वाणिज्य का व्यापक विचार अंततः एक मानवीय प्रयास है। वहाँ सुरुचिपूर्ण मौजूद हैं भाषाएँ, इरादे पकड़ने के लिए बेहद सटीक उपकरण और तकनीकों की अंतहीन भूलभुलैया बुरे परिणामों की स्थिति में सहारा प्राप्त करने के साथ-साथ हजारों वर्षों से चले आ रहे कानूनों का भी सहारा लें व्यापार में इक्विटी. वास्तव में लेखन के कुछ शुरुआती रूप व्यावसायिक अनुबंध थे।

फिर भी तर्क की मध्यस्थता की परवाह किए बिना मानवीय तत्व को त्यागा नहीं जा सकता, मशीनें या सरकारी प्रहरी जिन्हें भयानक शक्तियां सौंपी गई हैं। उसमें भव्यता निहित है क्रिप्टोकरेंसी की निकट दृष्टि। वे अधिकतर मानवीय वास्तविकता से कटे हुए होते हैं।

लोग गलतियाँ करते हैं. लोग अपना मन बदलते हैं. लोग हमेशा इसे पूरी तरह से नहीं समझते हैं वे व्यावसायिक संबंधों में प्रवेश करने के लिए सहमत हो रहे हैं। लोग गुमराह हो जाते हैं और ठगे जाते हैं। परिस्थितियाँ व्यक्तिगत और राज्य स्तर पर बदलती हैं जिसके लिए अद्वितीय समाधान की आवश्यकता होती है। विस्तार करना इस बिंदु पर, अधिकांश अनुबंधों में अप्रत्याशित घटना की धाराएँ होती हैं।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 28

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

हालाँकि, क्रिप्टोकरेंसी मानवीय समझ, करुणा और निर्णय को ख़त्म करना चाहती है एक लापरवाह डिजिटल न्यायाधीश के बदले में जो बिना किसी विचार के संविधान से पूरी तरह बंधा हुआ है निष्पक्षता या परिणाम के लिए. यह देखते हुए कि मनुष्य हमेशा प्रयास करता रहा है और प्रयास करता रहेगा स्वार्थी उद्देश्यों के लिए नियमों को बदलें, वास्तव में एक ऐसी प्रणाली का होना ताज़गी देने वाला है जिसे भ्रष्ट नहीं किया जा सकता।

लेकिन तब क्या होता है जब किसी उपयोगकर्ता को इन नई प्रणालियों को पारंपरिक वित्तीय के साथ मिश्रित करने की आवश्यकता होती है सिस्टम? क्या होता है जब किसी को मानव संसार में रहना पड़ता है? उदाहरण के लिए, संपत्ति भूमि पंजीकरण जैसे अधिकार पूरी तरह से भौतिक दुनिया में रहते हैं। यहां तक कि अभी भी जमीन का tokenइज़ेशन हो रहा है मौजूदा क्षेत्राधिकार की कुछ स्वीकृति की आवश्यकता है।

दूसरी बात यह है कि सोने की एक छड़ अपने आप हिल नहीं सकती। डिजिटल जज इसकी कमान संभाल सकता है आंदोलन, लेकिन इसे मनुष्यों के समायोजन के बिना बाध्य नहीं किया जा सकता। इसलिए एक डिजिटल बहीखाता हो सकता है वास्तविकता से भटकना.

इस प्रकार एक प्रोटोकॉल डिजाइनर को यह तय करने की आवश्यकता है कि उसमें मानवीय वास्तविकता को कितनी अनुमति दी जानी चाहिए क्रिप्टोकरेंसी. जितना अधिक लचीलापन, निरपेक्षता के प्रति उतनी ही कम निष्ठा की अपेक्षा की जानी चाहिए। द जितना अधिक उपभोक्ता संरक्षण होगा, रोलबैक, रिफंड प्रदान करने के लिए उतने ही अधिक तंत्र मौजूद होंगे और इतिहास का संपादन।

यह अनुभाग और अगला विनियमन विषय पर Cardano के व्यावहारिक दृष्टिकोण को शामिल करता है। में अंतरसंचालनीयता की शर्तों पर चर्चा के लिए दो व्यापक समूह हैं। सबसे पहले, के साथ अंतरसंचालनीयता विरासती वित्तीय प्रणालियाँ (गैर-क्रिप्टोकरेंसी दुनिया)। दूसरा, दूसरे के साथ अंतरसंचालनीयता क्रिप्टोकरेंसी।

विरासत

फिनटेक किसी एक मानक या यहां तक कि एक आम भाषा से बना नहीं है। जबरदस्त है

दृष्टिकोणों में विविधता, निपटान और समाशोधन, व्यवसाय के लिए जिम्मेदार संस्थाएँ

प्रक्रियाओं, और लेखांकन, परिवर्तन और संचलन में शामिल अन्य डोमेन

मूल्य.

यह सुझाव देना अनुचित है कि, केवल इसलिए कि एक तकनीक श्रेष्ठ है, बाकी

पारिस्थितिकी तंत्र किसी तरह हार स्वीकार करेगा और अपग्रेड करेगा। उदाहरण के लिए, बहुत से लोग अभी भी उपयोग करते हैं

आरंभिक रिलीज़ के 16 साल बाद Windows XP। यह दुखद स्थिति किसी के लिए समतुल्य है

वर्ष 2000 में 1984 में जारी मूल मैकिंटोश का उपयोग किया गया।

उपभोक्ता व्यवहार को छोड़ दें तो, व्यवसाय आमतौर पर अपने उन्नयन चक्र में और भी धीमे होते हैं। अनेक

बैंक अभी भी कोबोल में लिखे बैकएंड का उपयोग करते हैं। एक बार इंफ्रास्ट्रक्चर काम करने के लिए जाना जाता है और मिलता है

व्यावसायिक आवश्यकताओं के अनुसार, सॉफ्टवेयर को अपग्रेड या परिष्कृत करने के लिए आमतौर पर बहुत कम प्रोत्साहन मिलता है

अनुपालन या सुरक्षा चिंताओं से परे उपभोक्ता के लाभ के लिए प्रोटोकॉल। हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 29आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

Cardano के लिए, हमें सबसे पहले यह स्थापित करना होगा कि विरासती पुल में क्या शामिल होगा? क्या सिस्टम,

हमें यह सुनिश्चित करने के लिए मानकों, संस्थाओं और प्रोटोकॉल को लक्षित करना चाहिए कि उचित निश्चितता है

अंतरसंचालनीयता? क्या इन पुलों को संघीय या विकेंद्रीकृत किया जा सकता है? या वे आदान-प्रदान की तरह होंगे

हैकर्स, दुर्भावनापूर्ण मालिकों या अति उत्साही नियामकों के लिए विफलता का केंद्रीय बिंदु बन गए हैं?

तीन चिंताएँ हैं जिनका समाधान किया जाना है। सबसे पहले, सूचना का प्रतिनिधित्व और

इसकी सटीकता में विश्वास. दूसरा, मूल्य और उससे जुड़े स्वामित्व का प्रतिनिधित्व। तीसरा,

संस्थाओं का प्रतिनिधित्व और, एक विशेष उपयोगकर्ता के साथ-साथ ऐसे में विश्वास का समग्र स्तर

इकाइयाँ।

उपयोगी होने के लिए, जानकारी और मूल्य को विरासती वित्तीय दुनिया और के बीच स्वतंत्र रूप से प्रवाहित होने की आवश्यकता है

Cardano. फिर प्रतिष्ठा और आधार बनाने के लिए परिणामों को स्थापित और रिकॉर्ड करने की आवश्यकता होती है

सहारा के लिए. फिर भी ऐसी चीजें अधिकतर प्रकृति में शामिल अभिनेताओं तक ही सीमित होती हैं। एन्कोड करना

उन्हें blockchain पर वैश्विक और स्थायी बना दिया जाएगा।

इसके अलावा, विरासत की दुनिया में मूल्य हमेशा स्वतंत्र रूप से प्रवाहित नहीं हो सकता है। प्रतिबंध, प्रतिबंध, पूंजी

नियंत्रण और न्यायिक कार्रवाई संपत्तियों को जब्त कर सकती है। इंटरऑपरेबल होने के लिए, कोई नहीं बना सकता

मूल्य रिसाव के लिए हमेशा एस्केप वाल्व खोलें।

अंत में, संस्थाओं का ब्रांड और प्रतिष्ठा वाणिज्यिक की आधारशिलाओं में से एक है रिश्ते. स्थापित करने, बनाए रखने के विपणन अभियानों पर सालाना अरबों डॉलर खर्च किए जाते हैं और मरम्मत ब्रांड। यदि किसी व्यक्ति या इकाई के बारे में अपमानजनक, झूठे या भ्रामक दावे किए जाते हैं उन्हें कानूनी सहारा लेने का अधिकार है। फिर भी blockchains स्थायी रूप से संरक्षित करने का प्रयास करता है इतिहास.

प्रोग्रामिंग भाषा की हमारी पसंद की तरह, Cardano को हल करने के लिए कोई आदर्श समाधान नहीं है ये चिंताएँ सर्वव्यापी रूप से सही हैं। बल्कि, हमें समर्थित राय के आगे झुकना होगा पुनः.

सूचना के प्रवाह के संबंध में, इस प्रवाह को विश्वसनीय डेटा फ़ीड के रूप में जाना जाता है। इसका एक स्रोत है और सामग्री. स्रोतों में विश्वसनीयता और धोखा देने या बनाए रखने के लिए प्रोत्साहन की कुछ धारणा है ईमानदारी. सामग्री को मनमाने ढंग से एन्कोड किया जा सकता है।

यह देखते हुए कि हम अपने प्रोटोकॉल स्टैक में विश्वसनीय हार्डवेयर का समर्थन करने का इरादा रखते हैं, हमने इसे चुना है प्रोफेसर अरी जुएल एट अल के टाउन कैरियर प्रोटोकॉल के लिए समर्थन जोड़ने का पता लगाएं। यह मानते हुए डेटा स्रोतों के एक विश्वसनीय सेट के अस्तित्व के कारण, टाउन कैरियर वेब की सुरक्षित स्क्रैपिंग की अनुमति देता है smart contracts और अन्य अनुप्रयोगों में उपयोग के लिए सामग्री।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 30आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

स्रोतों की एक बूटस्ट्रैप सूची Emurgo, IOHK और Cardano फाउंडेशन द्वारा प्रदान की जाएगी। बाद में इस सूची को Cardano से प्राप्त यांत्रिकी का उपयोग करके एक समुदाय क्यूरेटेड सूची द्वारा प्रतिस्थापित किया जाएगा राजकोष प्रणाली. हमारी आशा है कि एक प्रतिष्ठा प्रणाली अच्छे डेटा फ़ीड के इर्द-गिर्द साकार हो सकती है, जिससे धीरे-धीरे विश्वसनीयता और निष्ठा में सुधार के लिए एक सकारात्मक फीडबैक लूप तैयार हो सके।

मूल्य का प्रतिनिधित्व एक अधिक जटिल विषय है। जानकारी के विपरीत - जहां एक बार सत्यता, समयबद्धता और पूर्णता स्थापित की जाती है, प्रोटोकॉल विश्वसनीय और व्यवहार कर सकते हैं नियतिवादी तरीका - मूल्य अधिक नाजुक है।

एक बार tokenकृत हो जाने पर, मान को एक अद्वितीय वस्तु की तरह व्यवहार करना चाहिए। जानकारी की प्रतिलिपि बनाई जा सकती है और पास हो गया, लेकिन किसी चीज़ के स्वामित्व का प्रतिनिधित्व करने वाला token (जैसे वाहन का शीर्षक) नहीं हो सकता क्लोन किया गया और दो अलग-अलग बहियों पर व्यापार किया गया। यह अधिनियम प्रभावी रूप से इसकी अखंडता को नष्ट कर देगा प्रणाली.

tokenized मूल्य से निपटने के दौरान विरासत अंतरसंचालनीयता में चुनौती वह विश्वास है बहीखातों के बीच tokens प्रवाह के रूप में धारणाएं, विश्वसनीयता और लेखापरीक्षा बदल जाती है। उदाहरण के लिए, यदि बॉब के पास कुछ Bitcoin हैं और फिर उन्हें एक्सचेंज पर जमा करते हैं, तो अब बॉब के पास है एक्सचेंज का उनके बही-खाते पर Bitcoin का प्रतिनिधित्व। माउंटगॉक्स के मामले में, उनके बही-खाते ने ऐसा किया वास्तविकता के अनुरूप नहीं है, जिससे उपयोगकर्ताओं को सब कुछ खोना पड़ता है।

token में रहने वाले लोगों को पहचानने के लिए विरासत प्रणालियों की आवश्यकता से समस्या और भी जटिल हो गई है एक क्रिप्टोकरेंसी. जैसा कि पहले उल्लेख किया गया है, व्यवसाय ऐतिहासिक रूप से उन्नयन के प्रति प्रतिरोधी रहे हैं उनके सॉफ़्टवेयर और नए प्रोटोकॉल का समर्थन करना। यह स्थिति स्पष्ट देखना कठिन बना देती है समाधान.

Cardano के लिए, हमारी सबसे अच्छी आशा उपयोगकर्ताओं को मेटाडेटा की समृद्ध आपूर्ति संलग्न करने का विकल्प प्रदान करना है अपने लेन-देन के लिए और फिर इसमें शामिल होने के लिए उद्योग मानकों के उभरने की प्रतीक्षा करें। कुछ इंटरलेजर कार्यसमूह, R3Cev और अंतर्राष्ट्रीय जैसे प्रयासों के साथ प्रगति हुई है पुराने वित्तीय प्रोटोकॉल को उन्नत करने का आदेश।

हालाँकि, बड़ी चुनौती किसी विरासत से भेजे गए मूल्य की मात्रा निर्धारित करने और उसे योग्य बनाने की बनी हुई है एक क्रिप्टोकरेंसी बहीखाता के लिए सिस्टम। उदाहरण के लिए यदि बॉब एक बैंक का मालिक है और एक डॉलर जारी करता है समर्थित token, तो वह हमेशा अपने tokens को Cardano जैसे बहीखाते में भेजने के लिए एक पुल का निर्माण कर सकता है उपयोगकर्ता द्वारा जारी संपत्ति.

जबकि Cardano स्वामित्व को सटीक रूप से ट्रैक करेगा और वे सभी सुविधाएँ प्रदान करेगा जो हमें मिली हैं टाइमस्टैम्पिंग और ऑडिटेबिलिटी जैसा प्यार, कोई भी क्रिप्टोकरेंसी बॉब को एक ईमानदार बैंकर नहीं बना सकती। उसके पास हमेशा अपने सारे डॉलर का समर्थन न करके एक आंशिक रिज़र्व बैंक चलाने का विकल्प होता है हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 31आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

वास्तविक डॉलर के साथ tokens। इस धोखाधड़ी का पता किसी क्रिप्टोकरेंसी द्वारा तब तक नहीं लगाया जा सकता जब तक कि डॉलर न हो स्वयं एक token था जिसका हिसाब डिजिटल बहीखाता द्वारा किया जाता था। 25

अंत में, ऑनलाइन संस्थाओं का प्रतिनिधित्व एक क्लासिकल नेटवर्क समस्या है जो बहुत पहले से चली आ रही है इंटरनेट के दिन. विश्वविद्यालय, व्यवसाय, सरकारी विभाग और कोई भी मनमाना उपयोगकर्ता किसी बिंदु पर अपनी पहचान स्थापित करने की आवश्यकता है।

इस प्रयोजन के लिए, वेब की सार्वजनिक कुंजी अवसंरचना और जैसे व्यावहारिक लेकिन केंद्रीकृत समाधान आईसीएएनएन की डीएनएस प्रणाली लागू की गई है। यह देखते हुए कि हम आधुनिक वेब का आनंद लेते हैं, ये समाधान स्केलेबल और व्यावहारिक दोनों हैं। लेकिन वे अधिक व्यावसायिक रूप से उन्मुख उत्तर नहीं देते हैं विश्वसनीयता, भरोसेमंदता और निर्धारण के लिए आवश्यक अन्य मेटा विशेषताओं का प्रश्न यदि कोई इकाई के साथ व्यापार करना चाहता है।

ईबे जैसे बहु-पक्षीय बाज़ार होस्ट ने कुछ प्रदान करने पर एक व्यवसाय मॉडल का निर्माण किया है लेनदेन को पूरा करने के लिए एक रूपरेखा के साथ इस मेटाडेटा का। के बारे में निर्णय सामग्री, घटनाओं और व्यवसायों की गुणवत्ता अक्सर ऑनलाइन रेटिंग से ही गहराई से प्रभावित होती है विश्वस्त सूत्रों से. 26

Cardano से संबंधित इस बिंदु का भाग प्रतिष्ठा के केंद्रीकरण का प्रश्न है। में से एक Cardano के लिए हमारा लक्ष्य विकासशील दुनिया के लिए वित्तीय सहायता प्रदान करना है। इस प्रयास की एक कुंजी उन अभिनेताओं के साथ विश्वास स्थापित करने की क्षमता है जिनसे कोई कभी नहीं मिला है।

यदि कोई एकल इकाई या संस्थाओं का संघ नियंत्रित करता है कि किसे अच्छा या बुरा कहा जाए, तो जैविक नहीं समग्र रूप से समुदाय में वास्तविक अंतःक्रियाओं से प्राप्त प्रक्रिया, तो ये संस्थाएँ कर सकती हैं किसी कथित पाप के लिए किसी को भी मनमाने ढंग से काली सूची में डालना। यह शक्ति एक परियोजना के रूप में हमारे मूल्यों के विरुद्ध है और क्रिप्टोकरेंसी का उपयोग करने के व्यापक बिंदु को पराजित करता है।

सौभाग्य से, वही तंत्र राजकोषीय मतपत्रों के लिए मतदान में उपयोग किया जाता है, सूची में स्रोत जोड़े जाते हैं विश्वसनीय डेटा फ़ीड और फोर्किंग प्रोटोकॉल का प्रतिष्ठा स्थान स्थापित करने के लिए पुन: उपयोग किया जा सकता है। यह एक है अनुसंधान का खुला क्षेत्र और हमारी आशा विकेंद्रीकृत के लिए एक ओवरले प्रोटोकॉल प्रदान करना है अधिक मूलभूत तत्वों के निपटारे के बाद 2018-2019 में ट्रस्ट की प्रतिष्ठा वेब।

क्रिप्टोकरेंसी इंटरऑपरेबिलिटी

25 दूसरी ओर, डिजिटल बहीखातों के लिए, रिज़र्व का प्रमाण रखने के एक चतुर तरीके के रूप में प्रस्तावित किया गया है क्रिप्टोकरेंसी केवल ईमानदार एक्सचेंज करती है। 26 ये दरें सामग्री के निर्माण पर भी प्रभाव डालती हैं। सड़े हुए टमाटर कैसे होते हैं, इस दिलचस्प कहानी को देखें फिल्म उद्योग पर असर पड़ा है. हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 32आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विरासत की दुनिया से वितरित डिजिटल बही-खातों की ओर बढ़ने पर, अंतरसंचालनीयता कहीं अधिक सरल हो जाती है। प्रत्येक बहीखाता में एक नेटवर्क प्रोटोकॉल, संचार के मानक और सुरक्षा धारणाएँ होती हैं इसके संबंधित सर्वसम्मति एल्गोरिथ्म के बारे में। बदले में इन्हें आसानी से परिमाणित किया जा सकता है।

विदेशी नेटवर्क से जुड़कर और उसका अनुवाद करके सूचना का संचलन स्थापित किया जाता है संदेश. मूल्य का संचलन एक रिले प्रणाली, परमाणु क्रॉस चेन ट्रेडिंग के माध्यम से किया जा सकता है या एक चतुर साइडचेन योजना के माध्यम से। चूंकि कोई केंद्रीकृत ऑपरेटर नहीं है, एक संस्थाओं का प्रतिनिधित्व डेवलपर्स, खनिकों या में विश्वास की मेटाचर्चा तक सीमित है कुछ अन्य पावरब्रोकर।

Cardano के लिए, हम Kiayias, Miller और द्वारा विकसित एक नया साइडचेन प्रोटोकॉल एकीकृत कर रहे हैं जिंड्रोस। यह दो श्रृंखलाओं के बीच मूल्य को सुरक्षित रूप से स्थानांतरित करने का एक गैर-संवादात्मक तरीका प्रदान करता है प्रोटोकॉल का समर्थन करें. यह तंत्र सीएसएल और ए के बीच मूल्य प्रवाह का प्राथमिक तरीका होगा सीसीएल परत.

अन्य क्रिप्टोकरेंसी के लिए, जैसे-जैसे Cardano का मूल्य और उपयोगकर्ता बढ़ता है, फ़ेडरेटेड ब्रिज बनने चाहिए आधार. इस वृद्धि में तेजी लाने में मदद के लिए, Cardano SL प्लूटस के प्रतिबंधित संस्करण का समर्थन करता है अंतरसंचालनीयता स्क्रिप्ट. शेली और सीएसएल के बाद के रिलीज में नए लेनदेन जोड़े जाएंगे विशेष रूप से इन आवश्यकताओं को संबोधित करने के लिए।

डेडालस की भूलभुलैया

अंतरसंचालनीयता पर बिंदु वैश्विक परिप्रेक्ष्य से आते हैं। विशिष्ट प्रोटोकॉल, नए

लेन-देन के प्रकार, विश्वसनीयता का आकलन करने की प्रणाली और सूचना के प्रवाह को सीमित नहीं किया जा सकता है

केवल एक द्वारपाल या उपयोगकर्ता। बल्कि उन्हें बिना किसी के भी आसानी से उपलब्ध होना चाहिए

सेंसरशिप या टोल.

फिर भी क्या होता है जब Cardano किसी प्रोटोकॉल, लेनदेन या एप्लिकेशन का समर्थन नहीं करता है

उपयोगकर्ता बिना नहीं रह सकता? क्या हमें दायरे से बाहर हो जाना चाहिए? वेब को भी ऐसी ही चिंता का सामना करना पड़ा

1990 के दशक के दौरान.

विडंबना यह है कि वेब दो अलग-अलग समाधान प्रदान करता है जिन्हें क्रिप्टोकरेंसी के साथ दोहराया जा सकता है।

जावास्क्रिप्ट की शुरूआत ने किसी भी वेबसाइट को मनमाने ढंग से जोड़ने के लिए प्रोग्रामयोग्यता प्रदान की

विशेषताएं. ब्राउज़र प्लगइन्स और एक्सटेंशन की शुरूआत ने कस्टम क्षमताओं को जोड़ा

उपयोगकर्ता उन्हें इंस्टॉल करने के इच्छुक हैं। दोनों दृष्टिकोणों ने हमें आधुनिक वेब के साथ-साथ उसकी संपूर्ण सुरक्षा भी प्रदान की

भयावहता.

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 33आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

Ethereum ने उपयोगकर्ताओं को उपप्रोटोकॉल एम्बेड करने की अनुमति देकर पूर्व दृष्टिकोण अपनाया

Ethereum blockchain smart contracts के रूप में। Cardano CCL के माध्यम से इस सुविधा का समर्थन करता है

प्रतिमान. लेकिन कस्टम एक्सटेंशन के बारे में क्या?

एक स्पष्ट उदाहरण एक क्रिप्टोकरेंसी व्यापारी होगा। एक विकेन्द्रीकृत बाज़ार की कल्पना करें,

डीएम कहा जाता है, जो विभिन्न क्रिप्टोकरेंसी के एक सेट का समर्थन करता है। एक व्यापारी उसे स्वचालित करना चाहता है

डीएम पर कार्य करने वाली रणनीतियाँ।

एक खंडित पारिस्थितिकी तंत्र में, व्यापारी को प्रत्येक के लिए दर्जनों ग्राहक स्थापित करने होंगे

क्रिप्टोकरेंसी और फिर समन्वय स्थापित करने के लिए प्रत्येक ग्राहक से बात करने के लिए कस्टम सॉफ़्टवेयर लिखें

स्वचालित व्यापार. यदि कोई क्लाइंट अपडेट करता है, तो यह कस्टम सॉफ़्टवेयर को तोड़ सकता है। इसके अलावा,

यदि व्यापारी सॉफ़्टवेयर बेचना चाहे तो क्या होगा?

एक्सटेंशन के वेब मॉडल से प्रेरित होकर, यदि विभिन्न क्रिप्टोकरेंसी का इंटरफ़ेस हो सकता है

एक वेब स्टैक में खींचा गया, तो व्यापारी का कार्य नाटकीय रूप से आसान हो जाता है। एक सार्वभौमिक

इंटरफ़ेस स्थापित किया जा सकता है. इंस्टालेशन एक क्लिक है. सॉफ़्टवेयर के वितरण को मॉडल किया जा सकता है

Chrome वेब स्टोर के बाद.

Cardano के लिए, हमने अपने संदर्भ को तैनात करके इस प्रतिमान के साथ प्रयोग करने का निर्णय लिया है

इलेक्ट्रॉन पर वॉलेट का अगला सिरा। यह Github द्वारा अनुरक्षित एक खुला स्रोत प्रोजेक्ट है जो संयोजित होता है

नोड और क्रोम दोनों एक साथ। Cardano के इलेक्ट्रॉन निर्माण को डेडलस कहा जाता है।

डेडालस की पहली पीढ़ी कई अपेक्षित लोगों के लिए समर्थन के साथ एक एचडी वॉलेट के रूप में कार्य करेगा

27 लेखांकन और सुरक्षा सुविधाएँ जो उद्योग मानक हैं, जैसे खर्च पासवर्ड और

BIP39. बाद की पीढ़ियों में डेडालस एक स्टोर के साथ एक एप्लीकेशन फ्रेमवर्क के रूप में विकसित होगा,

सार्वभौमिक एकीकरण एपीआई और एक एसडीके।

मुख्य नवाचार प्रोग्रामर्स को जावास्क्रिप्ट का उपयोग करने की अनुमति देकर विकास में आसानी है,

HTML5 और CSS3 अपने एप्लिकेशन और क्रॉस एप्लिकेशन के लिए एक एकीकृत ब्रिज बनाने के लिए

संचार. जटिल व्यवहार जैसे क्रिप्टोग्राफी, वितरित नेटवर्क का प्रबंधन और

डेटाबेस यांत्रिकी को दूर किया जा सकता है जिससे डेवलपर को केवल उपयोगकर्ता पर ध्यान केंद्रित करने की सुविधा मिलती है

अनुभव और उनके अनुप्रयोग का मूल तर्क।

जैसा कि डेडालस को एक सार्वभौमिक ढांचा बनाने का इरादा है, इसका रोडमैप और विकास कुछ हद तक है

Cardano से स्वतंत्र। 2017 के दौरान वे मजबूती से जुड़े हुए हैं, लेकिन बाद में Cardano उचित हो जाएंगे

डेडालस उपयोगकर्ता के लिए एक अन्य एप्लिकेशन। हम अत्यंत अनूठी विशेषताओं की खोज करने का भी इरादा रखते हैं

जैसे कि एक सार्वभौमिक कुंजी प्रबंधन सेवा जो केवल Intel SGX में चलती है।

27 जो पहले से ही daedaluswallet.io पर उपलब्ध है
हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 34

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

अंततः, प्रोटोकॉल डिजाइनर के रूप में, हम सभी जरूरतों का समर्थन नहीं कर सकते। हमारी आशा है कि लचीलापन

डेडालस सीसीएल पर चल रहे स्टेटफुल smart contracts के साथ संयुक्त रूप से प्रदान करेगा जो संतुष्ट करेगा

जो हमारे डिज़ाइन निर्णयों से छूट गए हैं। हम यह भी आशा करते हैं कि बेहतर मानक सामने आ सकेंगे

बेहतर अंतरसंचालनीयता और सुरक्षा का आनंद लेने के लिए सभी क्रिप्टोकरेंसी को प्रोत्साहित करें।

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.

विनियमन

मिथ्या द्वंद्व

विनियमन अक्सर जितना विचित्र और रहस्यमय हो सकता है, कोई रूपक रूप से एक सुरुचिपूर्ण अनुमान लगा सकता है न्याय की मांग कर रहे भ्रष्टों और उनके अभियोजकों की कहानी। विनियम टूलकिट हैं क़ानून लाने वाला. लेकिन सभी उपकरणों की तरह, वे कच्चे, पुराने या बस दुरुपयोग किए गए हो सकते हैं।

क्रिप्टोकरेंसी ने मानवीय स्थिति या कथा चक्र को नहीं बदला है। वहाँ हमेशा रहेगा अच्छे इरादों के बावजूद घोटाले, बुरे अभिनेता और भयानक परिणाम होंगे। जबकि क्रिप्टोकरेंसी मानवीय निर्णय को हटा सकती है, वे मानव व्यवहार को नहीं हटा सकती।

एक क्रिप्टोकरेंसी डिजाइनर को इस बात पर निर्णय लेना होगा कि वह नियामक को कौन सा टूलकिट पेश करेगा बुरी घटनाओं को सुधारें. क्रिप्टोकरेंसी के सामने अनोखी चुनौती यह है कि वे इसका एक उत्पाद हैं विनियामक और मौद्रिक विफलता. 28

सांस्कृतिक रूप से, क्रिप्टोकरेंसी में कई लोग सरकारी कार्रवाई को भ्रष्ट, अयोग्य या मानते हैं अप्रभावी. इसलिए, उनमें किसी विशेष पिछले दरवाजे का समर्थन करने के लिए बहुत कम सम्मान, धैर्य या इच्छा होती है गलतियों को सुधारने के लिए एक नियामक या कानूनविद के लिए। यह कृत्य पूरे उद्देश्य के लिए अभिशाप होगा क्रिप्टोकरेंसी।

दूसरी ओर, विनिमय विफलताओं और ऐतिहासिक घटनाओं की गिनती 10 प्रतिशत से अधिक है 3 जनवरी 2009 को प्रोटोकॉल शुरू होने के बाद से Bitcoin खो गया है या चोरी हो गया है। 30 जून तक, 2017 में, खोई या चोरी हुई कीमत $4 बिलियन से कुछ अधिक है। और यह आंकड़ा मायने नहीं रखता Bitcoin और अन्य token के लिए घोटालों और खराब तरीके से गठित ICOs के कारण नुकसान हुआ।

28 वास्तव में सातोशी ने द टाइम्स से ली गई निम्नलिखित शीर्षक को Bitcoin जेनेसिस ब्लॉक में शामिल किया है: टाइम्स 03/जनवरी/2009 चांसलर बैंकों के लिए दूसरे बेलआउट के कगार पर हैं हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 35

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

फिर निजता का मुद्दा है. वृहद पैमाने पर, मूल्य विशेष चैनलों के माध्यम से प्रवाहित होता है जो विनियमित हैं, मेटाडेटा से समृद्ध हैं और कानून प्रवर्तन, सरकारों द्वारा सक्रिय रूप से निगरानी की जाती हैं और अंतर्राष्ट्रीय नियामक। यह एक अच्छी तरह से समझा जाने वाला खेल है जिसमें केवल रिसाव होता है मामलों का नकदी पक्ष, जो धीरे-धीरे कम हो रहा है क्योंकि दुनिया डिजिटल मुद्रा की ओर बढ़ रही है।

यदि क्रिप्टोकरेंसी अस्तित्व में नहीं होती तो प्रतिमान एक ऐसी दुनिया प्रतीत होती जो तेजी से व्यवहार करती है सोशल मीडिया सामग्री की तरह वित्तीय गोपनीयता। कोई नहीं है और कोई भी इससे बाहर नहीं निकल सकता। इसलिए हम स्पष्ट द्वंद्व उत्पन्न करने वाली दुविधा है।

एक क्रिप्टोकरेंसी डिजाइनर सिद्धांतों को त्याग सकता है और अपने स्थानीय लोगों की जो भी मांग हो, उसे मान सकता है क्षेत्राधिकार उनके कोड पर निर्भर करता है, जिससे उनकी गोपनीयता और अखंडता से समझौता होता है उपयोगकर्ता. या फिर वह अधिक सैद्धांतिक, लेकिन अराजकतावादी, दर्शन को अपना सकता है जो खुद को इससे अलग कर देता है वर्तमान सर्वोत्तम प्रथाएँ और कानून।

Cardano के लिए, हमें लगता है कि यह कथा कल्पना की कमी के कारण उत्पन्न एक झूठा द्वंद्व है। द वास्तविकता यह है कि अधिकांश उपयोगकर्ता बाज़ारों के लिए मौजूदा नियमों के बारे में चिंतित नहीं हैं। वे आम तौर पर हैं एक या अधिक अभिनेताओं को लाभ पहुंचाने के लिए नियमों में अचानक बदलाव को लेकर चिंतित हैं। वे चिंतित हैं विशेष विशेषाधिकार किसे मिलते हैं, इस पर पारदर्शिता की कमी के बारे में।

हमें व्यक्तिगत और बाज़ार अधिकारों के बीच अंतर करने की आवश्यकता है। यह देखते हुए कि क्रिप्टोकरेंसी में एक है वैश्विक पहुंच, अधिकारों को यथासंभव उपयोगकर्ता उन्मुख होना चाहिए।

गोपनीयता उचित होनी चाहिए और उपयोगकर्ता के नियंत्रण में होनी चाहिए, न कि द्वारपाल के पास। मूल्य का प्रवाह अप्रतिबंधित होना चाहिए. सहमति के बिना मूल्य अचानक जब्त नहीं किया जाना चाहिए।

बाज़ार के दृष्टिकोण से, बाज़ार को डेटा के उपयोग, कैसे, के बारे में पारदर्शी होने की आवश्यकता है निधियों का प्रबंधन भीतर ही किया जाएगा और सभी को समान नियमों के अनुसार खेलना होगा। इसके अलावा, एक बार जब उपयोगकर्ता ने सहमति दे दी, तो वे अचानक अपना मन नहीं बदल सकते असुविधा. प्रतिपक्षों को भी निश्चितता की आवश्यकता है।

लेकिन वास्तव में कोई अमूर्त से वास्तविक प्रणाली की ओर कैसे बढ़ता है? कुछ क्या चाहिए व्यावहारिक और कानूनी जैसा दिखता है? हमने अपने समाधान को तीन श्रेणियों में विभाजित किया है: मेटाडेटा, प्रमाणीकरण और अनुपालन के साथ-साथ बाज़ार DAOs।

29 पाठक को डेविड वोलमैन की द एंड ऑफ मनी की एक प्रति लेने पर विचार करना चाहिए। यह कवर करता है नकदी गायब होने की दिशा में अंतर्राष्ट्रीय आंदोलन। हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 36आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

मेटाडेटा

किसी चीज़ का कार्य अक्सर उसके आस-पास के मेटाडेटा से कम दिलचस्प हो सकता है। के लिए उदाहरण के लिए, डेनवर से बोल्डर तक गाड़ी चलाना एक कार्य है। फेरारी में डेनवर से बोल्डर तक ड्राइविंग 120 एमपीएच के औसत पर 488 मेटाडेटा है। निश्चित रूप से यह उससे भिन्न अनुभव का अनुमान लगाता है टोयोटा प्रियस औसतन 30 एमपीएच।

वित्तीय लेनदेन अलग नहीं हैं. उनके आसपास का संदर्भ असाधारण है अर्थशास्त्रियों, कर अधिकारियों, कानून प्रवर्तन, व्यवसायों और अन्य संस्थाओं के लिए महत्वपूर्ण। दुःख की बात है हमारी वर्तमान फिएट आधारित प्रणाली में, अधिकांश उपभोक्ता कभी नहीं देखते कि उनका मेटाडेटा कितना समृद्ध है लेन-देन हैं या वे किसके साथ साझा किए गए हैं। 30

Cardano के लिए, हम स्वीकार करते हैं कि उपयोगकर्ताओं को साझा करने की आवश्यकता हो सकती है या कानूनी रूप से आवश्यक है कर अधिकारियों जैसे कुछ कर्ताओं के साथ लेन-देन संबंधी मेटाडेटा। लेकिन हमारा मानना है कि यह साझा करना ज़रूरी है उपयोगकर्ता की सहमति पर हो.

हम यह भी मानते हैं कि blockchain सिस्टम में धोखाधड़ी, बर्बादी आदि को खत्म करने की जबरदस्त शक्ति है ऑडिटेबिलिटी, टाइमस्टैम्पिंग और अपरिवर्तनीयता प्रदान करके दुरुपयोग। इस प्रकार कुछ मेटाडेटा होना चाहिए Cardano blockchain पर पोस्ट किया गया।

कठिन हिस्सा एक सही संतुलन ढूंढना है जो हमारे blockchain को पर्याप्त नुकसान न पहुँचाए सूजन इस चिंता को देखते हुए हमने व्यावहारिक दृष्टिकोण चुना है।

सबसे पहले, डेडालस अगले 12 महीनों में लेबल करने के लिए सुविधाओं की एक बड़ी श्रृंखला का समर्थन करेगा लेनदेन और वित्तीय गतिविधि। इन मेटाडेटा को मांग पर निर्यात और साझा किया जा सकता है जो भी उपयोगकर्ता आवश्यक समझे। इसके अलावा, डेटा को तीन पक्षों द्वारा संचालित किया जा सकता है डोमेन विशिष्ट उद्देश्यों के लिए आवेदन (उदाहरण के लिए, कर लेखांकन)।

दूसरा, हम विशेष पतों के लिए समर्थन जोड़ने की खोज कर रहे हैं जिनमें hashes और शामिल हो सकते हैं एन्क्रिप्टेड फ़ील्ड. यह संरचना उपयोगकर्ता को बिना हमारे blockchain पर मेटाडेटा पोस्ट करने की अनुमति देगी सार्वजनिक रूप से इसका खुलासा कर रहे हैं. लेकिन अगर वह डेटा साझा करना चाहती है, तो इसमें सारी ऑडिटेबिलिटी होगी, अपरिवर्तनीयता और टाइमस्टैम्प निश्चितता जो लेन-देन का आनंद लेती है।

30 अधिक व्यापक पैमाने पर, लेखक जुआन ज़राटे लिखते हैं कि इस डेटा का उपयोग अमेरिकी ट्रेजरी द्वारा कैसे किया जाता है ट्रेजरी के युद्ध में आतंकवाद के विरुद्ध युद्ध में विभाग। यह एक व्यापक दृष्टिकोण प्रदान करता है कि कैसे वैश्विक वित्तीय बाज़ारों की वर्तमान संरचना का उपयोग भू-राजनीतिक उद्देश्यों के लिए किया जा सकता है। हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 37आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

हमने पहले से ही एक पता संरचना तैनात कर दी है जिसमें एक विशेषता फ़ील्ड शामिल है। यह वर्तमान में है तेजी से वॉलेट पुनर्प्राप्ति के लिए एचडी वॉलेट ट्री संरचना की एक एन्क्रिप्टेड प्रति संग्रहीत करने के लिए उपयोग किया जा रहा है (देखें)। एचडी वॉलेट दस्तावेज़ीकरण)। बाद के संस्करण इस निर्माण को सामान्यीकृत करेंगे।

प्रमाणीकरण और अनुपालन

लेन-देन से निकटता से जुड़े लेन-देन करने के अधिकार के विषय हैं और निधियों का स्वामित्व. उदाहरण के लिए, जबकि कुछ खरीदने के लिए पर्याप्त धन हो सकता है (के लिए)। उदाहरण के लिए शराब), इसकी खरीद पर प्रतिबंध हो सकता है (आयु संबंधी आवश्यकताएं)।

स्वामित्व और धन की उत्पत्ति आम तौर पर आपके ग्राहक नियमों को जानने का प्रावधान है। जब कोई बैंक या एक्सचेंज जैसा धन सेवा व्यवसाय किसी नए ग्राहक के लिए खाता खोलता है, आम तौर पर ग्राहक के बारे में बुनियादी तथ्य एकत्र करना आवश्यक होता है और यह भी कि उसने अपनी धनराशि कहाँ से अर्जित की है से.

तकनीकी चुनौती यह है कि इसे प्रस्तुत करने की प्रक्रिया में कानूनी रूप से आवश्यक है जानकारी, इसे भेजने वाले उपयोगकर्ता की कोई गारंटी नहीं है कि इसका उपयोग, भंडारण कैसे किया जाएगा और क्या यह कभी होगा नष्ट कर दिया. अनुपालन जानकारी व्यावसायिक रूप से मूल्यवान है। इसे पहचान की चोरी के लिए चुराया जा सकता है या जहां नियम अनुमति देते हैं वहां दोबारा बेचें।

Cardano के लिए, हम यथासंभव कुछ नया करना चाहते हैं। प्रोटोकॉल के सॉफ़्टवेयर पक्ष पर, वहाँ यह गारंटी देने के लिए बहुत कम है कि अनुपालन जानकारी का प्राप्तकर्ता एक सीमा के भीतर व्यवहार करेगा आचरण का दायरा. हालाँकि, प्रोटोकॉल के हार्डवेयर पक्ष पर, विश्वसनीय हार्डवेयर का उपयोग करके कोई भी ऐसा कर सकता है कुछ नीतियों को लागू करने के लिए इंटेल एसजीएक्स और अन्य एचएसएम का लाभ उठाएं।

इस प्रकार हम सुरक्षित अनुमति के लिए एक साझा नीति के साथ-साथ सीलबंद ग्लास प्रूफ़ का उपयोग करने की खोज कर रहे हैं एक सत्यापनकर्ता को अनुपालन जानकारी का प्रसारण, जो बदले में अनुपालन करने के लिए मजबूर होता है जिन नीतियों के तहत इसे प्रसारित किया गया था। हमारा मानना है कि दोनों समान मानक उभर सकते हैं और यह भी कि यह विधि ग्राहक डेटा के नुकसान को रोककर सत्यापनकर्ताओं के लिए जोखिम को कम करेगी हैकर्स

इस प्रयास के परिणाम के रूप में, हम Cardano के लिए प्रस्तावित स्तरित मॉडल से मूल्य को अलग करते हैं इस दृष्टिकोण से गणना को भी लाभ मिल सकता है। यदि गणना परत विनियमित द्वारा चलायी जाती है संस्थाएं (एक्सचेंज या कैसीनो कहें), तो उन्हें अनुपालन जांच करने की आवश्यकता होगी संभावित रूप से उपयोगकर्ताओं पर कर नीति लागू करें।

एसजीपी का उपयोग करके, उपयोगकर्ता व्यक्तिगत रूप से पहचान योग्य जानकारी के बिना धनराशि भेज सकता है चिंता यह है कि यह व्यापक इंटरनेट में लीक हो जाएगा या सर्वसम्मति नोड्स द्वारा संरक्षित किया जाएगा हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 38आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

गणना परत. इसके अलावा, गणना परत सभी उपयोगकर्ताओं के लिए निश्चितता प्राप्त करेगी लेन-देन प्रमाणित और वैध है।

यह प्रतिमान विनियमित संस्थाओं के बीच ग्राहक पोर्टेबिलिटी की भी अनुमति देता है। आदान-प्रदान हो सकता है इन सुरक्षित चैनलों के माध्यम से ग्राहकों के लिए शेष राशि और खातों को तुरंत स्थानांतरित करें और साथ ही - जहां नीतियां अनुमति देती हैं - नियामकों के साथ डेटा साझा करें।

हमें उम्मीद है कि इस लक्ष्य के साथ इस तकनीक का हमारा पहला बीटा परीक्षण 2018 के मध्य में आयोजित किया जाएगा 2018 के अंत से 2019 की शुरुआत तक लंबित अनुसंधान परिणामों में Cardano एकीकरण की ओर। यह समयरेखा कोड को चलाने के लिए हस्ताक्षरित करने के लिए एआरएम और इंटेल के साथ सहयोग करने की क्षमता भी मानता है उनका हार्डवेयर. 31 बाज़ार DAOs

पिछले दो अनुभागों में सूचना के सृजन और संचलन को शामिल किया गया है किसी बाह्य व्यवस्था का अस्तित्व। लीगेसी इंटरऑपरेबिलिटी सुनिश्चित करने के लिए, ये सुविधाएँ हमेशा रहेंगी आवश्यक हो, लेकिन वे blockchain आधारित विनियमन को संबोधित नहीं करते हैं।

स्मार्ट अनुबंध एक पूरी तरह से नई तरह की वाणिज्यिक प्रणाली को सक्षम करते हैं जहां रिश्ते होते हैं नियतिवादी, आत्म-प्रवर्तनशील और अस्पष्टता से मुक्त। बदले में उनका उपयोग नियम बनाने के लिए किया जा सकता है बाजार में मनमाने ढंग से जटिल संरचनाएं जैसे मध्यस्थता, घटना संचालित रिफंड, और विशेष परिस्थितियों में तथ्यों का खुलासा।

हम इन smart contract लागू संरचनाओं को मार्केटप्लेस DAOs कहते हैं। उन्हें आवश्यकता नहीं है विशेष प्रोटोकॉल समर्थन और न ही परिवर्तनशीलता को बहीखाता में एम्बेड किया जाएगा। वास्तव में, वे पूरी तरह से हो सकते हैं अन्योन्याश्रित smart contracts के संग्रह का उपयोग करके निर्मित।

वास्तुशिल्प अवधारणा से प्रेरित व्यावसायिक टेम्पलेट्स का एक संग्रह डिजाइन करना है अनुबंध कानून और व्यवसाय की सर्वोत्तम प्रथाएँ। इन टेम्प्लेट को डेवलपर के साथ जोड़ा जा सकता है बाज़ार में विशिष्ट मानकों को लागू करने के लिए smart contract।

उदाहरण के लिए, मान लें कि कोई डेवलपर क्राउडसेल आयोजित करने के लिए CCL पर ERC20 token जारी करना चाहता है। ए मार्केटप्लेस DAO को विशेष रूप से भीड़-बिक्री और इसके नियमों और शर्तों के लिए स्थापित किया जा सकता है स्वयंसेवी या कानूनी मानकों द्वारा मानकीकृत या लागू भी। रिफंड जैसी चीजें, निधियों का पुनः आवंटन या भुगतान पर रोक डेवलपर के ERC20 में विरासत में मिल सकती है अनुबंध.

31 इंटेल एसजीएक्स वाणिज्यिक लाइसेंस नीति देखें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 39

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

यह प्रयास हमें इस बारे में व्यापक चर्चा करने की अनुमति देता है कि बाज़ार को कैसे नियंत्रित किया जाना चाहिए उपभोक्ता संरक्षण सुनिश्चित करने के लिए। दूसरा, हम चर्चा कर सकते हैं कि लेनदेन को कैसे मॉडल किया जाए विशिष्ट न्यायक्षेत्रों के भीतर कानूनी सुरक्षा और अधिकारों को स्वचालित रूप से सुनिश्चित करने का तरीका, जैसे न्यू हैम्पशायर.

Cardano फाउंडेशन, IOHK और अन्य संस्थाओं के साथ काम करते हुए, Cardano प्रोजेक्ट एक निर्माण करेगा smart contract डेवलपर्स के उपयोग के लिए मार्केटप्लेस DAOs की संदर्भ लाइब्रेरी। हमारी आशा यही है बीमा और विनियामक बाज़ार इन DAO के आसपास बन सकते हैं और वे बनेंगे परिणामों के आधार पर स्वयं विकसित होना।

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.

वहनीयता

एक विसर्जन में द क्रिप्टोकरेंसी क्षेत्र पैदावार अनेक वैचारिक विरोधाभास.

क्रिप्टोकरेंसी को इस तरह डिज़ाइन किया गया है कि उन्हें बदलना मुश्किल है, लेकिन, सभी प्रौद्योगिकी की तरह, उन्हें बदलने की आवश्यकता है

डिज़ाइन की खामियों और प्रगति को संबोधित करने के लिए परिवर्तन। ब्लॉकचेन का उद्देश्य रोकथाम करना है

केंद्रीकरण, फिर भी परिवर्तन का नेतृत्व करने या कोड को बनाए रखने के लिए मजबूत अभिनेताओं की आवश्यकता होती है।

शायद सबसे निराशाजनक अनुभव तब होता है जब अधिकांश में स्पष्ट कमियाँ होती हैं

हितधारक इस बात से सहमत हैं कि सुधार की आवश्यकता है, फिर भी आगे के रास्ते पर आम सहमति नहीं बन पा रही है।

Bitcoin की ब्लॉक आकार बहस अब दो वर्षों से अधिक समय से एक सक्रिय मुद्दा रही है। दैनिक,

कुल एक अरब डॉलर से अधिक के लेन-देन लंबित हैं क्योंकि नेटवर्क चरम क्षमता पर है।

यदि एक साधारण पैरामीटर को बदलना - अस्थायी समाधानों की उपस्थिति में भी - नहीं किया जा सकता है

समन्वित, तो उद्यम और सरकारें अरबों का निवेश करने में सहज कैसे महसूस कर सकती हैं

इन प्रणालियों के शीर्ष पर बुनियादी ढांचे के निर्माण में डॉलर? उस मामले के लिए, कोई कैसे कर सकता है

उत्तरदायित्व-मुक्त प्रोटोकॉल को एकीकृत करने के रणनीतिक जोखिम पर व्यापार जुआ है जो नहीं कर सकता

तर्कसंगत डिज़ाइन उन्नयन करें?

इतिहास में पीछे मुड़कर देखने पर पता चलता है कि इंटरनेट का विकास भी इसी पैटर्न पर हुआ है

IPv4 से IPv6 में परिवर्तन जैसे सरल परिवर्तन को साकार होने में दशकों लग गए। फिर भी वहाँ एक है

blockchain प्रौद्योगिकी और इंटरनेट के बीच मजबूत अंतर यह है कि वे बहुत अनुसरण करते हैं

संरक्षकता की अलग शैली.

इंटरनेट एक सैन्य परियोजना थी जो DARPA से मजबूत होकर अकादमिक हलकों में विकसित हुई

सरकारी समर्थन और आरंभिक संरक्षकों का एक सुस्पष्ट समूह। इंटरनेट का विकास हुआ

कॉर्पोरेट प्रभाव की साजिश के बिना गैर-व्यावसायिक स्थितियों का प्रयास करना

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 40आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

नेटवर्क पर एकाधिकार स्थापित करें. वास्तव में, ई-कॉमर्स ने एनएसएफ एयूपी का तब तक उल्लंघन किया जब तक इसे निरस्त नहीं कर दिया गया

जब तक व्यवसायों को इंटरनेट का व्यावसायीकरण करने का मौका मिला, तब तक यह पहले से ही मौजूद था

मानकों, सिद्धांतों और इंजीलवादी अनुयायियों का मजबूत समूह। इससे जैसी कंपनियों पर रोक नहीं लगी

एओएल और माइक्रोसॉफ्ट दीवार उद्यान बनाने और मालिकाना तकनीक बनाने की कोशिश कर रहे हैं

एक्टिवएक्स. इस फाउंडेशन ने Google जैसे अगली पीढ़ी के अभिनेताओं को आगे बढ़ने से नहीं रोका है

उनके अपने एजेंडा ने उनके विशाल उपयोगकर्ता आधार और पूंजीकरण को देखते हुए।

किराये की तलाश में झुंड के झुंड के साथ व्यापारियों से लेकर खनिकों तक, क्रिप्टोकरेंसी सर्वोत्कृष्ट है

32 व्यावसायिक रूप से प्रेरित पारिस्थितिकी तंत्र। इस आधार को देखते हुए, संरक्षकता का विकास

क्रिप्टोकरेंसी के परिणामस्वरूप स्व-हित के इर्द-गिर्द अनुकूलन हुआ है।

उदाहरण के लिए, सत्यापन रहित खनन अधिक बार होने लगा है क्योंकि इससे खनिकों में सुधार होता है

लाभ मार्जिन, फिर भी यह खनन के संपूर्ण उद्देश्य और उपयोगिता की पूरी तरह से उपेक्षा करता है। खनन

केंद्रीकरण पहले ही हो चुका है और मुट्ठी भर अभिनेता ही अधिकांश पर नियंत्रण रखते हैं

Bitcoin की hash शक्ति।

इंटरनेट की तरह, क्रिप्टोकरेंसी को बदलने के लिए आम सहमति की आवश्यकता होती है। लेकिन जब इतनी तेजी

मुट्ठी भर दलालों के हाथों सत्ता का केंद्रीकरण होता है, जब परिवर्तन नहीं होता तो क्या होता है

उनके लिए सुविधाजनक?

इंटरनेट के विपरीत, अधिकांश क्रिप्टोकरेंसी की बूटस्ट्रैपिंग परोपकारी ढंग से नहीं की जाती है

गैर-व्यावसायिक या शैक्षणिक साधन। शुरुआत से ही, कुछ समूह लाभ कमाना चाहते हैं

उन लाभों को सुनिश्चित करने में सहायता के लिए पावर ब्रोकरों को नियुक्त किया गया है।

केंद्रीयकरण स्थापित करना एक वास्तविकता है जिसका प्रत्येक क्रिप्टोकरेंसी को अपने विकास में सामना करना होगा। हम

इससे पूरी तरह बच नहीं सकते, लेकिन कम से कम क्रमिक विकेंद्रीकरण के इर्द-गिर्द डिजाइन करने का प्रयास करना चाहिए।

Cardano के लिए, हमने ध्यान से सोचा कि कौन से कारक केंद्रीकरण को बढ़ावा देते हैं और कौन से

तकनीकें सकता है हमारे प्रोटोकॉल को धीरे-धीरे सार्वजनिक होने के लिए प्रोत्साहित करने के लिए इसे लागू किया जाए

वेब जैसा बुनियादी ढांचा।

हम पूरी तरह से स्वीकार करें वह कुल विकेन्द्रीकरण है दोनों असंभव और शायद यहां तक कि

प्रतिकूल. फिर भी अधिक संतुलित प्रणाली बनाने के लिए कुछ कारकों को प्रोत्साहित किया जा सकता है।

सबसे पहले, जबकि क्राउडसेल फंड की केंद्रीकृत संरक्षकता चुस्त और तेज़ विकास की अनुमति देती है

शुरुआती दिनों के दौरान प्रोटोकॉल में, अंततः फंडिंग में विविधता लानी होगी और गति बढ़ानी होगी

32 इस पद पर अधिक जानकारी के लिए लिंक देखें हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 41आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

विकास को अधिक व्यवस्थित और सुविचारित गति से शुरू करने की आवश्यकता है। इस बिंदु का अनुसरण करते हुए,

सांस्कृतिक, भाषाई और भौगोलिक पूर्वाग्रह से बचने के लिए फंडिंग की जरूरत है।

दूसरा, जैसे-जैसे समुदाय इसकी अंतर्निहित प्रकृति के बारे में अधिक जानकारी प्राप्त करता है

क्रिप्टोकरेंसी की तकनीक, रोडमैप के बारे में निर्णयों को एक सेट में केंद्रीकृत नहीं किया जा सकता है

कोर डेवलपर्स या फाउंडेशन। प्रस्ताव देने के लिए blockchain आधारित पद्धति की आवश्यकता है,

जांच करना, और प्रोटोकॉल में परिवर्तन लागू करना।

तीसरा, Cardano SL blockchain को बनाए रखने के पीछे के प्रोत्साहन को सीधे संरेखित करना होगा

सभी उपयोगकर्ताओं की समग्र इच्छाओं के साथ। हम विशिष्ट कलाकारों के समूह को इसकी अनुमति नहीं दे सकते

ऐसे लोग उभर कर सामने आते हैं जो बड़े समुदाय की इच्छा से स्वतंत्र होते हैं।

पहले सिद्धांत के लिए, हमने एक ट्रेजरी सिस्टम को Cardano में एकीकृत करना चुना है। के लिए

दूसरा, हम Cardano सुधार प्रस्तावों को प्रस्तावित करने के लिए एक औपचारिक प्रक्रिया लागू करेंगे

सिस्टम सीएसएल द्वारा ही समन्वित है। तीसरे के लिए, हमारा मानना है कि ऑरोबोरोस एक सुरुचिपूर्णता प्रदान करता है

समाधान.

उपरोक्त विषयों पर अधिक विवरण प्रदान किया जा सकता है, लेकिन वे अपने आप में व्यापक हैं

एक सर्वेक्षण पत्र के दायरे से परे. तंत्र डिज़ाइन सबसे जटिल और में से एक है

अधूरे सिद्धांत और खड़े होने के लिए कोई ठोस विहित मॉडल के साथ परस्पर निर्भर शैक्षणिक क्षेत्र

पर.

बल्कि खंड दो में वर्णित हमारा विज्ञान संचालित दृष्टिकोण यहां हमारी अच्छी सेवा करता है। IOHK का वेरिटास

टीम लैंकेस्टर यूनिवर्सिटी के शोधकर्ताओं के एक समूह के साथ साझेदारी में काम कर रही है

Cardano के संदर्भ ट्रेजरी मॉडल को विकसित करने के लिए प्रोफेसर बिंगशेंग झांग का निर्देश। साथ

2018 में एकीकरण का लक्ष्य, हम अंत तक एक समर्पित सहकर्मी समीक्षा प्रकाशन की उम्मीद करते हैं

क्रिप्टोक्यूरेंसी प्रोटोकॉल में परिवर्तनों के औपचारिक विवरण और जांच के लिए, यह विषय है

कम से कम समझा जाता है क्योंकि इसमें ऑन्टोलॉजिकल धारणाओं के साथ-साथ प्रोत्साहन देने के लिए एक तंत्र की भी आवश्यकता होती है

व्यापक भागीदारी. शायद प्रतिनिधि लोकतांत्रिक प्रक्रिया का कोई रूप सामने आ सके या

अधिक तर्कसंगत मतदान प्रदान करने के लिए तरल फीडबैक का उपयोग।

हम उम्मीद करते हैं कि इस दिशा में अनुसंधान IOHK की अधिकांश औपचारिक भागीदारी का उपभोग करेगा

Cardano का विकास। शुरुआती बिंदु के रूप में, हम संदर्भ कोष के साथ-साथ तैनात करेंगे

33 सहमति हासिल करने के लिए कई तंत्रों का मॉडल तैयार करें। निश्चितता के लिए आगे के अध्ययन की आवश्यकता है

समाधान.

33 IOHK को 2020 के अंत तक Cardano बनाने के लिए बरकरार रखा गया है हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 42

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

अंत में, ऑरोबोरोस के लिए प्रोत्साहन में सुधार के काम की देखरेख प्रोफेसर एलियास द्वारा की जा रही है

ऑक्सफ़ोर्ड विश्वविद्यालय के कोउत्सुपियास। ऑरोबोरोस की क्रिप्टोग्राफ़िक नींव के बाद हैं

सभी आवश्यक स्केलेबिलिटी कार्य, बांड, दंड और विदेशी का व्यापक अध्ययन के साथ ठोस

प्रोत्साहनों को संदर्भ प्रोटोकॉल में जोड़ा जाएगा।

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

निष्कर्ष

एक क्रिप्टोकरेंसी उसके प्रोटोकॉल, सोर्स कोड और उपयोगिता के योग से कहीं अधिक है। यह अंततः एक है सामाजिक व्यवस्था जो लोगों को प्रेरित, सक्षम और जोड़ती है। कई आधे से निराश उपायों, विफलताओं और पिछले प्रोटोकॉल के टूटे वादों के बाद, हम कुछ बेहतर बनाने के लिए तैयार हैं।

यह प्रक्रिया सरल नहीं है और न ही हमने कभी सोचा है कि यह ख़त्म हो सकती है। सामाजिक प्रोटोकॉल जारी है जैसे-जैसे लोग और समाज बदलते हैं, अनिश्चित काल तक बदलता रहता है। उपयोगी होने के लिए, हम की शक्ति को फंसाना चाहते हैं विकास और इसे Cardano में पोर्ट करें।

विकास किसी एक हाथ या भव्य योजना से निर्देशित नहीं होता। यह आकस्मिकता से प्रेरित एक प्रक्रिया है अंतहीन गलतियों और समस्याओं से. Cardano इस प्रक्रिया का डिजिटल अवतार बनना चाहता है - आज के बाज़ारों में टिके रहने के लिए पर्याप्त रूप से फिट और उससे निपटने के लिए विकसित होने के लिए पर्याप्त रूप से अनुकूल भविष्य की जरूरतें.

पिछले अनुभाग इस बात का संक्षिप्त विवरण प्रस्तुत करते हैं कि हम इस लक्ष्य तक कैसे पहुँच रहे हैं। हम संज्ञानात्मक पूर्वाग्रहों को पहचानने, इतिहास से सीखने और कठोरता से पालन करने का परिश्रमपूर्वक प्रयास किया है प्रक्रिया. हमने औपचारिक तरीकों के साथ तीव्र विकास की आवश्यकता को संतुलित करने का प्रयास किया है परंपरागत रूप से तेजी से आगे नहीं बढ़ सकते।

इस यात्रा पर निकलना एक असाधारण सौभाग्य रहा है। पिछले दो वर्षों में, हमारे पास है पहले से ही एक सुरक्षित रूप से सुरक्षित proof-of-stake प्रोटोकॉल विकसित किया, हास्केल की एक छोटी सेना की भर्ती की डेवलपर्स और Cardano के विकास को कई प्रतिभाशाली वैज्ञानिकों की चिंता का विषय बना दिया।

जैसे-जैसे हम प्रयोगशाला से जंगल में तैनात प्रणाली की ओर बढ़ेंगे, दर्द बढ़ता जाएगा, लेकिन हमारी आशा है कि Cardano के भविष्य को एक मानवरूपी रूप में संक्षेपित किया जा सकता है वाक्य. Cardano एक व्यावहारिक स्वप्नद्रष्टा है जो अपने बड़ों से सीखता है, एक अच्छा नागरिक है समुदाय, और हमेशा अपने बिलों का भुगतान करने का एक तरीका ढूंढता है।

हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 43

आईओएचके | हम कार्डानो का निर्माण क्यों कर रहे हैं | 06/28/2017

हम भविष्य नहीं जान सकते, लेकिन हम इसे सभी के लिए बेहतर बनाने का प्रयास करने में प्रसन्न हैं। पढ़ने के लिए धन्यवाद। हम कार्डानो का निर्माण क्यों कर रहे हैं? क्रिएटिव कॉमन्स एट्रिब्यूशन 4.0 अंतर्राष्ट्रीय लाइसेंस 44 में से पृष्ठ 44