Justification de la conception de Cardano

Por Charles Hoskinson and IOHK · 2017

🇺🇸 English (Original)

🇫🇷 Français (Tradução)

Introdução

Uma visão de longo prazo sobre como melhorar o design das criptomoedas para que possam funcionar dispositivos móveis com uma experiência de usuário razoável e segura ● Aproximando as partes interessadas das operações e manutenção de sua criptomoeda ● Reconhecendo a necessidade de contabilizar vários ativos no mesmo livro razão ● Abstrair transações para incluir metadados opcionais, a fim de melhor estar em conformidade com o necessidades de sistemas legados ● Aprendendo com as quase 1.000 altcoins, adotando recursos que fazem sentido ● Adote um processo baseado em padrões inspirado na Força-Tarefa de Engenharia da Internet usando uma base dedicada para definir o design final do protocolo
● Explore os elementos sociais do comércio
● Encontrar um meio-termo saudável para os reguladores interagirem com o comércio sem comprometer alguns princípios fundamentais herdados de Bitcoin

A partir deste conjunto não estruturado de ideias, os diretores que trabalharam em Cardano começaram a explorar

literatura sobre criptomoedas e construir um conjunto de ferramentas de abstrações. O resultado desta pesquisa é

A extensa biblioteca de artigos da IOHK, numerosos resultados de pesquisas, como este script recente

visão geral da linguagem, bem como uma Ontologia de Contratos Inteligentes e o projeto Scorex. Lições

cedeu um apreciação para o criptomoeda da indústria incomum e em vezes

crescimento contraproducente.

Primeiro, ao contrário de protocolos bem sucedidos como o TCP/IP, há poucas camadas no design de

criptomoedas. Tem havido um desejo de preservar uma noção única de consenso em torno

fatos e eventos registrados em um único livro-razão, independentemente de fazer sentido.

Por exemplo, Ethereum sobrecarregou uma enorme complexidade ao tentar se tornar um

computador mundial universal, mas sofre de preocupações triviais que podem destruir o sistema

capacidade de operar como reserva de valor. O programa de todos deveria ser um cidadão de primeira classe

independentemente do seu valor económico, custo de manutenção ou consequências regulamentares?

Em segundo lugar, há pouca apreciação pelos resultados anteriores na investigação criptográfica convencional. Para

Por exemplo, a Prova de Participação delegada da Bitshares poderia ter gerado dados aleatórios de maneira fácil e confiável.

números usando lançamento de moeda com entrega garantida, que é uma técnica conhecida desde

década de 1980 (ver o artigo seminal de Rabin e Ben-Or).

Terceiro, a maioria das altcoins (com algumas exceções notáveis, como Tezos) não fizeram qualquer

acomodação para atualizações futuras. A capacidade de empurrar com sucesso um garfo macio ou duro é fundamental

para o sucesso a longo prazo de qualquer criptomoeda.

Como corolário, os usuários corporativos não podem comprometer milhões de dólares em recursos para

protocolos onde o roteiro e os atores por trás deles são efêmeros, mesquinhos ou radicalizados. Lá

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 3 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

precisa ser um processo eficiente através do qual o consenso social possa se formar em torno de uma visão para

evoluindo o protocolo subjacente. Se este processo é extremamente oneroso, a fragmentação

poderia separar a comunidade.

Finalmente, dinheiro é em última análise um sociais fenômeno. No esforço de anonimizar e

atores centrais desintermediários, Bitcoin e seus contemporâneos também descartaram a necessidade de

identidades, metadados e reputação estáveis em transações comerciais. Adicionando esses dados

através de soluções centralizadas elimina a auditabilidade, a disponibilidade global e a imutabilidade -

qual é o objetivo de usar um blockchain.

Os sistemas financeiros legados, como os compostos por SWIFT, FIX e ACH, são ricos em

metadados transacionais. Não basta saber quanto valor foi movimentado entre contas,

a regulamentação muitas vezes exige a atribuição de atores envolvidos, informações de conformidade, relatórios

atividades suspeitas e outros registros e ações. Em alguns casos, os metadados são mais

importante do que a transação.

Portanto, parece razoável inferir que a manipulação de metadados poderia ser tão prejudicial quanto

falsificar moeda ou reescrever o histórico de transações. Não fazendo acomodações para atores

que desejam incluir voluntariamente esses campos parece contraproducente para a adoção generalizada

e protecção do consumidor.

Fim da estadia

A agregação de nossa exploração baseada em princípios do espaço das criptomoedas consiste em duas coleções de

protocolos. Respectivamente, uma criptomoeda baseada em Prova de Participação [1][2] comprovadamente segura chamada

Cardano Camada de Liquidação (CSL) e um conjunto de protocolos denominado Camada de Computação Cardano

(CCL).

Nossa ênfase no design é acomodar os aspectos sociais das criptomoedas, construídos em camadas

separando a contabilização do valor da computação complexa e atendendo às necessidades de

reguladores no âmbito de vários princípios imutáveis. Além disso, onde for sensato,

1 tentamos examinar os protocolos propostos por meio de revisão por pares e verificar o código em relação aos protocolos formais.

especificações.

1 Consulte a seção Regulamento para obter a lista POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 4 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Prova de participação

Usar prova de participação para uma criptomoeda é uma escolha de design muito debatida, no entanto, porque

adiciona um mecanismo para introduzir votação segura, tem mais capacidade de escala e permite mais

esquemas de incentivos exóticos, decidimos adotá-los.

Nosso protocolo de prova de participação é chamado Ouroboros e foi desenvolvido por um especialista extremamente

talentosa equipe de criptógrafos de cinco instituições acadêmicas liderada pelo Professor Aggelos

2 Kiayias da Universidade de Edimburgo. A principal inovação que traz além de ser comprovadamente segura

usar um modelo criptográfico rigoroso é um design modular e flexível que permite o

composição de muitos protocolos para melhorar a funcionalidade.

Essa modularidade permite recursos como delegação, sidechains, pontos de verificação subscritíveis,

melhores estruturas de dados para clientes leves, diferentes formas de geração de números aleatórios e até

diferentes suposições de sincronização. À medida que uma rede se desenvolve de milhares para

milhões e até bilhões de usuários, os requisitos do seu algoritmo de consenso também

mudar. Assim, é vital ter flexibilidade suficiente para acomodar estas mudanças e, assim,

preparar o coração de uma criptomoeda para o futuro.

Elementos Sociais do Dinheiro

As criptomoedas são um excelente exemplo do componente social do dinheiro. Ao restringir

análise apenas à tecnologia, há pouca diferença entre Bitcoin e Litecoin e até

menos entre Ethereum e Ethereum Clássico. No entanto, tanto Litecoin quanto Ethereum Classic

manter grandes capitalizações de mercado e comunidades robustas e dinâmicas, bem como as suas próprias

mandatos sociais.

Pode-se argumentar que grande parte do valor de uma criptomoeda deriva de sua comunidade,

a forma como utiliza a moeda e o seu nível de envolvimento na evolução da moeda. Avançar

Pensando nisso, moedas como o Dash integraram sistemas diretamente no protocolo para

envolver a sua comunidade na decisão do que deve ser uma prioridade para desenvolver e financiar.

2 Universidade de Connecticut, Universidade de Atenas, Universidade de Edimburgo, Universidade de Aarhus, Tóquio Instituto de Tecnologia POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 5 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

A vasta diversidade de criptomoedas também fornece evidências dos seus elementos sociais.

Desentendimentos sobre filosofia, política monetária ou mesmo apenas entre os principais desenvolvedores

levar à fragmentação e bifurcações. No entanto, ao contrário das suas contrapartes criptomoedas, as moedas fiduciárias de

superpotências tendem a sobreviver a mudanças políticas e desentendimentos locais sem uma crise monetária ou

êxodo em massa.

Portanto, parece que existem elementos de sistemas legados que estão faltando no

indústria de criptomoedas. Argumentamos - e inculcamos no roteiro Cardano - que

os usuários de um protocolo precisam de incentivos para compreender o contrato social por trás de seu protocolo e

ter a liberdade de propor mudanças de forma produtiva. Esta liberdade estende-se a todos

aspecto de um sistema de troca de valor, desde decidir como os mercados devem ser regulados até quais

projetos devem ser financiados. No entanto, não pode ser intermediado através de intervenientes centralizados nem exigir

alguma credencial especial que poderia ser cooptada por uma minoria bem financiada.

Cardano implementará um sistema de protocolos de sobreposição construídos sobre CSL para acomodar o

necessidades de seus usuários.

Primeiro, independentemente do sucesso de um crowdsale para iniciar o desenvolvimento, os fundos acabarão por

dissipar. Portanto, Cardano incluirá um trust descentralizado financiado monotonicamente

3 diminuindo a inflação e as taxas de transação.

Qualquer usuário deve ser elegível para solicitar fundos do fundo por meio de um sistema de votação e o

as partes interessadas da CSL votam sobre quem se torna beneficiário. O processo cria um ambiente produtivo

ciclo de feedback visto em outras criptomoedas com sistemas de tesouraria/confiança, como Dash, por

iniciar uma conversa sobre quem deve ou não ser financiado.

As discussões sobre financiamento forçam uma relação de objetivos de longo e curto prazo, o impacto social da criptomoeda

contrato, prioridades e crença na criação de valor com propostas particulares. Esta conversa

significa que a comunidade está constantemente avaliando e debatendo suas crenças contra possíveis

roteiros.

Em segundo lugar, nossa esperança é que Cardano eventualmente inclua um sistema formal baseado em blockchain para

propor e votar em soft e hard forks. Bitcoin com seu debate sobre o tamanho do bloco, Ethereum com

o fork DAO e muitas outras criptomoedas têm perdurado por muito tempo e, em

casos frequentes, discussões não resolvidas sobre a direção técnica e moral da base de código.

Pode e deve argumentar-se que muitas destas divergências e a fractura da

comunidade que resulta quando a ação é tomada, são um resultado direto da falta de processos formais para

debatendo a mudança.
3 Isso também é conhecido como sistema de tesouraria POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 6 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Onde alguém vai para convencer os usuários de Bitcoin a adotar o Segregated Witness? Como deveria o

os principais desenvolvedores de Ethereum medem o sentimento da comunidade para resgatar o DAO? Se o

fraturas na comunidade, a criptomoeda está danificada sem possibilidade de reparo?

Nos piores casos, a autoridade moral para agir poderia simplesmente ser transferida para quem tem os desenvolvedores,

relações infraestruturais e dinheiro, e não os melhores votos da grande maioria do

comunidade. Além disso, se uma grande parte da comunidade estiver inacessível ou desligada devido

a maus incentivos, então como alguém pode realmente saber se seus atos são legítimos? 4

As criptomoedas propostas, como Tezos, fornecem um modelo interessante para examinar onde um

protocolo de criptomoeda é tratado como uma constituição contendo três seções (Transação,

Consenso e Rede) com um conjunto de regras e processos formais para atualizar a constituição. Ainda

ainda há muito trabalho a ser feito com incentivos e sobre como exatamente modelar e mudar

uma criptomoeda com uma linguagem formal.

O uso de métodos formais, especificações compreensíveis por máquina e fusão de uma tesouraria com

este processo de incentivos financeiros está sendo explorado como possíveis caminhos de inspiração.

Em última análise, apenas a capacidade de propor uma mudança de protocolo de forma transparente e livre de censura

com votação baseada em blockchain deve melhorar o processo, mesmo que soluções mais elegantes não possam

ser projetado.

Projetando em Camadas – Cardano Camada de Assentamento

Ao projetar grandes protocolos e linguagens, não se deve olhar para o futuro, mas sim para o passado. A história fornece uma série de exemplos de grandes ideias que são perfeitas no papel, mas de alguma forma não sobreviveram, como os padrões de interconexão de sistemas abertos. História também fornece acidentes felizes que ocorreram do TCP/IP ao JavaScript.

Alguns princípios extraídos de uma visão histórica são os seguintes:

1. Você não pode prever o futuro, então crie espaço de manobra
2. A complexidade é boa no papel, mas a simplicidade geralmente vence 3. Muitos cozinheiros estragam o caldo 4. Uma vez estabelecido um padrão, ele provavelmente permanecerá, independentemente de ser abaixo do ideal 4 Veja a ignorância racional
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 7 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

5. Ideias ruins podem realmente evoluir para ideias muito boas se houver vontade

Cardano é um sistema financeiro que aceita sua natureza social. Haverá uma tremenda necessidade para flexibilidade e capacidade de lidar com a complexidade arbitrária na transação de um usuário específico. Se bem-sucedido, haverá uma necessidade enorme de recursos computacionais, de armazenamento e de rede para acomodar milhões de transações simultâneas.

No entanto, não temos um Robin Hood digital e descentralizado para tirar dos nós ricos e dar aos os pobres, a fim de alcançar uma rede justa. Nem temos o luxo de confiar nos humanos beneficência para sacrificar altruisticamente pelo bem maior da rede. Portanto, Cardano's O design toma emprestado do TCP/IP o conceito de separação de interesses.

Blockchains são, em última análise, bancos de dados que ordenam fatos e eventos com garantias sobre carimbos de data / hora e imutabilidade. No contexto do dinheiro, eles ordenam a propriedade de bens. Adicionando computação complexa armazenando e executando programas é um conceito ortogonal. Nós queremos saber quanto valor passou de Alice para Bob, ou queremos nos envolver em descobrir toda a história por trás da transação e decidir quanto enviar?

É incrivelmente tentador escolher o último como Ethereum fez porque é mais flexível, mas viola os princípios de design acima. Descobrir a história significa que um único protocolo tem que ser capaz de compreender eventos arbitrários, criar scripts de transações arbitrárias, permitir a arbitragem em casos de fraude e até mesmo transações potencialmente reversíveis quando novas informações são fornecidas disponível.

Então é preciso tomar decisões difíceis de design sobre quais metadados armazenar para cada transação. Que elementos da história por trás da transação de Alice e Bob são relevantes? São eles são relevantes para sempre? Quando podemos jogar fora alguns dados? Fazer isso viola a lei em alguns países?

Além disso, alguns cálculos são de natureza privada. Por exemplo, ao calcular a média salário dos trabalhadores de um escritório, não quereríamos necessariamente divulgar quanto cada pessoa faz. Mas e se todos os cálculos forem conhecidos publicamente? E se esta publicidade distorcer a execução para prejudicar o resultado?

Assim, escolhemos a posição de que a contabilização do valor deveria ser separada da história por trás do motivo pelo qual o valor foi movido. Em outras palavras, separação entre valor e computação. Esta separação não significa que Cardano não suportará smart contracts. Pelo contrário, ao tornar a separação explícita, permite significativamente mais flexibilidade no design, uso, privacidade e execução de smart contracts.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 8 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

O razão de valores é chamado de Cardano Camada de Liquidação (CSL). Como o objetivo é contabilizar valor, o roteiro tem os seguintes objetivos:

1. Suporta dois conjuntos de linguagens de script, um para movimentar valor e outro para aprimorar suporte a protocolo de sobreposição
2. Fornece suporte para cadeias laterais KMZ para vinculação a outros livros-razão 5 3. Suporta vários tipos de assinatura, incluindo assinaturas resistentes a quantum para maior segurança
4. Suporte a ativos emitidos por vários usuários 5. Alcance a verdadeira escalabilidade, ou seja, à medida que mais usuários ingressam, os recursos do sistema aumentar

Scripts

Começando com a linguagem de script, as transações entre endereços em um livro-razão exigem alguns forma de um script para ser executado e ser provado válido. Idealmente, não se gostaria que Eva acessasse O dinheiro de Alice, nem ninguém iria querer que um script mal elaborado enviasse acidentalmente valor a um morto endereço tornando os fundos irrecuperáveis.

Sistemas como Bitcoin fornecem uma linguagem de script extremamente inflexível e draconiana que é difícil programar transações personalizadas, bem como ler e compreender. Ainda o geral a programabilidade de linguagens como Solidity introduz uma quantidade extraordinária de complexidade no sistema e são úteis apenas para um conjunto muito menor de atores.

Por isso, optamos por desenhar uma nova linguagem chamada Simon em homenagem ao seu criador 6 Simon Thompson e o criador dos conceitos que o inspiraram, Simon Peyton Jones. Simão é uma linguagem específica de domínio baseada em Composição de contratos: uma aventura no mundo financeiro engenharia.

A ideia principal é que as transações financeiras são geralmente compostas por um conjunto de elementos fundamentais. Se montarmos uma tabela periódica financeira de elementos, então poderemos 7 fornecer suporte para um conjunto arbitrariamente grande de transações compostas que cobrirá a maior parte, se não todos, tipos de transação comuns sem exigir programação geral.

5 Em breve em artigo de Kiayias, Zindros e Miller 6 Os detalhes serão divulgados em uma especificação futura. O idioma completo será suportado no Lançamento do Shelley CSL planejado para o quarto trimestre de 2017 7 O Projeto ACTUS conta com uma elaboração aprofundada
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 9 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

A principal vantagem é que a segurança e a execução podem ser extremamente bem compreendidas. Provas pode ser escrito para mostrar a correção dos modelos e esgotar o espaço de execução de eventos de transação problemáticos, como a criação de dinheiro novo do nada ou transações maleabilidade. Em segundo lugar, pode-se deixar extensões para adicionar mais elementos por meio de soft forks se nova funcionalidade é necessária.

Dito isto, sempre haverá a necessidade de conectar a CSL a protocolos de sobreposição, sistemas financeiros legados sistemas e servidores para fins especiais. Assim, desenvolvemos Plutus tanto como um linguagem de propósito smart contract e também uma DSL de propósito especial para interoperabilidade.

Plutus é uma linguagem funcional tipada baseada em conceitos de Haskell, que pode ser usada para escrever scripts de transação personalizados. Para CSL, será usado para transações complexas necessárias para adicione suporte para outras camadas que precisamos conectar, como nosso esquema de cadeias laterais.

Cadeias laterais

Com relação às cadeias laterais, Cardano apoiará um novo protocolo desenvolvido por Kiayias, Miller e Zindros (cadeias laterais KMZ) com base em resultados anteriores de provas de provas de trabalho. O particular o design está além do escopo deste artigo; no entanto, o conceito permite a segurança e movimentação não interativa de fundos da CSL para qualquer camada de computação Cardano ou outra blockchain suportando o protocolo.

As cadeias laterais KMZ são a chave para encapsular a complexidade. Livros contábeis com requisitos regulatórios, operações privadas, linguagens de script robustas e outras preocupações especiais são efetivamente negras caixas para CSL, mas o usuário CSL ganhará certas garantias sobre contabilidade e a capacidade de recuperar fundos assim que o cálculo for concluído.

Assinaturas

Para transferir valor de Alice para Bob com segurança, Alice precisa provar que tem o direito de movimentar os fundos. A maneira mais direta e confiável de realizar esta tarefa é usar um serviço público esquema de assinatura de chave onde os fundos estão conectados a uma chave pública e Alice controla um chave privada associada.

Existem centenas de esquemas possíveis com diferentes parâmetros e suposições de segurança. Alguns baseiam-se em problemas matemáticos ligados a curvas elípticas, enquanto outros são conectado a conceitos exóticos usando redes.
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 10 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

O objetivo abstrato é sempre o mesmo. Existe um problema difícil que não pode ser resolvido a menos que alguém tem um conhecimento secreto. Diz-se que o detentor deste conhecimento é o proprietário do par de chaves e deve ser a única entidade que tem a capacidade de usá-lo.

Existem dois grupos de preocupações que uma criptomoeda enfrenta ao escolher um esquema de assinatura. Primeiro, existe a durabilidade da segurança a longo prazo do próprio esquema. Alguma criptografia esquemas usados nas décadas de 1970 e 1980, como o DES, foram quebrados. O período durante o qual espera-se que o esquema sobreviva deve ser decidido.

Em segundo lugar, há muitas empresas, governos e outras instituições que preferiram, ou em alguns casos, exigiu o uso de um esquema específico. Por exemplo, a NSA mantém o Conjunto de protocolos Suite B. Existem padrões da ISO e até mesmo de grupos de trabalho do W3C sobre criptografia.

Se uma criptomoeda escolher um esquema de assinatura única, ela será forçada a aceitar que o esquema pode ser quebrado em algum momento no futuro e pelo menos uma entidade não pode usar o criptomoeda devido a restrições legais ou do setor. No entanto, uma criptomoeda não pode suportar todos esquema de assinatura, pois isso exigiria que cada cliente entendesse e validasse cada esquema.

Para Cardano, decidimos começar usando criptografia de curva elíptica, a curva Ed25519 em particular. Também decidimos aprimorar as bibliotecas existentes adicionando suporte para carteiras HD usando as especificações do Dr. Dmitry Khovratovich e Jason Law.
8

Dito isto, Cardano suportará mais esquemas de assinatura no futuro. Em particular, estamos interessado em integrar o BLISS-B para adicionar assinaturas resistentes a computadores quânticos ao nosso sistema. Também estamos interessados em adicionar SECP256k1 para melhorar a interoperabilidade com legado criptomoedas como Bitcoin.

Cardano foi projetado com extensões especiais que nos permitirão adicionar mais assinaturas esquemas através de um soft fork. Eles serão adicionados conforme necessário e durante grandes atualizações planejadas em o roteiro.
9

Ativos emitidos pelo usuário (UIAs)

No início da história de Bitcoin, protocolos foram rapidamente desenvolvidos para permitir que os usuários emitisse ativos que aproveitou o sistema de contabilidade de Bitcoin para rastrear várias moedas simultaneamente. 8 Esta é a documentação para a implementação da carteira HD de Cardano. Acreditamos que Cardano é o primeiro criptomoeda para suportar carteiras Ed25519 HD
9 Veja cardanoroadmap.com
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 11 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Esses protocolos não eram suportados nativamente pelo protocolo Bitcoin, mas implementados através truques inteligentes.

No caso de sobreposições Bitcoin, como Moedas Coloridas e Mastercoin (agora chamado Omni), luz os clientes são forçados a confiar em servidores confiáveis. Além disso, as taxas de transação ainda precisam ser pagas em bitcoins. Essas propriedades combinadas com o pipeline único para aprovação de transações tornam Bitcoin abaixo do ideal para contabilidade de múltiplos ativos.

No caso Ethereum usando o padrão ERC20, há mais riqueza de recursos. No entanto, as taxas de transação ainda exigem Ether. Além disso, a rede Ethereum está tendo dificuldades dimensionando de acordo com as necessidades de todos os ERC20 tokens emitidos.

O problema fundamental pode ser dividido em três partes: recursos, incentivos e preocupação. No que diz respeito aos recursos, adicionar uma moeda inteiramente nova ao mesmo livro significa que se tem dois conjuntos independentes UTXO (entradas de transação não gastas) compartilhando a largura de banda, mempool e bloquear espaço. Nós de consenso responsáveis por incorporar transações dessas moedas precisa de um incentivo para fazê-lo. E nem todo usuário de uma criptomoeda irá ou deverá se preocupar com a moeda de uma determinada entidade.

Dados esses problemas, os benefícios são enormes, pois o token principal de um livro-razão multiativos pode efetivamente servir como uma moeda-ponte que permite a criação de mercado descentralizada. Especial ativos com finalidade específica poderiam ser emitidos para fornecer utilidade adicional, como ativos de valor estável, como Tether ou MakerDAO que são úteis para aplicações de empréstimos e remessas.

Dados os desafios, Cardano adotou uma abordagem pragmática para a contabilidade multiativos. Construído por etapas, o primeiro desafio é projetar a infraestrutura necessária para apoiar o demandas de milhares de UIAs. Nomeadamente, os seguintes avanços são necessários:

1. Estruturas de dados autenticadas para fins especiais para permitir o rastreamento de um grande número UTXO estado

2. A capacidade de ter um mempool distribuído para armazenar um grande conjunto de transações pendentes
3. Particionamento Blockchain e pontos de verificação para permitir um enorme blockchain global 4. Um esquema de incentivos que recompensa os nós de consenso pela inclusão de diferentes conjuntos de transações 5. Uma mecânica de assinatura que permite aos usuários decidir quais moedas desejam rastrear
6. A segurança forte garante que os UIAs desfrutem de segurança semelhante à do ativo nativo 7. Apoio à criação de mercado descentralizada para melhorar a liquidez entre a UIA e o primário token

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 12 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Nossos esforços preliminares para encontrar a estrutura de dados autenticada correta resultaram em uma nova tipo de árvore AVL+ desenvolvida em conjunto por Leo Reyzin, IOHK e Waves. Mais pesquisas são necessárias, mas é um avanço fundamental que será incluído em uma versão posterior de Cardano.

Um mempool distribuído poderia ser implementado usando o protocolo RAMCloud da Universidade de Stanford. Os experimentos começarão no terceiro trimestre de 2017 para estudar sua integração na camada de consenso de Cardano.

Os demais tópicos estão interligados e cobertos por pesquisas em andamento. Esperamos - assunto aos resultados da pesquisa - incluir um protocolo em Cardano para UIAs durante o Basho da CSL lançamento em 2018.

Escalabilidade

Os sistemas distribuídos são compostos por um conjunto de computadores (nós) que concordam em executar um protocolo ou

conjunto de protocolos para atingir um objetivo comum. Este objetivo poderia ser compartilhar um arquivo conforme definido por

o protocolo BitTorrent ou dobrar uma proteína usando Folding@Home.

Os protocolos mais eficazes ganham recursos à medida que os nós ingressam na rede. Um arquivo hospedado por

O BitTorrent, por exemplo, pode ser baixado muito mais rápido, em média, se muitos pares estiverem conectados.

baixá-lo simultaneamente. A velocidade aumenta porque os pares fornecem recursos enquanto

também consumi-los. Esta característica é o que normalmente se quer dizer quando se declara um

escalas do sistema.

O desafio do design de todas as criptomoedas atuais é que elas, na verdade, não são

projetado para ser escalável. Blockchains, por exemplo, são geralmente uma lista vinculada apenas com anexos de

blocos. A segurança e a disponibilidade de um protocolo blockchain dependem de muitos nós

possuir uma cópia completa dos dados blockchain. Assim, um único byte de dados deve ser replicado

entre N nós. Nós adicionais não fornecem recursos adicionais.

Este resultado é o mesmo para o processamento de transações e a fofoca de mensagens em todo

