Justificación del diseño de Cardano

Por Charles Hoskinson and IOHK · 2017

🇺🇸 English (Original)

🇪🇸 Español (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.

Introducción

Una visión a largo plazo sobre cómo mejorar el diseño de las criptomonedas para que puedan funcionar dispositivos móviles con una experiencia de usuario razonable y segura ● Acercar a los stakeholders a las operaciones y mantenimiento de su criptomoneda ● Reconocer la necesidad de contabilizar múltiples activos en el mismo libro mayor ● Resumir transacciones para incluir metadatos opcionales a fin de ajustarse mejor a las necesidades de los sistemas heredados ● Aprender de las casi 1000 altcoins adoptando características que tienen sentido ● Adoptar un proceso basado en estándares inspirado en el Grupo de Trabajo de Ingeniería de Internet utilizando una base dedicada para bloquear el diseño del protocolo final
● Explora los elementos sociales del comercio.
● Encontrar un punto medio saludable para que los reguladores interactúen con el comercio sin comprometiendo algunos principios básicos heredados de Bitcoin

A partir de este conjunto desestructurado de ideas, los directores que trabajaban en Cardano comenzaron a explorar

literatura sobre criptomonedas y construir un conjunto de herramientas de abstracciones. El resultado de esta investigación es

La extensa biblioteca de artículos de IOHK, numerosos resultados de encuestas como este reciente scripting

descripción general del lenguaje, así como una ontología de contratos inteligentes y el proyecto Scorex. Lecciones

cedido un apreciación para el criptomoneda de la industria inusual y en veces

crecimiento contraproducente.

Primero, a diferencia de protocolos exitosos como TCP/IP, hay pocas capas en el diseño de

criptomonedas. Ha habido un deseo de preservar una noción única de consenso en torno

hechos y acontecimientos registrados en un único libro de contabilidad, independientemente de si tiene sentido.

Por ejemplo, Ethereum ha acumulado una enorme complejidad al intentar convertirse en un

computadora mundial universal, pero sufre de preocupaciones triviales que potencialmente destruyen el sistema

capacidad de operar como reserva de valor. ¿El programa de todos debería ser un ciudadano de primera clase?

independientemente de su valor económico, costo de mantenimiento o consecuencias regulatorias?

En segundo lugar, hay poco reconocimiento por los resultados anteriores de la investigación criptográfica convencional. Para

Por ejemplo, la Prueba de Participación delegada de Bitshares podría haber generado de manera fácil y confiable

números utilizando el lanzamiento de monedas con entrega de salida garantizada, que es una técnica conocida desde

la década de 1980 (véase el artículo fundamental de Rabin y Ben-Or).

En tercer lugar, la mayoría de las altcoins (con algunas excepciones notables como Tezos) no han realizado ningún

Alojamiento para futuras actualizaciones. La capacidad de impulsar con éxito una bifurcación blanda o dura es fundamental

para el éxito a largo plazo de cualquier criptomoneda.

Como corolario, los usuarios empresariales no pueden comprometer millones de dólares en recursos para

protocolos donde la hoja de ruta y los actores detrás de ellos son efímeros, mezquinos o radicalizados. allí

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 3 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

debe ser un proceso eficiente a través del cual se pueda formar un consenso social en torno a una visión de

evolucionando el protocolo subyacente. Si este proceso es enormemente oneroso, la fragmentación

podría dividir a la comunidad.

Finalmente, dinero es en última instancia un sociales fenómeno. En el esfuerzo por anonimizar y

actores centrales no intermedios, Bitcoin y sus contemporáneos también han descartado la necesidad de

identidades estables, metadatos y reputación en transacciones comerciales. Añadiendo estos datos

a través de soluciones centralizadas elimina la auditabilidad, la disponibilidad global y la inmutabilidad.

cuál es el objetivo de usar un blockchain.

Los sistemas financieros heredados, como los compuestos por SWIFT, FIX y ACH, son ricos en

metadatos transaccionales. No basta con saber cuánto valor se movió entre cuentas,

La regulación a menudo requiere la atribución de actores involucrados, información de cumplimiento, presentación de informes.

actividad sospechosa y otros registros y acciones. En algunos casos, los metadatos son más

importante que la transacción.

Por tanto, parece razonable inferir que la manipulación de metadatos podría ser tan dañina como

falsificar moneda o reescribir el historial de transacciones. No hacer adaptaciones para los actores

que quieran incluir voluntariamente estos campos parece contraproducente para la adopción generalizada

y protección del consumidor.

El fin de la estancia

La agregación de nuestra exploración de principios del espacio de las criptomonedas es dos colecciones de

protocolos. Respectivamente, una criptomoneda basada en prueba de participación [1][2] demostrablemente segura llamada

Cardano Capa de liquidación (CSL) y un conjunto de protocolos denominado Cardano Capa de computación

(CCL).

Nuestro énfasis en el diseño es acomodar los aspectos sociales de las criptomonedas, construir en capas.

separando la contabilidad del valor del cálculo complejo y abordando las necesidades de

reguladores dentro del alcance de varios principios inmutables. Además, cuando sea sensato,

1 Intentamos examinar los protocolos propuestos a través de revisión por pares y verificar el código con las normas formales.

especificaciones.

1 Consulte la sección Regulación para obtener una lista. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 4 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Prueba de participación

Sin embargo, el uso de prueba de participación para una criptomoneda es una opción de diseño muy debatida porque

agrega un mecanismo para introducir votación segura, tiene más capacidad de escalar y permite más

esquemas de incentivos exóticos, decidimos adoptarlos.

Nuestro protocolo de prueba de participación se llama Ouroboros y ha sido diseñado por un equipo extremadamente

talentoso equipo de criptógrafos de cinco instituciones académicas dirigido por el profesor Aggelos

2 Kiayias de la Universidad de Edimburgo. La principal innovación que aporta más allá de la seguridad demostrada

El uso de un modelo criptográfico riguroso es un diseño modular y flexible que permite la

composición de muchos protocolos para mejorar la funcionalidad.

Esta modularidad permite funciones como delegación, cadenas laterales, puntos de control suscribibles,

mejores estructuras de datos para clientes ligeros, diferentes formas de generación de números aleatorios e incluso

diferentes supuestos de sincronización. A medida que una red pasa de tener miles a

millones e incluso miles de millones de usuarios, los requisitos de su algoritmo de consenso también

cambiar. Por lo tanto, es vital tener suficiente flexibilidad para adaptarse a estos cambios y así

preparar el corazón de una criptomoneda para el futuro.

Elementos sociales del dinero

Las criptomonedas son un excelente ejemplo del componente social del dinero. Al restringir

análisis únicamente a la tecnología, hay poca diferencia entre Bitcoin y Litecoin e incluso

menos entre Ethereum y Ethereum Classic. Sin embargo, tanto Litecoin como Ethereum Classic

mantener grandes capitalizaciones de mercado y comunidades sólidas y dinámicas, así como sus propias

mandatos sociales.

Se puede argumentar que gran parte del valor de una criptomoneda se deriva de su comunidad,

la forma en que utiliza la moneda y su nivel de participación en la evolución de la moneda. Fomentando

Pensándolo bien, monedas como Dash incluso han integrado sistemas directamente en el protocolo para

involucrar a su comunidad en la decisión de qué debería ser una prioridad para desarrollar y financiar.

2 Universidad de Connecticut, Universidad de Atenas, Universidad de Edimburgo, Universidad de Aarhus, Tokio Instituto de Tecnología POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 5 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

La gran diversidad de criptomonedas también proporciona evidencia de sus elementos sociales.

Desacuerdos sobre filosofía, política monetaria o incluso simplemente entre los desarrolladores principales.

provocar fragmentación y bifurcaciones. Sin embargo, a diferencia de sus contrapartes de criptomonedas, las monedas fiduciarias de

Las superpotencias tienden a sobrevivir a los cambios políticos y a los desacuerdos locales sin una crisis monetaria o

éxodo masivo.

Por lo tanto, parece que hay elementos de los sistemas heredados que faltan en el

industria de las criptomonedas. Argumentamos, y lo hemos inculcado en la hoja de ruta Cardano, que

Los usuarios de un protocolo necesitan incentivos para comprender el contrato social detrás de su protocolo y

tener la libertad de proponer cambios de manera productiva. Esta libertad se extiende a todos

aspecto de un sistema de intercambio de valor, desde decidir cómo deben regularse los mercados hasta qué

los proyectos deben ser financiados. Sin embargo, no puede ser negociado a través de actores centralizados ni requerir

alguna credencial especial que podría ser cooptada por una minoría bien financiada.

Cardano implementará un sistema de protocolos superpuestos creados sobre CSL para adaptarse a la

necesidades de sus usuarios.

Primero, independientemente del éxito de una venta colectiva para impulsar el desarrollo, los fondos eventualmente

disipar. Por lo tanto, Cardano incluirá un fideicomiso descentralizado financiado de forma monótona

3 Disminución de la inflación y las tarifas de transacción.

Cualquier usuario debe ser elegible para solicitar fondos del fideicomiso mediante un sistema de votación y el

Las partes interesadas de CSL votan sobre quién se convierte en beneficiario. El proceso crea un ambiente productivo.

bucle de retroalimentación visto en otras criptomonedas con sistemas de tesorería/fideicomiso, como Dash, por

iniciar una conversación sobre quién debería y quién no debería recibir financiación.

Las discusiones sobre financiamiento fuerzan una relación de objetivos a largo y corto plazo, la socialización de la criptomoneda

contrato, prioridades y la creencia en la creación de valor con propuestas particulares. esta conversación

significa que la comunidad está constantemente evaluando y debatiendo sus creencias frente a posibles

hojas de ruta.

En segundo lugar, nuestra esperanza es que Cardano eventualmente incluya un sistema formal basado en blockchain para

proponer y votar sobre bifurcaciones blandas y duras. Bitcoin con su debate sobre el tamaño de bloque, Ethereum con

la bifurcación DAO y muchas otras criptomonedas han perdurado durante mucho tiempo y, en

casos frecuentes, discusiones no resueltas sobre la dirección técnica y moral del código base.

Se puede y se debe argumentar que muchos de estos desacuerdos, y la fractura de la

comunidad que resulta cuando se toman medidas, son el resultado directo de la falta de procesos formales para

debatir el cambio.
3 Esto también se conoce como sistema de tesorería. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 6 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

¿A dónde se puede acudir para convencer a los usuarios de Bitcoin de que adopten Segregated Witness? ¿Cómo debería

¿Los desarrolladores principales de Ethereum miden el sentimiento de la comunidad por rescatar a DAO? si el

fracturas comunitarias, ¿la criptomoneda está dañada sin posibilidad de reparación?

En el peor de los casos, la autoridad moral para actuar podría simplemente recaer en quien tenga los desarrolladores,

relaciones infraestructurales y dinero, no los mejores deseos de la gran mayoría de la población.

comunidad. Además, si una gran parte de la comunidad es inaccesible o no está comprometida debido

a malos incentivos, entonces ¿cómo se puede saber realmente si sus actos son legítimos? 4

Las criptomonedas propuestas como Tezos proporcionan un modelo interesante para examinar dónde

El protocolo de criptomonedas se trata como una constitución que contiene tres secciones (Transacción,

Consenso y Red) con un conjunto de reglas formales y un proceso para actualizar la constitución. todavía

Queda mucho trabajo por hacer con los incentivos y sobre cómo modelar y cambiar exactamente.

una criptomoneda con un lenguaje formal.

El uso de métodos formales, especificaciones comprensibles por máquinas y la fusión de una tesorería con

Este proceso de incentivos financieros se está explorando como posibles vías de inspiración.

En última instancia, sólo la capacidad de proponer un cambio de protocolo de forma transparente y libre de censura.

con votación basada en blockchain debería mejorar el proceso, incluso si soluciones más elegantes no pueden

ser diseñado.

Diseño en capas – Cardano Capa de liquidación

Al diseñar grandes protocolos y lenguajes, no se debe mirar hacia el futuro, sino hacia el pasado. La historia ofrece una letanía de ejemplos de grandes ideas que son perfectas sobre el papel, pero de alguna manera no han sobrevivido, como los estándares de interconexión de sistemas abiertos. Historia también Proporciona accidentes felices que han perdurado desde TCP/IP hasta JavaScript.

Algunos principios extraídos de una visión histórica son los siguientes:

1. No se puede predecir el futuro, así que tenga margen de maniobra
2. La complejidad es agradable sobre el papel, pero la simplicidad suele ganar 3. Demasiados cocineros estropean el caldo 4. Una vez que se establece un estándar, probablemente se mantendrá, independientemente de si es subóptimo 4 Ver ignorancia racional
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 7 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

5. De hecho, las malas ideas pueden convertirse en otras bastante buenas si hay voluntad.

Cardano es un sistema financiero que acepta su naturaleza social. Habrá una tremenda necesidad para flexibilidad y la capacidad de abordar la complejidad arbitraria en la transacción de un usuario en particular. si Para tener éxito, se necesitarán enormes recursos computacionales, de almacenamiento y de red. para acomodar millones de transacciones simultáneas.

Sin embargo, no tenemos un Robin Hood digital y descentralizado para tomar de los nodos ricos y dárselo a los pobres para lograr una red justa. Tampoco podemos darnos el lujo de confiar en los seres humanos. beneficencia para sacrificarse altruistamente por el bien mayor de la red. Por lo tanto, Cardano El diseño toma prestado de TCP/IP el concepto de separación de preocupaciones.

Las blockchains son, en definitiva, bases de datos que ordenan hechos y eventos con garantías sobre marcas de tiempo e inmutabilidad. En el contexto del dinero, ordenan la propiedad de los activos. Añadiendo El cálculo complejo mediante el almacenamiento y la ejecución de programas es un concepto ortogonal. queremos saber cuánto valor pasó de Alice a Bob, o queremos involucrarnos en averiguar ¿Toda la historia detrás de la transacción y decidir cuánto enviar?

Es increíblemente tentador elegir este último como lo ha hecho Ethereum porque es más flexible, pero viola los principios de diseño anteriores. Descubrir la historia significa que un único protocolo tiene que ser capaz de comprender eventos arbitrarios, escribir transacciones arbitrarias, permitir el arbitraje en casos de fraude e incluso transacciones potencialmente inversas cuando se obtiene nueva información disponible.

Entonces uno tiene que tomar decisiones de diseño difíciles sobre qué metadatos almacenar para cada transacción. ¿Qué elementos de la historia detrás de la transacción de Alice y Bob son relevantes? son ¿Son relevantes para siempre? ¿Cuándo podemos tirar algunos datos? ¿Al hacerlo viola la ley en algunos países?

Además, algunos cálculos son de naturaleza privada. Por ejemplo, al calcular el promedio salario de los trabajadores en una oficina, no necesariamente querríamos filtrar cuánto gana cada persona hace. Pero ¿qué pasa si cada cálculo se conoce públicamente? ¿Qué pasa si esta publicidad sesga la ejecución? para perjudicar el resultado?

Por lo tanto, hemos elegido la posición de que la contabilidad del valor debe separarse de la historia detrás de por qué se movió el valor. En otras palabras, separación del valor del cálculo. Esta separación no significa que Cardano no admitirá smart contracts. Por el contrario, Al hacer explícita la separación, se permite una flexibilidad significativamente mayor en el diseño, uso, privacidad y ejecución de smart contracts.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 8 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

El libro mayor de valores se denomina Cardano Capa de liquidación (CSL). Como el objetivo es dar cuenta de valor, la hoja de ruta tiene los siguientes objetivos:

1. Admite dos conjuntos de lenguajes de secuencias de comandos, uno para mover valor y otro para mejorar soporte de protocolo de superposición
2. Proporcionar soporte para que las cadenas laterales KMZ se vinculen a otros libros de contabilidad. 5 3. Admite múltiples tipos de firmas, incluidas firmas resistentes a cuánticas para mayor seguridad
4. Admite activos emitidos por múltiples usuarios 5. Lograr una verdadera escalabilidad, es decir, a medida que se unan más usuarios, las capacidades del sistema aumentar

secuencias de comandos

Comenzando con el lenguaje de programación, las transacciones entre direcciones en un libro mayor requieren algunos forma de un script para ejecutar y demostrar su validez. Idealmente, uno no querría que Eve accediera dinero de Alice, ni tampoco querríamos que un guión mal diseñado enviara accidentalmente valor a un muerto. dirección que hace que los fondos sean irrecuperables.

Sistemas como Bitcoin proporcionan un lenguaje de programación extremadamente inflexible y draconiano que Es difícil programar transacciones personalizadas, leerlas y comprenderlas. Sin embargo, el general La programabilidad de lenguajes como Solidity introduce una extraordinaria cantidad de complejidad. en el sistema y son útiles sólo para un conjunto mucho más pequeño de actores.

Por ello, hemos optado por diseñar un nuevo lenguaje llamado Simon en honor a su creador. 6 Simon Thompson y el creador de los conceptos que lo inspiraron, Simon Peyton Jones. Simón es un lenguaje de dominio específico que se basa en Redacción de contratos: una aventura en finanzas ingeniería.

La idea principal es que las transacciones financieras generalmente se componen de una colección de elementos fundacionales. Si uno reúne una tabla periódica financiera de elementos, entonces puede 7 proporcionar soporte para un conjunto arbitrariamente grande de transacciones compuestas que cubrirán la mayoría, si no todos, tipos de transacciones comunes sin requerir programabilidad general.

5 Próximamente en un artículo de Kiayias, Zindros y Miller 6 Los detalles se publicarán en una próxima especificación. El idioma completo será compatible con el Lanzamiento de Shelley CSL previsto para el cuarto trimestre de 2017 7 El Proyecto ACTUS tiene una elaboración en profundidad
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 9 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

La principal ventaja es que la seguridad y la ejecución se pueden entender muy bien. Pruebas se puede escribir para mostrar la corrección de las plantillas y agotar el espacio de ejecución de eventos de transacciones problemáticos, como la creación de nuevo dinero de la nada o transacciones maleabilidad. En segundo lugar, se pueden dejar extensiones para agregar más elementos mediante bifurcaciones suaves si Se requiere nueva funcionalidad.

Dicho esto, siempre será necesario conectar CSL a protocolos superpuestos, sistemas financieros heredados sistemas y servidores de propósito especial. Así, hemos desarrollado a Plutus como un sistema general. lenguaje de propósito smart contract y también un DSL de propósito especial para la interoperabilidad.

Plutus es un lenguaje funcional escrito basado en conceptos de Haskell, que se puede utilizar para escribir scripts de transacciones personalizados. Para CSL, se utilizará para transacciones complejas necesarias para agregue soporte para otras capas que necesitamos conectar, como nuestro esquema de cadenas laterales.

cadenas laterales

Con respecto a las cadenas laterales, Cardano admitirá un nuevo protocolo desarrollado por Kiayias, Miller y Zindros (cadenas laterales KMZ) basado en resultados anteriores de pruebas de trabajo. el particular el diseño está más allá del alcance de este artículo; sin embargo, el concepto permite la seguridad y movimiento no interactivo de fondos desde CSL a cualquier Cardano Capa de Computación u otra blockchain compatible con el protocolo.

Las cadenas laterales KMZ son la clave para encapsular la complejidad. Libros mayores con requisitos reglamentarios, operaciones privadas, lenguajes de scripting robustos y otras preocupaciones especiales son efectivamente negros cajas a CSL, sin embargo, el usuario de CSL obtendrá ciertas garantías sobre la contabilidad y la capacidad de retirar los fondos una vez que se complete el cálculo.

Firmas

Para transferir valor de forma segura de Alice a Bob, Alice debe demostrar que tiene derecho a mover los fondos. La forma más directa y confiable de realizar esta tarea es utilizar un sistema público. esquema de firma de clave donde los fondos están conectados a una clave pública y Alice controla una clave privada asociada.

Hay cientos de esquemas posibles con diferentes parámetros y supuestos de seguridad. Algunos se basan en problemas matemáticos relacionados con curvas elípticas, mientras que otros son conectado a conceptos exóticos mediante celosías.
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 10 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

El objetivo abstracto es siempre el mismo. Existe un problema difícil que no se puede resolver a menos que alguien tiene un conocimiento secreto. Se dice que el poseedor de este conocimiento es el propietario del par de claves y debe ser la única entidad que tenga la capacidad de utilizarlo.

Hay dos grupos de preocupaciones que enfrenta una criptomoneda al elegir un esquema de firma. En primer lugar, está la durabilidad de la seguridad a largo plazo del propio plan. Algunos criptográficos Los esquemas utilizados en los años 1970 y 1980, como el DES, se han roto. El período durante el cual Se debe decidir qué tipo de plan se espera que sobreviva.

En segundo lugar, hay muchas empresas, gobiernos y otras instituciones que han preferido, o en algunos casos, exigía el uso de un plan particular. Por ejemplo, la NSA mantiene la Conjunto de protocolo Suite B. Existen estándares de ISO e incluso grupos de trabajo del W3C sobre criptografía.

Si una criptomoneda elige un esquema de firma única, se ve obligada a aceptar que el esquema podría romperse en algún momento en el futuro y al menos una entidad no puede usar el criptomoneda debido a restricciones legales o de la industria. Sin embargo, una criptomoneda no puede soportar todas las esquema de firma, ya que esto requeriría que cada cliente comprenda y valide cada esquema.

Para Cardano, decidimos comenzar usando criptografía de curva elíptica, la curva Ed25519 en particular. También decidimos mejorar las bibliotecas existentes agregando soporte para billeteras HD. utilizando la especificación del Dr. Dmitry Khovratovich y Jason Law.
8

Dicho esto, Cardano admitirá más esquemas de firma en el futuro. En particular, somos interesado en integrar BLISS-B para agregar firmas resistentes a computadoras cuánticas a nuestro sistema. También estamos interesados en agregar SECP256k1 para mejorar la interoperabilidad con el legado. criptomonedas como Bitcoin.

Cardano ha sido diseñado con extensiones especiales que nos permitirán agregar más firma esquemas a través de un tenedor suave. Se agregarán según sea necesario y durante las actualizaciones importantes planificadas en la hoja de ruta.
9

Activos emitidos por el usuario (UIA)

Al principio de la historia de Bitcoin, se desarrollaron rápidamente protocolos para permitir a los usuarios emitir activos que se aprovechó del sistema de contabilidad de Bitcoin para realizar un seguimiento de varias monedas al mismo tiempo. 8 Esta es la documentación para la implementación de HD Wallet de Cardano. Creemos que Cardano es el primero criptomoneda compatible con Ed25519 HD Wallets
9 Ver cardanoroadmap.com
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 11 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Estos protocolos no fueron admitidos de forma nativa por el protocolo Bitcoin, pero se implementaron a través de trucos inteligentes.

En el caso de Bitcoin superposiciones como Coloured Coins y Mastercoin (ahora llamado Omni), la luz los clientes se ven obligados a confiar en servidores confiables. Además, las tarifas de transacción aún deben pagarse en bitcoins. Estas propiedades combinadas con el proceso único para la aprobación de transacciones hacen Bitcoin subóptimo para la contabilidad de activos múltiples.

En el caso Ethereum que utiliza el estándar ERC20, hay más riqueza de funciones. Sin embargo, las tarifas de transacción aún requieren ether. Además, la red Ethereum está teniendo dificultades escalando a las necesidades de todos los ERC20 tokens emitidos.

El problema fundamental se puede dividir en tres partes: recursos, incentivos y preocupación. Con respecto a los recursos, agregar una moneda completamente nueva al mismo libro mayor significa que uno tiene dos conjuntos UTXO independientes (entradas de transacciones no gastadas) que comparten el ancho de banda, mempool y bloquear el espacio. Nodos de consenso responsables de incorporar transacciones de estas monedas Necesita un incentivo para hacerlo. Y no a todos los usuarios de una criptomoneda les importará o debería importarles la moneda de una entidad particular.

Teniendo en cuenta estos problemas, los beneficios son enormes como el token principal de un libro mayor de activos múltiples puede servir eficazmente como moneda puente que permita la creación de mercado descentralizada. Especial Los activos con propósito podrían emitirse para proporcionar utilidad adicional, como activos estables de valor como Tether o MakerDAO que son útiles para aplicaciones de préstamos y remesas.

Ante los desafíos, Cardano ha adoptado un enfoque pragmático para la contabilidad de activos múltiples. Construido por etapas, el primer desafío es diseñar la infraestructura necesaria para respaldar la demandas de miles de UIA. Es decir, son necesarios los siguientes avances:

1. Estructuras de datos autenticadas con fines especiales para permitir el seguimiento de una gran cantidad de UTXO estado

2. La capacidad de tener un mempool distribuido para albergar un gran conjunto de transacciones pendientes.
3. Partición de blockchain y puntos de control para permitir un enorme blockchain global 4. Un esquema de incentivos que recompensa a los nodos de consenso por incluir diferentes conjuntos de transacciones 5. Un mecanismo de suscripción que permite a los usuarios decidir qué monedas quieren rastrear
6. Fuertes garantías de seguridad de que las UIA disfrutan de una seguridad similar a la del activo nativo 7. Apoyo a la creación de mercado descentralizado para mejorar la liquidez entre la UIA y la primario token

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 12 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Nuestros esfuerzos preliminares para encontrar la estructura de datos autenticada correcta han dado como resultado una nueva tipo de árbol AVL+ desarrollado conjuntamente por Leo Reyzin, IOHK y Waves. Se requiere más investigación, pero es un avance fundamental que se incluirá en una versión posterior de Cardano.

Se podría implementar un mempool distribuido utilizando el protocolo RAMCloud de la Universidad de Stanford. Los experimentos comenzarán en el tercer trimestre de 2017 para estudiar su integración en la capa de consenso de Cardano.

Los temas restantes están interconectados y cubiertos por investigaciones en curso. Esperamos - sujeto a los resultados de la investigación: incluir un protocolo en Cardano para las UIA durante el torneo de CSL lanzamiento en 2018.

Escalabilidad

Los sistemas distribuidos se componen de un conjunto de computadoras (nodos) que acuerdan ejecutar un protocolo o

conjunto de protocolos para lograr un objetivo común. Este objetivo podría ser compartir un archivo según lo definido por

el protocolo BitTorrent o plegar una proteína usando Folding@Home.

Los protocolos más eficaces obtienen recursos a medida que los nodos se unen a la red. Un archivo alojado por

BitTorrent, por ejemplo, se puede descargar mucho más rápido en promedio si muchos pares están

descargándolo simultáneamente. La velocidad aumenta porque los pares proporcionan recursos mientras

también consumiéndolos. Esta característica es lo que normalmente uno quiere decir cuando establece una distribución

escalas del sistema.

El desafío con el diseño de todas las criptomonedas actuales es que en realidad no lo son.

diseñado para ser escalable. Las cadenas de bloques, por ejemplo, suelen ser una lista enlazada de sólo anexos.

bloques. La seguridad y disponibilidad de un protocolo blockchain depende de muchos nodos

poseer una copia completa de los datos blockchain. Por lo tanto, se debe replicar un solo byte de datos.

entre N nodos. Los nodos adicionales no proporcionan recursos adicionales.

Este resultado es el mismo para el procesamiento de transacciones y el chisme de mensajes en todo

el sistema. Agregar más nodos al sistema de consenso no proporciona

poder de procesamiento de transacciones. Simplemente significa que se deben gastar más recursos para hacer lo mismo.

trabajo. Más retransmisión de red significa que más nodos tienen que pasar los mismos mensajes para mantener la

toda la red en sincronización con el bloque más actual.

Dada esta topología, las criptomonedas no pueden escalar a una red global a la par del legado.

sistemas financieros. Por el contrario, la infraestructura heredada es escalable y tiene órdenes de magnitud para

Más poder de procesamiento y almacenamiento. Agregando un punto específico, Bitcoin es una red muy pequeña

en relación con sus pares de pago, pero lucha por administrar su carga actual.
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 13 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Nuestros objetivos de escalabilidad para Cardano se ven muy favorecidos por nuestro algoritmo de consenso. Uróboros

permite una forma descentralizada de elegir un quórum de nodos de consenso, que a su vez puede ejecutar más

protocolos tradicionales desarrollados durante los últimos 20 años para adaptarse a las necesidades de grandes

Proveedores de infraestructura como Google y Facebook.
10

Por ejemplo, la elección de un quórum para una época significa que tenemos un conjunto confiable de nodos para

mantener el libro mayor durante un período de tiempo específico. Es trivial elegir varios quórums al mismo tiempo

y dividir transacciones en diferentes quórumes.

Se podrían aplicar técnicas similares para la propagación de la red y también para fragmentar el blockchain

en particiones únicas. En nuestra hoja de ruta actual, se aplicarán métodos de escalamiento para

Ouroboros comenzó en 2018 y seguirá siendo un foco de atención en 2019 y 2020.

Cardano Capa de Computación

Como se mencionó anteriormente, hay dos componentes de una transacción: el mecanismo para enviar y registre el flujo de tokens y los motivos y las condiciones detrás del movimiento de tokens. el Este último puede ser arbitrariamente complejo e involucrar terabytes de datos, múltiples firmas y funciones especiales. acontecimientos que ocurren. Este último también puede ser notablemente simple con un valor de empuje de firma única a otra dirección.

El desafío detrás de modelar las razones y condiciones del flujo de valor es que son inmensamente personal para las entidades involucradas de la manera más impredecible. Lecciones de El derecho contractual pinta un cuadro aún más problemático cuando los propios actores podrían no incluso tener en cuenta que la transacción no se corresponde con la realidad comercial. Generalmente llamamos a esto fenómeno “la brecha semántica”. 11

¿Por qué debería uno construir una criptomoneda persiguiendo una capa interminable de complejidad y abstracción? Parece Sísifo por naturaleza e ingenuo en la práctica. Además, cada abstracción abarcaba tiene consecuencias tanto jurídicas como de seguridad.

Por ejemplo, existen numerosas actividades en línea que se consideran universalmente ilegales o despreciadas. como el tráfico de pornografía infantil o la venta de secretos de Estado. Mediante el despliegue robusto 10 También existen otros protocolos de investigación independientes que intentan lograr el mismo fin, como Elástico y Bitcoin-NG
11 Loi Luu y otros. discute esta brecha en su reciente artículo sobre Cómo hacer que los contratos inteligentes sean más inteligentes POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 14 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

infraestructura descentralizada, ahora se está proporcionando un canal para que esta actividad ocurra con el misma resistencia a la censura que disfrutan las transacciones comerciales normales. No está legalmente claro si los nodos de consenso de la red, que tienen el incentivo de volverse más federados a lo largo tiempo para promover la eficiencia—serían responsables del contenido que alojan.

El procesamiento de los operadores de Tor, el trato brutal al operador de Silk Road y la falta de control general La claridad jurídica detrás de las protecciones legales de los participantes en el protocolo deja un camino incierto. hay No falta imaginación sobre qué más podría permitir una criptomoneda suficientemente avanzada (ver el Anillo de Giges). ¿Es razonable obligar a todos los usuarios de una criptomoneda a respaldarla o al menos ¿Permitir los peores actos y conductas de la web?

Desafortunadamente, no hay respuestas claras que brinden información a un diseñador de criptomonedas. es más sobre elegir una posición y defender sus méritos. La ventaja de que tanto Cardano como Bitcoin es que hemos elegido separar las preocupaciones en capas. Con Bitcoin, hay Portainjerto. Con Cardano, existe la capa de computación Cardano.

Los tipos de comportamiento complejo que permitirían los actos elaborados anteriormente no pueden continuar CSL. Requieren la capacidad de ejecutar programas escritos en un lenguaje completo de Turing y algunos forma de economía del gas para el cálculo de medidores. También requieren nodos de consenso dispuestos a incluir las transacciones en sus bloques.

Por tanto, una restricción de funcionalidad podría proteger razonablemente a los usuarios. Hasta ahora, la mayoría establecida Los gobiernos no han adoptado la posición de que el uso o mantenimiento de una criptomoneda sea un acto ilegal. Por lo tanto, la gran mayoría de los usuarios deberían sentirse cómodos manteniendo un libro de contabilidad que sea comparable en capacidad a un sistema de pago digital.

Cuando se quiere ampliar la capacidad, hay dos posibilidades. Está habilitado por un privado. colectivo de personas con ideas afines y de naturaleza efímera (por ejemplo, una partida de póquer). O, eso está habilitado por un libro mayor de capacidades comparables a Ethereum. En ambos casos hemos elegido subcontratar los eventos a otro protocolo.

En el caso de un evento privado y efímero, es razonable evitar el paradigma blockchain por completo, sino que más bien restringe los esfuerzos hacia una biblioteca de protocolos MPC de propósito especial que puedan ser invocado cuando lo desee un grupo de participantes con ideas afines. Los cálculos y actividades. están coordinados en una red privada y hacen referencia a CSL solo como un tablero de anuncios confiable y un canal de paso de mensajes cuando sea necesario.

La idea clave en este caso es que existe consentimiento, encapsulación de responsabilidad y privacidad. CSL es ser utilizado como un bien común digital para que los usuarios se reúnan y se comuniquen, como si un parque albergara una evento privado, pero no proporciona ninguna adaptación o facilitación especial. Además, POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 15 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

El uso de MPC de propósito especial permitirá una interacción de baja latencia sin necesidad de blockchain hinchazón. Por tanto, mejora la escala del sistema.

Los esfuerzos de investigación de Cardano para esta biblioteca están centralizados en nuestro laboratorio tecnológico de Tokio con alguna ayuda de científicos en el extranjero. Llamamos a la biblioteca “Tartaglia” en honor a un compañero matemático y contemporáneo de Cardano y esperamos que la primera iteración esté disponible en el primer trimestre de 2018.

En el segundo caso, se necesita un blockchain con una máquina virtual, un conjunto de nodos de consenso y un mecanismo para permitir la comunicación entre las dos cadenas. Hemos comenzado el proceso de formalización rigurosa de la máquina virtual Ethereum utilizando el marco K en 12 asociación con un equipo de la Universidad de Illinois.

El resultado de este análisis informará la forma más óptima de diseñar un sistema replicado y eventualmente máquina virtual distribuida con una semántica operativa clara y sólidas garantías de correcta 13 implementación a partir de la especificación. En otras palabras, la VM realmente hace lo que le dice el código. tiene que ver con los riesgos de seguridad minimizados.

Todavía quedan preguntas sin resolver sobre la economía del gas propuesta por Ethereum y cómo se relaciona con trabajos como el ML consciente de los recursos de Jan Hoffmann et al y el estudio más amplio de estimación de recursos para la computación. También tenemos curiosidad por el nivel del idioma. Independencia de la máquina virtual. Por ejemplo, el proyecto Ethereum ha expresado su deseo para la transición de su máquina virtual actual a Web Assembly.

El próximo esfuerzo es desarrollar un lenguaje de programación razonable para expresar información con estado. contratos que serán llamados como servicios por aplicaciones descentralizadas. Para esta tarea tenemos elegido tanto el enfoque de soportar el lenguaje heredado smart contract Solidez para bajos aplicaciones de aseguramiento y desarrollo de un nuevo lenguaje llamado Plutus para un mayor aseguramiento solicitudes que requieren verificación formal.

Al igual que el proyecto Zeppelin basado en la solidez, IOHK también desarrollará una biblioteca de referencia de código Plutus. para que los desarrolladores de aplicaciones lo utilicen en sus proyectos. También desarrollaremos un conjunto especializado de herramientas. para verificación formal inspirada en el trabajo del proyecto Liquid Haskell de UCSD.

En términos de consenso, Ouroboros fue diseñado de una manera suficientemente modular para soportar smart contract evaluación. Por tanto, tanto CSL como CCL compartirán el mismo algoritmo de consenso. 12 Inventado por el profesor Grigore Rosu et. al., K es un marco universal para lenguaje independiente Semántica ejecutable por máquina. Antes de nuestro trabajo, se ha utilizado para modelar C, Java y JavaScript. 13 Lo que significa que diferentes nodos de consenso ejecutan diferentes smart contracts. También conocido como fragmentación de estado. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 16 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

La diferencia es que se puede confirmar que Ouroboros permite tanto permisos como permisos. libros de contabilidad sin permiso a través de la distribución token.

Con CSL, Ada se ha distribuido mediante un evento de generación token a compradores de toda Asia. que eventualmente revenderá en un mercado secundario. Esto significa que el algoritmo de consenso de CSL es controlado por un conjunto diverso y cada vez más descentralizado de actores o sus delegados asigna. Con CCL, es posible crear un propósito especial token en manos de delegados de ese libro mayor que podrían ser entidades reguladas, creando así un libro mayor autorizado.

La flexibilidad de este enfoque permite que diferentes instancias de CCL se materialicen con diferentes reglas sobre la evaluación de transacciones. Por ejemplo, las actividades de juego podrían restringirse. a menos que los datos KYC/AML estén presentes simplemente al incluir en la lista negra transacciones no atribuidas.

Nuestro diseño final se centra en agregar módulos de seguridad de hardware (HSM) confiables a nuestro protocolo. pila. Estas son dos enormes ventajas a la hora de introducir estas capacidades en el protocolo. En primer lugar, los HSM proporcionan mejoras masivas en el rendimiento sin introducir seguridad. 14 preocupaciones más allá de confiar en el proveedor. En segundo lugar, mediante el uso de pruebas de vidrio sellado (SGP), Los HSM pueden proporcionar garantías de que los datos se pueden verificar y luego destruir sin ser copiado o filtrado a personas externas malintencionadas.

Centrándonos en el segundo punto, los PEC podrían tener un impacto revolucionario en el cumplimiento. Normalmente, cuando un consumidor proporciona información de identificación personal (PII) para autenticar identidad o acreditar el derecho a participar, esta información se entrega a un tercero de confianza con la esperanza de que no actúe maliciosamente. Esta actividad está intrínsecamente centralizada, el proveedor de datos pierde control sobre su PII y también está sujeto a diversas regulaciones basadas en la jurisdicción.

La capacidad de seleccionar un conjunto de certificadores confiables y luego almacenar la PII en un enclave de hardware. significa que cualquier actor con un HSM suficientemente capaz podrá verificar hechos sobre un actor de forma infalsificable sin que el verificador conozca la identidad del actor. Por ejemplo, Bob es no es ciudadano estadounidense. Alice es una inversora acreditada. James es un contribuyente estadounidense y uno debería enviar ganancias imponibles a la cuenta X.

La estrategia HSM de Cardano será intentar implementar protocolos especializados durante los próximos dos años usando Intel SGX y ARM Trustzone. Ambos módulos están integrados en miles de millones de consumidores desde portátiles hasta teléfonos móviles y no requieren ningún esfuerzo adicional por parte del consumidor para uso. Ambos también están muy examinados, bien diseñados y se basan en años de iteración de algunos de los equipos de seguridad de hardware más grandes y mejor financiados.

14 Ver http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ de Cornell Universidad POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 17 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Reglamento

La dura realidad de todos los sistemas financieros modernos es que, a medida que crecen, acumulan una necesidad, o al menos un deseo de regulación. Este resultado es generalmente el resultado de colapsos recurrentes. debido a la negligencia de algún actor o camarilla de actores en un mercado.

Por ejemplo, la crisis de Knickerbocker de 1907 dio lugar a la creación de la Reserva Federal. Sistema en 1913 como prestamista de última instancia. Otro ejemplo son los excesos de los años 1920 en la Estados Unidos que resultó en un terrible colapso financiero, la Gran Depresión. Este colapso dio lugar a la creación de la Comisión de Bolsa de Valores en 1934 para evitar una situación similar evento o al menos responsabilizar a los malos actores.

Se puede debatir razonablemente la necesidad, el alcance y la eficacia de la regulación, pero no se puede negar su existencia y el celo con el que los principales gobiernos lo han hecho cumplir. Sin embargo, el El desafío que enfrentan todos los reguladores a medida que el mundo se globaliza y el efectivo se vuelve digital tiene dos vertientes.

Primero, ¿qué conjunto de regulaciones debería ser suprema cuando se trata de un conjunto de jurisdicciones? La anticuada noción de soberanía de Westfalia se derrite cuando una sola transacción puede llegar a tres docenas de países en menos de un minuto. ¿Debería ser simplemente quien empuña el ¿La mayor influencia geopolítica?

En segundo lugar, las mejoras en la tecnología de privacidad han creado una carrera armamentista digital en la que Cada vez es más difícil incluso entender quién ha participado en una transacción, mucho menos quién posee un depósito de valor en particular. En un mundo donde millones de dólares en activos se puede controlar con nada más que un mnemotécnico de 12 palabras guardado en secreto, ¿cómo se puede 15 ¿Hacer cumplir una regulación eficaz?

Como todo sistema financiero, el protocolo Cardano debe tener opinión en su diseño sobre lo que es justo y razonable. Hemos elegido dividir entre derechos individuales y derechos de un mercado.

Los individuos siempre deben tener acceso exclusivo a sus fondos sin coerción ni bienes civiles. decomiso. Este derecho debe hacerse cumplir porque no se puede confiar en que todos los gobiernos no abusar de su poder soberano para beneficio personal de políticos corruptos, como se ha visto en Venezuela y Zimbabue. Las criptomonedas deben diseñarse hasta el mínimo común denominador.

15 Ver BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 18 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

En segundo lugar, nunca se debe alterar la historia. Las cadenas de bloques ofrecen una promesa de inmutabilidad. Introducir el poder de hacer retroceder la historia o alterar el registro oficial introduce demasiado Tentación de cambiar el pasado para beneficiar a uno o varios actores en particular.

En tercer lugar, el flujo de valor no debe tener restricciones. Controles de capital y otros muros artificiales disminuir los derechos humanos. Más allá de la inutilidad de intentar hacerlas cumplir, en un contexto global 16 economía con muchos ciudadanos de los países menos desarrollados que viajan fuera de su jurisdicción Para encontrar un salario digno, restringir los flujos de capital generalmente termina perjudicando a los más pobres del mundo.

Dichos estos principios, los mercados son claramente diferentes de los individuos. Mientras que los diseñadores de Cardano creemos en los derechos individuales, también creemos que los mercados tienen derecho a declarar abiertamente sus términos y condiciones, y si un individuo acepta hacer negocios dentro de este mercado, entonces deben cumplir esos estándares en aras de la integridad de todo el sistema.

El desafío siempre ha sido el costo y la practicidad de la aplicación de la ley. Pequeño, multijurisdiccional las transacciones son simplemente demasiado costosas en los sistemas heredados para ofrecer una alta seguridad de recurso en caso de fraude o disputa comercial. Cuando uno envía su transferencia bancaria al Príncipe de Nigeria, suele resultar demasiado caro intentar recuperar los fondos.
17

Para Cardano, creemos que podemos innovar en tres niveles. Primero, mediante el uso de smart contracts Se pueden controlar mejor los términos y condiciones de las relaciones comerciales. Si todos los activos son digital y puede expresarse únicamente en CSL, se pueden ofrecer sólidas garantías de comercio libre de fraude. ganado.

En segundo lugar, el uso de HSM para proporcionar un espacio de identidad donde la PII no se filtre pero se utilice para Los actores de autenticación y credenciales deben proporcionar un sistema de reputación global y permitir actividades reguladas de mucho menor costo, como juegos en línea con sistemas automatizados cumplimiento tributario o intercambios descentralizados.

Finalmente, en la hoja de ruta de Cardano está la creación de una regulación modular DAO que puede ser personalizado para interactuar con el usuario escrito smart contracts para agregar mutabilidad, consumidor protección y arbitraje. El alcance de este proyecto se describirá en un documento posterior.

16 Como ejemplo de contramedida al flujo de capital, véase el Sistema Bancario Hawala 17 Ver estafa de pago por adelantado POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 19 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

¿Cuál es el objetivo de todo esto?

Cardano ha sido un proyecto maratónico que incluyó comentarios de cientos de las mentes más brillantes.

dentro y fuera de la industria de las criptomonedas. Implica una iteración incansable, el uso activo de

revisión por pares y robo descarado de grandes ideas cuando se descubren.

Cada una de las secciones restantes cubre un aspecto particular del enfoque que hemos decidido que es central.

componente de nuestro proyecto. Algunos fueron seleccionados debido al deseo de mejorar lo mejor en general.

prácticas del espacio mientras que otras son específicas de la evolución de Cardano.

Si bien ningún proyecto puede cubrir todos los objetivos o satisfacer a todos los usuarios, nuestra esperanza es brindar una visión para

cómo debería ser una pila financiera en evolución automática para las jurisdicciones que carecen de ella. lo último

La realidad de las criptomonedas no es que vayan a perturbar los sistemas financieros heredados existentes.

Los sistemas financieros heredados siempre son capaces de absorber el cambio y mantener su forma.

y función.

Más bien deberíamos buscar lugares donde sea simplemente demasiado caro implementar las tecnologías existentes.

sistema bancario, donde muchos viven con menos de unos pocos dólares al día, no tienen una identidad estable y

El crédito es imposible de encontrar.

En estos lugares, el poder de agrupar un sistema de pago, derechos de propiedad, identidad, crédito y riesgo.

La protección en una única aplicación que se ejecuta en un teléfono móvil no sólo es útil, sino que cambia la vida.

La razón por la que estamos construyendo Cardano es que sentimos que tenemos una oportunidad legítima de cumplir, o

al menos hacer avanzar esta visión para el mundo en desarrollo.

Incluso en caso de fracaso, si podemos cambiar la forma en que se diseñan, evolucionan y financian las criptomonedas,

entonces hay un gran logro.

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.

Ciencia e Ingeniería

El arte de la iteración

Las criptomonedas son protocolos implementados como software. Los protocolos son simplemente inteligentes conversaciones entre los participantes. El software es, en última instancia, la manipulación de datos dados algunos POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 20 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

meta. Sin embargo, la diferencia entre un software sólido y confiable y protocolos y protocolos útiles y seguros su conversación es completamente humana.

Un buen software necesita responsabilidad, requisitos comerciales claros, procesos repetibles, pruebas exhaustivas e iteraciones incansables. Un buen software también necesita talento razonable desarrolladores con suficiente conocimiento específico del dominio para diseñar adecuadamente un sistema que pueda resolver cualquier problema que estén tratando de resolver.

En cuanto a protocolos útiles y seguros, especialmente los que involucran criptografía y distribución sistemas, comienzan en un proceso más académico y basado en estándares. Revisión por pares, interminable Se necesitan debates y un concepto firme de compensaciones para garantizar que un protocolo sea útil. Sin embargo, estos Los protocolos por sí solos no son suficientes, es necesario implementarlos y probarlos en el uso en la vida real.

El desafío único en la industria de las criptomonedas es que dos completamente diferentes Las filosofías están destrozadas sin una síntesis hegeliana adecuada. Nuestra tesis es un “movimiento Acelerar y romper cosas” mentalidad de startup impulsada por la juventud, la codicia y la pasión. La antítesis es una enfoque lento, metódico y de orientación académica motivado por el deseo de solidificar la innovaciones de nuestro espacio en un nicho agradable que goza de amplia financiación y prestigio.

El resultado es que muchas criptomonedas se especifican completamente solo en un documento técnico relevante para un CV o simplemente mediante un código escrito apresuradamente. Ninguna de las diez principales criptomonedas actuales por 18 La capitalización de mercado se basa en un protocolo revisado por pares. Ninguno de los diez mejores actuales Las criptomonedas se implementaron a partir de una especificación formal.

Sin embargo, están en juego miles de millones de dólares de valor. Una vez implementada, una criptomoneda es extremadamente

difícil de cambiar. ¿Cómo sabe un usuario que está utilizando un sistema seguro? ¿Cómo un usuario

¿Sabe que las afirmaciones de marketing son legítimas? ¿Qué pasa si el protocolo propuesto nunca puede lograr

los reclamos?

Esta falta de síntesis y respeto por el proceso es una de las principales razones por las que IOHK quería

construir Cardano. Nuestra esperanza era desarrollar un proyecto de referencia que sirviera como ejemplo de

cómo hacer las cosas de una manera más efectiva, sana y honesta.

El objetivo no es proponer una forma totalmente nueva de desarrollar software y protocolos, sino más bien

reconocer que ya existen excelentes software y protocolos y que podemos imitar las condiciones

que llevó a su creación. En segundo lugar, hacer que estas condiciones sean de conocimiento público y de código abierto si

posible para que puedan ser imitados en beneficio de todo el campo. 18 Consulte www.coinmarketcap.com para obtener una lista completa por capitalización de mercado. 19 Ethereum tiene una especificación semiformal conocida como Libro Amarillo; sin embargo, la semántica EVM es no están completamente especificados ni son suficientes para una implementación completa del protocolo. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 21 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Hechos y opiniones

La otra preocupación es dónde terminan los hechos y comienza la opinión. Hay cientos de

lenguajes de programación, decenas de paradigmas de desarrollo y más de una filosofía sobre

gestión de proyectos. El mundo académico está plagado de sus propios desafíos derivados de su

alejado de las preocupaciones comerciales y de la practicidad.

Para Cardano, primero intentamos capturar deficiencias obvias que pueden ser aceptadas universalmente.

ser útil desde una perspectiva de ingeniería. Por ejemplo, criptografía y distribución.

Los sistemas son temas extraordinariamente complicados con demasiados ejemplos de cómo las manos ingenuas

puede cometer errores horribles. Por lo tanto, cualquier protocolo que requiera conocimiento de estos dominios necesita

ser diseñado por un experto reconocido y sometido a revisión por otros expertos.

Ouroboros es nuestro primer estudio de caso en esta área. Fue diseñado por un equipo de criptógrafos con

un historial de publicaciones amplio, diverso y públicamente verificable. Fue construido según el estándar.

proceso de criptografía, con supuestos de seguridad, un modelo adversarial y pruebas. estos

las pruebas fueron verificadas mediante presentación a conferencias y también de forma independiente por ordenador

20 Pruebas escritas en Isabelle por un equipo de la Universidad de Cambridge.
21

Sin embargo, este trabajo por sí solo no ofrece garantías de utilidad: solo una verificación rigurosa de seguridad.

modelo dados algunos supuestos. Para que sea útil, es necesario implementar y probar el protocolo.

Nuestros desarrolladores lo han hecho tanto en Haskell como en Rust. Este trabajo reveló que un mayor esfuerzo

Necesitaba centrarse en el modelo de sincronización, lo que llevó a la creación de Ouroboros.

Praos.

Este arte de iteración es lo que produce grandes protocolos, donde cada paso conduce a nuevas lecciones y

un requisito para volver a verificar la exactitud del paso anterior. Es costoso, requiere mucho tiempo y al

22 A veces es realmente tedioso, pero es necesario garantizar que el protocolo esté diseñado correctamente.

Los protocolos, especialmente aquellos que serán utilizados por miles de millones de personas, no son de corta duración y rápidamente

evolucionando. Más bien están destinados a ser seguidos durante años o décadas. parece completamente

Es razonable que, antes de cargar al mundo con un nuevo sistema financiero, todos tengamos que vivir con

Durante los próximos 100 años queremos exigir algo de tedio y rigor a sus diseñadores.

20 Documento aceptado número 71 de la Conferencia Anual sobre Cripto de la IACR en California
21 Por Kawin Worrasangasilpa bajo la supervisión del profesor Lawrence Paulson
22 Siguiendo una tangente en aras de la ligereza, uno debería observar la discusión del profesor Halmos sobre cómo escribir un libro de texto de matemáticas POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 22 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Pecados funcionales

Avanzando hacia un territorio más obstinado, las herramientas, lenguajes y metodologías utilizadas en

El desarrollo de software son más artefactos de la providencia religiosa que de la realidad objetiva. Fuente

El código es como la prosa escrita. Todo el mundo tiene una opinión sobre lo que es bueno y lo que se está haciendo.

lo que se comunica es, a veces, menos importante que cómo se comunica.

Debemos cometer el pecado de elegir un bando aceptando que estará mal en al menos un lado.

los ojos de la persona. Sin embargo, hay al menos un gran corpus de justificaciones detrás de nuestra elección.

Los protocolos que hacen posible Cardano se están implementando en Haskell. La interfaz de usuario

ha sido encapsulado en una bifurcación de Electron que llamamos Daedalus. Hemos elegido

Utilice el modelo arquitectónico web siempre que sea posible y, para nuestra base de datos, optamos por un valor clave.

paradigma utilizando RocksDB.

Desde el nivel de componente, esta abstracción significa que el mantenimiento es mucho más simple, mejor

La tecnología se puede sustituir más tarde con poco esfuerzo, y que nuestra pila está parcialmente ligada a la

esfuerzos de desarrollo de Github y Facebook.

El uso de una WebGUI nos permite aprovechar React y desarrollar funciones de front-end utilizando herramientas.

entendido por cientos de miles de desarrolladores de JavaScript. Usando una arquitectura web

significa que los componentes pueden tratarse como servicios y el modelo de seguridad es sensato.

Elegir a Haskell para el desarrollo del protocolo fue la elección más difícil. Incluso en lo funcional

mundo, hay muchas opciones. En el lado más flexible e impuro, hay lenguajes como

Clojure, Scala y F#, que se benefician de las enormes bibliotecas de Java y .Net

ecosistemas preservando al mismo tiempo algunos de los mejores aspectos de la programación funcional.

Hay lenguajes más orientados académicamente como Agda e Idris que tienen una estrecha

conexión con técnicas que permitirían una fuerte verificación de la corrección. Sin embargo les falta

bibliotecas razonables y tienen una experiencia de desarrollo deficiente.

Para Cardano, la elección recayó en Ocaml y Haskell. Ocaml es un lenguaje maravilloso con

una gran comunidad, buenas herramientas, experiencia de desarrollo razonable y un gran legado en el

Espacio de verificación formal a través de Coq. Entonces, ¿por qué elegimos Haskell? 23

23 Además de este punto, IOHK en realidad tiene un proyecto en ejecución en Ocaml llamado Qeditas que heredamos del seudónimo Bill White POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 23 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

¿Por qué Haskell?

Los protocolos que componen Cardano se distribuyen, se incluyen con criptografía y requieren una

alto grado de tolerancia a fallos. En los mejores días, todavía habrá actores bizantinos, mal formados.

mensajes y clientes defectuosos que causan involuntariamente algún tipo de caos en la red.

Primero, queríamos un lenguaje que tuviera un sistema de tipos sólido donde pudiéramos usar herramientas fácilmente.

como Quickcheck y técnicas más elaboradas como los tipos de refinamiento mientras tiene un

Expectativa razonable de tolerancia a fallos. Un modelo OTP estilo Erlang satisface este último

mientras que lenguajes como Haskell y Ocaml satisfacen el primero.

Con la introducción de Cloud Haskell, Haskell obtuvo muchas de las ventajas de Erlang mientras no

entregando lo suyo. Además, la modularidad y componibilidad de Haskell nos ha permitido

utilice una biblioteca personalizada más liviana llamada Time Warp para Cardano.

En segundo lugar, las bibliotecas de Haskell han evolucionado mucho en los últimos años gracias a un extenso trabajo.

de entidades comerciales como Galois, FP Complete y Well-Typed. Como consecuencia, Haskell puede

utilizarse para escribir aplicaciones de producción.
24

En tercer lugar, la rápida evolución de PureScript ha proporcionado un puente muy necesario hacia el mundo de JavaScript.

similar a lo que Clojurescript le ha dado a Clojure. Esperamos que PureScript sea especialmente importante

cuando se trata de hacer que Cardano funcione en un navegador y desarrollar billeteras móviles.

Cuarto, con respecto a la resolución de dependencia, Haskell en los últimos años ha disfrutado de un

importante esfuerzo social y tecnológico liderado por tecnólogos como Michael Snoyman a través de un

plataforma llamada stackage que es fácil de usar y cuenta con el respaldo de FP Complete.

Quinto, más allá de la resolución adecuada de dependencias, nuestro objetivo es que nuestras compilaciones de software sean

reproducible. En otras palabras, con los mismos valores de configuración y versiones de dependencia

debería producir exactamente los mismos artefactos de construcción. A través del apilamiento, hemos estado usando NixOps

lograr reproducibilidad con gran éxito.

Finalmente, el grupo de talentos de desarrolladores especializados en Haskell es razonablemente grande, en comparación con

sus pares, y bastante bien capacitado con la combinación adecuada de credenciales académicas e industriales. También

Actúa como un filtro de competencias, ya que es poco común encontrar desarrolladores experimentados de Haskell sin

Conocimientos detallados de informática.
24 Bryan O'Sullivan ofrece aquí una agradable charla sobre el uso industrial de Haskell.
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 24 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Especificación formal y verificación

Una ventaja importante de desarrollar un protocolo utilizando un modelo de seguridad demostrablemente correcto es que proporciona un límite garantizado de poder adversario. A uno se le da un contrato que mientras el Se sigue el protocolo y las pruebas son correctas, el adversario no puede violar las normas de seguridad. propiedades reclamadas.

Una reflexión más profunda hace que la afirmación anterior sea aún más significativa. Los adversarios pueden ser arbitrariamente inteligente y capaz. Decir que han sido derrotados únicamente mediante un modelo matemático es extraordinario. Y, por supuesto, no es del todo cierto.

La realidad introduce factores y circunstancias que impiden la utopía de la seguridad pura y comportamiento correcto del existente. Las implementaciones pueden estar equivocadas. El hardware puede introducir ataques. vectores previamente no considerados. El modelo de seguridad podría ser insuficiente y no ajustarse a uso en la vida real.

Es necesario tomar una decisión sobre cuánta especificación, rigor y verificación se exigen para un protocolo. Por ejemplo, iniciativas como el proyecto SeL4 Microkernel son un excelente ejemplo de una asalto a la ambigüedad que requiere casi 200.000 líneas de código Isabelle para verificar menos de 10.000 líneas de código C. Sin embargo, el núcleo de un sistema operativo es una infraestructura crítica que podría ser un grave vulnerabilidad de seguridad si no se implementa correctamente.

¿Todo el software criptográfico debería requerir el mismo esfuerzo hercúleo? ¿O se puede elegir menos? ¿Un camino vigoroso que produzca resultados equivalentes? ¿También importa si el protocolo es perfectamente implementado si el entorno en el que se ejecuta es notoriamente vulnerable, como en ¿WindowsXP?

Para Cardano, hemos elegido el siguiente compromiso. En primer lugar, debido a la naturaleza compleja de la En los dominios de la criptografía y la informática distribuida, las pruebas tienden a ser muy sutiles, largas y complicado y a veces bastante técnico. Esto implica que la verificación impulsada por humanos puede ser tedioso y propenso a errores. Por lo tanto, creemos que cada prueba significativa presentada en un blanco el documento escrito para cubrir la infraestructura central debe ser revisado por máquina.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 25 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

En segundo lugar, para verificar el código Haskell para que corresponda correctamente con nuestros documentos técnicos, podemos elegir entre dos opciones populares: interactuar con probadores SMT a través de LiquidHaskell y usar Isabelle/HOL.

Los solucionadores SMT (teorías del módulo de satisfacibilidad) se ocupan del problema de encontrar funciones parámetros que satisfacen una ecuación o inecuación, o alternativamente mostrar que dichos parámetros no existen. Como lo discutieron De Moura y Bjørner, los casos de uso de SMT son varios, pero la clave El punto es que estas técnicas son poderosas y pueden reducir drásticamente los errores y errores semánticos.

Isabelle/HOL, por otra parte, es una herramienta más expresiva y diversa que puede utilizarse para

tanto especificar como verificar la implementación. Isabelle es una solucionadora de teoremas genérica que trabaja con

construcciones lógicas de orden superior, capaces de representar conjuntos y otros objetos matemáticos para

ser utilizado en pruebas. La propia Isabelle se integra con el probador Z3 SMT para trabajar con problemas que involucran

tales limitaciones.

Ambos enfoques aportan valor y, por lo tanto, hemos decidido adoptarlos por etapas.

Las pruebas escritas humanas se codificarán en Isabelle para comprobar su exactitud y satisfacer así

nuestro requisito de verificación de la máquina. Y tenemos la intención de agregar gradualmente Liquid Haskell a todos

código de producción en la implementación de Cardano a lo largo de 2017 y 2018.

Como punto final, la verificación formal es tan buena como la especificación a partir de la cual uno está verificando y los conjuntos de herramientas disponibles. Una de las principales razones para elegir Haskell es que proporciona la equilibrio adecuado entre practicidad y teoría. Las especificaciones derivadas de los libros blancos se parecen mucho código Haskell, y conectar los dos es considerablemente más fácil que hacerlo con un imperativo idioma.

Todavía existe una enorme dificultad para capturar una especificación adecuada y también actualizar la especificación de cuándo es necesario realizar cambios como actualizaciones, corrección de errores y otras inquietudes; sin embargo, esta realidad no disminuye de ninguna manera el valor general. Si uno se va a molestar construyendo una base sobre seguridad demostrable, entonces la implementación debería ser lo que fue realmente propuesto en papel.

Transparencia

Una última pregunta al discutir la ciencia y la ingeniería del desarrollo de una criptomoneda es cómo abordar la transparencia. Las decisiones de diseño no son booleanas ni etéreas, llegando a desarrolladores en sueños y de repente se convierten en canon. Se derivan de la experiencia, debate y lecciones aprendidas de errores anteriores.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 26 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

El desafío es que un proceso de desarrollo totalmente transparente podría influir en la discusión para volverse más teatral que basado en evidencia. Egos, intentos de conquistar una comunidad y miedo De parecer estúpido podría hacer que las conversaciones se vuelvan estériles y contraproducentes.

Además, los extraños podrían intentar cooptar la conversación en un esfuerzo por forzar a sus tangente particular para convertirse en el único tema relevante. Todo el mundo tiene una vaca sagrada.

Entonces, ¿cómo se puede equilibrar la necesidad de un proceso de desarrollo transparente, que se debe a la comunidad que ha confiado el progreso a un conjunto de desarrolladores principales, con la necesidad de libertad de expresión sin miedo?

Con Cardano, hemos decidido adoptar un proceso impulsado por estándares con supervisión dirigida. La comunidad necesita saber que la ciencia y el código están bien pensados, verificados y realmente resuelven las cosas que los desarrolladores afirman que hacen. Para ello, la revisión por pares debería Satisfacer completamente el componente científico ya que ha sido diseñado específicamente para este propósito. y nos ha dado el mundo moderno.

Para el código, este tema es un poco más obstinado. Para Cardano, hemos elegido confiar al Cardano Fundación para actuar como auditor final del trabajo de IOHK. En particular, se les confía con los siguientes deberes:

1. Revisión periódica del código fuente contenido en Cardano Github para comprobar su calidad. Cobertura de la prueba, comentarios adecuados y exhaustividad.
2. Revisión de toda la documentación Cardano para verificar su corrección y utilidad.
3. Verificar las afirmaciones de que los protocolos elaborados por los científicos se implementan plenamente

Para lograr esta tarea, IOHK presentará informes periódicos y oportunos a la Fundación – y a sus asigna – para revisar. La Fundación, a su vez, presentará un informe de supervisión del desarrollo a la Cardano comunidad al menos trimestralmente.

Este primer esfuerzo tiene como objetivo iniciar una conversación más amplia sobre cómo un proyecto descentralizado logra la rendición de cuentas. La supervisión del desarrollo por parte de un tercero confiable es una herramienta poderosa para garantizar que los desarrolladores vayan por buen camino, pero no es suficiente para garantizar completamente que El proyecto siempre dará resultados.

Por este motivo, una vez integrada la tesorería en CSL, la Fundación fomentará equipos de desarrollo adicionales para construir clientes alternativos basados en la formalidad especificaciones desarrolladas conjuntamente con IOHK. La diversidad del desarrollo ha sido una gran técnica. utilizado por el proyecto Ethereum para evitar que se forme una monocultura en torno a un único conjunto de ideas o desarrolladores. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 27 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Con respecto a las especificaciones, se puede obtener una gran cantidad de conocimientos a partir de las normas. proceso seguido por el WC3 y el IETF. En definitiva, cada protocolo Cardano integra requiere una especificación que sea independiente del trabajo académico o del código fuente. Más bien necesita estar en un formato adecuado, como un RFC.

Uno de los principios fundamentales de la Fundación Cardano es actuar como organismo de normalización específicamente para la Cardano protocolos y albergar conversaciones para actualizar, agregar o cambiar estándares relevantes para Cardano. Si Internet (un producto de estándares) a través del IETF puede llegar a un consenso sobre lo que Se utilizarán protocolos básicos, entonces es completamente razonable suponer que un organismo dedicado podría facilitar el mismo resultado.

Como nota final, es interesante explorar la posibilidad de trasladar estas discusiones a una entidad descentralizada. alojado en un blockchain. Este concepto se denomina organización autónoma descentralizada (DAO) y se están realizando trabajos preliminares en esta área. IOHK desarrollará un modelo de referencia DAO para entidades que interactúan con Cardano para usar si se desea y es prerrogativa de la Fundación Cardano decidir si lo acogen según su mandato normativo.

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.

Interoperabilidad

La gran miopía

Las finanzas y la idea más amplia del comercio son, en última instancia, un esfuerzo humano. existen elegantes lenguajes, herramientas extremadamente precisas para capturar la intención y laberintos interminables de técnicas para lograr recursos en caso de malos resultados, así como miles de años de leyes que buscan equidad en el comercio. De hecho, algunas de las primeras formas de escritura fueron contratos comerciales.

Sin embargo, no se puede evitar el elemento humano, independientemente de la desintermediación de la lógica, máquinas o centinelas gubernamentales a los que se les han confiado poderes terribles. Ahí radica el gran Miopía de las criptomonedas. En su mayoría están divorciados de la realidad humana.

La gente comete errores. La gente cambia de opinión. La gente no siempre entiende completamente el relaciones comerciales que están acordando entablar. La gente es engañada y defraudada. Las circunstancias cambian a nivel individual y estatal y requieren soluciones únicas. trabajando En este punto, la mayoría de los contratos contienen cláusulas de fuerza mayor.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 28 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Sin embargo, las criptomonedas buscan desechar la comprensión, la compasión y el juicio humanos. a cambio de un juez digital indiferente perfectamente atado a una constitución sin consideración a la equidad o al resultado. Dado que los seres humanos siempre han intentado y seguirán intentando cambiar las reglas con fines egoístas, es reconfortante tener en realidad un sistema que no puede corromperse.

Pero, ¿qué sucede cuando un usuario necesita combinar estos nuevos sistemas con los sistemas financieros tradicionales? sistemas? ¿Qué sucede cuando uno necesita vivir en el mundo humano? Por ejemplo, propiedad derechos como el registro de tierras viven enteramente en el mundo físico. Incluso tokenizando la tierra todavía requiere cierto reconocimiento de la jurisdicción vigente.

Para añadir otro punto, una barra de oro no puede moverse por sí sola. El juez digital puede ordenar a su movimiento, pero no puede forzarlo sin que los humanos se adapten. Por lo tanto, un libro de contabilidad digital puede alejarse de la realidad.

Por lo tanto, un diseñador de protocolo necesita decidir cuánta realidad humana debe permitirse en su criptomoneda. Cuanta más flexibilidad, menos fidelidad a lo absoluto se debe esperar. el A mayor protección del consumidor, más mecanismos deben existir para proporcionar desmantelamiento, reembolsos y edición de la historia.

Esta sección y la siguiente sobre regulación cubren el enfoque pragmático de Cardano sobre el tema. en En términos de interoperabilidad, hay dos grandes grupos que discutir. En primer lugar, la interoperabilidad con sistemas financieros heredados (el mundo sin criptomonedas). En segundo lugar, la interoperabilidad con otros criptomonedas.

Legado

Fintech no se compone de un estándar único ni siquiera de un lenguaje común. Hay tremendo

diversidad de enfoques, las entidades responsables de la liquidación y compensación, los negocios

procesos y otros dominios involucrados en la contabilidad, transformación y movimiento de

valor.

No es razonable sugerir que, simplemente porque una tecnología es superior, el resto de las

El ecosistema de alguna manera admitirá la derrota y se actualizará. Por ejemplo, mucha gente todavía usa

Windows XP 16 años después del lanzamiento inicial. Esta triste situación equivale a que alguien

utilizando el Macintosh original lanzado en 1984 en el año 2000.

Dejando a un lado el comportamiento del consumidor, las empresas generalmente son incluso más lentas en su ciclo de actualización. muchos

los bancos todavía usan backends escritos en Cobol. Una vez que se sabe que la infraestructura funciona y cumple

requisitos comerciales, generalmente hay pocos incentivos para actualizar o perfeccionar el software y

protocolos para el beneficio del consumidor fuera de cuestiones de cumplimiento o seguridad. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 29 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Para Cardano, primero tenemos que establecer qué implicaría un puente heredado. ¿Qué sistemas,

estándares, entidades y protocolos a los que debemos apuntar para garantizar que exista una certeza razonable de

interoperabilidad? ¿Estos puentes pueden ser federados o descentralizados? O como intercambios

¿Se convierten en puntos centrales de falla para los piratas informáticos, los propietarios malintencionados o los reguladores demasiado entusiastas?

Hay tres preocupaciones que deben abordarse. Primero, la representación de la información y

creencia en su exactitud. En segundo lugar, la representación del valor y su propiedad asociada. En tercer lugar,

representación de entidades y, un usuario particular junto con el nivel agregado de confianza en dicho

entidades.

Para ser útil, la información y el valor deben fluir libremente entre el mundo financiero heredado y

Cardano. Luego es necesario establecer y registrar los resultados para construir reputación y fundamento.

para recurso. Sin embargo, estas cosas en su mayoría están limitadas por naturaleza a los actores involucrados. para codificar

colocarlos en un blockchain los haría globales y permanentes.

Además, el valor no siempre puede fluir libremente en el mundo heredado. Embargos, sanciones, capitales

Los controles y las acciones judiciales podrían congelar activos. Para ser interoperable, no se puede crear un

Siempre abra la válvula de escape para evitar fugas de valor.

Finalmente, la marca y reputación de las entidades es uno de los pilares del negocio comercial. relaciones. Cada año se gastan miles de millones de dólares en campañas de marketing para establecer, mantener y marcas de reparación. Si se hacen afirmaciones difamatorias, falsas o engañosas sobre una persona o entidad, entonces tienen derecho a buscar recursos legales. Sin embargo, el intento de blockchain de preservar permanentemente historia.

Al igual que nuestra elección de lenguaje de programación, no existe una solución ideal para que Cardano resuelva estas preocupaciones de una manera ubicuamente correcta. Más bien, tenemos que ceder a la opinión respaldada. otra vez.

Con respecto al flujo de información, este flujo se conoce como fuente de datos confiables. tiene una fuente y contenido. Las fuentes tienen cierta noción de credibilidad e incentivos para engañar o mantener honestidad. El contenido se puede codificar arbitrariamente.

Dado que tenemos la intención de admitir hardware confiable en nuestra pila de protocolos, hemos optado por explore agregar soporte para el Protocolo Town Crier del profesor Ari Juel et al. Asumiendo el existencia de un conjunto creíble de fuentes de datos, Town Crier permite la extracción segura de datos web contenido para su uso en smart contracts y otras aplicaciones.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 30 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Emurgo, IOHK y la Fundación Cardano proporcionarán una lista inicial de fuentes. Más tarde esta lista será reemplazada por una lista seleccionada por la comunidad que utiliza mecánicas derivadas de Cardano sistema de tesorería. Nuestra esperanza es que un sistema de reputación pueda materializarse en torno a buenas fuentes de datos, creando así un circuito de retroalimentación positiva para mejorar gradualmente la confiabilidad y fidelidad.

La representación del valor es un tema más complejo. A diferencia de la información, donde una vez Se establecen veracidad, puntualidad e integridad, los protocolos pueden comportarse de manera confiable y manera determinista: el valor es más delicado.

Una vez tokenizado, el valor debe comportarse como un objeto único. La información se puede copiar y se transmite, pero un token que representa la propiedad de algo (por ejemplo, el título de un vehículo) no se puede clonado y comercializado en dos libros de contabilidad diferentes. Este acto destruiría efectivamente la integridad de la sistema.

El desafío en la interoperabilidad heredada cuando se trata de valor tokenizado es que la confianza los supuestos, la confiabilidad y la auditabilidad cambian a medida que los tokens fluyen entre los libros mayores. Por ejemplo, si Bob posee algunos Bitcoin y luego los deposita en un intercambio, entonces Bob ahora tiene el la representación del intercambio de su Bitcoin en su libro mayor. En el caso de MtGOX, su libro de contabilidad no no se ajusta a la realidad, provocando que los usuarios lo pierdan todo.

El problema se complica aún más por la necesidad de que los sistemas heredados reconozcan a los tokens que viven en una criptomoneda. Como se mencionó anteriormente, las empresas históricamente se han resistido a actualizarse. su software y soportando nuevos protocolos. Esta situación hace difícil ver una clara solución.

Para Cardano, nuestra mejor esperanza es brindar una opción para que los usuarios adjunten una gran cantidad de metadatos. a sus transacciones y luego esperar a que surjan estándares de la industria para engancharse. Algunos Se han logrado avances con el grupo de trabajo Interledger, esfuerzos como R3Cev e internacionales. mandatos para actualizar los antiguos protocolos financieros.

Sin embargo, el mayor desafío sigue siendo cuantificar y calificar el valor enviado desde un legado. sistema a un libro de contabilidad de criptomonedas. Por ejemplo, si Bob es propietario de un banco y emite un dólar respaldado token, entonces siempre puede construir un puente para enviar sus tokens a un libro mayor como Cardano como activo emitido por el usuario.

Si bien Cardano rastrearía la propiedad con precisión y proporcionaría todas las funciones a las que hemos llegado Amores como el sellado de tiempo y la auditabilidad, ninguna criptomoneda puede convertir a Bob en un banquero honesto. Siempre tiene la opción de administrar un banco de reserva fraccionaria sin respaldar todo su dólar. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 31 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

tokens con dólares reales. Este fraude no puede ser detectado por una criptomoneda a menos que sea el dólar. en sí era un token contabilizado por un libro de contabilidad digital. 25

Finalmente, la representación de entidades en línea es un problema de red clásico que se remonta a principios días de Internet. Universidades, empresas, departamentos gubernamentales y cualquier usuario arbitrario. necesitan establecer su identidad en algún momento.

Para este fin, soluciones pragmáticas pero centralizadas como la infraestructura de clave pública de la web y Se ha implementado el sistema DNS de ICANN. Dado que disfrutamos de la web moderna, estos Las soluciones son escalables y prácticas. Pero no responden a una pregunta más comercial. cuestión de confiabilidad, confiabilidad y otras metacaracterísticas necesarias para determinar si uno quiere hacer negocios con la entidad.

Los anfitriones de mercados multilaterales como eBay han construido un modelo de negocio para ofrecer algunos de estos metadatos junto con un marco para completar transacciones. Juicios sobre el La calidad del contenido, los eventos y las empresas a menudo están profundamente influenciadas únicamente por las calificaciones en línea. de fuentes confiables. 26

La parte de este punto relevante para Cardano es una cuestión de centralización de la reputación. uno de Nuestro objetivo para Cardano es proporcionar una pila financiera para el mundo en desarrollo. Una clave para este esfuerzo es la capacidad de establecer confianza con actores que uno nunca ha conocido.

Si una sola entidad o un consorcio de entidades controla quién es etiquetado como bueno o malo, no una entidad orgánica. proceso derivado de interacciones reales en la comunidad en su conjunto, entonces estas entidades podrían incluir arbitrariamente en una lista negra a cualquier persona por cualquier pecado percibido. Este poder va en contra de nuestros valores como proyecto. y derrota el punto más amplio de usar una criptomoneda.

Afortunadamente, los mismos mecanismos utilizados en la votación de las papeletas del tesoro, añadiendo fuentes a una lista de Las fuentes de datos confiables y la bifurcación de un protocolo se pueden reutilizar para establecer un espacio de reputación. es un área abierta de investigación y nuestra esperanza es proporcionar un protocolo superpuesto para un sistema descentralizado red de reputación de confianza en 2018-2019 después de que se hayan establecido más elementos fundamentales.

Interoperabilidad de criptomonedas

25 Por otro lado, para los libros de contabilidad digitales, se ha propuesto la prueba de reserva como una forma inteligente de mantener Los intercambios de criptomonedas solo son honestos. 26 Estas tarifas impactan incluso la propia creación de contenidos. Vea esta interesante historia sobre cómo Rotten Tomatoes ha impactado a la industria cinematográfica. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 32 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Al pasar del mundo heredado a los libros de contabilidad digitales distribuidos, la interoperabilidad se vuelve mucho más sencilla. Cada libro mayor tiene un protocolo de red, estándares de comunicación y supuestos de seguridad. sobre su respectivo algoritmo de consenso. Estos, a su vez, pueden cuantificarse fácilmente.

El movimiento de información se establece conectándose a la red extranjera y traduciendo su mensajes. El movimiento de valor se puede realizar a través de un sistema de retransmisión, comercio atómico entre cadenas. o mediante un ingenioso esquema de cadenas laterales. Como no existe un operador centralizado, uno La representación de entidades se restringe más a una metadiscusión sobre la confianza en desarrolladores, mineros o algún otro agente de poder.

Para Cardano, estamos integrando un nuevo protocolo de cadena lateral desarrollado por Kiayias, Miller y Zindros. Proporciona una forma no interactiva de mover valor de forma segura entre dos cadenas que apoyar el protocolo. Este mecanismo será la forma principal en que el valor fluirá entre CSL y un Capa CCL.

Para otras criptomonedas, se deben formar puentes federados a medida que Cardano crece en valor y usuario. base. Para ayudar a acelerar este crecimiento, Cardano SL soporta una versión restringida de Plutus para guiones de interoperabilidad. Se agregarán nuevas transacciones en Shelley y versiones posteriores de CSL. específicamente para abordar estas necesidades.

El laberinto de Dédalo

Los puntos sobre la interoperabilidad provienen de una perspectiva global. Protocolos especializados, nuevos.

Los tipos de transacciones, los sistemas para evaluar la credibilidad y el flujo de información no pueden limitarse a

un solo guardián o usuario. Más bien deben estar disponibles para cualquier persona sin

censura o peajes.

Sin embargo, ¿qué sucede cuando Cardano no admite un protocolo, transacción o aplicación que un

¿El usuario no puede vivir sin él? ¿Deberíamos simplemente estar fuera de alcance? La web enfrentó una preocupación similar

durante la década de 1990.

Irónicamente, la web ofrece dos soluciones diferentes que se pueden replicar con criptomonedas.

La introducción de JavaScript proporcionó capacidad de programación a cualquier sitio web para agregar contenido arbitrario.

características. La introducción de complementos y extensiones del navegador agregó capacidades personalizadas para

usuarios dispuestos a instalarlos. Ambos enfoques nos brindaron la web moderna con toda su seguridad.

horrores.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 33 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Ethereum adoptó el enfoque anterior al permitir a los usuarios incorporar subprotocolos en el

Ethereum blockchain como smart contracts. Cardano admite esta función a través de CCL

paradigma. Pero ¿qué pasa con las extensiones personalizadas?

Un ejemplo esclarecedor sería el de un comerciante de criptomonedas. Imagine un mercado descentralizado,

llamado DM, que admite un conjunto de criptomonedas diferentes. Un comerciante quiere automatizar su

estrategias que actúan sobre DM.

En un ecosistema fragmentado, el comerciante tendría que instalar docenas de clientes para cada

criptomoneda y luego escribir software personalizado para hablar con cada cliente con el fin de coordinar

operaciones automatizadas. Si un cliente se actualiza, podría dañar el software personalizado. Además,

¿Qué pasa si el comerciante quiere vender el software?

Inspirado en el modelo web de extensiones, si la interfaz para varias criptomonedas puede ser

incorporado en una pila web, entonces la tarea del comerciante se vuelve dramáticamente más fácil. un universal

Se puede establecer una interfaz. La instalación es de un clic. La distribución del software se puede modelar.

después de la tienda web de Chrome.

Para Cardano, hemos decidido experimentar con este paradigma implementando nuestra referencia

La parte frontal de la billetera en Electron. Es un proyecto de código abierto mantenido por Github que combina

Tanto Node como Chrome juntos. La versión de Electron de Cardano se llama Daedalus.

La primera generación de Dédalo. actuará como una billetera HD con soporte para muchos de los esperados

27 características de contabilidad y seguridad que son estándares de la industria, como contraseñas de gasto y

BIP39. En generaciones posteriores, Daedalus se convertirá en un marco de aplicación con una tienda,

API de integración universal y un SDK.

Las innovaciones clave son la facilidad de desarrollo al permitir a los programadores utilizar JavaScript,

HTML5 y CSS3 para construir sus aplicaciones y un puente unificado para aplicaciones cruzadas

comunicación. Comportamiento complejo como la criptografía, la gestión de una red distribuida y

La mecánica de la base de datos se puede abstraer, lo que permite al desarrollador centrarse únicamente en el usuario.

experiencia y la lógica central de su aplicación.

Como Daedalus pretende ser un marco universal, su hoja de ruta y evolución es algo

independiente de Cardano. Durante 2017 están estrechamente acoplados, pero más adelante Cardano será solo

Otra aplicación para un usuario de Daedalus. También pretendemos explorar características extremadamente únicas.

como un servicio universal de administración de claves que se ejecuta únicamente en Intel SGX.

27 Que ya está disponible en daedaluswallet.io
POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 34 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

En última instancia, como diseñadores de protocolos, no podemos satisfacer todas las necesidades. Nuestra esperanza es que la flexibilidad

que Daedalus proporcionará combinado con smart contracts con estado que se ejecutan en CCL satisfarán

aquellos que quedaron fuera de nuestras decisiones de diseño. También esperamos que puedan surgir mejores estándares para

alentar a todas las criptomonedas a disfrutar de una mejor interoperabilidad y seguridad.

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.

Regulación

La falsa dicotomía

Por muy voluble y arcana que pueda ser la regulación, uno puede inferir metafóricamente una elegante bucle narrativo de los corruptos y sus fiscales que buscan justicia. Las regulaciones son el conjunto de herramientas de el legislador. Pero como todas las herramientas, pueden ser toscas, viejas o simplemente mal utilizadas.

Las criptomonedas no han cambiado la condición humana ni el bucle narrativo. Siempre habrá Habrá estafas, malos actores y resultados terribles a pesar de las mejores intenciones. mientras Las criptomonedas pueden eliminar el juicio humano, pero no el comportamiento humano.

Un diseñador de criptomonedas tiene que tomar una posición sobre qué conjunto de herramientas ofrecerá al regulador. corregir malos acontecimientos. El desafío único que enfrentan las criptomonedas es que son producto de Fallo regulatorio y monetario. 28

Culturalmente, muchos en las criptomonedas consideran que la acción del gobierno es corrupta, inepta o ineficaz. Por lo tanto, tienen poco respeto, paciencia o ganas de respaldar una puerta trasera especial. que un regulador o un representante de la ley corrijan errores. Este acto sería anatema para todo el propósito de criptomonedas.

Por otro lado, contando las fallas cambiarias y los acontecimientos históricos, más del 10 por ciento de Bitcoin se ha perdido o ha sido robado desde que comenzó el protocolo el 3 de enero de 2009. A partir del 30 de junio, En 2017, el valor perdido o robado asciende a poco más de 4 mil millones de dólares. Y esta cifra no cuenta para Bitcoin y otros token perdidos por estafas y ICO mal formadas.

28 De hecho, Satoshi incluyó en el bloque Génesis Bitcoin el siguiente titular tomado de The Times: The Times 03/Ene/2009 Canciller al borde de un segundo rescate para bancos POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 35 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Luego está la cuestión de la privacidad. A escala macro, el valor fluye a través de canales especializados que estén regulados, sean ricos en metadatos y monitoreados activamente por las fuerzas del orden, los gobiernos y reguladores internacionales. Es un juego bien entendido en el que las fugas ocurren sólo en el El lado del efectivo, que ha ido disminuyendo gradualmente a medida que el mundo avanza hacia el dinero digital.

El paradigma si las criptomonedas no existieran parecería ser un mundo que trata cada vez más privacidad financiera como el contenido de las redes sociales. No existe ninguno y no se puede optar por no participar. Por lo tanto nosotros tenemos un dilema que produce una aparente dicotomía.

Un diseñador de criptomonedas puede renunciar a los principios y ceder a cualquier exigencia local. jurisdicción impone a su código, comprometiendo así la privacidad e integridad de sus usuarios. O puede adoptar una filosofía más basada en principios, pero anarquista, que se divorcie de mejores prácticas y leyes actuales.

Para Cardano, sentimos que esta narrativa es una falsa dicotomía provocada por la falta de imaginación. el La realidad es que a la mayoría de los usuarios no les preocupan las reglas existentes para los mercados. normalmente son preocupados por cambios repentinos en las reglas que beneficien a uno o más actores. estan preocupados sobre la falta de transparencia sobre quién obtiene privilegios especiales.

Necesitamos distinguir entre derechos individuales y de mercado. Dado que las criptomonedas tienen un alcance global, los derechos deben estar lo más orientados posible al usuario.

La privacidad debe ser razonable y estar bajo el control del usuario, no un guardián. El flujo de valor no debería tener restricciones. El valor no debe estar sujeto a una pérdida repentina sin consentimiento.

Desde una perspectiva de mercado, el mercado debe ser transparente sobre el uso de datos, cómo los fondos se manejarán internamente y todos deben seguir el mismo conjunto de reglas. Además, una vez que el usuario ha dado su consentimiento, no puede cambiar repentinamente de opinión debido a inconveniente. Las contrapartes también necesitan certeza.

Pero, ¿cómo se pasa exactamente de lo abstracto a un sistema real? ¿Qué debería algo? ¿Qué aspecto tiene la práctica y la legalidad? Hemos dividido nuestra solución en tres categorías: metadatos, autenticación y cumplimiento, así como mercado DAOs.

29 El lector debería considerar la posibilidad de adquirir un ejemplar de The End of Money de David Wolman. Cubre el movimiento internacional hacia la desaparición del efectivo. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 36 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Metadatos

El acto de algo a menudo puede ser menos interesante que los metadatos que lo rodean. Para Por ejemplo, conducir de Denver a Boulder es un acto. Conducir de Denver a Boulder en un Ferrari 488 a un promedio de 120 MPH son metadatos. Ciertamente esto infiere una experiencia diferente a la de un Toyota Prius a un promedio de 30 MPH.

Las transacciones financieras no son diferentes. El contexto que los rodea es extraordinariamente importante para economistas, autoridades fiscales, autoridades policiales, empresas y otras entidades. Lamentablemente En nuestro sistema actual basado en dinero fiduciario, la mayoría de los consumidores nunca ven cuán ricos en metadatos son sus son las transacciones o con quién se comparten. 30

Para Cardano, reconocemos que los usuarios podrían necesitar o estar legalmente obligados a compartir metadatos transaccionales con ciertos actores como las autoridades fiscales. Pero creemos que este compartir tiene que ser con el consentimiento del usuario.

También creemos que los sistemas blockchain tienen un tremendo poder para eliminar el fraude, el desperdicio y abuso al proporcionar auditabilidad, sellado de tiempo e inmutabilidad. Por lo tanto, algunos metadatos deben ser publicado en Cardano blockchain.

Lo difícil es encontrar un equilibrio correcto que no condene a nuestro blockchain a importantes hincharse. Ante esta preocupación, hemos elegido un enfoque pragmático.

En primer lugar, Daedalus admitirá durante los próximos 12 meses una gran variedad de funciones para etiquetar transacciones y actividad financiera. Estos metadatos se pueden exportar y compartir bajo demanda con quien el usuario considere necesario. Además, los datos pueden ser tratados por terceros. aplicaciones para fines de dominio específicos (por ejemplo, contabilidad fiscal).

En segundo lugar, estamos explorando agregar soporte para direcciones especiales que pueden incluir hashes y campos cifrados. Esta estructura permitiría a un usuario publicar metadatos en nuestro blockchain sin revelarlo públicamente. Pero si quiere compartir los datos, tendrían toda la auditabilidad, inmutabilidad y garantía de marca de tiempo de la que disfruta una transacción.

30 En una escala más macro, el autor Juan Zárate escribe sobre cómo el Tesoro de Estados Unidos utiliza estos datos. Departamento en la guerra contra el terrorismo en la Guerra del Tesoro. Proporciona una visión integral de cómo La estructura actual de los mercados financieros globales puede utilizarse con fines geopolíticos. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 37 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Ya hemos implementado una estructura de direcciones que contiene un campo de atributo. Actualmente es se utiliza para almacenar una copia cifrada de la estructura de los árboles de billetera HD para una recuperación rápida de la billetera (consulte documentación de HD Wallet). Versiones posteriores generalizarán esta construcción.

Autenticación y cumplimiento

Estrechamente relacionados con las transacciones están los temas del derecho a realizar transacciones y la propiedad de los fondos. Por ejemplo, si bien puede haber fondos suficientes para comprar algo (por ejemplo alcohol), podría haber restricciones en su compra (requisitos de edad).

La propiedad y el origen de los fondos suelen ser una cuestión de conocer las regulaciones de sus clientes. Cuando una empresa de servicios monetarios, como un banco o una casa de cambio, abre una cuenta para un nuevo cliente, Por lo general, se requiere recopilar datos básicos sobre el cliente y dónde adquirió sus fondos. de.

El desafío tecnológico es que en el proceso de presentación de este requisito legal información, el usuario que la envía no tiene garantía de cómo será utilizada, almacenada y si alguna vez será destruido. La información de cumplimiento tiene valor comercial. Podría ser robado por robo de identidad. o revender cuando las regulaciones lo permitan.

Para Cardano, queremos innovar tanto como sea posible. En el lado del software de los protocolos, hay es poco para ofrecer una garantía de que el receptor de la información de cumplimiento se comportará dentro de un alcance de la conducta. Sin embargo, en el lado del hardware de los protocolos, utilizando hardware confiable, se puede aprovechar Intel SGX y otros HSM para hacer cumplir ciertas políticas.

Por lo tanto, estamos explorando el uso de pruebas de vidrio sellado junto con una política de intercambio para permitir la seguridad. transmisión de información de cumplimiento a un verificador que a su vez se ve obligado a cumplir con los políticas bajo las cuales se transmitió. Creemos que podrían surgir normas uniformes y Además, este método reducirá el riesgo para los verificadores al evitar la pérdida de datos del cliente. piratas informáticos.

Como corolario de este esfuerzo, el modelo en capas que proponemos para Cardano que separa el valor de La computación también puede beneficiarse de este enfoque. Si la capa de cálculo es ejecutada por regulados entidades (por ejemplo, intercambios o casinos), entonces necesitarían realizar controles de cumplimiento y potencialmente hacer cumplir la política fiscal a los usuarios.

Al utilizar SGP, el usuario puede enviar fondos junto con información de identificación personal sin preocupación de que se filtre a Internet en general o sea preservado por los nodos de consenso de la POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 38 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

capa de cálculo. Además, la capa de computación ganaría certeza de que todos los usuarios las transacciones están autenticadas y son legítimas.

Este paradigma también permite la portabilidad de clientes entre entidades reguladas. Los intercambios podrían transfiera saldos y cuentas de clientes al instante a través de estos canales seguros y también: cuando las políticas lo permitan, compartir datos con los reguladores.

Esperamos que nuestra primera prueba beta de esta tecnología se realice a mediados de 2018 con el objetivo hacia la integración de Cardano a finales de 2018 y principios de 2019, en espera de los resultados de la investigación. Esta línea de tiempo También asume la capacidad de colaborar con ARM e Intel para obtener el código firmado para ejecutarlo. su hardware. 31 Mercado DAOs

Las dos secciones anteriores cubrieron la generación y movimiento de información asumiendo la existencia de algún sistema externo. Para garantizar la interoperabilidad heredada, estas características siempre serán ser necesario, pero no abordan la regulación basada en blockchain.

Los contratos inteligentes permiten un tipo completamente nuevo de sistema comercial donde las relaciones son determinista, autoimpuesta y libre de ambigüedad. A su vez, pueden usarse para crear reglas para mercados que incluyen estructuras arbitrariamente complejas como arbitraje, reembolsos impulsados por eventos, y revelación de hechos en condiciones especiales.

A estas smart contract estructuras impuestas las llamamos Mercado DAOs. No requieren soporte de protocolo especial ni mutabilidad para ser integrado en el libro mayor. De hecho, pueden ser totalmente construido utilizando una colección de smart contracts interdependientes.

El concepto arquitectónico es diseñar una colección de plantillas comerciales inspiradas en Derecho contractual y mejores prácticas empresariales. Estas plantillas se pueden conectar a la computadora de un desarrollador. smart contract para hacer cumplir estándares específicos en el mercado.

Por ejemplo, digamos que un desarrollador quiere emitir un ERC20 token en CCL para realizar una venta colectiva. un Marketplace DAO podría establecerse específicamente para crowdsales y sus términos y condiciones parametrizados o incluso aplicados mediante estándares voluntarios o legales. Cosas como reembolsos, La reasignación de fondos o la congelación de pagos podrían heredarse en el ERC20 del desarrollador. contrato.

31 Consulte la Política de licencia comercial de Intel SGX POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 39 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Este esfuerzo nos permite tener una discusión macro sobre cómo se debe controlar un mercado. para garantizar la protección del consumidor. En segundo lugar, podemos discutir cómo modelar transacciones en un forma de garantizar automáticamente la protección legal y los derechos dentro de jurisdicciones específicas, como Nuevo Hampshire.

Trabajando con la Fundación Cardano, IOHK y otras entidades, el proyecto Cardano creará una Biblioteca de referencia de Marketplace DAOs para que la utilicen los desarrolladores smart contract. Nuestra esperanza es que Los mercados de seguros y regulatorios pueden formarse en torno a estos DAOs y que serán autoevoluciona en función de los resultados.

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.

Sostenibilidad

un inmersión en el criptomoneda zona rendimientos muchos conceptual contradicciones.

Las criptomonedas están diseñadas para ser difíciles de cambiar, pero, como toda tecnología, necesitan

cambios para abordar fallas de diseño y avances. Las cadenas de bloques están destinadas a prevenir

centralización, pero requieren actores fuertes para liderar los cambios o mantener el código.

Quizás la experiencia más frustrante se presente cuando hay deficiencias claras que la mayoría

Las partes interesadas coinciden en que deben corregirse, pero no puede surgir un consenso sobre el camino a seguir.

El debate sobre el tamaño de bloque de Bitcoin ha sido un tema activo durante más de dos años. diario,

Hay transacciones pendientes por un total de más de mil millones de dólares porque la red está al máximo de su capacidad.

Si no se puede cambiar un parámetro simple, incluso en presencia de soluciones temporales,

coordinados, entonces ¿cómo pueden las empresas y los gobiernos sentirse cómodos invirtiendo miles de millones de

dólares en la construcción de infraestructura sobre estos sistemas? De hecho, ¿cómo puede alguien

apuesta empresarial por el riesgo estratégico de integrar protocolos libres de rendición de cuentas que no pueden

¿Hacer mejoras racionales en el diseño?

Mirando hacia atrás en la historia, la evolución de Internet ha seguido un patrón similar incluso

cambios simples como la transición de IPv4 a IPv6 tardan décadas en realizarse. Sin embargo, hay un

fuerte contraste entre la tecnología blockchain e Internet en el sentido de que siguen un

diferente estilo de custodia.

Internet fue un proyecto militar que surgió de DARPA y llegó a círculos académicos con fuertes

respaldo gubernamental y un conjunto bien definido de custodios iniciales. Internet creció

condiciones no comerciales sin las maquinaciones de la influencia corporativa que intentan

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 40 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

monopolizar la red. De hecho, el comercio electrónico violó la NSF AUP hasta que fue derogada en

Cuando las empresas tuvieron el lujo de comercializar Internet, ya existía una

un sólido conjunto de normas, principios y adherentes evangelistas. Esto no detuvo a empresas como

AOL y Microsoft intenten construir jardines de muros y crear tecnología patentada como

ActiveX. Esta fundación no ha impedido que actores de la próxima generación como Google impulsen

sus propias agendas dadas sus enormes bases de usuarios y capitalizaciones.

Con enjambres de buscadores de rentas actores, desde comerciantes hasta mineros, las criptomonedas son lo último

32 Ecosistemas motivados comercialmente. Teniendo en cuenta este fundamento, la evolución de la custodia de

Las criptomonedas han resultado en una optimización en torno al interés propio.

Por ejemplo, la minería sin validación está comenzando a ocurrir con más frecuencia a medida que mejora la capacidad de un minero.

margen de beneficio, pero esto ignora por completo el propósito y la utilidad de la minería. Minería

La centralización ya se ha producido con sólo un puñado de actores en control de la mayoría de

El poder de hash de Bitcoin.

Al igual que Internet, las criptomonedas requieren consenso para cambiar. Pero cuando tan rápido

ocurre la centralización del poder en un puñado de intermediarios, ¿qué sucede cuando el cambio no se realiza?

¿Les conviene?

A diferencia de Internet, el arranque de la mayoría de las criptomonedas no se realiza de forma altruista.

medios no comerciales o académicos. Desde el principio, algún grupo busca obtener ganancias y

hay agentes de poder asignados para ayudar a garantizar esos logros.

La centralización fundacional es una realidad que cada criptomoneda debe afrontar en su evolución. nosotros

No podemos escapar completamente de él, pero al menos deberíamos intentar diseñar en torno a una descentralización gradual.

Para Cardano, pensamos detenidamente qué factores promueven la centralización y qué

técnicas podría Se aplicará para fomentar que nuestro protocolo se haga público gradualmente.

infraestructura como la web.

nosotros completamente admitir eso total descentralización es ambos imposible y tal vez incluso

contraproducente. Sin embargo, se pueden fomentar ciertos factores para producir un sistema más equilibrado.

En primer lugar, si bien la custodia centralizada de los fondos de crowdsale permite un desarrollo ágil y rápido

del protocolo durante los primeros días, con el tiempo la financiación tendrá que diversificarse y la velocidad de

32 Ver enlace para más información sobre este término POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 41 de 44IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

el desarrollo necesita retirarse a un ritmo más sistemático y deliberado. Siguiendo este punto,

La financiación debe evitar sesgos culturales, lingüísticos y geográficos.

En segundo lugar, a medida que la comunidad se vuelve más informada sobre la naturaleza subyacente del

Con la tecnología de las criptomonedas, las decisiones sobre la hoja de ruta no pueden centralizarse en un conjunto de

desarrolladores principales o fundación. Es necesario que exista un método basado en blockchain para proponer,

examinar y promulgar cambios en el protocolo.

En tercer lugar, los incentivos detrás del mantenimiento de Cardano SL blockchain deben estar directamente alineados

con los deseos agregados de todos los usuarios. No podemos permitir que una camarilla de actores especializados

emergen quienes son independientes de la voluntad de la comunidad en general.

Para el primer principio, hemos elegido integrar un sistema de tesorería en Cardano. Para el

En segundo lugar, implementaremos un proceso formal para proponer Cardano Propuestas de mejora a través de un

sistema coordinado por la propia CSL. En tercer lugar, creemos que Ouroboros proporciona una elegante

solución.

Se podrían proporcionar más detalles sobre los temas anteriores, pero son extensos por derecho propio y

más allá del alcance de un trabajo de encuesta. El diseño de mecanismos es uno de los más complejos y

Campos académicos interdependientes con teoría incompleta y sin un modelo canónico sólido que los respalde.

encendido.

Más bien, nuestro enfoque basado en la ciencia descrito en la sección dos nos resulta muy útil aquí. Veritas de IOHK

El equipo está trabajando en asociación con un grupo de investigadores de la Universidad de Lancaster bajo el

dirección del profesor Bingsheng Zhang para desarrollar el modelo de tesorería de referencia de Cardano. con

El objetivo de la integración en 2018, esperamos una publicación dedicada revisada por pares para finales de

Para la descripción formal y la verificación de cambios en un protocolo de criptomonedas, este tema es el

menos entendido ya que requiere nociones ontológicas así como un mecanismo para incentivar

amplia participación. Quizás alguna forma de proceso democrático representativo podría surgir o

uso de retroalimentación líquida para proporcionar una votación más racional.

Esperamos que la investigación en esta dirección consuma la mayor parte de la participación formal de IOHK en el

desarrollo de Cardano . Como punto de partida, nos desplegaremos junto a la tesorería de referencia.

33 modelar varios mecanismos para capturar el consentimiento. Se requieren más estudios para una determinación definitiva

solución.

Se contrata 33 IOHK para construir Cardano hasta finales de 2020 POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 42 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

Finalmente, el trabajo para mejorar los incentivos para Ouroboros está supervisado por el profesor Elias.

Koutsoupias de la Universidad de Oxford. Después de que se establezcan los fundamentos criptográficos de Ouroboros

solidificado junto con todo el trabajo de escalabilidad requerido, un estudio más amplio de bonos, sanciones y exóticos

Se añadirán incentivos al protocolo de referencia.

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

Conclusión

Una criptomoneda es más que la suma de sus protocolos, código fuente y utilidad. Es en definitiva una sistema social que inspira, capacita y conecta a las personas. Frustrado por las muchas mitades Medidas, fracasos y promesas incumplidas de protocolos pasados, nos propusimos construir algo mejor.

Este proceso no es sencillo ni jamás hemos creído que pueda terminar. Continúan los protocolos sociales cambiando indefinidamente a medida que cambian las personas y la sociedad. Para ser útiles, queremos atrapar el poder de evolución y portarlo a Cardano.

La evolución no está guiada por una sola mano ni por un gran diseño. Es un proceso de serendipia inspirado por un sinfín de errores y problemas. Cardano busca ser la encarnación digital de este proceso — lo suficientemente aptos para poder sobrevivir en los mercados actuales y lo suficientemente adaptables para evolucionar para satisfacer las necesidades del futuro.

Las secciones anteriores capturan una breve visión de cómo hemos estado abordando este objetivo. nosotros He tratado diligentemente de reconocer sesgos cognitivos, aprender de la historia y seguir un riguroso proceso. Hemos tratado de equilibrar la necesidad de un desarrollo rápido con métodos formales que tradicionalmente no pueden moverse rápidamente.

Ha sido un privilegio extraordinario embarcarme en este viaje. En los últimos dos años, hemos ya desarrolló un protocolo proof-of-stake demostrablemente seguro, reclutó un pequeño ejército de Haskell desarrolladores e hizo que el desarrollo de Cardano fuera la preocupación de muchos científicos talentosos.

A medida que pasamos del laboratorio a un sistema implementado en la naturaleza, habrá dificultades crecientes, pero nuestra esperanza es que el futuro de Cardano pueda resumirse en un solo antropomorfizado frase. Cardano es un soñador pragmático que aprende de sus mayores, es un buen ciudadano en su comunidad y siempre encuentra la manera de pagar sus cuentas.

POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 43 de 44

IOHK | POR QUÉ ESTAMOS CONSTRUYENDO CARDANO | 28/06/2017

No podemos conocer el futuro, pero estamos contentos de intentar hacerlo mejor para todos. Gracias por leer. POR QUÉ ESTAMOS CONSTRUYENDO CARDANO Licencia Creative Commons Atribución 4.0 Internacional Página 44 de 44