o sistema. Adicionar mais nós ao sistema de consenso não fornece

poder de processamento de transações. Significa apenas que mais recursos precisam ser gastos para fazer o mesmo

trabalho. Mais retransmissão de rede significa que mais nós terão que passar as mesmas mensagens para manter o

toda a rede em sincronização com o bloco mais atual.

Dada esta topologia, as criptomoedas não podem escalar para uma rede global equivalente ao legado

sistemas financeiros. Em contraste, a infraestrutura legada é escalável e tem ordens de grandeza para

mais poder de processamento e armazenamento. Adicionando um ponto específico, Bitcoin é uma rede muito pequena

em relação aos seus pares de pagamento, mas tem dificuldades em gerir a sua carga actual.
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 13 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Nossas metas de escalabilidade para Cardano são grandemente auxiliadas por nosso algoritmo de consenso. Ouroboros

permite uma forma descentralizada de eleger um quórum de nós de consenso, que por sua vez pode executar mais

protocolos tradicionais desenvolvidos nos últimos 20 anos para acomodar as necessidades de grandes

provedores de infraestrutura como Google e Facebook.
10

Por exemplo, a eleição de um quorum para uma época significa que temos um conjunto confiável de nós para

manter o razão por um período de tempo específico. É trivial eleger vários quóruns simultaneamente

e particionar transações em quóruns diferentes.

Técnicas semelhantes podem ser aplicadas para propagação de rede e também para fragmentação do blockchain

em partições exclusivas. Em nosso roteiro atual, os métodos de escalonamento serão aplicados a

Ouroboros a partir de 2018 e continuará sendo foco em 2019 e 2020.

Cardano Camada de computação

Conforme mencionado anteriormente, existem dois componentes de uma transação: o mecanismo para enviar e registre o fluxo de tokens e os motivos, bem como as condições por trás da movimentação de tokens. O este último pode ser arbitrariamente complexo e envolver terabytes de dados, múltiplas assinaturas e recursos especiais. eventos ocorrendo. O último também pode ser extremamente simples, com um único valor de envio de assinatura para outro endereço.

O desafio por trás da modelagem das razões e condições do fluxo de valor é que elas são imensamente pessoal para as entidades envolvidas das formas mais imprevisíveis. Lições de o direito contratual pinta um quadro ainda mais problemático, onde os próprios atores podem não até mesmo estar ciente de que a transação não corresponde à realidade comercial. Geralmente chamamos isso fenômeno “a lacuna semântica”. 11

Por que alguém deveria construir uma criptomoeda perseguindo uma camada infinita de complexidade e abstração? Parece Sísifo por natureza e ingênuo na prática. Além disso, cada abstração abraçou tem consequências jurídicas e de segurança.

Por exemplo, existem inúmeras atividades online que são universalmente consideradas ilegais ou desprezadas como o tráfico de pornografia infantil ou a venda de segredos de Estado. Ao implantar robusto 10 Existem também outros protocolos de investigação independentes que tentam alcançar o mesmo fim, tais como Elástico e Bitcoin-NG
11 Loi Luu et al. discutem essa lacuna em seu artigo recente sobre Tornando os Contratos Inteligentes mais Inteligentes POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 14 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

infra-estrutura descentralizada, está-se agora proporcionando um canal para que esta atividade ocorra com o mesma resistência à censura que as transações comerciais normais desfrutam. Não é legalmente claro se os nós de consenso da rede - que têm o incentivo para se tornarem mais federados tempo para promover a eficiência – seriam responsabilizados pelo conteúdo que hospedam.

A acusação dos operadores do Tor, o tratamento brutal do operador do Silk Road e a falta de a clareza jurídica por trás das proteções legais dos participantes do protocolo deixa um caminho incerto. Há não falta imaginação sobre o que mais uma criptomoeda suficientemente avançada poderia permitir (veja o Anel de Giges). É razoável forçar todos os usuários de uma criptomoeda a endossar ou pelo menos permitir os piores atos e condutas da web?

Infelizmente, não há respostas claras que forneçam informações para um designer de criptomoeda. É mais sobre como escolher uma posição e defender seu mérito. A vantagem que tanto Cardano quanto Bitcoin é que optamos por separar as preocupações em camadas. Com Bitcoin, há Porta-enxerto. Com Cardano, existe a camada de computação Cardano.

Os tipos de comportamento complexo que possibilitariam os atos elaborados anteriormente não podem ocorrer CSL. Eles exigem a capacidade de executar programas escritos em uma linguagem Turing completa e alguns forma de economia do gás para medir a computação. Eles também exigem nós de consenso dispostos a incluir as transações em seus blocos.

Assim, uma restrição de funcionalidade poderia proteger razoavelmente os utilizadores. Até agora, o mais estabelecido os governos não assumiram a posição de que o uso ou manutenção de uma criptomoeda é uma ato ilegal. Portanto, a grande maioria dos usuários deve se sentir confortável em manter um livro-razão que seja comparável em capacidade a um sistema de pagamento digital.

Quando se deseja ampliar a capacidade, existem duas possibilidades. É habilitado por um privado coletivo de indivíduos com ideias semelhantes e de natureza efêmera (por exemplo, um jogo de pôquer). Ou, é é habilitado por um livro-razão de capacidades comparáveis a Ethereum. Em ambos os casos, escolhemos terceirizar os eventos para outro protocolo.

No caso de um evento privado e efêmero, é razoável evitar o paradigma blockchain inteiramente, mas sim restringir os esforços em direção a uma biblioteca de protocolos MPC para fins especiais que possam ser invocado quando desejado por um grupo de participantes com ideias semelhantes. Os cálculos e atividades são coordenados em uma rede privada e fazem referência ao CSL apenas como um quadro de avisos confiável e um canal de passagem de mensagens quando necessário.

A principal percepção neste caso é que há consentimento, encapsulamento de responsabilidade e privacidade. CSL é sendo usado como um bem comum digital para os usuários se encontrarem e se comunicarem - como um parque hospedaria um evento privado - mas não oferece nenhuma acomodação ou facilitação especial. Além disso, POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 15 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

o uso de MPC para fins especiais permitirá interação de baixa latência sem a necessidade de blockchain inchaço. Assim, melhora a escala do sistema.

Os esforços de pesquisa de Cardano para esta biblioteca estão centralizados em nosso laboratório Tokyo Tech com alguma assistência de cientistas no exterior. Chamamos a biblioteca de “Tartaglia” em homenagem a um colega matemático e também contemporâneo de Cardano e espera que a primeira iteração esteja disponível no primeiro trimestre de 2018.

No segundo caso, é necessário um blockchain com uma máquina virtual, um conjunto de nós de consenso e um mecanismo para permitir a comunicação entre as duas cadeias. Nós começamos o processo de formalização rigorosa da máquina virtual Ethereum usando a estrutura K em 12 parceria com uma equipe da Universidade de Illinois.

O resultado desta análise informará a maneira mais ideal de projetar um modelo replicado e, eventualmente, máquina virtual distribuída com semântica operacional clara e fortes garantias de correta 13 implementação a partir da especificação. Em outras palavras, a VM realmente faz o que o código diz tem a ver com os riscos de segurança minimizados.

Ainda existem questões não resolvidas sobre a economia do gás proposta por Ethereum e como ela refere-se a trabalhos como o ML com reconhecimento de recursos de Jan Hoffmann et al e o estudo mais amplo de estimativa de recursos para computação. Também estamos curiosos sobre o nível de linguagem independência da máquina virtual. Por exemplo, o projeto Ethereum expressou o desejo para a transição da VM atual para o Web Assembly.

O próximo esforço é desenvolver uma linguagem de programação razoável para expressar estados contratos que serão chamados de serviços por aplicações descentralizadas. Para esta tarefa, temos escolheu tanto a abordagem de suporte à linguagem legada smart contract Solidity para baixo aplicações de garantia e desenvolvendo uma nova linguagem chamada Plutus para maior garantia aplicações que exigem verificação formal.

Assim como o projeto Zeppelin baseado em solidez, a IOHK também desenvolverá uma biblioteca de referência de código Plutus para desenvolvedores de aplicativos usarem em seus projetos. Também desenvolveremos um conjunto especializado de ferramentas para verificação formal inspirada no trabalho do projeto Liquid Haskell da UCSD.

Em termos de consenso, o Ouroboros foi concebido de forma suficientemente modular para suportar smart contract avaliação. Conseqüentemente, tanto o CSL quanto o CCL compartilharão o mesmo algoritmo de consenso. 12 Inventado pelo Professor Grigore Rosu et. al., K é uma estrutura universal para linguagem independente semântica executável por máquina. Antes do nosso trabalho, ele foi usado para modelar C, Java e JavaScript 13 Significa que diferentes nós de consenso executam diferentes smart contracts. Também conhecido como fragmentação de estado POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 16 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

A diferença é que o Ouroboros pode ser confirmado para permitir tanto permissões quanto livros contábeis sem permissão por meio de distribuição token.

Com a CSL, Ada foi distribuída por meio de um evento gerador token para compradores em toda a Ásia que acabará por revender num mercado secundário. Isso significa que o algoritmo de consenso do CSL é controlado por um conjunto diversificado e cada vez mais descentralizado de atores ou seus delegados atribui. Com o CCL, é possível criar um propósito especial token mantido por delegados daquele razão que poderiam ser entidades regulamentadas, criando assim um livro razão autorizado.

A flexibilidade desta abordagem permite que diferentes instâncias de CCL se materializem com diferentes regras sobre a avaliação de transações. Por exemplo, as actividades de jogo podem ser restringidas a menos que os dados KYC/AML estejam presentes simplesmente colocando transações não atribuídas na lista negra.

Nosso foco final de design é adicionar módulos de segurança de hardware (HSM) confiáveis ao nosso protocolo pilha. Estas são duas enormes vantagens ao introduzir estas capacidades no protocolo. Primeiro, os HSMs proporcionam grandes aumentos no desempenho sem introduzir segurança 14 preocupações além de confiar no fornecedor. Em segundo lugar, através do uso de Provas de Vidro Selado (SGP), Os HSMs podem fornecer garantias de que os dados podem ser verificados e depois destruídos sem serem copiado ou vazado para estranhos mal-intencionados.

Centrando-nos no segundo ponto, os PEC poderão ter um impacto revolucionário no cumprimento. Normalmente, quando um consumidor fornece informações de identificação pessoal (PII) para autenticar identidade ou comprovar o direito de participar, essas informações são entregues a um terceiro confiável com a esperança de que não aja maliciosamente. Esta atividade é intrinsecamente centralizada, o provedor de dados perde o controle sobre suas PII e também está sujeito a vários regulamentos com base na jurisdição.

A capacidade de selecionar um conjunto de atestadores confiáveis e, em seguida, armazenar PII em um enclave de hardware significa que qualquer ator com um HSM suficientemente capaz será capaz de verificar fatos sobre um ator de forma impossível de falsificar, sem que o verificador conheça a identidade do ator. Por exemplo, Bob é não é um cidadão dos EUA. Alice é uma investidora credenciada. James é um contribuinte dos EUA e deve-se enviar lucros tributáveis para a conta X.

A estratégia de HSM de Cardano será tentar implementar protocolos especializados nos próximos dois anos usando Intel SGX e ARM Trustzone. Ambos os módulos são integrados a bilhões de consumidores dispositivos, de laptops a celulares, e não exigem nenhum esforço adicional por parte do consumidor para usar. Ambos também são fortemente avaliados, bem projetados e baseados em anos de iteração de alguns dos as maiores e mais bem financiadas equipes de segurança de hardware.

14 Veja http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ de Cornell Universidade POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 17 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Regulamento

A dura realidade de todos os sistemas financeiros modernos é que, à medida que crescem, acumulam uma necessidade, ou pelo menos um desejo de regulamentação. Este resultado é geralmente o resultado de colapsos recorrentes devido à negligência de algum ator ou grupo de atores em um mercado.

Por exemplo, a crise Knickerbocker de 1907 resultou na criação do Federal Reserve System em 1913 como credor de última instância. Outro exemplo são os excessos da década de 1920 no Estados Unidos que resultou num terrível colapso financeiro, a Grande Depressão. Este colapso rendeu a criação da Comissão de Valores Mobiliários em 1934, a fim de evitar uma situação semelhante. evento ou pelo menos responsabilizar os maus atores.

Pode-se razoavelmente debater a necessidade, o âmbito e a eficácia da regulação, mas não se pode negar a sua existência e o zelo com que os principais governos a aplicaram. No entanto, o O desafio que todos os reguladores enfrentam à medida que o mundo se globaliza e o dinheiro se torna digital é duplo.

Primeiro, qual conjunto de regulamentos deveria ser supremo quando se trata de um conjunto de jurisdições? A noção antiquada de soberania da Vestefália derrete quando uma única transação pode atingir três dúzias de países em menos de um minuto. Deveria ser simplesmente quem exerce o maior influência geopolítica?

Em segundo lugar, as melhorias na tecnologia de privacidade criaram uma corrida armamentista digital onde torna-se cada vez mais difícil entender quem participou de uma transação, muito menos quem possui uma determinada reserva de valor. Num mundo onde milhões de dólares em activos pode ser controlado com nada mais do que um mnemônico secreto de 12 palavras, como você 15 impor uma regulamentação eficaz?

Como todos os sistemas financeiros, o protocolo Cardano deve ter uma opinião na sua concepção sobre o que é justo e razoável. Optamos por dividir entre os direitos individuais e os direitos de um mercado.

Os indivíduos devem sempre ter acesso exclusivo aos seus fundos, sem coerção ou bens civis confisco. Este direito tem de ser respeitado porque nem todos os governos são dignos de confiança abusar do seu poder soberano para ganho pessoal de políticos corruptos, como visto na Venezuela e Zimbabué. As criptomoedas devem ser projetadas para o menor denominador comum.

15 Consulte BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 18 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Em segundo lugar, a história nunca deve ser alterada. Blockchains fornecem uma promessa de imutabilidade. Introduzir o poder de reverter a história ou alterar o registro oficial introduz muita tentação de mudar o passado para beneficiar um determinado ator ou atores.

Terceiro, o fluxo de valor deve ser irrestrito. Controles de capitais e outras paredes artificiais diminuir os direitos humanos. Fora a futilidade de tentar aplicá-las, num contexto global 16 economia com muitos cidadãos nas nações menos desenvolvidas viajando fora de sua jurisdição para encontrar um salário digno, a restrição dos fluxos de capital geralmente acaba prejudicando os mais pobres do mundo.

Afirmados estes princípios, os mercados são distintamente diferentes dos indivíduos. Enquanto os designers de Cardano acreditamos nos direitos individuais, também acreditamos que os mercados têm o direito de declarar abertamente seus termos e condições, e se um indivíduo concordar em fazer negócios neste mercado, então eles devem obedecer a esses padrões em prol da integridade de todo o sistema.

O desafio sempre foi o custo e a praticidade da aplicação. Pequeno, multijurisdicional as transações são simplesmente muito caras em sistemas legados para fornecer alta garantia de recurso em caso de fraude ou disputa comercial. Quando alguém envia sua transferência eletrônica para o Príncipe Nigeriano, geralmente é muito caro tentar recuperar os fundos.
17

Para Cardano, sentimos que podemos inovar em três níveis. Primeiro, através do uso de smart contracts os termos e condições das relações comerciais podem ser melhor controlados. Se todos os ativos forem digital e pode ser expresso exclusivamente na CSL, fortes garantias de comércio livre de fraudes podem ser ganhou.

Em segundo lugar, o uso de HSMs para fornecer um espaço de identidade onde PII não seja vazado, mas ainda assim usado para os atores autenticados e credenciados devem fornecer um sistema de reputação global e permitir atividades regulamentadas com custos muito mais baixos a serem realizadas, como jogos online com automação conformidade fiscal ou trocas descentralizadas.

Finalmente, no roteiro de Cardano está a criação de um regulamento modular DAO que pode ser personalizado para interagir com smart contracts escritos pelo usuário, a fim de adicionar mutabilidade, consumidor proteção e arbitragem. O escopo deste projeto será descrito em um artigo posterior.

16 Como exemplo de contramedida ao fluxo de capital, consulte o Hawala Banking System 17 Veja golpe de taxa antecipada POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 19 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Qual é o objetivo de tudo isso?

Cardano foi um projeto maratona envolvendo feedback de centenas das mentes mais brilhantes

dentro e fora da indústria de criptomoedas. Envolve iteração incansável, o uso ativo de

revisão por pares e roubo descarado de grandes ideias quando descobertas.

Cada uma das seções restantes cobre um aspecto específico do foco que decidimos ser um núcleo

componente do nosso projeto. Alguns foram selecionados devido ao desejo de melhorar o melhor desempenho geral

práticas do espaço enquanto outras são específicas da evolução de Cardano.

Embora nenhum projeto possa cobrir todos os objetivos ou satisfazer todos os usuários, nossa esperança é fornecer uma visão para

como deveria ser uma pilha financeira autoevolutiva para jurisdições que não a possuem. O definitivo

A realidade das criptomoedas não é que elas irão perturbar os sistemas financeiros legados existentes.

Os sistemas financeiros legados são sempre capazes de absorver mudanças e manter a sua forma

e função.

Em vez disso, deveríamos olhar para locais onde é simplesmente demasiado dispendioso implementar os sistemas existentes.

sistema bancário, onde muitos vivem com menos de alguns dólares por dia, não têm identidade estável e

é impossível encontrar crédito.

Nestes locais, o poder de agrupar um sistema de pagamento, direitos de propriedade, identidade, crédito e risco

proteção em um único aplicativo executado em um telefone celular não é apenas útil, é uma mudança de vida.

A razão pela qual estamos construindo Cardano é que sentimos que temos uma chance legítima de entregar - ou

pelo menos avançando - esta visão para o mundo em desenvolvimento.

Mesmo no fracasso, se pudermos mudar a forma como as criptomoedas são projetadas, evoluídas e financiadas,

então há uma grande realização.

Introduction

Une vision à long terme de l’amélioration de la conception des crypto-monnaies afin qu’elles puissent fonctionner appareils mobiles avec une expérience utilisateur raisonnable et sécurisée ● Rapprocher les parties prenantes des opérations et de la maintenance de leur cryptomonnaie ● Reconnaître la nécessité de comptabiliser plusieurs actifs dans le même grand livre ● Extraire les transactions pour inclure des métadonnées facultatives afin de mieux se conformer aux besoins des systèmes existants ● Apprendre de près de 1 000 altcoins en adoptant des fonctionnalités qui ont du sens ● Adopter un processus axé sur les normes inspiré de l'Internet Engineering Task Force en utilisant une fondation dédiée pour verrouiller la conception finale du protocole
● Explorez les éléments sociaux du commerce
● Trouver un juste milieu permettant aux régulateurs d’interagir avec le commerce sans compromettre certains principes fondamentaux hérités de Bitcoin

À partir de cet ensemble d'idées non structurées, les directeurs travaillant sur Cardano ont commencé à explorer

littérature sur les crypto-monnaies et pour construire un ensemble d'outils d'abstractions. Le résultat de cette recherche est

La vaste bibliothèque d'articles de l'IOHK, de nombreux résultats d'enquête tels que ce récent script

aperçu du langage ainsi qu'une ontologie de contrats intelligents et le projet Scorex. Leçons

cédé un appréciation pour le crypto-monnaie l'industrie inhabituel et à fois

croissance contreproductive.

Premièrement, contrairement aux protocoles à succès tels que TCP/IP, la conception des protocoles comporte peu de couches.

crypto-monnaies. Il y a eu une volonté de préserver une notion unique de consensus autour

les faits et les événements enregistrés dans un seul grand livre, que cela ait ou non un sens.

Par exemple, Ethereum a rencontré une énorme complexité en tentant de devenir un

ordinateur mondial universel, mais souffre de problèmes insignifiants qui pourraient détruire le système.

capacité à fonctionner comme une réserve de valeur. Le programme de chacun devrait-il être un citoyen de première classe

quelles que soient sa valeur économique, son coût de maintenance ou ses conséquences réglementaires ?

Deuxièmement, les résultats antérieurs de la recherche cryptographique traditionnelle sont peu appréciés. Pour

Par exemple, la preuve de participation déléguée de Bitshares aurait pu générer facilement et de manière fiable des

nombres utilisant le tirage au sort avec une livraison de sortie garantie, qui est une technique connue depuis

les années 1980 (voir l’article fondateur de Rabin et Ben-Or).

Troisièmement, la plupart des altcoins (à quelques exceptions notables telles que Tezos) n’ont apporté aucune contribution.

hébergement pour les futures mises à jour. La capacité de pousser avec succès une fourche souple ou dure est essentielle

au succès à long terme de toute cryptomonnaie.

En corollaire, les utilisateurs d'entreprise ne peuvent pas consacrer des millions de dollars de ressources à

des protocoles dont la feuille de route et les acteurs qui les sous-tendent sont éphémères, mesquins ou radicalisés. Là

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 3 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

doit être un processus efficace grâce auquel un consensus social peut se former autour d’une vision pour

faire évoluer le protocole sous-jacent. Si ce processus est extrêmement lourd, la fragmentation

pourrait briser la communauté.

Enfin, argent est finalement un social phénomène. Dans le but d'anonymiser et

acteurs centraux désintermédiaires, Bitcoin et ses contemporains ont également écarté la nécessité de

identités, métadonnées et réputation stables dans les transactions commerciales. Ajouter ces données

grâce à des solutions centralisées, supprime l'auditabilité, la disponibilité mondiale et l'immuabilité -

c’est tout l’intérêt d’utiliser un blockchain.

Les systèmes financiers existants tels que ceux composés de SWIFT, FIX et ACH sont riches en

métadonnées transactionnelles. Il ne suffit pas de connaître la quantité de valeur transférée entre les comptes,

la réglementation nécessite souvent l'attribution des acteurs impliqués, des informations de conformité, des rapports

activité suspecte et autres enregistrements et actions. Dans certains cas, les métadonnées sont plus

important que la transaction.

Il semble donc raisonnable de déduire que la manipulation des métadonnées pourrait être aussi préjudiciable que

contrefaire de la monnaie ou réécrire l’historique des transactions. Ne faire aucun accommodement pour les acteurs

qui souhaitent inclure volontairement ces domaines semble contre-productif pour une adoption généralisée

et la protection des consommateurs.

Fin du séjour

L'agrégation de notre exploration raisonnée de l'espace des crypto-monnaies est constituée de deux collections de

protocoles. Respectivement, une crypto-monnaie basée sur une preuve de participation prouvée sécurisée [1][2] appelée le

Cardano Settlement Layer (CSL) et un ensemble de protocoles appelés Cardano Computation Layer

(CCL).

Notre objectif de conception est de prendre en compte les aspects sociaux des crypto-monnaies, en les construisant en couches

en séparant la comptabilisation de la valeur du calcul complexe et en répondant aux besoins de

régulateurs dans le cadre de plusieurs principes immuables. De plus, lorsque cela est raisonnable,

1 nous essayons d'examiner les protocoles proposés par le biais d'un examen par les pairs et de vérifier le code par rapport aux protocoles formels.

spécifications.

1 Voir la section Réglementation pour la liste POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 4 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Preuve de participation

L’utilisation d’une preuve de mise pour une crypto-monnaie est un choix de conception très controversé, mais parce qu’elle

ajoute un mécanisme pour introduire un vote sécurisé, a une plus grande capacité d'évolutivité et permet plus de

des programmes d'incitation exotiques, nous avons décidé de les adopter.

Notre protocole de preuve d'enjeu s'appelle Ouroboros et il a été conçu par un

équipe talentueuse de cryptographes de cinq institutions universitaires dirigée par le professeur Aggelos

2 Kiayias de l'Université d'Édimbourg. L'innovation fondamentale qu'il apporte au-delà de sa sécurité éprouvée

L'utilisation d'un modèle cryptographique rigoureux est une conception modulaire et flexible qui permet

composition de nombreux protocoles pour améliorer les fonctionnalités.

Cette modularité permet des fonctionnalités telles que la délégation, les sidechains, les points de contrôle abonnables,

de meilleures structures de données pour les clients légers, différentes formes de génération de nombres aléatoires et même

différentes hypothèses de synchronisation. À mesure qu'un réseau se développe, passant de milliers à

des millions, voire des milliards d'utilisateurs, les exigences de son algorithme de consensus seront également

changer. Il est donc essentiel de disposer de suffisamment de flexibilité pour s'adapter à ces changements et ainsi

pérenniser le cœur d’une crypto-monnaie.

Éléments sociaux de l'argent

Les crypto-monnaies sont un excellent exemple de la composante sociale de l’argent. Lors de la restriction

analyse uniquement à la technologie, il y a peu de différence entre Bitcoin et Litecoin et même

moins entre Ethereum et Ethereum Classic. Pourtant, Litecoin et Ethereum Classic

maintenir de grandes capitalisations boursières et des communautés robustes et dynamiques ainsi que leurs propres

mandats sociaux.

On peut affirmer qu’une grande partie de la valeur d’une cryptomonnaie provient de sa communauté,

la manière dont il utilise la monnaie et son niveau d’engagement dans l’évolution de la monnaie. Poursuivre

l'idée, des monnaies telles que Dash ont même intégré des systèmes directement dans le protocole pour

impliquer leur communauté dans le choix de ce qui devrait être une priorité à développer et à financer.

2 Université du Connecticut, Université d’Athènes, Université d’Édimbourg, Université d’Aarhus, Tokyo Institut de technologie POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 5 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

La grande diversité des crypto-monnaies témoigne également de leurs éléments sociaux.

Désaccords sur la philosophie, la politique monétaire ou même simplement entre les principaux développeurs

conduire à la fragmentation et aux fourches. Pourtant, contrairement à leurs homologues cryptomonnaies, les monnaies fiduciaires de

Les superpuissances ont tendance à survivre aux changements politiques et aux désaccords locaux sans crise monétaire ou

exode massif.

Il semble donc que certains éléments des systèmes existants soient absents du système.

industrie de la crypto-monnaie. Nous soutenons – et avons inculqué dans la feuille de route Cardano – que

les utilisateurs d’un protocole ont besoin d’incitations pour comprendre le contrat social derrière leur protocole et

avoir la liberté de proposer des changements de manière productive. Cette liberté s'étend à tous

aspect d'un système d'échange de valeurs, depuis la décision sur la manière dont les marchés doivent être réglementés jusqu'à quel

les projets devraient être financés. Pourtant, cela ne peut pas être négocié par des acteurs centralisés ni nécessiter

un titre spécial qui pourrait être coopté par une minorité bien financée.

Cardano mettra en œuvre un système de protocoles de superposition construits sur CSL pour s'adapter aux

besoins de ses utilisateurs.

Premièrement, quel que soit le succès d’une vente participative visant à amorcer le développement, les fonds finiront par

se dissiper. Par conséquent, Cardano inclura une confiance décentralisée financé de manière monotone

3 diminution de l’inflation et des frais de transaction.

Tout utilisateur devrait être éligible pour demander des fonds à la fiducie par un système de vote et le

les parties prenantes de CSL votent pour savoir qui devient bénéficiaire. Le processus crée un environnement productif

boucle de rétroaction observée dans d'autres crypto-monnaies dotées de systèmes de trésorerie/fiducie, tels que Dash, par

entamer une conversation sur qui devrait et ne devrait pas être financé.

Les discussions sur le financement imposent une relation entre les objectifs à long et à court terme, l’aspect social de la crypto-monnaie.

contrat, les priorités et la croyance en la création de valeur avec des propositions particulières. Cette conversation

signifie que la communauté évalue et débat constamment de ses croyances par rapport à d'éventuelles

feuilles de route.

Deuxièmement, nous espérons que Cardano inclura à terme un système formel basé sur blockchain pour

proposer et voter sur les soft et hard forks. Bitcoin avec son débat sur la taille des blocs, Ethereum avec

le fork DAO, et de nombreuses autres crypto-monnaies ont duré longtemps et, en

cas fréquents, disputes non résolues sur l'orientation technique et morale de la base de code.

On peut et devrait affirmer que bon nombre de ces désaccords et la fracture du

communauté qui résulte lorsque des mesures sont prises, sont le résultat direct d’un manque de processus formels pour

débattre du changement.
3 C'est ce qu'on appelle également un système de trésorerie POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 6 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Où peut-on convaincre les utilisateurs de Bitcoin d’adopter le témoignage séparé ? Comment le

Les principaux développeurs de Ethereum mesurent-ils le sentiment de la communauté en faveur du sauvetage de DAO ? Si le

Fractures communautaires, la crypto-monnaie est-elle endommagée de manière irréparable ?

Dans le pire des cas, l’autorité morale d’agir pourrait simplement revenir à celui qui détient les développeurs,

relations infrastructurelles et argent, pas les meilleurs vœux de la grande majorité des

communauté. De plus, si une grande partie de la communauté est inaccessible ou désengagée en raison

aux mauvaises incitations, alors comment savoir vraiment si leurs actes sont légitimes ? 4

Les crypto-monnaies proposées telles que Tezos fournissent un modèle intéressant pour examiner où un

Le protocole de cryptomonnaie est traité comme une constitution contenant trois sections (Transaction,

Consensus et réseau) avec un ensemble de règles formelles et un processus pour mettre à jour la constitution. Pourtant

il reste beaucoup de travail à faire en matière d'incitations et sur la manière exacte de modéliser et de changer

une cryptomonnaie avec un langage formel.

L'utilisation de méthodes formelles, de spécifications compréhensibles par machine et la fusion d'une trésorerie avec

ce processus d’incitations financières est exploré comme piste d’inspiration possible.

En fin de compte, juste la possibilité de proposer un changement de protocole de manière transparente et sans censure.

avec le vote basé sur blockchain devrait améliorer le processus, même si des solutions plus élégantes ne peuvent pas

être conçu.

Conception en couches – Cardano Couche de règlement

Lors de la conception de protocoles et de langages performants, il ne faut pas regarder vers l'avenir, mais plutôt vers le passé. L'histoire fournit une litanie d'exemples de grandes idées qui sont parfaites sur le papier, mais d'une manière ou d'une autre, n'ont pas survécu, comme les normes d'interconnexion des systèmes ouverts. L'histoire aussi fournit des accidents heureux qui ont duré de TCP/IP à JavaScript.

Certains principes extraits d’une vision historique sont les suivants :

1. Vous ne pouvez pas prédire l’avenir, alors prévoyez une marge de manœuvre
2. La complexité est belle sur le papier, mais la simplicité l'emporte généralement 3. Trop de cuisiniers gâchent le bouillon 4. Une fois qu’une norme est établie, elle restera probablement en vigueur, qu’elle soit ou non. sous-optimal 4 Voir l'ignorance rationnelle
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 7 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

5. Les mauvaises idées peuvent en fait se transformer en de très bonnes idées s'il y a de la volonté

Cardano est un système financier qui accepte sa nature sociale. Il y aura un énorme besoin pour la flexibilité et la capacité de gérer la complexité arbitraire de la transaction d’un utilisateur particulier. Si pour réussir, il faudra d’énormes ressources de calcul, de stockage et de réseau pour gérer des millions de transactions simultanées.

Pourtant, nous n’avons pas de Robin des Bois numérique et décentralisé à prendre aux nœuds riches et à donner aux les pauvres afin de parvenir à un réseau équitable. Nous n'avons pas non plus le luxe de faire confiance aux humains bienfaisance à sacrifier de manière altruiste pour le plus grand bien du réseau. Par conséquent, Cardano Le design emprunte à TCP/IP le concept de séparation des préoccupations.

Les blockchains sont en fin de compte des bases de données ordonnant des faits et des événements avec des garanties sur horodatages et immuabilité. Dans le contexte de l’argent, ils ordonnent la propriété des actifs. Ajout le calcul complexe en stockant et en exécutant des programmes est un concept orthogonal. Voulons-nous pour savoir quelle valeur est passée d'Alice à Bob, ou voulons-nous nous impliquer dans la détermination de toute l'histoire derrière la transaction et décider du montant à envoyer ?

Il est incroyablement tentant de choisir cette dernière comme l'a fait Ethereum car elle est plus flexible, mais cela viole les principes de conception ci-dessus. Comprendre l'histoire signifie qu'un seul protocole doit être capable de comprendre des événements arbitraires, de scripter des transactions arbitraires, de permettre l'arbitrage dans cas de fraude et même potentiellement d'annulation de transactions lorsque de nouvelles informations sont fournies disponible.

Il faut ensuite prendre des décisions de conception difficiles quant aux métadonnées à stocker pour chaque transaction. Quels éléments de l’histoire derrière la transaction entre Alice et Bob sont pertinents ? Sont sont-ils pertinents pour toujours ? Quand pouvons-nous jeter certaines données ? Cela viole-t-il la loi en certains pays ?

De plus, certains calculs sont de nature privée. Par exemple, lors du calcul de la moyenne salaire des ouvriers d'un bureau, on ne voudrait pas forcément divulguer combien chaque personne fait. Et si chaque calcul était rendu public ? Et si cette publicité biaisait l'exécution afin de nuire au résultat ?

Ainsi, nous avons choisi la position selon laquelle la comptabilité de la valeur doit être séparée de la l'histoire derrière la raison pour laquelle la valeur a été déplacée. En d’autres termes, séparation de la valeur du calcul. Cette séparation ne signifie pas que Cardano ne prendra pas en charge les smart contract. Au contraire, en rendant la séparation explicite, elle permet une plus grande flexibilité dans la conception, l'utilisation, confidentialité et exécution des smart contracts.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 8 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le grand livre de valeurs est appelé Cardano Settlement Layer (CSL). Comme le but est de rendre compte valeur, la feuille de route a les objectifs suivants :

1. Prend en charge deux ensembles de langages de script, un pour déplacer la valeur et un autre pour améliorer prise en charge du protocole de superposition
2. Fournir la prise en charge des sidechains KMZ pour établir des liens avec d'autres registres 5 3. Prend en charge plusieurs types de signatures, y compris les signatures résistantes quantiques pour des performances supérieures. sécurité
4. Prise en charge des actifs émis par plusieurs utilisateurs 5. Atteindre une véritable évolutivité, c'est-à-dire qu'à mesure que davantage d'utilisateurs se joignent, les capacités du système augmenter

Script

En commençant par le langage de script, les transactions entre adresses dans un grand livre nécessitent quelques forme d'un script à exécuter et à prouver sa validité. Idéalement, on ne voudrait pas qu'Ève ait accès L'argent d'Alice, et on ne voudrait pas non plus qu'un script mal conçu envoie accidentellement de la valeur à un mort. adresse rendant les fonds irrécupérables.

Des systèmes tels que Bitcoin fournissent un langage de script extrêmement rigide et draconien qui Il est difficile de programmer des transactions sur mesure, ainsi que de les lire et de les comprendre. Pourtant le général la programmabilité de langages tels que Solidity introduit une complexité extraordinaire dans le système et ne sont utiles qu’à un ensemble beaucoup plus restreint d’acteurs.

Nous avons donc choisi de concevoir un nouveau langage appelé Simon en l'honneur de son créateur 6 Simon Thompson et le créateur des concepts qui l'ont inspiré, Simon Peyton Jones. Simon est un langage spécifique à un domaine basé sur Composer des contrats : une aventure en finance ingénierie.

L'idée principale est que les transactions financières sont généralement composées d'un ensemble de éléments fondateurs. Si l’on rassemble un tableau périodique des éléments financiers, alors on peut 7 fournir un support pour un ensemble arbitrairement large de transactions composées qui couvriront la plupart, sinon tous, types de transactions courants sans nécessiter de programmabilité générale.

5 Bientôt disponible dans un article de Kiayias, Zindros et Miller 6 Les détails seront publiés dans une prochaine spécification. La langue complète sera prise en charge dans le Sortie de Shelley CSL prévue pour le quatrième trimestre 2017 7 Le projet ACTUS a une élaboration approfondie
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 9 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le principal avantage est que la sécurité et l’exécution peuvent être extrêmement bien comprises. Preuves peut être écrit pour montrer l'exactitude des modèles et épuiser l'espace d'exécution de des événements de transaction problématiques, tels que la création de nouvelle monnaie à partir de rien ou une transaction malléabilité. Deuxièmement, on peut laisser des extensions pour ajouter plus d'éléments via des soft forks si une nouvelle fonctionnalité est requise.

Cela dit, il sera toujours nécessaire de connecter CSL aux protocoles superposés, aux systèmes financiers existants. systèmes et serveurs spéciaux. Ainsi, nous avons développé Plutus à la fois comme un langage smart contract à usage spécifique ainsi qu'un DSL à usage spécial pour l'interopérabilité.

Plutus est un langage fonctionnel typé basé sur les concepts de Haskell, qui peut être utilisé pour écrire des scripts de transactions personnalisés. Pour CSL, il sera utilisé pour les transactions complexes nécessaires à ajoutez la prise en charge d'autres couches que nous devons connecter, telles que notre schéma de sidechains.

Chaînes latérales

En ce qui concerne les sidechains, Cardano prendra en charge un nouveau protocole développé par Kiayias, Miller et Zindros (sidechains KMZ) basé sur les résultats antérieurs des preuves de travail. Le particulier la conception dépasse le cadre de cet article ; cependant, le concept permet une sécurité et mouvement non interactif de fonds de CSL vers n’importe quelle couche de calcul Cardano ou autre blockchain prenant en charge le protocole.

Les sidechains KMZ sont la clé pour encapsuler la complexité. Des grands livres aux exigences réglementaires, les opérations privées, les langages de script robustes et autres préoccupations particulières sont effectivement noires boîtes à CSL, mais l'utilisateur de CSL bénéficiera de certaines garanties en matière de comptabilité et de capacité à rappeler les fonds une fois le calcul terminé.

Signature

Afin de transférer en toute sécurité de la valeur d'Alice à Bob, Alice doit prouver qu'elle a le droit de déplacer les fonds. La manière la plus directe et la plus fiable d'accomplir cette tâche est d'utiliser un système de signature de clé dans lequel les fonds sont connectés à une clé publique et Alice contrôle une clé privée associée.

Il existe des centaines de schémas possibles avec différents paramètres et hypothèses de sécurité. Certains s'appuient sur des problèmes mathématiques liés aux courbes elliptiques, tandis que d'autres sont connecté à des concepts exotiques à l’aide de treillis.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 10 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le but abstrait est toujours le même. Il existe un problème difficile qui ne peut être résolu que si quelqu'un a une connaissance secrète. On dit que le détenteur de ce savoir est le propriétaire de la paire de clés et doit être la seule entité habilitée à l'utiliser.

Il existe deux groupes de préoccupations auxquelles une crypto-monnaie est confrontée lors du choix d’un schéma de signature. Premièrement, il y a la durabilité à long terme du système lui-même en matière de sécurité. Certains cryptographiques les programmes utilisés dans les années 1970 et 1980, comme le DES, ont été brisés. La période sur laquelle il faut décider si le projet devrait survivre.

Deuxièmement, de nombreuses entreprises, gouvernements et autres institutions ont préféré, ou dans certains cas, imposait le recours à un système particulier. Par exemple, la NSA maintient le Ensemble de protocoles Suite B. Il existe des normes des groupes de travail ISO et même du W3C sur la cryptographie.

Si une cryptomonnaie choisit un schéma de signature unique, elle est obligée d’accepter que ce schéma pourrait être brisé à un moment donné dans le futur et au moins une entité ne peut pas utiliser le crypto-monnaie en raison de restrictions légales ou industrielles. Pourtant, une crypto-monnaie ne peut pas prendre en charge tout système de signature, car cela exigerait que chaque client comprenne et valide chaque système.

Pour Cardano, nous avons décidé de commencer par utiliser la cryptographie à courbe elliptique, la courbe Ed25519 dans particulier. Nous avons également décidé d'améliorer les bibliothèques existantes en ajoutant la prise en charge des portefeuilles HD. en utilisant les spécifications du Dr Dmitry Khovratovich et Jason Law.
8

Cela dit, Cardano prendra en charge davantage de systèmes de signature à l'avenir. En particulier, nous sommes intéressé à intégrer BLISS-B pour ajouter des signatures résistantes aux ordinateurs quantiques à notre système. Nous souhaitons également ajouter SECP256k1 pour améliorer l'interopérabilité avec les systèmes existants. crypto-monnaies telles que Bitcoin.

Cardano a été conçu avec des extensions spéciales qui nous permettront d'ajouter plus de signature schémas via un soft fork. Ils seront ajoutés au fur et à mesure des besoins et lors des mises à jour majeures prévues dans la feuille de route.
9

Actifs émis par l'utilisateur (UIA)

Au début de l'histoire de Bitcoin, des protocoles ont été rapidement développés pour permettre aux utilisateurs d'émettre des actifs qui s'est appuyé sur le système comptable de Bitcoin afin de suivre plusieurs devises simultanément. 8 Il s'agit de la documentation relative à la mise en œuvre du portefeuille HD de Cardano. Nous pensons que Cardano est le premier crypto-monnaie pour prendre en charge les portefeuilles Ed25519 HD
9 Voir cardanoroadmap.com
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 11 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ces protocoles n'étaient pas supportés nativement par le protocole Bitcoin, mais implémentés via des astuces astucieuses.

Dans le cas des superpositions Bitcoin telles que Coloured Coins et Mastercoin (maintenant appelé Omni), la lumière les clients sont obligés de s'appuyer sur des serveurs de confiance. De plus, les frais de transaction doivent toujours être payés des bitcoins. Ces propriétés, combinées au pipeline unique d'approbation des transactions, font Bitcoin sous-optimal pour la comptabilité multi-actifs.

Dans le cas Ethereum utilisant la norme ERC20, il y a plus de richesse en fonctionnalités. Cependant, les frais de transaction nécessitent toujours de l'éther. De plus, le réseau Ethereum rencontre des difficultés s'adapter aux besoins de tous les ERC20 token émis.

Le problème fondamental peut être divisé en trois parties : les ressources, les incitations et les préoccupations. En ce qui concerne les ressources, ajouter une devise entièrement nouvelle au même grand livre signifie que l'on a deux ensembles indépendants UTXO (entrées de transaction non dépensées) partageant la bande passante, le pool de mémoire et bloquer l'espace. Nœuds de consensus responsables de l'intégration des transactions de ces devises besoin d’une incitation pour le faire. Et tous les utilisateurs de crypto-monnaie ne s’en soucieront pas ou ne devraient pas s’en soucier. la devise d’une entité particulière.

Compte tenu de ces problèmes, les avantages sont énormes en tant que principal token d'un grand livre multi-actifs peut effectivement servir de monnaie relais permettant une tenue de marché décentralisée. Spécial des actifs à cet effet pourraient être émis pour fournir une utilité supplémentaire, telle que des actifs à valeur stable comme Tether ou MakerDAO qui sont utiles pour les applications de prêt et de transfert de fonds.

Compte tenu des défis, Cardano a adopté une approche pragmatique de la comptabilité multi-actifs. En construisant par étapes, le premier défi consiste à concevoir l'infrastructure nécessaire pour soutenir le demandes de milliers d’UIA. À savoir, les avancées suivantes sont nécessaires :

1. Structures de données authentifiées à usage spécial pour permettre le suivi d'un très grand nombre UTXO état

2. La possibilité d'avoir un pool de mémoire distribué pour contenir un vaste ensemble de transactions en attente
3. Partitionnement de la blockchain et points de contrôle pour permettre un énorme blockchain global 4. Un système d'incitation qui récompense les nœuds de consensus pour avoir inclus différents ensembles de opérations 5. Un mécanisme d'abonnement qui permet aux utilisateurs de décider quelles devises ils souhaitent suivre
6. Une sécurité renforcée garantit que les UIA bénéficient d'une sécurité similaire à celle de l'actif natif. 7. Soutien à la tenue de marché décentralisée pour améliorer la liquidité entre l'UIA et le primaire token

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 12 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nos efforts préliminaires pour trouver la bonne structure de données authentifiées ont abouti à une nouvelle type d’arbre AVL+ développé conjointement par Leo Reyzin, IOHK et Waves. Des recherches supplémentaires sont nécessaires, mais il s'agit d'une avancée fondamentale qui sera incluse dans une version ultérieure de Cardano.

Un pool de mémoire distribué pourrait être implémenté à l’aide du protocole RAMCloud de l’Université de Stanford. Les expériences débuteront au troisième trimestre 2017 pour étudier son intégration dans la couche consensus de Cardano.

Les sujets restants sont interconnectés et couverts par des recherches en cours. Nous nous attendons — sous réserve aux résultats de la recherche — pour inclure un protocole dans Cardano pour les UIA lors du Basho du CSL sortie en 2018.

Évolutivité

Les systèmes distribués sont composés d'un ensemble d'ordinateurs (nœuds) acceptant d'exécuter un protocole ou

suite de protocoles pour atteindre un objectif commun. Cet objectif pourrait être de partager un fichier tel que défini par

le protocole BitTorrent ou plier une protéine à l'aide de Folding@Home.

Les protocoles les plus efficaces gagnent des ressources à mesure que les nœuds rejoignent le réseau. Un fichier hébergé par

BitTorrent, par exemple, peut être téléchargé beaucoup plus rapidement en moyenne si de nombreux pairs sont connectés.

en le téléchargeant simultanément. La vitesse augmente car les pairs fournissent des ressources tout en

les consommer également. Cette caractéristique est ce que l'on entend généralement lorsqu'on énonce une distribution distribuée.

échelles du système.

Le défi avec la conception de toutes les crypto-monnaies actuelles est qu’elles ne le sont pas réellement.

conçu pour être évolutif. Les blockchains, par exemple, sont généralement une liste chaînée de

blocs. La sécurité et la disponibilité d'un protocole blockchain reposent sur de nombreux nœuds

possédant une copie complète des données blockchain. Ainsi, un seul octet de données doit être répliqué

parmi N nœuds. Les nœuds supplémentaires ne fournissent pas de ressources supplémentaires.

Ce résultat est le même pour le traitement des transactions et les commérages de messages tout au long du processus.

le système. L'ajout de nœuds supplémentaires au système de consensus ne fournit pas d'informations supplémentaires.

puissance de traitement des transactions. Cela signifie simplement que davantage de ressources doivent être dépensées pour faire de même

travail. Plus de relais réseau, ce qui signifie que davantage de nœuds doivent transmettre les mêmes messages pour conserver le

tout le réseau en synchronisation avec le bloc le plus récent.

Compte tenu de cette topologie, les crypto-monnaies ne peuvent pas s'adapter à un réseau mondial comparable à celui des crypto-monnaies existantes.

systèmes financiers. En revanche, l’infrastructure existante est évolutive et présente des ordres de grandeur pour

plus de puissance de traitement et de stockage. En ajoutant un point spécifique, Bitcoin est un très petit réseau

par rapport à ses pairs en matière de paiement, mais a du mal à gérer sa charge actuelle.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 13 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nos objectifs d'évolutivité pour Cardano sont grandement aidés par notre algorithme de consensus. Ouroboros

permet une manière décentralisée d'élire un quorum de nœuds de consensus, qui à leur tour peuvent gérer plus de

protocoles traditionnels développés au cours des 20 dernières années pour répondre aux besoins des grands

des fournisseurs d'infrastructures tels que Google et Facebook.
10

Par exemple, l’élection d’un quorum pour une époque signifie que nous disposons d’un ensemble de nœuds de confiance pour

conserver le grand livre pendant une période de temps déterminée. Il est trivial d’élire plusieurs quorums simultanément

et diviser les transactions en différents quorums.

Des techniques similaires pourraient être appliquées pour la propagation du réseau et également pour le partage du blockchain

lui-même en partitions uniques. Dans notre feuille de route actuelle, les méthodes de mise à l'échelle seront appliquées à

Ouroboros à partir de 2018 et continue d’être une priorité en 2019 et 2020.

Cardano Couche de calcul

Comme mentionné précédemment, une transaction comporte deux éléments : le mécanisme d'envoi et enregistrez le flux des token et les raisons ainsi que les conditions du déplacement des token. Le ce dernier peut être arbitrairement complexe et impliquer des téraoctets de données, des signatures multiples et des informations spéciales. événements survenus. Ce dernier peut également être remarquablement simple avec une seule valeur de poussée de signature à une autre adresse.

Le défi que pose la modélisation des raisons et des conditions du flux de valeur est qu’elles sont immensément personnel aux entités impliquées de la manière la plus imprévisible. Leçons de le droit des contrats dresse un tableau encore plus problématique dans lequel les acteurs eux-mêmes pourraient ne pas sachez même que la transaction ne correspond pas à la réalité commerciale. On appelle généralement cela phénomène « le fossé sémantique ». 11

Pourquoi devrait-on créer une crypto-monnaie en poursuivant une couche infinie de complexité et d’abstraction ? Cela semble de nature sisyphéenne et naïf dans la pratique. De plus, chaque abstraction embrassait a des conséquences à la fois juridiques et sécuritaires.

Par exemple, il existe de nombreuses activités en ligne qui sont universellement considérées comme illégales ou méprisées. comme le trafic de pédopornographie ou la vente de secrets d'État. En déployant des solutions robustes 10 Il existe également d’autres protocoles de recherche indépendants tentant d’atteindre le même objectif, tels que Elastico et Bitcoin-NG
11 Loi Luu et al. discutent de cette lacune dans leur récent article intitulé Rendre les contrats intelligents plus intelligents POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 14 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

infrastructure décentralisée, on fournit désormais un canal pour que cette activité se produise avec le la même résistance à la censure dont bénéficient les transactions commerciales normales. Il n'est pas clair sur le plan juridique si les nœuds de consensus du réseau – qui ont intérêt à devenir davantage fédérés il est temps de promouvoir l’efficacité – seraient tenus responsables du contenu qu’ils hébergent.

Poursuites contre les opérateurs de Tor, traitement brutal de l’opérateur de Silk Road et absence de la clarté juridique derrière les protections juridiques des participants au protocole laisse un chemin incertain. Il y a il ne manque pas d'imagination quant à ce qu'une crypto-monnaie suffisamment avancée pourrait permettre d'autre (voir l'Anneau de Gygès). Est-il raisonnable de forcer tous les utilisateurs d’une crypto-monnaie à l’approuver ou du moins permettre les pires actes et comportements du web ?

Malheureusement, il n’existe pas de réponses claires qui puissent donner un aperçu à un concepteur de crypto-monnaie. C'est il s'agit davantage de choisir un poste et de défendre son mérite. L'avantage que Cardano et Bitcoin est que nous avons choisi de séparer les préoccupations en plusieurs couches. Avec Bitcoin, il y a Porte-greffe. Avec Cardano, il existe la couche de calcul Cardano.

Les types de comportements complexes qui permettraient les actes élaborés précédemment ne peuvent pas s’appliquer CSL. Ils nécessitent la capacité d'exécuter des programmes écrits dans un langage complet de Turing et certains forme d'économie du gaz au calcul des compteurs. Ils nécessitent également des nœuds de consensus disposés à inclure les transactions dans leurs blocs.

Ainsi, une restriction de fonctionnalité pourrait raisonnablement protéger les utilisateurs. Jusqu'à présent, les plus établis les gouvernements n’ont pas adopté la position selon laquelle l’utilisation ou la maintenance d’une crypto-monnaie est une acte illégal. Par conséquent, la grande majorité des utilisateurs devraient être à l’aise avec la tenue d’un grand livre comparable en capacité à un système de paiement numérique.

Lorsqu’on souhaite étendre les capacités, il existe deux possibilités. Il est activé par un privé collectif d'individus partageant les mêmes idées et de nature éphémère (par exemple, une partie de poker). Ou bien, ce est activé par un registre de capacités comparables à Ethereum. Dans les deux cas, nous avons choisi externaliser les événements vers un autre protocole.

Dans le cas d’un événement privé et éphémère, il est raisonnable d’éviter le paradigme blockchain entièrement, mais plutôt restreindre les efforts vers une bibliothèque de protocoles MPC à usage spécial qui peuvent être invoqué lorsque cela est souhaité par un groupe de participants partageant les mêmes idées. Les calculs et les activités sont coordonnés dans un réseau privé et font référence à CSL uniquement en tant que babillard de confiance et canal de transmission de messages si nécessaire.

L’idée clé dans ce cas est qu’il y a consentement, encapsulation de la responsabilité et respect de la vie privée. CSL est être utilisé comme un espace commun numérique permettant aux utilisateurs de se rencontrer et de communiquer – comme un parc hébergerait un événement privé – mais ne fournit aucun hébergement ou animation spécial. De plus, POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 15 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

l'utilisation d'un MPC spécial permettra une interaction à faible latence sans avoir besoin de blockchain ballonnements. Ainsi, cela améliore l’échelle du système.

Les efforts de recherche de Cardano concernant cette bibliothèque sont centralisés dans notre laboratoire Tokyo Tech avec une certaine aide de scientifiques étrangers. Nous appelons la bibliothèque « Tartaglia » en hommage à un camarade mathématicien ainsi que contemporain de Cardano et nous nous attendons à ce que la première itération soit disponible au premier trimestre 2018.

Dans le deuxième cas, il faut un blockchain avec une machine virtuelle, un ensemble de nœuds de consensus et un mécanisme pour permettre la communication entre les deux chaînes. Nous avons commencé le processus de formalisation rigoureuse de la machine virtuelle Ethereum à l'aide du framework K dans 12 partenariat avec une équipe de l’Université de l’Illinois.

Le résultat de cette analyse éclairera la manière la plus optimale de concevoir un modèle répliqué et éventuellement machine virtuelle distribuée avec une sémantique opérationnelle claire et de fortes garanties de bon fonctionnement 13 mise en œuvre à partir de la spécification. En d’autres termes, la VM fait réellement ce que le code lui dit. cela a à voir avec les risques de sécurité minimisés.

Il reste encore des questions non résolues sur l’économie du gaz proposée par Ethereum et sur la manière dont elle se rapporte à des travaux tels que le ML conscient des ressources de Jan Hoffmann et al et à l’étude plus large de estimation des ressources pour le calcul. Nous sommes également curieux du niveau de langue indépendance de la machine virtuelle. Par exemple, le projet Ethereum a exprimé le désir pour la transition de leur VM actuelle vers Web Assembly.

Le prochain effort consiste à développer un langage de programmation raisonnable pour exprimer contrats qui seront appelés comme services par les applications décentralisées. Pour cette tâche, nous avons choisi à la fois l'approche consistant à prendre en charge l'héritage smart contract langage Solidity pour les faibles applications d'assurance et développement d'un nouveau langage appelé Plutus pour une assurance supérieure les demandes nécessitant une vérification formelle.

Comme le projet Zeppelin basé sur la solidité, IOHK développera également une bibliothèque de référence de code Plutus que les développeurs d'applications peuvent utiliser dans leurs projets. Nous développerons également un ensemble d'outils spécialisés pour une vérification formelle inspirée des travaux du projet Liquid Haskell de l’UCSD.

En termes de consensus, Ouroboros a été conçu de manière suffisamment modulaire pour prendre en charge Évaluation smart contract. Par conséquent, CSL et CCL partageront le même algorithme de consensus. 12 Inventé par le professeur Grigore Rosu et. al., K est un cadre universel pour les langages indépendants sémantique exécutable par machine. Avant nos travaux, il a été utilisé pour modéliser C, Java et JavaScript 13 Cela signifie que différents nœuds de consensus exécutent différents smart contracts. Également connu sous le nom de partitionnement d’État POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 16 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

La différence est qu'Ouroboros peut être confirmé pour autoriser à la fois les utilisateurs autorisés et les utilisateurs autorisés. registres sans autorisation via la distribution token.

Avec CSL, Ada a été distribuée par un événement générateur de token aux acheteurs dans toute l'Asie qui finira par revendre sur un marché secondaire. Cela signifie que l’algorithme de consensus de CSL est contrôlé par un ensemble d’acteurs diversifiés et de plus en plus décentralisés ou par leurs délégués attribue. Avec CCL, il est possible de créer un but spécial token détenu par les délégués de ce grand livre qui pourraient être des entités réglementées, créant ainsi un grand livre autorisé.

La flexibilité de cette approche permet à différentes instances de CCL de se matérialiser avec différents règles relatives à l'évaluation des transactions. Par exemple, les activités de jeu pourraient être restreintes à moins que les données KYC/AML ne soient présentes simplement en mettant sur liste noire les transactions non attribuées.

Notre conception finale se concentre sur l'ajout de modules de sécurité matériels (HSM) fiables à notre protocole. pile. Ce sont là deux énormes avantages lorsqu’on introduit ces capacités dans le protocole. Premièrement, les HSM améliorent considérablement les performances sans introduire de sécurité. 14 préoccupations au-delà de la confiance dans le vendeur. Deuxièmement, grâce à l'utilisation d'épreuves en verre scellé (SGP), Les HSM peuvent garantir que les données peuvent être vérifiées puis détruites sans être copié ou divulgué à des tiers malveillants.

En ce qui concerne le deuxième point, les PSC pourraient avoir un impact révolutionnaire en matière de conformité. Habituellement, lorsqu'un consommateur fournit des informations personnelles identifiables (PII) pour authentifier identité ou prouver le droit de participer, ces informations sont transmises à un tiers de confiance avec en espérant qu'il n'agira pas de manière malveillante. Cette activité est intrinsèquement centralisée, le fournisseur de données perd le contrôle de ses informations personnelles et est également soumis à diverses réglementations basées sur la juridiction.

La possibilité de sélectionner un ensemble d'attestations de confiance, puis de stocker les informations personnelles dans une enclave matérielle signifie que tout acteur disposant d'un HSM suffisamment compétent sera en mesure de vérifier les faits sur un acteur de manière infalsifiable sans que le vérificateur connaisse l'identité de l'acteur. Par exemple, Bob est pas un citoyen américain. Alice est une investisseur qualifié. James est un contribuable américain et il faut envoyer bénéfices imposables sur le compte X.

La stratégie HSM de Cardano consistera à tenter de mettre en œuvre des protocoles spécialisés au cours des deux prochaines années. années d'utilisation d'Intel SGX et d'ARM Trustzone. Les deux modules sont intégrés à des milliards de consommateurs appareils, des ordinateurs portables aux téléphones portables, et ne nécessitent aucun effort supplémentaire de la part du consommateur pour utiliser. Les deux sont également soigneusement vérifiés, bien conçus et basés sur des années d'itération de certains des les équipes de sécurité matérielle les plus importantes et les mieux financées.

14 Voir http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ de Cornell Université POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 17 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Règlement

La dure réalité de tous les systèmes financiers modernes est qu’à mesure qu’ils évoluent, ils accumulent un besoin, ou du moins une volonté de régulation. Ce résultat est généralement le résultat d’effondrements récurrents en raison de la négligence d'un acteur ou d'une cabale d'acteurs sur un marché.

Par exemple, la crise Knickerbocker de 1907 a abouti à la création de la Réserve fédérale. Système en 1913 comme prêteur en dernier ressort. Un autre exemple est celui des excès des années 1920 dans le aux États-Unis qui a entraîné un terrible effondrement financier, la Grande Dépression. Cet effondrement a donné lieu à la création de la Securities Exchange Commission en 1934 afin d'empêcher un phénomène similaire. événement ou au moins demander des comptes aux mauvais acteurs.

On peut raisonnablement débattre de la nécessité, de la portée et de l’efficacité d’une réglementation, mais on ne peut nier son existence et le zèle avec lequel les principaux gouvernements l’ont appliqué. Cependant, le Le défi auquel tous les régulateurs sont confrontés à mesure que le monde se mondialise et que les espèces deviennent numériques est à deux volets.

Premièrement, quel ensemble de réglementations devrait être suprême lorsqu’il s’agit d’un ensemble de juridictions ? La notion désuète de souveraineté westphalienne fond lorsqu’une seule transaction peut toucher trois douzaines de pays en moins d’une minute. Devrait-il simplement s'agir de celui qui détient le pouvoir la plus grande influence géopolitique ?

Deuxièmement, les améliorations apportées aux technologies de protection de la vie privée ont créé une course aux armements numériques. il devient de plus en plus difficile de comprendre qui a participé à une transaction, et encore moins à qui appartient une réserve de valeur particulière. Dans un monde où des millions de dollars d'actifs peut être contrôlé avec rien de plus qu'un mnémonique secret de 12 mots, comment pouvez-vous 15 appliquer une réglementation efficace ?

Comme tous les systèmes financiers, le protocole Cardano doit avoir une opinion dans sa conception sur ce qui est juste et raisonnable. Nous avons choisi de diviser entre les droits individuels et les droits d'un marché.

Les individus devraient toujours avoir un accès exclusif à leurs fonds, sans contrainte ni patrimoine civil. confiscation. Ce droit doit être appliqué car on ne peut pas faire confiance à tous les gouvernements pour ne pas abuser de leur pouvoir souverain pour le gain personnel de politiciens corrompus, comme on le voit au Venezuela et le Zimbabwe. Les crypto-monnaies doivent être conçues selon le plus petit dénominateur commun.

15 Voir BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 18 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Deuxièmement, l’histoire ne devrait jamais être altérée. Les blockchains offrent une promesse d’immuabilité. L’introduction du pouvoir de faire reculer l’histoire ou de modifier les documents officiels introduit trop de choses tentation de changer le passé afin de bénéficier à un ou plusieurs acteurs en particulier.

Troisièmement, le flux de valeur ne doit pas être restreint. Contrôles des capitaux et autres murs artificiels diminuer les droits de l’homme. En dehors de la futilité de tenter de les faire respecter , dans un contexte mondial 16 économie avec de nombreux citoyens des pays les moins développés voyageant en dehors de leur juridiction Pour trouver un salaire décent, restreindre les flux de capitaux finit généralement par nuire aux plus pauvres du monde.

Ces principes énoncés, les marchés sont nettement différents des individus. Alors que les concepteurs de Cardano croit aux droits individuels, nous pensons également que les marchés ont le droit de déclarer ouvertement leurs termes et conditions, et si un individu accepte de faire des affaires sur ce marché, alors ils doivent être tenus de respecter ces normes dans l’intérêt de l’intégrité de l’ensemble du système.

Le défi a toujours été le coût et l’aspect pratique de l’application des lois. Petit, multijuridictionnel les transactions sont tout simplement trop coûteuses dans les systèmes existants pour fournir une garantie élevée de recours en cas de fraude ou de litige commercial. Lorsqu'on envoie son virement bancaire au Prince nigérian, il est généralement trop coûteux d’essayer de récupérer ses fonds.
17

Pour Cardano, nous pensons pouvoir innover à trois niveaux. Premièrement, grâce à l'utilisation de smart contracts les termes et conditions des relations commerciales peuvent être mieux contrôlés. Si tous les actifs sont numérique et peut être exprimé uniquement sur CSL, de solides garanties de commerce sans fraude peuvent être gagné.

Deuxièmement, l'utilisation de HSM pour fournir un espace d'identité dans lequel les informations personnelles ne sont pas divulguées mais sont néanmoins utilisées pour les acteurs d’authentification et d’accréditation devraient fournir un système de réputation mondial et permettre activités réglementées à moindre coût, telles que les jeux en ligne avec systèmes automatisés conformité fiscale ou échanges décentralisés.

Enfin, dans la feuille de route de Cardano figure la création d’une réglementation modulaire DAO qui peut être personnalisé pour interagir avec les smart contract écrits par l'utilisateur afin d'ajouter de la mutabilité, du consommateur protection et arbitrage. La portée de ce projet sera décrite dans un article ultérieur.

16 Comme exemple de contre-mesure aux flux de capitaux, voir le Hawala Banking System 17 Voir Arnaque aux frais d'avance POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 19 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Quel est le but de tout cela ?

Cardano a été un projet marathon impliquant les commentaires de centaines d'esprits les plus brillants

à l’intérieur et à l’extérieur de l’industrie des crypto-monnaies. Cela implique une itération inlassable, l'utilisation active de

l'examen par les pairs et le vol éhonté de bonnes idées lorsqu'elles sont découvertes.

Les sections restantes couvrent chacune un aspect particulier que nous avons décidé de considérer comme un élément central.

composante de notre projet. Certains ont été sélectionnés en raison du désir d'améliorer le meilleur d'ensemble.

pratiques de l’espace alors que d’autres sont spécifiques à l’évolution de Cardano.

Bien qu'aucun projet ne puisse couvrir tous les objectifs ou satisfaire tous les utilisateurs, notre espoir est de fournir une vision pour

à quoi devrait ressembler une pile financière auto-évolutive pour les juridictions qui en sont dépourvues. L'ultime

La réalité des crypto-monnaies n’est pas qu’elles perturberont les systèmes financiers existants.

Les systèmes financiers traditionnels sont toujours capables d’absorber le changement et de conserver leur forme

et fonction.

Il faudrait plutôt se tourner vers les endroits où il est tout simplement trop coûteux de déployer les systèmes existants.

système bancaire, où beaucoup vivent avec moins de quelques dollars par jour, n'ont pas d'identité stable et

le crédit est impossible à trouver.

Dans ces lieux, le pouvoir de regrouper système de paiement, droits de propriété, identité, crédit et risque

la protection dans une seule application exécutée sur un téléphone portable n’est pas seulement utile, elle change la vie.

La raison pour laquelle nous construisons Cardano est que nous pensons que nous avons une chance légitime de livrer - ou

au moins faire progresser cette vision du monde en développement.

Même en cas d’échec, si nous pouvons changer la façon dont les cryptomonnaies sont conçues, évoluées et financées,

alors il y a une grande réussite.

Ciência e Engenharia

A arte da iteração

Criptomoedas são protocolos implementados como software. Os protocolos são simplesmente inteligentes conversas entre os participantes. O software é, em última análise, a manipulação de dados, dada alguma POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 20 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

objetivo. No entanto, a diferença entre software sólido e confiável e protocolos e protocolos úteis e seguros sua conversa é completamente humana.

Um bom software precisa de responsabilidade, requisitos de negócios claros, processos repetíveis, testes completos e iteração incansável. Um bom software também precisa de talentos razoavelmente talentosos desenvolvedores com conhecimento específico de domínio suficiente para projetar adequadamente um sistema que possa totalmente resolver qualquer problema que estejam tentando resolver.

Quanto aos protocolos úteis e seguros, especialmente aqueles que envolvem criptografia e distribuição sistemas, eles começam em um processo mais acadêmico e orientado por padrões. Revisão por pares, interminável debates e um conceito firme de compromissos são necessários para garantir que um protocolo seja útil. No entanto, estes por si só não são suficientes, os protocolos precisam ser implementados e testados para uso na vida real.

O desafio único na indústria de criptomoedas é que duas empresas completamente diferentes filosofias são mutiladas sem uma síntese hegeliana adequada. Nossa tese é um “movimento mentalidade de startup rápida e quebre as coisas, impulsionada pela juventude, ganância e paixão. A antítese é uma abordagem lenta, metódica e academicamente orientada, motivada pelo desejo de solidificar o inovações do nosso espaço em um nicho agradável, desfrutando de amplo financiamento e prestígio.

O resultado é que muitas criptomoedas são totalmente especificadas apenas em um white paper relevante para um currículo ou apenas por código escrito às pressas. Nenhuma das dez principais criptomoedas atuais por 18 capitalização de mercado são baseadas em um protocolo revisado por pares. Nenhum dos dez principais atuais as criptomoedas foram implementadas a partir de uma especificação formal.

No entanto, estão em jogo milhares de milhões de dólares de valor. Uma vez implantada, uma criptomoeda é extremamente

difícil de mudar. Como um usuário sabe que está usando um sistema seguro? Como um usuário

sabe que as alegações de marketing são legítimas? E se o protocolo proposto nunca conseguir alcançar

as reivindicações?

Esta falta de síntese e respeito pelo processo é uma das principais razões pelas quais a IOHK quis

construir Cardano. Nossa esperança era desenvolver um projeto de referência que servisse de exemplo de

como fazer as coisas de uma forma mais eficaz, sensata e honesta.

O objetivo não é propor uma forma totalmente nova de desenvolver software e protocolos, mas sim

reconhecer que já existem excelentes softwares e protocolos e podemos imitar as condições

que levou à sua criação. Em segundo lugar, tornar essas condições publicamente conhecidas e de código aberto, se

possível para que possam ser imitados em benefício de todo o campo. 18 Consulte www.coinmarketcap.com para obter uma listagem abrangente por capitalização de mercado 19 Ethereum possui uma especificação semiformal conhecida como Livro Amarelo; no entanto, a semântica EVM é não são totalmente especificados nem são suficientes para uma implementação completa do protocolo. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 21 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Fatos e opiniões

A outra preocupação é onde terminam os fatos e começa a opinião. Existem centenas de

linguagens de programação, dezenas de paradigmas de desenvolvimento e mais de uma filosofia em

gerenciamento de projetos. O mundo académico está repleto de desafios próprios decorrentes da sua

distância das preocupações comerciais e da praticidade.

Para Cardano, primeiro tentamos capturar deficiências óbvias que podem ser universalmente aceitas

ser útil do ponto de vista da engenharia. Por exemplo, criptografia e distribuição

sistemas são tópicos extraordinariamente complexos, com muitos exemplos de como mãos ingênuas

pode cometer erros horríveis. Portanto, qualquer protocolo que exija insights desses domínios precisa

ser elaborado por um especialista reconhecido e submetido à revisão por outros especialistas.

Ouroboros é nosso primeiro estudo de caso nesta área. Ele foi projetado por uma equipe de criptógrafos com

um histórico de publicação grande, diversificado e publicamente verificável. Foi construído de acordo com o padrão

processo de criptografia, com suposições de segurança, modelo adversário e provas. Estes

as provas foram verificadas por submissão a conferências e também de forma independente por computador

20 provas escritas em Isabelle por uma equipe da Universidade de Cambridge.
21

No entanto, este trabalho por si só não oferece garantias de utilidade – apenas uma verificação rigorosa de um sistema de segurança

modelo dado algumas suposições. Para ter utilidade, é necessário implementar e testar o protocolo.

Nossos desenvolvedores fizeram isso em Haskell e também em Rust. Este trabalho revelou que mais esforço

precisava estar focado no modelo de sincronização, o que levou à criação da Ouroboros

Praos.

Esta arte da iteração é o que produz grandes protocolos, com cada passo levando a novas lições e

um requisito para verificar novamente a exatidão da etapa anterior. É caro, demorado e custa

22 vezes realmente tedioso, mas é necessário garantir que um protocolo seja projetado corretamente.

Os protocolos — especialmente aqueles que serão usados por bilhões de pessoas — não têm vida curta e são rapidamente

evoluindo. Em vez disso, destinam-se a ser seguidos durante anos ou décadas. Parece inteiramente

É razoável que, antes de sobrecarregarmos o mundo com um novo sistema financeiro, todos tenhamos de conviver com

para os próximos 100 anos, queremos exigir algum tédio e rigor aos seus designers.

20 Artigo aceito número 71 da Conferência Anual de Criptografia da IACR na Califórnia
21 Por Kawin Worrasangasilpa sob a supervisão do Professor Lawrence Paulson
22 Seguindo uma tangente, por uma questão de leviandade, deveríamos assistir à discussão do Professor Halmos sobre como escrever um livro de matemática POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 22 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Pecados Funcionais

Movendo-se para um território mais opinativo, as ferramentas, linguagens e metodologias utilizadas em

desenvolvimento de software são mais artefatos da providência religiosa do que da realidade objetiva. Fonte

o código é como prosa escrita. Todo mundo tem uma opinião sobre o que é bom — e o que está sendo

comunicado é, às vezes, menos importante do que a forma como é comunicado.

Devemos cometer o pecado de escolher um lado aceitando que estará errado em pelo menos um aspecto.

os olhos da pessoa. No entanto, há pelo menos um grande corpus de justificação por detrás da nossa escolha.

Os protocolos que tornam Cardano possível estão sendo implementados em Haskell. A interface do usuário

foi encapsulado em um fork do Electron que chamamos de Daedalus. Nós escolhemos

usamos o modelo de arquitetura web sempre que possível e, para nosso banco de dados, optamos por um valor-chave

paradigma usando RocksDB.

Do nível do componente, essa abstração significa que a manutenção é muito mais simples, melhor

a tecnologia pode ser substituída posteriormente com pouco esforço, e que nossa pilha está parcialmente ligada ao

esforços de desenvolvimento do Github e do Facebook.

Usar uma WebGUI nos permite aproveitar o React e desenvolver recursos de front-end usando ferramentas

compreendido por centenas de milhares de desenvolvedores de JavaScript. Usando uma arquitetura web

significa que os componentes podem ser tratados como serviços e o modelo de segurança é sensato.

Escolher Haskell para desenvolvimento de protocolo foi a escolha mais difícil. Mesmo no funcional

mundo, existem amplas opções. Do lado mais flexível e impuro, existem linguagens como

Clojure, Scala e F#, que se beneficiam das enormes bibliotecas de Java e .Net

ecossistemas, preservando alguns dos melhores aspectos da programação funcional.

Existem linguagens de orientação mais acadêmica, como Agda e Idris, que têm uma relação próxima

conexão com técnicas que permitiriam uma forte verificação de correção. No entanto, eles não têm

bibliotecas razoáveis e têm uma experiência de desenvolvimento abaixo da média.

Para Cardano, a escolha recaiu sobre Ocaml e Haskell. Ocaml é uma linguagem maravilhosa com

uma grande comunidade, boas ferramentas, experiência razoável em desenvolvimento e um grande legado no

espaço de verificação formal através de Coq. Então, por que escolhemos Haskell? 23

23 Somando-se a este ponto, a IOHK realmente tem um projeto sendo implementado em Ocaml chamado Qeditas que herdamos do pseudônimo Bill White POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 23 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Por que Haskell?

Os protocolos que compõem Cardano são distribuídos, empacotados com criptografia e requerem um

alto grau de tolerância a falhas. Nos melhores dias, ainda haverá atores bizantinos, malformados

mensagens e clientes defeituosos causando involuntariamente algum tipo de confusão na rede.

Primeiro, queríamos uma linguagem que tivesse um sistema de tipos forte, onde pudéssemos usar facilmente ferramentas

como Quickcheck e técnicas mais elaboradas, como Tipos de Refinamento, ao mesmo tempo em que tem um

expectativa razoável de tolerância a falhas. Um modelo OTP estilo Erlang satisfaz o último

enquanto linguagens como Haskell e Ocaml satisfazem o primeiro.

Com a introdução do Cloud Haskell, Haskell ganhou muitas das vantagens de Erlang, embora não

entregando o que é seu. Além disso, a modularidade e a capacidade de composição de Haskell nos permitiram

use uma biblioteca personalizada mais leve chamada Time Warp para Cardano.

Em segundo lugar, as bibliotecas de Haskell evoluíram muito nos últimos anos graças a um extenso trabalho

de entidades comerciais como Galois, FP Complete e Well-Typed. Como consequência, Haskell pode

ser usado para escrever aplicativos de produção.
24

Terceiro, a rápida evolução do PureScript forneceu uma ponte muito necessária para o mundo JavaScript

semelhante ao que Clojurescript deu ao Clojure. Esperamos que o PureScript seja especialmente importante

quando se trata de fazer Cardano funcionar em um navegador e desenvolver carteiras móveis.

Quarto, no que diz respeito à resolução de dependências, Haskell nos últimos anos tem desfrutado de uma

esforço social e tecnológico significativo liderado por tecnólogos como Michael Snoyman através de um

plataforma chamada stackage que é fácil de usar e bem suportada pelo FP Complete.

Quinto, além da resolução adequada de dependências, pretendemos que nossas compilações de software sejam

reproduzível. Em outras palavras, com os mesmos valores de configuração e versões de dependência

deve produzir exatamente os mesmos artefatos de construção. Através do stackage, temos usado NixOps

para alcançar a reprodutibilidade com grande sucesso.

Finalmente, o conjunto de talentos de desenvolvedores especializados em Haskell é razoavelmente grande — comparado

seus pares – e bastante bem treinados com a combinação certa de credenciais acadêmicas e industriais. Também

atua como um filtro de competências, pois é incomum encontrar desenvolvedores Haskell experientes sem

conhecimento detalhado de ciência da computação.
24 Bryan O'Sullivan oferece aqui uma bela palestra sobre o uso industrial de Haskell.
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 24 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Especificação e Verificação Formal

Um ponto forte significativo do desenvolvimento de um protocolo usando um modelo de segurança comprovadamente correto é que ele fornece um limite garantido de poder adversário. É-nos dado um contrato que, desde que o protocolo for seguido e as provas estiverem corretas, o adversário não pode violar a segurança propriedades reivindicadas.

Uma reflexão mais profunda torna a afirmação anterior ainda mais significativa. Os adversários podem ser arbitrariamente inteligente e capaz. Dizer que eles são derrotados apenas através de um modelo matemático é extraordinário. E, claro, isso não é inteiramente verdade.

A realidade introduz factores e circunstâncias que impedem a utopia da segurança pura e comportamento correto do existente. As implementações podem estar erradas. Hardware pode introduzir ataque vetores anteriormente não considerados. O modelo de segurança pode ser insuficiente e não estar em conformidade com uso na vida real.

É necessário um julgamento sobre quanta especificação, rigor e verificação são exigidos para um protocolo. Por exemplo, empreendimentos como o projeto SeL4 Microkernel são um excelente exemplo de uma solução totalmente ataque à ambiguidade, exigindo quase 200.000 linhas de código Isabelle para verificar menos de 10.000 linhas de código C. No entanto, um kernel de sistema operacional é uma infra-estrutura crítica que poderia ser um grave vulnerabilidade de segurança se não for implementada adequadamente.

Todo software criptográfico deveria exigir o mesmo esforço hercúleo? Ou pode-se escolher um menos caminho vigoroso que produz resultados equivalentes? Também importa se o protocolo é perfeitamente implementado se o ambiente em que é executado for notoriamente vulnerável, como em WindowsXP?

Para Cardano, escolhemos o seguinte compromisso. Primeiro, devido à natureza complexa do domínios da criptografia e da computação distribuída, as provas tendem a ser muito sutis, longas e complicado e às vezes bastante técnico. Isto implica que a verificação conduzida por humanos pode ser tedioso e sujeito a erros. Portanto, acreditamos que toda prova significativa apresentada em branco o papel escrito para cobrir a infraestrutura principal precisa ser verificado por máquina.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 25 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Segundo, para verificar o código Haskell para que corresponda corretamente aos nossos white papers, podemos escolher entre duas opções populares: interface com provadores SMT via LiquidHaskell e uso Isabelle/HOL.

Os solucionadores SMT (teorias do módulo de satisfatibilidade) lidam com o problema de encontrar soluções funcionais parâmetros que satisfazem uma equação ou inequação ou, alternativamente, mostrando que tais parâmetros não existem. Conforme discutido por De Moura e Bjørner, os casos de uso de SMT são vários, mas a chave O ponto é que essas técnicas são poderosas e podem reduzir drasticamente bugs e erros semânticos.

Isabelle/HOL, por outro lado, é uma ferramenta mais expressiva e diversificada que pode ser usada para

especificam e verificam a implementação. Isabelle é uma solucionadora de teoremas genérica que trabalha com

construções lógicas de ordem superior, capazes de representar conjuntos e outros objetos matemáticos para

ser usado em provas. A própria Isabelle se integra ao provador Z3 SMT para trabalhar com problemas envolvendo

tais restrições.

Ambas as abordagens agregam valor e, portanto, decidimos adotá-las em etapas.

Provas escritas por humanos serão codificadas em Isabelle para verificar sua exatidão, satisfazendo assim

nossa exigência de verificação de máquina. E pretendemos adicionar gradualmente Liquid Haskell a todos

código de produção na implementação de Cardano ao longo de 2017 e 2018.

Como ponto final, a verificação formal é tão boa quanto a especificação a partir da qual se está verificando e os conjuntos de ferramentas disponíveis. Uma das principais razões para escolher Haskell é que ele fornece o equilíbrio certo entre praticidade e teoria. A especificação derivada de white papers se parece muito com código Haskell, e conectar os dois é consideravelmente mais fácil do que fazê-lo com um imperativo linguagem.

Ainda há enorme dificuldade em capturar uma especificação adequada e também atualizar o especificação quando alterações como atualizações, correções de bugs e outras preocupações precisam ser feitas; no entanto, esta realidade não diminui de forma alguma o valor global. Se alguém tiver problemas de construir uma base sobre segurança comprovável, então a implementação deve ser o que foi realmente proposto no papel.

Transparência

Uma questão final ao discutir a ciência e a engenharia do desenvolvimento de uma criptomoeda é como abordar a transparência. As decisões de design não são booleanas e etéreas, chegando a desenvolvedores em sonhos e de repente se tornando canônicos. Eles são derivados da experiência, debate e lições aprendidas com erros anteriores.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 26 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

O desafio é que um processo de desenvolvimento totalmente transparente poderia influenciar a discussão para tornar-se mais teatral do que baseado em evidências. Egos, tentativas de conquistar uma comunidade e medo parecer estúpido poderia forçar as conversas a se tornarem estéreis e contraproducentes.

Além disso, pessoas de fora poderiam tentar cooptar a conversa num esforço para forçar a sua tangente particular para se tornar o único tópico relevante. Todo mundo tem uma vaca sagrada.

Então, como equilibrar a necessidade de um processo de desenvolvimento transparente, que se deve à comunidade que confiou o progresso a um conjunto de desenvolvedores principais, com necessidade de liberdade de expressão sem medo?

Com Cardano, decidimos adotar um processo orientado por padrões com supervisão direcionada. A comunidade precisa saber que a ciência e o código são bem pensados, verificados e realmente resolvem as coisas que os desenvolvedores afirmam que fazem. Para este fim, a revisão por pares deve satisfazer completamente a componente científica, uma vez que foi concebido especificamente para este fim e nos deu o mundo moderno.

Para código, este tópico é um pouco mais opinativo. Para Cardano, optamos por confiar o Cardano Fundação servirá como auditor final do trabalho da IOHK. Em particular, são-lhes confiados com as seguintes atribuições:

1. Revisão regular do código-fonte contido no Cardano Github para verificar a qualidade, cobertura do teste, comentários adequados e integridade
2. Revisão de toda a documentação Cardano quanto à correção e utilidade
3. Verificando as alegações de que os protocolos produzidos pelos cientistas estão totalmente implementados

Para cumprir esta tarefa, a IOHK apresentará relatórios regulares e oportunos à Fundação – e aos seus atribui – para revisar. A Fundação, por sua vez, divulgará um relatório de supervisão do desenvolvimento ao Cardano comunidade pelo menos trimestralmente.

Este primeiro esforço pretende iniciar uma conversa mais ampla sobre como um projeto descentralizado alcança a responsabilidade. A supervisão do desenvolvimento por parte de terceiros de confiança é uma ferramenta poderosa para garantir que os desenvolvedores estejam no caminho certo, mas não é suficiente para garantir completamente que o projeto sempre entregará.

Por isso, após a integração da tesouraria na CSL, a Fundação incentivará equipes de desenvolvimento adicionais para construir clientes alternativos com base no formal especificações desenvolvidas em conjunto com a IOHK. A diversidade de desenvolvimento tem sido uma ótima técnica usado pelo projeto Ethereum para evitar a formação de uma monocultura em torno de um único conjunto de ideias ou desenvolvedores. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 27 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

No que diz respeito às especificações, há uma riqueza de conhecimentos a serem obtidos a partir dos padrões processo seguido pelo WC3 e pelo IETF. Em última análise, cada protocolo Cardano integra requer uma especificação independente de trabalho acadêmico ou código-fonte. Em vez disso, precisa estar em um formato adequado, como um RFC.

Um dos princípios fundamentais da Fundação Cardano é atuar como órgão de padronização especificamente para o Cardano protocolos e para hospedar conversas para atualizar, adicionar ou alterar padrões relevantes para Cardano. Se a Internet (um produto de padrões) através da IETF puder chegar a um consenso sobre o que protocolos principais devem ser usados, então é inteiramente razoável supor que um órgão dedicado poderia facilitar o mesmo resultado.

Como nota final, é interessante explorar a transferência destas discussões para uma entidade descentralizada hospedado em um blockchain. Este conceito é chamado de organização autônoma descentralizada (DAO) e trabalhos preliminares estão em andamento nesta área. A IOHK desenvolverá um modelo de referência DAO para entidades que fazem interface com Cardano para usar se desejar e é prerrogativa da Fundação Cardano decidir se irão adotá-lo sob seu mandato de padrões.

Sciences et ingénierie

L'art de l'itération

Les crypto-monnaies sont des protocoles implémentés sous forme de logiciels. Les protocoles sont tout simplement intelligents conversations entre participants. Le logiciel est en fin de compte la manipulation de données compte tenu de certaines POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 20 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

objectif. Pourtant, la différence entre un logiciel solide et fiable et des protocoles et protocoles utiles et sécurisés leur conversation est complètement humaine.

Un bon logiciel nécessite des responsabilités, des exigences commerciales claires, des processus reproductibles, des tests approfondis et des itérations infatigables. Un bon logiciel a également besoin de personnes raisonnablement talentueuses développeurs ayant suffisamment de connaissances spécifiques au domaine pour concevoir correctement un système capable de pleinement résoudre le problème qu’ils tentent de résoudre.

Quant aux protocoles utiles et sécurisés, notamment ceux impliquant la cryptographie et les protocoles distribués systèmes, ils commencent par un processus plus académique et axé sur les normes. Examen par les pairs, sans fin des débats et une conception ferme des compromis sont nécessaires pour garantir l’utilité d’un protocole. Pourtant ces ne suffisent pas à eux seuls, les protocoles doivent être mis en œuvre et testés en situation réelle.

Le défi unique dans le secteur des cryptomonnaies réside dans le fait que deux cryptomonnaies complètement différentes les philosophies sont mutilées sans une synthèse hégélienne appropriée. Notre thèse est un « mouvement vite et casse les choses »mentalité de startup motivée par la jeunesse, la cupidité et la passion. L'antithèse est une approche lente, méthodique et orientée académiquement motivée par le désir de solidifier le innovations de notre espace dans une niche agréable bénéficiant d'un financement et d'un prestige suffisants.

Le résultat est que de nombreuses crypto-monnaies sont entièrement spécifiées sur un livre blanc uniquement. pertinent pour un CV ou simplement par un code écrit à la hâte. Aucune des dix principales crypto-monnaies actuelles par 18 la capitalisation boursière est basée sur un protocole évalué par les pairs. Aucun des dix meilleurs actuels les crypto-monnaies ont été implémentées à partir d'une spécification formelle.

Pourtant, des milliards de dollars sont en jeu. Une fois déployée, une cryptomonnaie est extrêmement

difficile à changer. Comment un utilisateur sait-il qu’il utilise un système sécurisé ? Comment un utilisateur

savez-vous que les allégations marketing sont légitimes ? Et si le protocole proposé ne parvenait jamais à atteindre

les revendications ?

Ce manque de synthèse et de respect du processus est l'une des principales raisons pour lesquelles IOHK a voulu

construire Cardano. Notre espoir était de développer un projet de référence qui servirait d'exemple de

comment faire les choses de manière plus efficace, saine et honnête.

Le but n'est pas de proposer une manière totalement nouvelle de développer des logiciels et des protocoles, mais plutôt de

reconnaître que d'excellents logiciels et protocoles existent déjà et que nous pouvons imiter les conditions

qui a conduit à leur création. Deuxièmement, rendre ces conditions publiques et open source si

possible afin qu'ils puissent être imités au profit de l'ensemble du domaine. 18 Voir www.coinmarketcap.com pour une liste complète par capitalisation boursière 19 Ethereum a une spécification semi-formelle connue sous le nom de Livre jaune ; cependant, la sémantique EVM est pas entièrement spécifiés ni suffisants pour une mise en œuvre complète du protocole. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 21 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Faits et opinions

L’autre préoccupation concerne la question de savoir où finissent les faits et où commence l’opinion. Il y en a des centaines

langages de programmation, des dizaines de paradigmes de développement et plus d'une philosophie sur

gestion de projet. Le monde universitaire est confronté à ses propres défis découlant de son

distance des préoccupations commerciales et de l’aspect pratique.

Pour Cardano, nous avons d'abord tenté de capturer les lacunes évidentes qui peuvent être universellement acceptées.

être utile d’un point de vue technique. Par exemple, la cryptographie et la distribution

les systèmes sont tous deux des sujets extraordinairement complexes avec beaucoup trop d'exemples montrant à quel point des mains naïves

peut commettre d’horribles erreurs. Par conséquent, tout protocole nécessitant un aperçu de ces domaines nécessite

être conçu par un expert reconnu et soumis à l’examen d’autres experts.

Ouroboros est notre première étude de cas dans ce domaine. Il a été conçu par une équipe de cryptographes avec

un historique de publication vaste, diversifié et publiquement vérifiable. Il a été construit selon la norme

processus de cryptographie, avec des hypothèses de sécurité, un modèle contradictoire et des preuves. Ces

les épreuves ont été vérifiées par soumission à des conférences et aussi de manière autonome par ordinateur

20 épreuves rédigées en Isabelle par une équipe de l'Université de Cambridge.
21

Pourtant, ce travail à lui seul ne fournit aucune garantie d'utilité - juste une vérification rigoureuse d'un élément de sécurité.

modèle étant donné certaines hypothèses. Pour être utile, il faut implémenter et tester le protocole.

Nos développeurs l'ont fait à la fois en Haskell et en Rust. Ce travail a révélé que davantage d'efforts

Il fallait se concentrer sur le modèle de synchronisation, ce qui a conduit à la création d'Ouroboros

Praos.

Cet art de l'itération est ce qui produit d'excellents protocoles, chaque étape menant à de nouvelles leçons et

une obligation de revérifier l'exactitude de l'étape précédente. C'est coûteux, cela prend du temps et, à

22 des moments vraiment fastidieux, mais il est nécessaire de garantir qu'un protocole est correctement conçu.

Les protocoles – en particulier ceux destinés à être utilisés par des milliards de personnes – ne sont pas de courte durée et ne durent pas longtemps.

évoluant. Ils sont plutôt destinés à être suivis pendant des années, voire des décennies. Il semble entièrement

Il est raisonnable de penser qu'avant d'imposer au monde un nouveau système financier, nous devons tous vivre avec

pour les 100 prochaines années, nous voulons exiger de ses concepteurs un peu d'ennui et de rigueur.

20 Article accepté numéro 71 de la conférence annuelle sur la cryptographie de l'IACR en Californie
21 Par Kawin Worrasangasilpa sous la direction du professeur Lawrence Paulson
22 En suivant une tangente par souci de légèreté, il convient d’observer la discussion du professeur Halmos sur la manière de écrire un manuel de mathématiques POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 22 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Péchés fonctionnels

En évoluant vers un territoire plus opiniâtre, les outils, langages et méthodologies utilisés dans

le développement de logiciels est plus le fruit d’une providence religieuse que d’une réalité objective. Origine

le code est comme la prose écrite. Tout le monde a une opinion sur ce qui est bien – et sur ce qui l’est

la communication est parfois moins importante que la manière dont elle est communiquée.

Nous devons commettre le péché de choisir un camp en acceptant qu'il aura tort dans au moins un

les yeux de la personne. Cependant, il existe au moins un large corpus de justifications derrière notre choix.

Les protocoles rendant Cardano possible sont en cours d'implémentation dans Haskell. L'interface utilisateur

a été encapsulé dans une branche d'Electron que nous appelons Dédale. Nous avons choisi de

utilisez le modèle architectural Web lorsque cela est possible, et pour notre base de données, nous avons opté pour une clé-valeur

paradigme utilisant RocksDB.

Au niveau des composants, cette abstraction signifie que la maintenance est beaucoup plus simple, meilleure

la technologie peut être remplacée plus tard avec peu d'effort, et que notre pile est en partie liée au

efforts de développement de Github et Facebook.

L'utilisation d'une WebGUI nous permet d'exploiter React et de développer des fonctionnalités frontales à l'aide d'outils

compris par des centaines de milliers de développeurs JavaScript. Utiliser une architecture Web

signifie que les composants peuvent être traités comme des services et que le modèle de sécurité est judicieux.

Choisir Haskell pour le développement du protocole a été le choix le plus difficile. Même dans le fonctionnel

monde, les choix sont nombreux. Du côté plus flexible et impur, il existe des langages comme

Clojure, Scala et F#, qui bénéficient des énormes bibliothèques de Java et du .Net

écosystèmes tout en préservant certains des meilleurs aspects de la programmation fonctionnelle.

Il existe des langues plus académiques telles que l'Agda et l'Idris qui ont un lien étroit avec

connexion à des techniques qui permettraient une vérification rigoureuse de l’exactitude. Pourtant, ils manquent

bibliothèques raisonnables et ont une expérience de développement médiocre.

Pour Cardano, le choix s'est porté sur Ocaml et Haskell. Ocaml est un langage merveilleux avec

une grande communauté, de bons outils, une expérience de développement raisonnable et un grand héritage dans le

espace de vérification formelle via Coq . Alors pourquoi avons-nous choisi Haskell ? 23

23 Ajoutant à ce point, IOHK a effectivement un projet en cours de mise en œuvre en Ocaml appelé Qeditas qui nous avons hérité du pseudonyme Bill White POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 23 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Pourquoi Haskell ?

Les protocoles qui composent Cardano sont distribués, livrés avec de la cryptographie et nécessitent un

haut degré de tolérance aux pannes. Dans les plus beaux jours, il y aura encore des acteurs byzantins, malformés

messages et clients défectueux provoquant involontairement une certaine forme de ravages sur le réseau.

Premièrement, nous voulions un langage bénéficiant d'un système de typage solide dans lequel nous pourrions facilement utiliser des outils.

telles que Quickcheck et des techniques plus élaborées telles que les types de raffinement tout en ayant un

attente raisonnable de tolérance aux pannes. Un modèle OTP de style Erlang satisfait ce dernier

alors que des langages comme Haskell et Ocaml satisfont au premier.

Avec l'introduction de Cloud Haskell, Haskell a bénéficié de nombreux avantages d'Erlang sans pour autant

abandonner les siens. De plus, la modularité et la composabilité de Haskell nous ont permis de

utilisez une bibliothèque sur mesure plus légère appelée Time Warp pour Cardano.

Deuxièmement, les bibliothèques de Haskell ont considérablement évolué au cours des dernières années grâce à un travail approfondi.

d'entités commerciales comme Galois, FP Complete et Well-Typed. En conséquence, Haskell peut

être utilisé pour écrire des applications de production.
24

Troisièmement, l’évolution rapide de PureScript a fourni un pont indispensable vers le monde JavaScript.

semblable à ce que Clojurescript a donné à Clojure. Nous pensons que PureScript sera particulièrement important

lorsqu'il s'agit de faire fonctionner Cardano dans un navigateur et de développer des portefeuilles mobiles.

Quatrièmement, en ce qui concerne la résolution des dépendances, Haskell a bénéficié ces dernières années d'une

un effort social et technologique important mené par des technologues comme Michael Snoyman à travers un

plate-forme appelée stackage qui est à la fois facile à utiliser et bien prise en charge par FP Complete.

Cinquièmement, au-delà d'une résolution adéquate des dépendances, nous visons à ce que nos versions logicielles soient

reproductible. En d'autres termes, avec les mêmes valeurs de configuration et versions de dépendances, il

devrait produire exactement les mêmes artefacts de construction. Grâce au stackage, nous utilisons NixOps

pour atteindre la reproductibilité avec beaucoup de succès.

Enfin, le vivier de talents des développeurs spécialisés dans Haskell est raisonnablement important, comparé à

ses pairs – et assez bien formé avec la bonne combinaison de diplômes universitaires et industriels. C'est aussi

agit comme un filtre de compétences car il est rare de trouver des développeurs Haskell expérimentés sans

connaissance approfondie de l'informatique.
24 Bryan O'Sullivan propose ici un exposé intéressant sur l'utilisation industrielle de Haskell.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 24 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Spécification formelle et vérification

L’un des points forts du développement d’un protocole utilisant un modèle de sécurité dont l’exactitude a été prouvée réside dans le fait qu’il fournit une limite garantie de la puissance adverse. On donne un contrat qui, aussi longtemps que le le protocole est suivi et les preuves sont correctes, l'adversaire ne peut pas violer la sécurité propriétés revendiquées.

Une réflexion plus approfondie rend l’affirmation antérieure encore plus significative. Les adversaires peuvent être arbitrairement intelligent et capable. Dire qu’ils sont vaincus uniquement grâce à un modèle mathématique est extraordinaire. Et bien sûr, ce n’est pas entièrement vrai.

La réalité introduit des facteurs et des circonstances qui empêchent l'utopie de la sécurité pure et comportement correct par rapport à l'existant. Les implémentations peuvent être erronées. Le matériel peut introduire une attaque vecteurs jusqu’alors inconsidérés. Le modèle de sécurité peut être insuffisant et ne pas être conforme aux utilisation réelle.

Il faut faire preuve de jugement quant au degré de spécification, de rigueur et de vérification requis pour un protocole. Par exemple, des projets tels que le projet SeL4 Microkernel sont un excellent exemple d'une approche globale. un assaut contre l'ambiguïté nécessitant près de 200 000 lignes de code Isabelle pour vérifier moins de 10 000 lignes de code C. Pourtant, un noyau de système d'exploitation est une infrastructure critique qui pourrait être un grave vulnérabilité de sécurité s’il n’est pas correctement mis en œuvre.

Tous les logiciels cryptographiques devraient-ils nécessiter le même effort herculéen ? Ou peut-on choisir un moins une voie vigoureuse qui produit des résultats équivalents ? Est-il également important que le protocole soit parfaitement mis en œuvre si l'environnement dans lequel il s'exécute est notoirement vulnérable, comme sur WindowsXP ?

Pour Cardano, nous avons choisi le compromis suivant. Premièrement, en raison de la nature complexe du domaines de la cryptographie et de l'informatique distribuée, les preuves ont tendance à être très subtiles, longues, compliqué et parfois assez technique. Cela implique que la vérification humaine peut être fastidieux et sujet aux erreurs. Par conséquent, nous pensons que toute preuve significative présentée dans un blanc le papier rédigé pour couvrir l’infrastructure de base doit être vérifié par machine.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 25 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Deuxièmement, pour vérifier le code Haskell afin qu'il corresponde correctement à nos livres blancs, nous pouvons choisir entre deux options populaires : s'interfacer avec les prouveurs SMT via LiquidHaskell et utiliser Isabelle/HOL.

Les solveurs SMT (théories de satisfiabilité modulo) traitent le problème de la recherche de fonctionnalités paramètres qui satisfont une équation ou une inéquation, ou bien montrant que ces paramètres n'existent pas. Comme l’expliquent De Moura et Bjørner, les cas d’utilisation du SMT sont variés, mais la clé Le fait est que ces techniques sont à la fois puissantes et peuvent réduire considérablement les bugs et erreurs sémantiques.

Isabelle/HOL, en revanche, est un outil plus expressif et diversifié qui peut être utilisé pour

à la fois spécifier et vérifier la mise en œuvre. Isabelle est une résolveuse de théorèmes génériques travaillant avec

constructions logiques d'ordre supérieur, capables de représenter des ensembles et d'autres objets mathématiques pour

être utilisé dans les preuves. Isabelle elle-même s'intègre au prouveur Z3 SMT pour travailler sur des problèmes impliquant

de telles contraintes.

Les deux approches apportent de la valeur et nous avons donc décidé de les adopter toutes deux par étapes.

Les preuves écrites humaines seront codées dans Isabelle pour vérifier leur exactitude, satisfaisant ainsi

notre exigence de vérification de la machine. Et nous avons l'intention d'ajouter progressivement Liquid Haskell à tous

code de production dans la mise en œuvre de Cardano tout au long de 2017 et 2018.

Enfin, la qualité de la vérification formelle dépend de la spécification à partir de laquelle on vérifie et les ensembles d’outils disponibles. L'une des principales raisons du choix de Haskell est qu'il offre la juste équilibre entre praticité et théorie. Les spécifications dérivées des livres blancs ressemblent beaucoup à code Haskell, et connecter les deux est considérablement plus facile que de le faire avec un impératif langue.

Il reste encore d'énormes difficultés à capturer une spécification appropriée et à mettre à jour les spécification lorsque des modifications telles que des mises à niveau, des corrections de bogues et d'autres problèmes doivent être apportées ; cependant, cette réalité ne diminue en rien la valeur globale. Si l'on a du mal à construisant une base sur une sécurité prouvable, alors la mise en œuvre devrait être ce qui était effectivement proposé sur papier.

Transparence

Une dernière question lorsque l’on discute de la science et de l’ingénierie liées au développement d’une crypto-monnaie est comment aborder la transparence. Les décisions de conception ne sont ni booléennes ni éthérées. développeurs dans les rêves et puis devient soudainement canon. Ils sont issus de l'expérience, débat et les leçons tirées des erreurs passées.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 26 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le défi est qu’un processus de développement totalement transparent pourrait influencer les discussions deviennent plus théâtrales que fondées sur des preuves. Egos, tentatives de conquête d’une communauté et peur avoir l’air stupide pourrait rendre les conversations stériles et contre-productives.

En outre, des étrangers pourraient tenter de récupérer la conversation dans le but de forcer leur opinion. tangente particulière pour devenir le seul sujet pertinent. Tout le monde a une vache sacrée.

Alors, comment concilier la nécessité d’un processus de développement transparent, dû à la communauté qui a confié le progrès à un ensemble de développeurs principaux, avec le besoin de liberté d'expression sans crainte ?

Avec Cardano, nous avons décidé d'adopter un processus axé sur les normes avec une surveillance dirigée. La communauté doit savoir que la science et le code sont bien pensés, vérifiés et résolvez réellement les choses que les développeurs prétendent faire. À cette fin, l'examen par les pairs devrait satisfaire pleinement au volet scientifique puisqu’il a été conçu spécifiquement à cet effet et nous a donné le monde moderne.

Pour le code, ce sujet est un peu plus opiniâtre. Pour Cardano, nous avons choisi de confier le La Fondation Cardano servira d’auditeur final du travail de l’IOHK. Ils sont notamment chargés avec les missions suivantes :

1. Examen régulier du code source contenu dans le Cardano Github pour en vérifier la qualité, couverture des tests, commentaires appropriés et exhaustivité
2. Examen de toute la documentation Cardano pour en vérifier l'exactitude et l'utilité
3. Vérifier les affirmations selon lesquelles les protocoles produits par les scientifiques sont pleinement mis en œuvre

Pour accomplir cette tâche, l'IOHK soumettra des rapports réguliers et opportuns à la Fondation – et à ses assigne – à réviser. La Fondation publiera à son tour un rapport de surveillance du développement au Cardano communauté au moins une fois par trimestre.

Ce premier effort vise à lancer une conversation plus large sur la manière dont un projet décentralisé parvient à la responsabilisation. La supervision du développement par un tiers de confiance est un outil puissant pour garantir que les développeurs sont sur la bonne voie, mais cela ne suffit pas à garantir complètement que le le projet sera toujours à la hauteur.

C'est pour cette raison qu'après l'intégration de la trésorerie à CSL, la Fondation encouragera des équipes de développement supplémentaires pour construire des clients alternatifs basés sur le formel spécifications développées conjointement avec IOHK. La diversité du développement a été une excellente technique utilisé par le projet Ethereum pour éviter la formation d'une monoculture autour d'un seul ensemble d'idées ou développeurs. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 27 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En ce qui concerne les spécifications, il existe une richesse de connaissances à tirer des normes processus suivi par le WC3 et l’IETF. Au final, chaque protocole Cardano intègre nécessite une spécification indépendante du travail académique ou du code source. Il faut plutôt être dans un format approprié tel qu'un RFC.

L’un des principes fondamentaux de la Fondation Cardano est d’agir en tant qu’organisme de normalisation spécifiquement pour le Cardano protocoles et pour héberger des conversations pour mettre à jour, ajouter ou modifier les normes pertinentes pour Cardano. Si Internet (un produit de normes) via l'IETF peut parvenir à un consensus sur ce protocoles de base doivent être utilisés, il est alors tout à fait raisonnable de supposer qu'un organisme dédié pourrait faciliter le même résultat.

En guise de conclusion, il est intéressant d'envisager de déplacer ces discussions vers une entité décentralisée. hébergé sur un blockchain. Ce concept est appelé organisation autonome décentralisée (DAO) et des travaux préliminaires sont en cours dans ce domaine. IOHK développera un modèle de référence DAO pour entités interfacées avec Cardano à utiliser si vous le souhaitez et c'est la prérogative de la Fondation Cardano décider s'il convient de l'adopter dans le cadre de leur mandat de normalisation.

Interoperabilidade

A Grande Miopia

As finanças e a ideia mais ampla de comércio são, em última análise, um empreendimento humano. Existem elegantes linguagens, ferramentas extremamente precisas para capturar intenções e labirintos intermináveis de técnicas para conseguir recurso em caso de resultados ruins, bem como milhares de anos de leis buscando equidade no comércio. Na verdade, algumas das primeiras formas de escrita eram contratos comerciais.

No entanto, o elemento humano não pode ser evitado, independentemente da desintermediação da lógica, máquinas ou sentinelas governamentais dotadas de poderes terríveis. É aí que reside o grande miopia das criptomoedas. Eles estão em sua maioria divorciados da realidade humana.

As pessoas cometem erros. As pessoas mudam de ideia. As pessoas nem sempre compreendem completamente o relações comerciais que eles estão concordando em entrar. As pessoas são enganadas e fraudadas. As circunstâncias mudam a nível individual e estadual e exigem soluções únicas. Trabalhando neste ponto, a maioria dos contratos contém cláusulas de força maior.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 28 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

No entanto, as criptomoedas procuram eliminar a compreensão, a compaixão e o julgamento humanos em troca de um juiz digital indiferente, perfeitamente vinculado a uma constituição sem consideração justiça ou resultado. Dado que os humanos sempre tentaram e continuarão a tentar mudar as regras para fins egoístas, é revigorante ter realmente um sistema que não pode ser corrompido.

Mas o que acontece quando um usuário precisa combinar esses novos sistemas com sistemas financeiros tradicionais? sistemas? O que acontece quando alguém precisa viver no mundo humano? Por exemplo, propriedade direitos como o registo de terras vivem inteiramente no mundo físico. Mesmo tokenizing a terra ainda requer algum reconhecimento da jurisdição competente.

Para fornecer outro ponto, uma barra de ouro não pode se mover sozinha. O juiz digital pode comandar seu movimento, mas não pode forçá-lo sem que os humanos o acomodem. Portanto, um livro-razão digital pode afastar-se da realidade.

Assim, um projetista de protocolo precisa decidir quanta realidade humana deve ser permitida em seu criptomoeda. Quanto mais flexibilidade, menos fidelidade ao absoluto se deve esperar. O mais proteção do consumidor, mais mecanismos deverão existir para fornecer reversões, reembolsos e edição da história.

Esta seção e a próxima sobre regulamentação cobrem a abordagem pragmática de Cardano ao tema. Em termos de interoperabilidade, há dois grandes grupos a discutir. Primeiro, a interoperabilidade com sistemas financeiros legados (o mundo sem criptomoeda). Em segundo lugar, a interoperabilidade com outros criptomoedas.

Legado

A Fintech não é composta por um único padrão ou mesmo por uma linguagem comum. Há um tremendo

diversidade de abordagens, as entidades responsáveis pela liquidação e compensação, os negócios

processos e outros domínios envolvidos na contabilidade, transformação e movimentação de

valor.

Não é razoável sugerir que, simplesmente porque uma tecnologia é superior, o resto das

ecossistema irá de alguma forma admitir a derrota e a atualização. Por exemplo, muitas pessoas ainda usam

Windows XP 16 anos após o lançamento inicial. Este triste estado de coisas equivale a alguém

usando o Macintosh original lançado em 1984 no ano 2000.

Deixando de lado o comportamento do consumidor, as empresas geralmente são ainda mais lentas em seu ciclo de atualização. Muitos

os bancos ainda usam back-ends escritos em Cobol. Uma vez que a infraestrutura é conhecida por funcionar e atende

requisitos de negócios, geralmente há pouco incentivo para atualizar ou refinar o software e

protocolos para benefício do consumidor fora de questões de conformidade ou segurança. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 29 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Para Cardano, primeiro precisamos estabelecer o que uma ponte legada implicaria? Quais sistemas,

padrões, entidades e protocolos que devemos ter como objetivo garantir que haja uma certeza razoável de

interoperabilidade? Essas pontes podem ser federadas ou descentralizadas? Ou como trocas eles vão

tornam-se pontos centrais de falha para hackers, proprietários mal-intencionados ou reguladores excessivamente zelosos?

Há três preocupações que precisam ser abordadas. Primeiro, a representação da informação e

crença em sua precisão. Em segundo lugar, a representação do valor e a propriedade associada. Terceiro,

representação de entidades e de um determinado usuário juntamente com o nível agregado de confiança em tal

entidades.

Para serem úteis, a informação e o valor precisam fluir livremente entre o mundo financeiro legado e

Cardano. Em seguida, os resultados precisam ser estabelecidos e registrados para construir reputação e fundamentos

para recurso. No entanto, essas coisas são principalmente atribuídas, por natureza, aos atores envolvidos. Para codificar

colocá-los em um blockchain os tornaria globais e permanentes.

Além disso, o valor nem sempre pode fluir livremente no mundo legado. Embargos, sanções, capital

controlos e acções judiciais poderiam congelar activos. Para ser interoperável, não se pode criar um

sempre abra a válvula de escape para que o valor vaze.

Por fim, a marca e a reputação das entidades são um dos pilares da gestão comercial. relacionamentos. Bilhões de dólares são gastos anualmente em campanhas de marketing para estabelecer, manter e marcas de reparo. Se forem feitas alegações difamatórias, falsas ou enganosas sobre uma pessoa ou entidade, então eles têm o direito de buscar recursos legais. No entanto, a tentativa de blockchains de preservar permanentemente história.

Assim como nossa escolha de linguagem de programação, não existe uma solução ideal para Cardano resolver essas preocupações de uma forma onipresentemente correta. Em vez disso, temos de ceder à opinião apoiada novamente.

Com relação ao fluxo de informações, esse fluxo é conhecido como feed de dados confiável. Tem uma fonte e conteúdo. As fontes têm alguma noção de credibilidade e incentivo para enganar ou manter honestidade. O conteúdo pode ser codificado arbitrariamente.

Dado que pretendemos oferecer suporte a hardware confiável em nossa pilha de protocolos, optamos por explore a adição de suporte para o Town Crier Protocol do Professor Ari Juel et al. Supondo que existência de um conjunto confiável de fontes de dados, o Town Crier permite a coleta segura de dados da web conteúdo para uso em smart contracts e outros aplicativos.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 30 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Uma lista inicial de fontes será fornecida pela Emurgo, IOHK e pela Fundação Cardano. Mais tarde esta lista será substituída por uma lista com curadoria da comunidade usando mecânica derivada de Cardano sistema de tesouraria. Nossa esperança é que um sistema de reputação possa se materializar em torno de bons feeds de dados, criando assim um ciclo de feedback positivo para melhorar gradualmente a confiabilidade e a fidelidade.

A representação de valor é um tema mais complexo. Ao contrário da informação – onde uma vez o veracidade, oportunidade e integridade são estabelecidas, os protocolos podem se comportar de maneira confiável e forma determinística – o valor é mais delicado.

Uma vez tokenizado, o valor deve se comportar como um objeto único. As informações podem ser copiadas e repassado, mas um token representando a propriedade de algo (digamos, um título de veículo) não pode ser clonado e negociado em dois livros diferentes. Este ato destruiria efetivamente a integridade do sistema.

O desafio da interoperabilidade legada ao lidar com valor tokenizado é que a confiança suposições, confiabilidade e auditabilidade mudam à medida que tokens fluem entre os livros contábeis. Por exemplo, se Bob possui alguns Bitcoin e depois os deposita em uma exchange, então Bob agora tem o representação da bolsa de seu Bitcoin em seu livro-razão. No caso do MtGOX, o seu livro-razão não se conformam com a realidade, fazendo com que os usuários percam tudo.

O problema é ainda mais complicado pela necessidade de sistemas legados reconhecerem tokens que vivem em uma criptomoeda. Como mencionado anteriormente, as empresas são historicamente resistentes à modernização seu software e suporte a novos protocolos. Esta situação torna difícil ver uma clara solução.

Para Cardano, nossa melhor esperança é fornecer uma opção para os usuários anexarem um rico suprimento de metadados às suas transações e depois esperar que surjam os padrões da indústria para se conectar. Alguns progresso foi feito com o grupo de trabalho Interledger, esforços como R3Cev e iniciativas internacionais mandatos para atualizar antigos protocolos financeiros.

No entanto, o maior desafio continua a ser quantificar e qualificar o valor enviado de um legado sistema para um livro-razão de criptomoeda. Por exemplo, se Bob é dono de um banco e emite um dólar apoiou token, então ele sempre pode construir uma ponte para enviar seus tokens para um livro-razão como Cardano como um ativo emitido pelo usuário.

Embora Cardano rastreie a propriedade com precisão e forneça todos os recursos aos quais chegamos amor, como registro de data e hora e auditabilidade, nenhuma criptomoeda pode fazer de Bob um banqueiro honesto. Ele sempre tem a opção de administrar um banco de reservas fracionárias, não garantindo todo o seu dólar. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 31 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

tokens com dólares reais. Esta fraude não pode ser detectada por uma criptomoeda, a menos que o dólar em si era um token contabilizado por um livro-razão digital. 25

Finalmente, a representação de entidades online é um problema de rede clássico que remonta ao início dias de internet. Universidades, empresas, departamentos governamentais e quaisquer usuários arbitrários precisam estabelecer sua identidade em algum momento.

Para este fim, soluções pragmáticas mas centralizadas, como a Infraestrutura de Chave Pública da web e O sistema DNS da ICANN foi implementado. Dado que gostamos da web moderna, estes as soluções são escaláveis e práticas. Mas eles não respondem a uma questão mais comercialmente orientada questão de confiabilidade, confiabilidade e outras metacaracterísticas necessárias para determinar se alguém quiser fazer negócios com a entidade.

Os hosts de mercado multifacetados, como o eBay, construíram um modelo de negócios fornecendo alguns desses metadados juntamente com uma estrutura para concluir transações. Julgamentos sobre o a qualidade do conteúdo, eventos e negócios são muitas vezes profundamente influenciadas apenas pelas classificações online de fontes confiáveis. 26

A parte deste ponto relevante para Cardano é uma questão de centralização da reputação. Um dos nossos objetivos para Cardano é fornecer uma pilha financeira para o mundo em desenvolvimento. Uma chave para esse esforço é a capacidade de estabelecer confiança com atores que nunca conhecemos.

Se uma única entidade ou um consórcio de entidades controlar quem é rotulado como bom ou mau, e não uma entidade orgânica processo derivado de interações reais na comunidade como um todo, então essas entidades poderiam arbitrariamente colocar qualquer pessoa na lista negra por qualquer pecado percebido. Este poder é contra nossos valores como projeto e anula o ponto mais amplo de usar uma criptomoeda.

Felizmente, os mesmos mecanismos usados na votação nas cédulas do Tesouro, acrescentando fontes a uma lista de feeds de dados confiáveis e bifurcação de um protocolo podem ser reutilizados para estabelecer um espaço de reputação. É um área aberta de pesquisa e nossa esperança é fornecer um protocolo de sobreposição para um sistema descentralizado reputação da rede de confiança em 2018-2019, depois que mais elementos fundamentais foram resolvidos.

Interoperabilidade de criptomoeda

25 Por outro lado, para os livros digitais, a prova de reserva foi proposta como uma forma inteligente de manter criptomoeda apenas troca honesta. 26 Essas taxas impactam até mesmo a própria criação de conteúdo. Veja esta história interessante sobre como o Rotten Tomatoes impactou a indústria cinematográfica. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 32 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Passando do mundo legado para livros digitais distribuídos, a interoperabilidade se torna muito mais simples. Cada razão tem um protocolo de rede, padrões de comunicação e premissas de segurança sobre seu respectivo algoritmo de consenso. Estes, por sua vez, podem ser facilmente quantificados.

A circulação de informações é estabelecida conectando-se à rede estrangeira e traduzindo sua mensagens. A movimentação de valor pode ser feita através de um sistema de retransmissão, negociação atômica em cadeia cruzada ou através de um esquema inteligente de cadeias laterais. Como não existe um operador centralizado, é representação de entidades se restringe mais a uma metadiscussão de confiança em desenvolvedores, mineradores ou algum outro corretor de poder.

Para Cardano, estamos integrando um novo protocolo sidechain desenvolvido por Kiayias, Miller e Zindros. Ele fornece uma maneira não interativa de movimentar valor com segurança entre duas cadeias que apoiar o protocolo. Este mecanismo será a principal forma pela qual o valor fluirá entre CSL e um Camada CCL.

Para outras criptomoedas, pontes federadas devem se formar à medida que Cardano cresce em valor e usuário básico. Para ajudar a acelerar esse crescimento, Cardano SL oferece suporte a uma versão restrita do Plutus para scripts de interoperabilidade. Novas transações serão adicionadas no Shelley e em versões posteriores do CSL especificamente para atender a essas necessidades.

O Labirinto de Dédalo

Os pontos sobre a interoperabilidade vêm de uma perspectiva global. Protocolos especializados, novos

tipos de transações, os sistemas para avaliar a credibilidade e o fluxo de informações não podem ter como escopo

apenas um único gatekeeper ou usuário. Em vez disso, devem estar prontamente disponíveis para qualquer pessoa sem

censura ou pedágios.

No entanto, o que acontece quando Cardano não suporta um protocolo, transação ou aplicação que um

o usuário não pode viver sem? Deveríamos simplesmente estar fora do escopo? A web enfrentou uma preocupação semelhante

durante a década de 1990.

Ironicamente, a web oferece duas soluções diferentes que podem ser replicadas com criptomoedas.

A introdução do JavaScript proporcionou programabilidade a qualquer site para adicionar

recursos. A introdução de plug-ins e extensões de navegador adicionou recursos personalizados para

usuários dispostos a instalá-los. Ambas as abordagens nos deram a web moderna juntamente com toda a sua segurança

horrores.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 33 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Ethereum adotou a abordagem anterior, permitindo que os usuários incorporassem subprotocolos no

Ethereum blockchain como smart contracts. Cardano oferece suporte a esse recurso por meio do CCL

paradigma. Mas e as extensões personalizadas?

Um exemplo elucidativo seria um comerciante de criptomoedas. Imagine um mercado descentralizado,

chamado DM, que suporta um conjunto de diferentes criptomoedas. Um trader deseja automatizar seu

estratégias que atuam no DM.

Num ecossistema fragmentado, o trader teria que instalar dezenas de clientes para cada

criptomoeda e, em seguida, escrever um software personalizado para conversar com cada cliente a fim de coordenar

negociações automatizadas. Se um cliente atualizar, isso poderá danificar o software personalizado. Além disso,

e se o comerciante quiser vender o software?

Inspirado no modelo web de extensões, se a interface para diversas criptomoedas puder ser

puxado para uma pilha da web, a tarefa do trader se torna dramaticamente mais fácil. Um universal

interface pode ser estabelecida. A instalação é um clique. A distribuição de software pode ser modelada

depois da loja virtual do Chrome.

Para Cardano, decidimos experimentar este paradigma implantando nossa referência

front-end da carteira no Electron. É um projeto de código aberto mantido pelo Github que combina

tanto Node quanto Chrome juntos. A construção do Electron de Cardano é chamada Daedalus.

A primeira geração de Dédalo funcionará como uma carteira HD com suporte para muitos dos esperados

27 recursos de contabilidade e segurança que são padrões do setor, como gastar senhas e

BIP39. Nas gerações posteriores, o Daedalus se desenvolverá em uma estrutura de aplicação com uma loja,

APIs de integração universal e um SDK.

As principais inovações são a facilidade de desenvolvimento, permitindo que os programadores usem JavaScript,

HTML5 e CSS3 para construir seus aplicativos e uma ponte unificada para aplicativos cruzados

comunicação. Comportamento complexo, como criptografia, gerenciamento de uma rede distribuída e

a mecânica do banco de dados pode ser abstraída, permitindo assim que o desenvolvedor se concentre apenas no usuário

experiência e a lógica central de sua aplicação.

Como o Daedalus pretende ser uma estrutura universal, seu roteiro e evolução são um tanto

independente de Cardano. Durante 2017 eles estão fortemente acoplados, mas mais tarde Cardano será apenas

outro aplicativo para um usuário Daedalus. Também pretendemos explorar recursos extremamente exclusivos

como um serviço universal de gerenciamento de chaves executado exclusivamente em Intel SGX.

27 Que já está disponível em daedaluswallet.io
POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 34 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Em última análise, como criadores de protocolos, não podemos suportar todas as necessidades. A nossa esperança é que a flexibilidade

que a Daedalus fornecerá combinada com smart contracts com estado em execução no CCL irá satisfazer

aqueles deixados de fora por nossas decisões de design. Esperamos também que possam surgir melhores normas para

incentivar todas as criptomoedas a desfrutar de melhor interoperabilidade e segurança.

Interopérabilité

La grande myopie

La finance et l’idée plus large du commerce sont en fin de compte une entreprise humaine. Il existe des élégants langages, des outils extrêmement précis pour capturer l'intention et des labyrinthes infinis de techniques pour obtenir des recours en cas de mauvais résultats ainsi que des milliers d'années de lois cherchant l'équité dans le commerce. En fait, certaines des premières formes d’écriture étaient des contrats commerciaux.

Pourtant, l'élément humain ne peut être évité, indépendamment de la désintermédiation vers la logique, des machines ou des sentinelles gouvernementales dotées de pouvoirs terribles. C'est là que réside le grand myopie des crypto-monnaies. Ils sont pour la plupart coupés de la réalité humaine.

Les gens font des erreurs. Les gens changent d’avis. Les gens ne comprennent pas toujours pleinement relations d'affaires qu'ils acceptent d'établir. Les gens sont induits en erreur et fraudés. Les circonstances changent au niveau individuel et national et nécessitent des solutions uniques. Travaillant sur ce point, la plupart des contrats contiennent des clauses de force majeure.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 28 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Cependant, les crypto-monnaies cherchent à éliminer la compréhension, la compassion et le jugement humains. en échange d'un juge numérique indifférent, parfaitement lié à une constitution sans contrepartie à l’équité ou au résultat. Étant donné que les humains ont toujours essayé et continueront d'essayer de changer les règles à des fins égoïstes, il est rafraîchissant d’avoir un système qui ne peut pas être corrompu.

Mais que se passe-t-il lorsqu'un utilisateur a besoin de combiner ces nouveaux systèmes avec des systèmes financiers traditionnels ? systèmes ? Que se passe-t-il lorsque l’on doit vivre dans le monde humain ? Par exemple, la propriété les droits tels que l’enregistrement foncier vivent entièrement dans le monde physique. Même tokenizing la terre encore nécessite une certaine reconnaissance de la juridiction en place.

Pour ajouter un autre point, un lingot d’or ne peut pas bouger tout seul. Le juge numérique peut commander son mouvement, mais ne peut pas le forcer sans que les humains ne s’y adaptent. Un registre numérique peut donc dérive de la réalité.

Ainsi, un concepteur de protocole doit décider dans quelle mesure la réalité humaine doit être autorisée dans son cadre. crypto-monnaie. Plus il y a de flexibilité, moins on peut s’attendre à une fidélité à l’absolu. Le plus les consommateurs sont protégés, plus il doit exister de mécanismes pour fournir des annulations, des remboursements et édition de l'histoire.

Cette section et la suivante sur la réglementation couvrent l’approche pragmatique de Cardano sur le sujet. Dans En termes d'interopérabilité, il y a deux grands groupes à discuter. Premièrement, l'interopérabilité avec systèmes financiers existants (le monde sans crypto-monnaie). Deuxièmement, l'interopérabilité avec d'autres crypto-monnaies.

Héritage

La Fintech n’est pas composée d’un seul standard ni même d’un langage commun. Il y a énormément

diversité des approches, des entités responsables du règlement-livraison et de la compensation, des

processus et autres domaines impliqués dans la comptabilité, la transformation et le mouvement des

valeur.

Il n'est pas raisonnable de suggérer que, simplement parce qu'une technologie est supérieure, le reste des technologies

l’écosystème admettra d’une manière ou d’une autre sa défaite et s’améliorera. Par exemple, beaucoup de gens utilisent encore

Windows XP 16 ans après la version initiale. Ce triste état de choses équivaut à quelqu'un

en utilisant le Macintosh original sorti en 1984 en 2000.

Mis à part le comportement des consommateurs, les entreprises sont généralement encore plus lentes dans leur cycle de mise à niveau. Beaucoup

les banques utilisent toujours des back-ends écrits en Cobol. Une fois que l’on sait que l’infrastructure fonctionne et répond

exigences de l'entreprise, il y a généralement peu d'incitation à mettre à niveau ou à affiner les logiciels et

protocoles pour le bénéfice du consommateur en dehors des problèmes de conformité ou de sécurité. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 29 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Pour Cardano, nous devons d’abord établir ce qu’impliquerait un pont hérité ? Quels systèmes,

normes, entités et protocoles devrions-nous cibler pour garantir qu’il existe une certitude raisonnable de

interopérabilité ? Ces ponts peuvent-ils être fédérés ou décentralisés ? Ou comme les échanges, le feront-ils

deviennent-ils des points de défaillance centraux pour les pirates informatiques, les propriétaires malveillants ou les régulateurs trop zélés ?

Il y a trois préoccupations auxquelles il faut répondre. Premièrement, la représentation de l'information et

croyance en son exactitude. Deuxièmement, la représentation de la valeur et sa propriété associée. Troisièmement,

représentation des entités et d’un utilisateur particulier aux côtés du niveau global de confiance dans ces

entités.

Pour être utiles, l’information et la valeur doivent circuler librement entre le monde financier traditionnel et

Cardano. Ensuite, les résultats doivent être établis et enregistrés pour bâtir une réputation et des fondements.

pour recours. Pourtant, de telles choses sont pour la plupart limitées aux acteurs impliqués. Pour encoder

les sur un blockchain les rendrait globaux et permanents.

De plus, la valeur ne peut pas toujours circuler librement dans le monde traditionnel. Embargos, sanctions, capitaux

les contrôles et les poursuites judiciaires pourraient geler les avoirs. Pour être interopérable, on ne peut pas créer un

ouvrez toujours la vanne d'échappement pour que la valeur fuie.

Enfin, la marque et la réputation des entités constituent l’une des pierres angulaires de la stratégie commerciale. relations. Des milliards de dollars sont dépensés chaque année en campagnes de marketing pour établir, maintenir et marques de réparation. Si des allégations diffamatoires, fausses ou trompeuses sont faites au sujet d'une personne ou d'une entité, alors ils ont le droit de recourir à la justice. Pourtant, la tentative de blockchain de préserver en permanence histoire.

Comme notre choix de langage de programmation, il n'existe pas de solution idéale pour Cardano résoudre ces préoccupations d’une manière omniprésente et correcte. Nous devons plutôt céder à une opinion étayée encore une fois.

En ce qui concerne le flux d'informations, ce flux est appelé flux de données fiables. Il a une source et le contenu. Les sources ont une certaine notion de crédibilité et sont incitées à tromper ou à maintenir honnêteté. Le contenu peut être arbitrairement codé.

Étant donné que nous avons l'intention de prendre en charge du matériel fiable dans notre pile de protocoles, nous avons choisi de envisagez d’ajouter la prise en charge du protocole des crieurs publics du professeur Ari Juel et al. En supposant que existence d'un ensemble crédible de sources de données, Town Crier permet le scraping sécurisé des données Web contenu à utiliser dans smart contracts et d’autres applications.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 30 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Une liste bootstrap de sources sera fournie par Emurgo, IOHK et la Fondation Cardano. Plus tard cette liste sera remplacée par une liste organisée par la communauté utilisant des mécanismes dérivés de ceux de Cardano système de trésorerie. Notre espoir est qu'un système de réputation puisse se matérialiser autour de bons flux de données, créant ainsi une boucle de rétroaction positive pour améliorer progressivement la fiabilité et la fidélité.

La représentation de la valeur est un sujet plus complexe. Contrairement à l'information — où une fois le la véracité, l'actualité et l'exhaustivité sont établies, les protocoles peuvent se comporter de manière fiable et manière déterministe – la valeur est plus délicate.

Une fois tokenized, la valeur doit se comporter comme un objet unique. Les informations peuvent être copiées et transmis, mais un token représentant la propriété de quelque chose (par exemple un titre de véhicule) ne peut pas être clonés et négociés sur deux registres différents. Cet acte détruirait effectivement l'intégrité du système.

Le défi de l'interopérabilité héritée lorsqu'il s'agit de valeur tokenisée est que la confiance les hypothèses, la fiabilité et l'auditabilité changent à mesure que les token circulent entre les grands livres. Par exemple, si Bob possède des Bitcoin et les dépose ensuite sur un échange, puis Bob a maintenant le représentation par la bourse de son Bitcoin sur leur grand livre. Dans le cas de MtGOX, leur grand livre a fait pas conforme à la réalité, faisant tout perdre aux utilisateurs.

Le problème est encore compliqué par la nécessité pour les systèmes existants de reconnaître les token vivant dans une crypto-monnaie. Comme mentionné précédemment, les entreprises sont historiquement réticentes à se moderniser. leurs logiciels et prenant en charge de nouveaux protocoles. Cette situation fait qu'il est difficile d'y voir clair solution.

Pour Cardano, notre meilleur espoir est de fournir aux utilisateurs la possibilité de joindre une riche quantité de métadonnées. à leurs transactions, puis attendent que les normes de l'industrie émergent pour s'y conformer. Certains des progrès ont été réalisés avec le groupe de travail Interledger, des efforts comme R3Cev et la communauté internationale mandats pour mettre à niveau les anciens protocoles financiers.

Cependant, le plus grand défi reste de quantifier et de qualifier la valeur envoyée par un système hérité. système à un registre de crypto-monnaie. Par exemple, si Bob est propriétaire d'une banque et émet un dollar soutenu token, alors il peut toujours construire un pont pour envoyer ses token vers un grand livre comme Cardano en tant que actif émis par l'utilisateur.

Alors que Cardano suivrait la propriété avec précision et fournirait toutes les fonctionnalités auxquelles nous sommes parvenus amour comme l’horodatage et l’auditabilité, aucune crypto-monnaie ne peut faire de Bob un banquier honnête. Il a toujours la possibilité de gérer une banque à réserves fractionnaires en ne garantissant pas la totalité de son dollar. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 31 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

tokens avec de vrais dollars. Cette fraude ne peut être détectée par une cryptomonnaie que si le dollar lui-même était un token comptabilisé par un grand livre numérique. 25

Enfin, la représentation des entités en ligne est un problème de réseau classique remontant au début jours d'Internet. Universités, entreprises, ministères et tout utilisateur arbitraire besoin d’établir leur identité à un moment donné.

À cette fin, des solutions pragmatiques mais centralisées telles que l’infrastructure à clé publique du Web et Le système DNS de l’ICANN a été mis en œuvre. Étant donné que nous apprécions le Web moderne, ces les solutions sont à la fois évolutives et pratiques. Mais ils ne répondent pas à une problématique plus commerciale question de fiabilité, de fiabilité et d'autres méta-caractéristiques nécessaires à la détermination si l'on veut faire affaire avec l'entité.

Les hébergeurs de marchés multifacettes comme eBay ont construit un modèle commercial en fournissant certains de ces métadonnées ainsi qu'un cadre pour réaliser les transactions. Les jugements sur la qualité du contenu, des événements et des entreprises est souvent profondément influencée uniquement par les évaluations en ligne provenant de sources fiables. 26

La partie de ce point pertinente pour Cardano est une question de centralisation de la réputation. L'un des notre objectif pour Cardano est de fournir une pile financière au monde en développement. Une clé de cet effort est la capacité d’établir la confiance avec des acteurs qu’on n’a jamais rencontrés.

Si une seule entité ou un consortium d’entités contrôle qui est étiqueté comme bon ou mauvais, ce n’est pas une entité biologique. processus dérivé d’interactions réelles dans la communauté dans son ensemble, alors ces entités pourraient mettre arbitrairement sur liste noire quiconque pour tout péché perçu. Ce pouvoir est contraire à nos valeurs en tant que projet et va à l’encontre du point plus large de l’utilisation d’une crypto-monnaie.

Heureusement, les mêmes mécanismes utilisés pour voter pour les bulletins de vote du Trésor, ajoutant des sources à une liste de les flux de données fiables et la création d'un protocole peuvent être réutilisés pour établir un espace de réputation. C'est un domaine de recherche ouvert et notre espoir est de fournir un protocole de superposition pour un système décentralisé réseau de confiance de réputation en 2018-2019 après que des éléments plus fondamentaux aient été réglés.

Interopérabilité des cryptomonnaies

25 En revanche, pour les registres numériques, la preuve de réserve a été proposée comme un moyen astucieux de conserver la crypto-monnaie n'échange que de manière honnête. 26 Ces tarifs impactent même la création de contenu elle-même. Voir cette histoire d'intérêt sur la façon dont Rotten Tomatoes a eu un impact sur l’industrie cinématographique. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 32 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En passant du monde traditionnel aux registres numériques distribués, l’interopérabilité devient beaucoup plus simple. Chaque grand livre dispose d'un protocole réseau, de normes de communication et d'hypothèses de sécurité. sur son algorithme de consensus respectif. Ceux-ci peuvent à leur tour être facilement quantifiés.

Le mouvement de l'information est établi en se connectant au réseau étranger et en traduisant son messages. Le mouvement de la valeur peut être effectué via un système de relais, le commerce atomique en chaîne ou via un système intelligent de sidechains. Comme il n'existe pas d'opérateur centralisé, un la représentation des entités se limite davantage à une métadiscussion sur la confiance dans les développeurs, les mineurs ou un autre courtier en puissance.

Pour Cardano, nous intégrons un nouveau protocole sidechain développé par Kiayias, Miller et Zindros. Il fournit un moyen non interactif de déplacer de la valeur en toute sécurité entre deux chaînes qui soutenir le protocole. Ce mécanisme sera le principal moyen par lequel la valeur circulera entre CSL et un Couche CCL.

Pour les autres crypto-monnaies, des ponts fédérés devraient se former à mesure que Cardano augmente en valeur et en nombre d'utilisateurs. socle. Pour aider à accélérer cette croissance, Cardano SL prend en charge une version restreinte de Plutus pour scripts d'interopérabilité. De nouvelles transactions seront ajoutées dans les versions Shelley et ultérieures de CSL. spécifiquement pour répondre à ces besoins.

Le labyrinthe de Dédale

Les points sur l’interopérabilité viennent d’une perspective globale. Protocoles spécialisés, nouveaux

les types de transactions, les systèmes permettant d’évaluer la crédibilité et le flux d’informations ne peuvent pas être étendus à

juste un seul gardien ou utilisateur. Ils doivent plutôt être facilement accessibles à toute personne sans

censure ou péages.

Mais que se passe-t-il lorsque Cardano ne prend pas en charge un protocole, une transaction ou une application qu'un

l'utilisateur ne peut pas vivre sans ? Devons-nous simplement être hors de portée ? Le Web est confronté à une préoccupation similaire

au cours des années 1990.

Ironiquement, le Web propose deux solutions différentes qui peuvent être répliquées avec les crypto-monnaies.

L'introduction de JavaScript a fourni la possibilité de programmer n'importe quel site Web pour ajouter des

fonctionnalités. L'introduction de plugins et d'extensions de navigateur a ajouté des fonctionnalités personnalisées pour

utilisateurs prêts à les installer. Les deux approches nous ont donné le Web moderne avec toute sa sécurité

horreurs.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 33 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ethereum a adopté l'ancienne approche en permettant aux utilisateurs d'intégrer des sous-protocoles sur le

Ethereum blockchain comme smart contracts. Cardano prend en charge cette fonctionnalité via le CCL

paradigme. Mais qu’en est-il des extensions personnalisées ?

Un exemple éclairant serait celui d’un trader de crypto-monnaie. Imaginez un marché décentralisé,

appelé DM, qui prend en charge un ensemble de différentes crypto-monnaies. Un commerçant souhaite automatiser son

stratégies agissant sur DM.

Dans un écosystème fragmenté, le commerçant devrait installer des dizaines de clients pour chaque

crypto-monnaie, puis écrire un logiciel personnalisé pour parler à chaque client afin de coordonner

échanges automatisés. Si un client met à jour, cela pourrait endommager le logiciel sur mesure. De plus,

que se passe-t-il si le commerçant souhaite vendre le logiciel ?

Inspiré du modèle web des extensions, si l'interface avec diverses crypto-monnaies peut être

intégré dans une pile Web, la tâche du commerçant devient alors considérablement plus facile. Un universel

une interface peut être établie. L'installation se fait en un clic. La distribution des logiciels peut être modélisée

après la boutique en ligne Chrome.

Pour Cardano, nous avons décidé d'expérimenter ce paradigme en déployant notre référence

l’avant du portefeuille sur Electron. Il s'agit d'un projet open source maintenu par Github qui combine

Node et Chrome ensemble. La version d'Electron de Cardano s'appelle Daedalus.

La première génération de Dédale agira comme un portefeuille HD avec prise en charge de nombreux éléments attendus

27 fonctionnalités de comptabilité et de sécurité qui sont des normes de l'industrie, telles que les mots de passe de dépenses et

BIP39. Dans les générations suivantes, Daedalus deviendra un framework d'application avec un magasin,

des API d'intégration universelles et un SDK.

Les principales innovations sont la facilité de développement en permettant aux programmeurs d'utiliser JavaScript,

HTML5 et CSS3 pour construire leurs applications et un pont unifié pour les applications croisées

communications. Comportements complexes tels que la cryptographie, la gestion d'un réseau distribué et

les mécanismes de base de données peuvent être abstraits, permettant ainsi au développeur de se concentrer uniquement sur l'utilisateur

expérience et la logique fondamentale de leur application.

Comme Daedalus est destiné à être un framework universel, sa feuille de route et son évolution sont quelque peu

indépendant de Cardano. En 2017, ils sont étroitement couplés, mais plus tard Cardano ne sera que

une autre application pour un utilisateur de Daedalus. Nous avons également l'intention d'explorer des fonctionnalités extrêmement uniques

comme un service universel de gestion de clés fonctionnant uniquement dans Intel SGX.

27 Qui est déjà disponible sur daedaluswallet.io
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 34 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En fin de compte, en tant que concepteurs de protocoles, nous ne pouvons pas répondre à tous les besoins. Nous espérons que la flexibilité

que Daedalus fournira, combiné avec des smart contract avec état fonctionnant sur CCL, satisfera

ceux laissés de côté par nos décisions de conception. Nous espérons également que de meilleures normes pourront émerger pour

encourager toutes les crypto-monnaies à bénéficier d’une meilleure interopérabilité et sécurité.

Regulamento

A falsa dicotomia

Por mais inconstante e misteriosa que a regulamentação possa muitas vezes ser, pode-se inferir metaforicamente uma elegante ciclo narrativo dos corruptos e seus promotores em busca de justiça. Os regulamentos são o kit de ferramentas de o legislador. Mas, como todas as ferramentas, elas podem ser rudimentares, antigas ou simplesmente mal utilizadas.

As criptomoedas não mudaram a condição humana nem o ciclo narrativo. Sempre haverá ser fraudes, maus atores e resultados terríveis, apesar das melhores intenções. Enquanto as criptomoedas podem remover o julgamento humano, mas não podem remover o comportamento humano.

Um designer de criptomoeda deve se posicionar sobre qual kit de ferramentas ele oferecerá ao regulador corrigir eventos ruins. O desafio único que as criptomoedas enfrentam é que elas são um produto de fracasso regulatório e monetário. 28

Culturalmente, muitos envolvidos em criptomoedas consideram a ação do governo corrupta, inepta ou ineficaz. Portanto, eles têm pouco respeito, paciência ou desejo de endossar um backdoor especial para um regulador ou homem da lei corrigir erros. Este ato seria um anátema para todo o propósito da criptomoedas.

Por outro lado, contando as falhas cambiais e os acontecimentos históricos, mais de 10 por cento dos Bitcoin foi perdido ou roubado desde que o protocolo começou em 3 de janeiro de 2009. Em 30 de junho, Em 2017, o valor perdido ou roubado chega a pouco mais de US$ 4 bilhões. E esse número não leva em conta para Bitcoin e outros tokens perdidos em golpes e ICOs mal formados.

28 Na verdade, Satoshi incorporou no Bitcoin Genesis Block a seguinte manchete retirada do The Times: The Times 03/Jan/2009 Chanceler à beira do segundo resgate aos bancos POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 35 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Depois, há a questão da privacidade. Numa escala macro, o valor flui através de canais especializados que são regulamentados, ricos em metadados e monitorados ativamente pelas autoridades policiais, governos e reguladores internacionais. É um jogo bem compreendido, com vazamentos ocorrendo apenas no lado do dinheiro, que tem diminuído gradualmente à medida que o mundo migra para o dinheiro digital.

O paradigma, se as criptomoedas não existissem, pareceria ser um mundo que trata cada vez mais privacidade financeira, como conteúdo de mídia social. Não há nenhum e não se pode optar por sair. Daí nós temos um dilema que produz uma aparente dicotomia.

Um designer de criptomoeda pode renunciar a princípios e ceder a qualquer demanda que seu local jurisdição atribui ao seu código, comprometendo assim a privacidade e a integridade de seus usuários. Ou ele pode adotar uma filosofia mais baseada em princípios, mas anarquista, que se divorcie da melhores práticas e leis atuais.

Para Cardano, sentimos que esta narrativa é uma falsa dicotomia provocada pela falta de imaginação. O a realidade é que a maioria dos utilizadores não está preocupada com as regras existentes para os mercados. Eles geralmente são preocupado com mudanças repentinas nas regras para beneficiar um ou mais atores. Eles estão preocupados sobre a falta de transparência sobre quem recebe privilégios especiais.

Precisamos distinguir entre direitos individuais e de mercado. Dado que as criptomoedas têm um alcance global, os direitos precisam ser tão orientados quanto possível para o usuário.

A privacidade deve ser razoável e estar sob o controle do usuário, e não de um guardião. O fluxo de valor deveria ser irrestrito. O valor não deve estar sujeito a perda repentina sem consentimento.

Do ponto de vista do mercado, o mercado precisa ser transparente sobre o uso de dados, como os fundos serão administrados internamente e todos precisam seguir o mesmo conjunto de regras. Além disso, uma vez que o usuário tenha consentido, ele não poderá mudar de ideia repentinamente devido a inconveniente. As contrapartes também precisam de certeza.

Mas como exatamente alguém passa do sistema abstrato para um sistema real? O que deveria algo prático e legal? Dividimos nossa solução em três categorias: metadados, autenticação e conformidade, bem como DAOs de mercado.

29 O leitor deve considerar adquirir um exemplar de The End of Money, de David Wolman. Ele cobre o movimento internacional rumo ao desaparecimento do dinheiro. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 36 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Metadados

O ato de algo muitas vezes pode ser menos interessante do que os metadados que o rodeiam. Para por exemplo, dirigir de Denver a Boulder é uma atuação. Dirigindo de Denver a Boulder em uma Ferrari 488 a uma média de 120 MPH são metadados. Certamente isso infere uma experiência diferente daquela em um Toyota Prius a uma média de 30 MPH.

As transações financeiras não são diferentes. O contexto que os rodeia é extraordinariamente importante para economistas, autoridades fiscais, autoridades policiais, empresas e outras entidades. Infelizmente em nosso atual sistema baseado em moeda fiduciária, a maioria dos consumidores nunca vê quão ricos em metadados seus são as transações ou com quem elas são compartilhadas. 30

Para Cardano, reconhecemos que os usuários podem precisar ou são legalmente obrigados a compartilhar metadados transacionais com determinados atores, como autoridades fiscais. Mas acreditamos que esta partilha tem que estar com o consentimento do usuário.

Também acreditamos que os sistemas blockchain têm um tremendo poder para eliminar fraudes, desperdícios e abuso, fornecendo auditabilidade, registro de data e hora e imutabilidade. Assim, alguns metadados devem ser postado em Cardano blockchain.

A parte difícil é encontrar um equilíbrio correto que não condene o nosso blockchain a substanciais inchaço. Dada esta preocupação, optámos por uma abordagem pragmática.

Primeiro, a Daedalus suportará durante os próximos 12 meses uma grande variedade de recursos para rotular transações e atividades financeiras. Esses metadados podem ser exportados e compartilhados sob demanda com quem o usuário julgar necessário. Além disso, os dados podem ser operados por terceiros aplicações para fins específicos de domínio (por exemplo, contabilidade fiscal).

Em segundo lugar, estamos explorando a adição de suporte para endereços especiais que podem incluir hashes e campos criptografados. Esta estrutura permitiria que um usuário postasse metadados em nosso blockchain sem revelando-o publicamente. Mas se ela quiser compartilhar os dados, isso traria toda a auditabilidade, imutabilidade e garantia de carimbo de data/hora de que uma transação desfruta.

30 Numa escala mais macro, o autor Juan Zarate escreve sobre como estes dados são utilizados pelo Tesouro dos EUA Departamento na guerra ao terrorismo na Guerra do Tesouro. Ele fornece uma visão abrangente de como o a actual estrutura dos mercados financeiros globais pode ser usada para fins geopolíticos. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 37 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Já implantamos uma estrutura de endereço que contém um campo de atributo. Atualmente é sendo usado para armazenar uma cópia criptografada da estrutura das árvores da carteira HD para recuperação rápida da carteira (consulte Documentação da Carteira HD). Versões posteriores generalizarão esta construção.

Autenticação e Conformidade

Intimamente ligados às transações estão os temas do direito de realizar transações e da propriedade dos fundos. Por exemplo, embora possa haver fundos suficientes para comprar algo (por por exemplo, álcool), poderá haver restrições à sua compra (requisitos de idade).

A propriedade e a origem dos fundos normalmente dependem do conhecimento dos regulamentos do cliente. Quando uma empresa de serviços financeiros, como um banco ou uma bolsa, abre uma conta para um novo cliente, geralmente é necessário coletar fatos básicos sobre o cliente e onde ele adquiriu seus fundos de.

O desafio tecnológico é que no processo de apresentação deste documento legalmente exigido informações, o usuário que as envia não tem garantia de como elas serão utilizadas, armazenadas e se algum dia serão destruído. As informações de conformidade são comercialmente valiosas. Pode ser roubado para roubo de identidade ou revendido onde os regulamentos permitirem.

Para Cardano, queremos inovar o máximo possível. No lado do software dos protocolos, há é pouco para fornecer uma garantia de que o receptor da informação de conformidade se comportará dentro de um âmbito da conduta. Entretanto, no lado do hardware dos protocolos, usando hardware confiável, pode-se aproveitar o Intel SGX e outros HSMs para aplicar determinadas políticas.

Assim, estamos explorando o uso de Provas de Vidro Selado juntamente com uma política de compartilhamento para permitir a segurança transmissão de informações de conformidade a um verificador que, por sua vez, é forçado a cumprir as políticas sob as quais foi transmitido. Acreditamos que tanto as normas uniformes poderão surgir como também que este método reduzirá o risco para os verificadores, evitando a perda de dados do cliente de hackers.

Como corolário deste esforço, o modelo em camadas que propomos para Cardano separando valor de a computação também pode se beneficiar dessa abordagem. Se a camada de computação for executada por entidades (por exemplo, bolsas ou cassinos), então elas precisariam realizar verificações de conformidade e potencialmente impor a política tributária aos usuários.

Usando SGPs, o usuário pode enviar fundos junto com informações de identificação pessoal sem preocupação de que vaze para a Internet em geral ou seja preservado pelos nós de consenso do POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 38 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

camada de computação. Além disso, a camada de computação ganharia a certeza de que todos os usuários transações são autenticadas e legítimas.

Este paradigma permite também a portabilidade de clientes entre entidades reguladas. As trocas poderiam transferir saldos e contas para clientes instantaneamente através desses canais seguros e também - onde as políticas permitirem – compartilhe dados com os reguladores.

Esperamos que o nosso primeiro teste beta desta tecnologia seja realizado em meados de 2018 com o objetivo rumo à integração de Cardano no final de 2018 ao início de 2019, aguardando resultados de pesquisa. Esta linha do tempo também assume a capacidade de colaborar com ARM e Intel para obter código assinado para execução em seu hardware. 31 Mercado DAOs

As duas seções anteriores cobriram a geração e movimentação de informações assumindo o existência de algum sistema externo. Para garantir a interoperabilidade legada, esses recursos sempre serão ser necessário, mas não abordam a regulamentação baseada em blockchain.

Os contratos inteligentes permitem um tipo completamente novo de sistema comercial onde os relacionamentos são determinista, auto-aplicável e livre de ambiguidade. Eles, por sua vez, podem ser usados para criar regras para mercados, incluindo estruturas arbitrariamente complexas, como arbitragem, reembolsos orientados por eventos, e revelação de fatos em condições especiais.

Chamamos essas smart contract estruturas impostas de Marketplace DAOs. Eles não exigem suporte de protocolo especial nem mutabilidade para ser incorporado no livro-razão. Na verdade, eles podem ser totalmente construído usando uma coleção de smart contracts interdependentes.

O conceito arquitetônico é projetar uma coleção de templates comerciais inspirados em direito contratual e melhores práticas empresariais. Esses modelos podem ser conectados ao desenvolvedor smart contract para impor padrões específicos ao mercado.

Por exemplo, digamos que um desenvolvedor queira emitir um ERC20 token no CCL para realizar um crowdsale. Um O mercado DAO pode ser estabelecido especificamente para vendas coletivas e seus termos e condições parametrizado ou mesmo aplicado por padrões voluntários ou legais. Coisas como reembolsos, a realocação de fundos ou o congelamento de pagamentos podem ser herdados no ERC20 do desenvolvedor contrato.

31 Consulte a Política de Licença Comercial Intel SGX POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 39 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Este esforço nos permite ter uma discussão macro sobre como um mercado deve ser controlado a fim de garantir a protecção do consumidor. Em segundo lugar, podemos discutir como modelar transações em um maneira de garantir automaticamente proteção legal e direitos dentro de jurisdições específicas, como Nova Hampshire.

Trabalhando com a Fundação Cardano, IOHK e outras entidades, o projeto Cardano criará um biblioteca de referência do Marketplace DAOs para uso dos desenvolvedores smart contract. Nossa esperança é que mercados regulatórios e de seguros podem se formar em torno desses DAOs e que eles serão auto-evolutiva com base em resultados.

Règlement

La fausse dichotomie

Aussi mercurielle et obscure que puisse être la réglementation, on peut métaphoriquement en déduire une élégante boucle narrative des corrompus et de leurs procureurs en quête de justice. Les réglementations sont la boîte à outils de le législateur. Mais comme tous les outils, ils peuvent être rudimentaires, vieux ou simplement mal utilisés.

Les crypto-monnaies n’ont pas changé la condition humaine ni la boucle narrative. Il y aura toujours être des escroqueries, de mauvais acteurs et des résultats terribles malgré les meilleures intentions. Tandis que les crypto-monnaies peuvent supprimer le jugement humain, elles ne peuvent pas supprimer le comportement humain.

Un concepteur de cryptomonnaie doit prendre position sur la boîte à outils qu’il proposera au régulateur. corriger les mauvais événements. Le défi unique auquel les crypto-monnaies sont confrontées est qu’elles sont le produit de échec réglementaire et monétaire. 28

Culturellement, de nombreux acteurs des crypto-monnaies considèrent l’action du gouvernement comme corrompue, incompétente ou inefficace. Par conséquent, ils ont peu de respect, de patience ou de désir d’approuver une porte dérobée spéciale. pour un régulateur ou un homme de loi de réparer les torts. Cet acte serait contraire à l'objectif même de crypto-monnaies.

En revanche, en comptant les échecs de change et les événements historiques, plus de 10 pour cent des Bitcoin a été perdu ou volé depuis le début du protocole le 3 janvier 2009. Au 30 juin, En 2017, la valeur perdue ou volée s'élève à un peu plus de 4 milliards de dollars. Et ce chiffre ne tient pas compte pour Bitcoin et autres token perdus à cause d'escroqueries et d'ICO mal formées.

28 En fait, Satoshi a intégré dans le bloc Genesis Bitcoin le titre suivant tiré du Times : The Times 03/jan/2009 La chancelière sur le point d'effectuer un deuxième plan de sauvetage des banques POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 35 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ensuite, il y a la question de la vie privée. À l’échelle macro, la valeur circule via des canaux spécialisés qui sont réglementés, riches en métadonnées et activement surveillés par les forces de l'ordre, les gouvernements et les régulateurs internationaux. Il s'agit d'un jeu bien compris dans lequel les fuites se produisent uniquement sur le l’aspect cash des affaires, qui diminue progressivement à mesure que le monde s’oriente vers la monnaie numérique.

Si les cryptomonnaies n’existaient pas, le paradigme serait celui d’un monde qui traite de plus en plus la confidentialité financière comme le contenu des médias sociaux. Il n’y en a pas et on ne peut pas s’en retirer. C'est pourquoi nous se trouvent face à un dilemme qui donne lieu à une apparente dichotomie.

Un concepteur de crypto-monnaie peut abandonner ses principes et céder à toutes les exigences de son environnement local. la juridiction impose leur code, compromettant ainsi la confidentialité et l'intégrité de leurs utilisateurs. Ou il peut adopter une philosophie plus fondée sur des principes, mais anarchiste, qui se sépare de meilleures pratiques et lois actuelles.

Pour Cardano, nous pensons que ce récit est une fausse dichotomie provoquée par un manque d’imagination. Le la réalité est que la plupart des utilisateurs ne se soucient pas des règles existantes pour les marchés. Ils sont généralement préoccupés par les changements soudains des règles au profit d’un ou de plusieurs acteurs. Ils sont inquiets sur le manque de transparence quant à savoir qui bénéficie de privilèges spéciaux.

Nous devons faire la distinction entre les droits individuels et les droits du marché. Étant donné que les crypto-monnaies ont un portée mondiale, les droits doivent être aussi orientés utilisateur que possible.

La confidentialité doit être raisonnable et sous le contrôle de l’utilisateur, et non comme un contrôleur d’accès. Le flux de valeur devrait être sans restriction. La valeur ne devrait pas faire l’objet d’une confiscation soudaine sans consentement.

Du point de vue du marché, celui-ci doit être transparent quant à l'utilisation des données, à la manière dont les fonds seront gérés à l’intérieur et tout le monde doit respecter les mêmes règles. De plus, une fois que l'utilisateur a donné son consentement, il ne peut pas soudainement changer d'avis en raison de inconvénient. Les contreparties ont également besoin de certitude.

Mais comment passer exactement de l’abstrait à un système réel ? Que devrait faire quelque chose à quoi ressemble-t-il à la fois pratique et juridique ? Nous avons divisé notre solution en trois catégories : les métadonnées, l'authentification et la conformité ainsi que les DAOs du marché.

29 Le lecteur devrait envisager de se procurer un exemplaire de The End of Money de David Wolman. Il couvre le mouvement international vers la disparition des espèces. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 36 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Métadonnées

L’acte de quelque chose peut souvent être moins intéressant que les métadonnées qui l’entourent. Pour Par exemple, conduire de Denver à Boulder est un acte. Conduire de Denver à Boulder en Ferrari 488 à une moyenne de 120 MPH sont des métadonnées. Cela implique certainement une expérience différente de celle d'un Toyota Prius à une moyenne de 30 MPH.

Les transactions financières ne sont pas différentes. Le contexte qui les entoure est extraordinairement important pour les économistes, les autorités fiscales, les forces de l’ordre, les entreprises et d’autres entités. Malheureusement Dans notre système actuel basé sur la monnaie fiduciaire, la plupart des consommateurs ne voient jamais à quel point leurs métadonnées sont riches. sont les transactions ou avec qui elles sont partagées. 30

Pour Cardano, nous reconnaissons que les utilisateurs pourraient avoir besoin ou sont légalement tenus de partager métadonnées transactionnelles avec certains acteurs comme les autorités fiscales. Mais nous pensons que ce partage doit être avec le consentement de l’utilisateur.

Nous pensons également que les systèmes blockchain ont un énorme pouvoir pour éliminer la fraude, le gaspillage et abus en fournissant l’auditabilité, l’horodatage et l’immuabilité. Ainsi, certaines métadonnées devraient être posté sur le Cardano blockchain.

Le plus difficile est de trouver un juste équilibre qui ne condamne pas notre blockchain à des difficultés substantielles. ballonner. Face à cette préoccupation, nous avons choisi une approche pragmatique.

Premièrement, Daedalus prendra en charge au cours des 12 prochains mois un large éventail de fonctionnalités permettant d'étiqueter transactions et activités financières. Ces métadonnées peuvent être exportées et partagées à la demande avec celui que l'utilisateur juge nécessaire. De plus, les données peuvent être exploitées par des tiers applications à des fins spécifiques à un domaine (par exemple, comptabilité fiscale).

Deuxièmement, nous envisageons d'ajouter la prise en charge d'adresses spéciales pouvant inclure des hashes et champs cryptés. Cette structure permettrait à un utilisateur de publier des métadonnées sur notre blockchain sans le révélant publiquement. Mais si elle veut partager les données, elles auront toute la possibilité d'être auditées, l'immuabilité et la sécurité d'horodatage dont bénéficie une transaction.

30 À une échelle plus macro, l'auteur Juan Zarate écrit sur la manière dont ces données sont utilisées par le Trésor américain. Département dans la guerre contre le terrorisme dans la guerre du Trésor. Il offre une vision globale de la manière dont La structure actuelle des marchés financiers mondiaux peut être utilisée à des fins géopolitiques. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 37 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nous avons déjà déployé une structure d'adresse qui contient un champ d'attribut. C'est actuellement utilisé pour stocker une copie cryptée de la structure des arborescences de portefeuille HD pour une récupération rapide du portefeuille (voir Documentation du portefeuille HD). Les versions ultérieures généraliseront cette construction.

Authentification et conformité

Les thèmes du droit d'effectuer des transactions et de la propriété des fonds. Par exemple, même s’il y a suffisamment de fonds pour acheter quelque chose (par exemple exemple l'alcool), il pourrait y avoir des restrictions sur son achat (conditions d'âge).

La propriété et l'origine des fonds dépendent généralement de la connaissance des réglementations relatives à vos clients. Lorsqu'une entreprise de services monétaires comme une banque ou une bourse ouvre un compte pour un nouveau client, il est généralement nécessaire de recueillir des informations de base sur le client et sur l'endroit où il a acquis ses fonds. de.

Le défi technologique est que, dans le processus de soumission de cette obligation légale informations, l'utilisateur qui les envoie n'a aucune garantie sur la manière dont elles seront utilisées, stockées et si elles seront un jour détruit. Les informations de conformité ont une valeur commerciale. Il pourrait être volé pour usurpation d'identité ou revendu là où la réglementation le permet.

Pour Cardano, nous souhaitons innover le plus possible. Du côté logiciel des protocoles, il y a est peu susceptible de garantir que le destinataire des informations de conformité se comportera dans les limites d'un portée de la conduite. Cependant, du côté matériel des protocoles, en utilisant du matériel fiable, on peut exploitez Intel SGX et d’autres HSM pour appliquer certaines politiques.

Nous étudions donc l'utilisation d'épreuves en verre scellé parallèlement à une politique de partage pour permettre la sécurité. transmission des informations de conformité à un vérificateur qui, à son tour, est contraint de se conformer aux politiques dans lesquelles il a été transmis. Nous pensons que des normes uniformes pourraient émerger et également que cette méthode réduira les risques pour les vérificateurs en empêchant la perte de données client de les pirates.

En corollaire à cet effort, le modèle en couches que nous proposons pour Cardano séparant la valeur de le calcul peut également bénéficier de cette approche. Si la couche de calcul est gérée par des entités (par exemple des bourses ou des casinos), elles devraient alors effectuer des contrôles de conformité et potentiellement appliquer une politique fiscale aux utilisateurs.

Grâce aux SGP, l'utilisateur peut envoyer des fonds accompagnés d'informations personnellement identifiables sans crainte qu'il ne s'infiltre dans l'Internet au sens large ou qu'il ne soit préservé par les nœuds de consensus du POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 38 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

couche de calcul. De plus, la couche de calcul aurait la certitude que tous les utilisateurs les transactions sont authentifiées et légitimes.

Ce paradigme permet également la portabilité des clients entre entités réglementées. Les échanges pourraient transférer instantanément les soldes et les comptes des clients via ces canaux sécurisés et également : là où les politiques le permettent, partagez des données avec les régulateurs.

Nous prévoyons de réaliser notre premier test bêta de cette technologie à la mi-2018 dans le but vers l’intégration de Cardano fin 2018 ou début 2019 en attendant les résultats de la recherche. Cette chronologie suppose également la possibilité de collaborer avec ARM et Intel afin de faire signer le code pour qu'il puisse s'exécuter leur matériel. 31 Marché DAOs

Les deux sections précédentes couvraient la génération et le mouvement des informations en supposant que existence d’un système externe. Pour garantir l'interopérabilité existante, ces fonctionnalités seront toujours être nécessaire, mais ils ne traitent pas de la réglementation basée sur blockchain.

Les contrats intelligents permettent un tout nouveau type de système commercial dans lequel les relations sont déterministe, autonome et sans ambiguïté. Ils peuvent à leur tour être utilisés pour créer des règles pour des marchés incluant des structures arbitrairement complexes telles que l'arbitrage, les remboursements événementiels, et la révélation de faits dans des conditions particulières.

Nous appelons ces smart contract structures appliquées Marketplace DAOs. Ils ne nécessitent pas prise en charge de protocole spécial ni mutabilité à intégrer dans le grand livre. En fait, ils peuvent être totalement construit à l’aide d’une collection de smart contract interdépendants.

Le concept architectural consiste à concevoir une collection de modèles commerciaux inspirés de droit des contrats et bonnes pratiques commerciales. Ces modèles peuvent être intégrés dans le logiciel d'un développeur. smart contract pour appliquer des normes spécifiques sur le marché.

Par exemple, supposons qu'un développeur souhaite émettre un ERC20 token sur CCL pour effectuer une vente participative. Un La place de marché DAO pourrait être créée spécifiquement pour les ventes participatives et ses termes et conditions paramétrés ou même appliqués par des normes volontaires ou juridiques. Des choses telles que les remboursements, la réaffectation des fonds ou le gel des paiements pourraient être hérités de l’ERC20 du développeur contrat.

31 Voir la politique de licence commerciale Intel SGX POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 39 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Cet effort nous permet d'avoir une discussion macro sur la manière dont un marché devrait être contrôlé. afin d'assurer la protection des consommateurs. Deuxièmement, nous pouvons discuter de la façon de modéliser les transactions dans un moyen d'assurer automatiquement la protection juridique et les droits au sein de juridictions spécifiques, telles que New Hampshire.

En collaboration avec la Fondation Cardano, l'IOHK et d'autres entités, le projet Cardano créera un bibliothèque de référence de Marketplace DAOs que les développeurs smart contract peuvent utiliser. Notre espoir est que les marchés de l'assurance et de la réglementation peuvent se former autour de ces DAO et qu'ils seront auto-évolutif en fonction des résultats.

Sustentabilidade

Um imersão em o criptomoeda área rendimentos muitos conceitual contradições.

As criptomoedas são projetadas para serem difíceis de mudar, mas, como toda tecnologia, elas precisam

mudança para resolver falhas e avanços de design. Blockchains têm como objetivo prevenir

centralização, mas exigem atores fortes para liderar mudanças ou manter o código.

Talvez a experiência mais frustrante ocorra quando há deficiências claras que a maioria

as partes interessadas concordam que precisam de ser corrigidas, mas não é possível surgir consenso sobre o caminho a seguir.

O debate sobre o tamanho do bloco de Bitcoin tem sido uma questão ativa há mais de dois anos. Diariamente,

transações totalizando mais de um bilhão de dólares estão pendentes porque a rede está em sua capacidade máxima.

Se a alteração de um parâmetro simples — mesmo na presença de soluções temporárias — não puder ser

coordenados, então como podem as empresas e os governos sentirem-se confortáveis em investir milhares de milhões de

dólares para construir infraestrutura sobre esses sistemas? Aliás, como pode alguém

as empresas apostam no risco estratégico de integrar protocolos isentos de responsabilidade que não podem

fazer atualizações de design racionais?

Olhando para trás na história, a evolução da Internet seguiu um padrão semelhante, mesmo com

mudanças simples, como a transição do IPv4 para o IPv6, levam décadas para serem concretizadas. No entanto, há um

forte contraste entre a tecnologia blockchain e a Internet, pois seguem uma linha muito

estilo diferente de custódia.

A internet foi um projeto militar que cresceu da DARPA para círculos acadêmicos com forte

apoio governamental e um conjunto bem definido de guardiões iniciais. A internet cresceu sob

condições não comerciais, sem as maquinações da influência corporativa tentando

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 40 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

monopolizar a rede. Na verdade, o comércio eletrónico violou a NSF AUP até ser revogada em

Na época em que as empresas tiveram o luxo de comercializar a Internet, já existia um

forte conjunto de padrões, princípios e adeptos evangelísticos. Isso não impediu empresas como

AOL e Microsoft de tentarem construir jardins murados e criarem tecnologia proprietária como

ActiveX. Esta base não impediu que os intervenientes da próxima geração, como a Google, promovessem

suas próprias agendas, dadas as suas enormes bases de usuários e capitalizações.

Com enxames de aluguéis atores, de comerciantes a mineradores, as criptomoedas são a última palavra

32 ecossistemas com motivação comercial. Dado esse fundamento, a evolução da custódia de

criptomoedas resultou na otimização em torno do interesse próprio.

Por exemplo, a mineração sem validação está começando a ocorrer com mais frequência, pois melhora o desempenho do minerador.

margem de lucro, mas isso ignora completamente todo o propósito e utilidade da mineração. Mineração

a centralização já ocorreu com apenas um punhado de atores no controle da maioria dos

Poder hash de Bitcoin.

Assim como a Internet, as criptomoedas exigem consenso para mudar. Mas quando tão rápido

ocorre a centralização do poder para um punhado de corretores, o que acontece quando a mudança não é

conveniente para eles?

Ao contrário da Internet, a inicialização da maioria das criptomoedas não é feita de forma altruísta.

meios não comerciais ou acadêmicos. Desde o início, algum grupo procura obter ganhos e

existem corretores de poder designados para ajudar a garantir esses ganhos.

A centralização fundadora é uma realidade que cada criptomoeda deve enfrentar em sua evolução. Nós

não pode escapar totalmente, mas deve pelo menos tentar conceber em torno da descentralização gradual.

Para Cardano, pensamos cuidadosamente sobre quais fatores promovem a centralização e quais

técnicas poderia ser aplicado para incentivar nosso protocolo a se tornar gradualmente público

infraestrutura como a web.

Nós totalmente admitir isso total descentralização é ambos impossível e talvez mesmo

contraproducente. No entanto, certos factores podem ser encorajados para produzir um sistema mais equilibrado.

Primeiro, embora a custódia centralizada dos fundos de crowdsale permita um desenvolvimento ágil e rápido

do protocolo durante os primeiros dias, eventualmente o financiamento terá que diversificar e a velocidade de

32 Veja link para mais informações sobre este termo POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 41 de 44IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

o desenvolvimento precisa de regressar a um ritmo mais sistemático e deliberado. Seguindo este ponto,

o financiamento precisa evitar preconceitos culturais, linguísticos e geográficos.

Em segundo lugar, à medida que a comunidade se torna mais informada sobre a natureza subjacente do

tecnologia da criptomoeda, as decisões sobre o roteiro não podem ser centralizadas em um conjunto de

desenvolvedores principais ou fundação. É necessário haver um método baseado em blockchain para propor,

verificação e promulgação de alterações no protocolo.

Terceiro, os incentivos por trás da manutenção do Cardano SL blockchain devem estar diretamente alinhados

com os desejos agregados de todos os usuários. Não podemos permitir que uma conspiração de actores especializados

emergem aqueles que são independentes da vontade da comunidade maior.

Para o primeiro princípio, optamos por integrar um sistema de tesouraria em Cardano. Para o

segundo, implantaremos um processo formal para propor Cardano Propostas de Melhoria por meio de um

sistema coordenado pela própria CSL. Para o terceiro, acreditamos que a Ouroboros oferece um ambiente elegante

solução.

Mais detalhes poderiam ser fornecidos sobre os tópicos acima, mas eles são extensos por si só e

além do escopo de um documento de pesquisa. O projeto do mecanismo é um dos mais complexos e

campos acadêmicos interdependentes com teoria incompleta e nenhum modelo canônico sólido para se sustentar

ligado.

Em vez disso, a nossa abordagem orientada pela ciência descrita na secção dois serve-nos bem aqui. Veritas da IOHK

equipe está trabalhando em parceria com um grupo de pesquisadores da Lancaster University sob o

direção do Professor Bingsheng Zhang para desenvolver o modelo de tesouraria de referência de Cardano. Com

objetivo de integração em 2018, esperamos uma publicação dedicada revisada por pares até o final de

Para descrição formal e verificação de alterações em um protocolo de criptomoeda, este tópico é o

menos compreendido, pois requer noções ontológicas, bem como um mecanismo para incentivar

ampla participação. Talvez alguma forma de processo democrático representativo possa surgir ou

uso de feedback líquido para fornecer votação mais racional.

Esperamos que a pesquisa nesta direção consuma a maior parte do envolvimento formal da IOHK no

desenvolvimento de Cardano . Como ponto de partida, iremos implantar juntamente com a tesouraria de referência

33 modelar vários mecanismos para capturar o consentimento. Mais estudos são necessários para uma definição definitiva

solução.

33 IOHK é contratado para construir Cardano até o final de 2020 POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 42 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Por fim, o trabalho para melhorar os incentivos ao Ouroboros está sendo supervisionado pelo professor Elias

Koutsoupias da Universidade de Oxford. Depois que os fundamentos criptográficos do Ouroboros forem

solidificado junto com todo o trabalho de escalabilidade necessário, um estudo mais amplo de títulos, penalidades e exóticos

incentivos serão adicionados ao protocolo de referência.

Durabilité

Un plongée dans le crypto-monnaie zone rendements beaucoup conceptuel contradictions.

Les cryptomonnaies sont conçues pour être difficiles à modifier, mais, comme toute technologie, elles doivent

changement pour corriger les défauts de conception et les progrès. Les blockchains visent à empêcher

centralisation, mais nécessitent des acteurs forts pour diriger les changements ou maintenir le code.

L’expérience la plus frustrante survient peut-être lorsqu’il existe des lacunes évidentes que la plupart des

les parties prenantes conviennent qu’il faut corriger cette situation, mais aucun consensus ne peut émerger sur la voie à suivre.

Le débat sur la taille des blocs de Bitcoin est désormais un sujet actif depuis plus de deux ans. Quotidiennement,

des transactions totalisant plus d'un milliard de dollars sont en attente car le réseau est au maximum de sa capacité.

Si la modification d'un paramètre simple — même en présence de solutions temporaires — ne peut être

coordonnée, alors comment les entreprises et les gouvernements peuvent-ils se sentir à l’aise en investissant des milliards de dollars ?

des dollars pour construire une infrastructure au-dessus de ces systèmes ? D’ailleurs, comment peut-on

les entreprises parient sur le risque stratégique d’intégrer des protocoles exempts de responsabilité qui ne peuvent pas

apporter des améliorations de conception rationnelles ?

Si l’on regarde l’histoire, l’évolution d’Internet a suivi un schéma similaire, avec même

des changements simples comme la transition d’IPv4 à IPv6 prennent des décennies à être réalisés. Il existe pourtant un

fort contraste entre la technologie blockchain et Internet dans la mesure où ils suivent une approche très

un style de garde différent.

Internet était un projet militaire qui est né de la DARPA et s'est répandu dans les cercles universitaires avec une forte influence.

le soutien du gouvernement et un ensemble bien défini de dépositaires initiaux. Internet s'est développé sous

conditions non commerciales sans les machinations de l’influence des entreprises qui tentent de

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 40 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

monopoliser le réseau. En fait, le commerce électronique a violé la NSF AUP jusqu'à ce qu'elle soit abrogée en

Au moment où les entreprises ont eu le luxe de commercialiser Internet, il existait déjà un

un ensemble solide de normes, de principes et d’adhérents évangéliques. Cela n'a pas empêché des entreprises comme

AOL et Microsoft d'essayer de construire des jardins muraux et de créer des technologies propriétaires comme

ActiveX. Cette fondation n’a pas empêché les acteurs de la nouvelle génération comme Google de pousser

leurs propres agendas étant donné leurs énormes bases d’utilisateurs et leurs capitalisations.

Avec des essaims de loyers en quête acteurs, des traders aux mineurs, les crypto-monnaies sont l'ultime

32 écosystèmes à motivation commerciale. Compte tenu de ce fondement, l'évolution de la tutelle de

les crypto-monnaies ont abouti à une optimisation autour de l’intérêt personnel.

Par exemple, le minage sans validation commence à se produire plus fréquemment car il améliore les compétences du mineur.

marge bénéficiaire, mais cela ignore complètement le but et l’utilité de l’exploitation minière. Exploitation minière

la centralisation s’est déjà produite avec seulement une poignée d’acteurs contrôlant la majorité des

La puissance hash de Bitcoin.

Comme Internet, les crypto-monnaies nécessitent un consensus pour changer. Mais quand si rapide

Lorsque la centralisation du pouvoir se produit entre les mains d’une poignée de courtiers, que se passe-t-il lorsque le changement n’est pas apporté ?

cela leur convient-il ?

Contrairement à Internet, le démarrage de la plupart des crypto-monnaies ne se fait pas de manière altruiste.

moyens non commerciaux ou académiques. Dès leur création, certains groupes cherchent à réaliser des gains et

des courtiers en pouvoir sont chargés d’aider à garantir ces gains.

La centralisation fondatrice est une réalité à laquelle chaque cryptomonnaie doit faire face dans son évolution. Nous

ne peut pas y échapper complètement, mais devrait au moins essayer de concevoir autour d’une décentralisation progressive.

Pour Cardano, nous avons soigneusement réfléchi aux facteurs qui favorisent la centralisation et à ce qui

techniques pourrait être appliqué pour inciter notre protocole à devenir progressivement public

infrastructure comme le Web.

Nous entièrement admettre que total décentralisation est les deux impossible et peut-être même

contre-productif. Pourtant, certains facteurs peuvent être encouragés pour produire un système plus équilibré.

Premièrement, même si la garde centralisée des fonds de vente participative permet un développement agile et rapide

du protocole au début, le financement devra éventuellement se diversifier et la vitesse de mise en œuvre

32 Voir le lien pour plus d'informations sur ce terme POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 41 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

le développement doit revenir à un rythme plus systématique et délibéré. Suite à ce point,

le financement doit éviter les préjugés culturels, linguistiques et géographiques.

Deuxièmement, à mesure que la communauté est mieux informée sur la nature sous-jacente du

technologie de la crypto-monnaie, les décisions concernant la feuille de route ne peuvent pas être centralisées dans un ensemble de

développeurs principaux ou fondation. Il doit y avoir une méthode basée sur blockchain pour proposer,

vérification et adoption de modifications au protocole.

Troisièmement, les incitations derrière le maintien du Cardano SL blockchain doivent être directement alignées

avec les désirs globaux de tous les utilisateurs. Nous ne pouvons pas permettre qu'une cabale d'acteurs spécialisés

émergent et sont indépendants de la volonté de la communauté dans son ensemble.

Pour le premier principe, nous avons choisi d'intégrer un système de trésorerie dans Cardano. Pour le

Deuxièmement, nous déploierons un processus formel pour proposer des propositions d'amélioration Cardano via un

système coordonné par CSL lui-même. Pour le troisième, nous pensons qu'Ouroboros offre un cadre élégant

solution.

De plus amples détails pourraient être fournis sur les sujets ci-dessus, mais ils sont vastes en eux-mêmes et

au-delà du cadre d’un document d’enquête. La conception des mécanismes est l’une des plus complexes et

domaines universitaires interdépendants avec une théorie incomplète et aucun modèle canonique solide

sur.

Notre approche scientifique décrite dans la deuxième section nous sert plutôt ici. Veritas de l'IOHK

L'équipe travaille en partenariat avec un groupe de chercheurs de l'Université de Lancaster sous le

direction du professeur Bingsheng Zhang pour développer le modèle de trésorerie de référence de Cardano. Avec

l’objectif d’intégration en 2018, nous attendons une publication dédiée à comité de lecture d’ici la fin de

Pour une description formelle et le contrôle des modifications apportées à un protocole de cryptomonnaie, cette rubrique est la

moins compris car il nécessite à la fois des notions ontologiques ainsi qu'un mécanisme pour inciter

une large participation. Peut-être qu'une certaine forme de processus démocratique représentatif pourrait émerger ou

utilisation de la rétroaction liquide pour fournir un vote plus rationnel.

Nous nous attendons à ce que la recherche dans cette direction consomme la majeure partie de l’implication formelle de l’IOHK dans le

développement de Cardano . Dans un premier temps, nous déploierons aux côtés de la trésorerie de référence

33 modéliser plusieurs mécanismes pour recueillir le consentement. Une étude plus approfondie est nécessaire pour une décision définitive

solution.

33 IOHK sont retenus pour construire Cardano jusqu'à fin 2020 POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 42 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Enfin, les travaux visant à améliorer les incitations pour les Ouroboros sont supervisés par le professeur Elias.

Koutsoupias de l'Université d'Oxford. Après que les fondements cryptographiques d’Ouroboros soient

solidifié parallèlement à tous les travaux d'évolutivité requis, une étude plus large des obligations, des pénalités et des éléments exotiques

des incitations seront ajoutées au protocole de référence.

Conclusão

Uma criptomoeda é mais do que a soma de seus protocolos, código-fonte e utilidade. Em última análise, é um sistema social que inspira, capacita e conecta pessoas. Frustrado pelas muitas metades medidas, falhas e promessas quebradas de protocolos anteriores, partimos para construir algo melhor.

Este processo não é simples e nunca acreditamos que possa terminar. Os protocolos sociais continuam mudando indefinidamente à medida que as pessoas e a sociedade mudam. Para sermos úteis, queremos capturar o poder do evolução e portá-lo para Cardano.

A evolução não é guiada por uma única mão ou por um grande projeto. É um processo de serendipidade inspirado por erros e problemas intermináveis. Cardano busca ser a personificação digital deste processo — suficientemente apto para sobreviver aos mercados de hoje e suficientemente adaptável para evoluir e satisfazer as necessidades do futuro.

As seções anteriores capturam uma breve visão de como temos abordado esse objetivo. Nós tentaram diligentemente reconhecer preconceitos cognitivos, aprender com a história e seguir um rigoroso processo. Tentámos equilibrar a necessidade de um desenvolvimento rápido com métodos formais que tradicionalmente não pode se mover rapidamente.

Foi um privilégio extraordinário embarcar nesta jornada. Nos últimos dois anos, tivemos já desenvolveu um protocolo proof-of-stake comprovadamente seguro, recrutou um pequeno exército de Haskell desenvolvedores e fizeram do desenvolvimento de Cardano a preocupação de muitos cientistas talentosos.

À medida que passamos do laboratório para um sistema implantado em estado selvagem, haverá dificuldades crescentes, mas nossa esperança é que o futuro de Cardano possa ser resumido em um único texto antropomorfizado sentença. Cardano é um sonhador pragmático que aprende com os mais velhos, é um bom cidadão em seus comunidade, e sempre encontra uma maneira de pagar suas contas.

POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 43 de 44

IOHK | POR QUE ESTAMOS CONSTRUINDO CARDANO | 28/06/2017

Não podemos conhecer o futuro, mas estamos felizes por tentar torná-lo melhor para todos. Obrigado por ler. POR QUE ESTAMOS CONSTRUINDO CARDANO Licença Creative Commons Atribuição 4.0 Internacional Página 44 de 44

Conclusion

Une crypto-monnaie est bien plus que la somme de ses protocoles, de son code source et de son utilitaire. C'est finalement un système social qui inspire, permet et connecte les gens. Frustré par les nombreuses moitiés mesures, échecs et promesses non tenues des protocoles passés, nous avons décidé de construire quelque chose de mieux.

Ce processus n’est pas simple et nous n’avons jamais cru qu’il puisse se terminer. Les protocoles sociaux se poursuivent changeant indéfiniment à mesure que les gens et la société changent. Pour être utile, nous voulons piéger le pouvoir de revolution et portez-le dans Cardano.

L’évolution n’est pas guidée par une seule main ou par un grand dessein. C'est un processus de hasard inspiré par des erreurs et des problèmes sans fin. Cardano cherche à être l'incarnation numérique de ce processus — suffisamment en forme pour pouvoir survivre aux marchés d'aujourd'hui et suffisamment adaptatif pour évoluer pour répondre les besoins du futur.

Les sections précédentes donnent un bref aperçu de la manière dont nous avons approché cet objectif. Nous ont essayé avec diligence de reconnaître les préjugés cognitifs, d'apprendre de l'histoire et de suivre une approche rigoureuse processus. Nous avons essayé d'équilibrer la nécessité d'un développement rapide avec des méthodes formelles qui ne peut traditionnellement pas agir rapidement.

Ce fut un privilège extraordinaire de se lancer dans ce voyage. Au cours des deux dernières années, nous avons déjà développé un protocole proof-of-stake dont la sécurité a été prouvée, a recruté une petite armée de Haskell développeurs et a fait du développement de Cardano la préoccupation de nombreux scientifiques talentueux.

À mesure que nous passons du laboratoire à un système déployé dans la nature, il y aura des difficultés de croissance, mais notre espoir est que l’avenir de Cardano puisse être résumé dans un seul tableau anthropomorphisé. phrase. Cardano est un rêveur pragmatique qui apprend de ses aînés, est un bon citoyen dans son communauté et trouve toujours un moyen de payer ses factures.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 43 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nous ne pouvons pas connaître l’avenir, mais nous sommes heureux d’essayer de le rendre meilleur pour tout le monde. Merci d'avoir lu. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 44 sur 44