Artigos de pesquisa e especificações relevantes
Cardano é uma plataforma blockchain de terceira geração que visa fornecer à comunidade recursos mais avançados do que qualquer protocolo desenvolvido até o momento. Como uma blockchain de prova de participação, é construída com o rigor de métodos de desenvolvimento formal de alta garantia e visa alcançar a escalabilidade, interoperabilidade e sustentabilidade necessárias para aplicações do mundo real. Cardano é a primeira plataforma a evoluir a partir de uma filosofia científica baseada em descoberta, revisão por pares e pesquisa criptográfica.
Construindo uma base sólida na indústria blockchain, Cardano tem uma ética de abertura e transparência. Todas as pesquisas e especificações técnicas que fundamentam o Cardano são publicamente divulgadas e disponíveis para a comunidade.
O roadmap de desenvolvimento do Cardano é dividido em 5 eras que se concentram na fundação, descentralização, implementação de contratos inteligentes e registro de ativos múltiplos, escalabilidade e governança de um ambiente blockchain pioneiro. Os artigos de pesquisa e as especificações relevantes de acordo com o roadmap de desenvolvimento do Cardano são delineados abaixo.
Byron
Um período dedicado à construção de uma rede federada fundamental que permitia a compra e venda de ada. A rede executava o protocolo de consenso Ouroboros de prova de participação.
Artigos de pesquisa relevantes:
Ouroboros: Um protocolo de blockchain de prova de participação com segurança comprovada
Ouroboros-BFT: Um protocolo de consenso simples tolerante a falhas bizantinas
Especificações relevantes:
Especificação Formal do Ledger Cardano
Especificação da Camada Blockchain
Especificação Formal para uma Carteira Cardano
Semântica de Pequenos Passos para Cardano
Shelley
Um período de crescimento e desenvolvimento para a rede focado em garantir uma maior descentralização, o que levará a uma segurança aprimorada e um ambiente mais robusto uma vez que a maioria dos nós seja executada pelos participantes da rede.
Artigos de pesquisa relevantes:
Ouroboros Praos: Um blockchain de prova de participação adaptativamente seguro e semi-síncrono
Ouroboros Genesis: Blockchains de prova de participação componíveis com disponibilidade dinâmica
Ataques de Sangria de Stake em Blockchains de Prova de Participação
Esquemas de Compartilhamento de Recompensa para Stake Pools
Gerenciamento de Contas em Ledgers de Prova de Participação
Formalidade Flexível: Experiência Prática com Métodos Formais Ágeis
Equilíbrios Seguros de Coalizão com Pagamentos Virtuais
Especificações relevantes:
Especificação de Projeto de Engenharia para Delegação e Incentivos em Cardano–Shelley
Especificação do Cálculo Não-Integral no Ledger Shelley
Goguen
A era Goguen introduzirá funcionalidades de contratos inteligentes para construir aplicações descentralizadas enquanto suporta padrões de tokens fungíveis e não fungíveis.
Artigos de pesquisa relevantes:
UTXOma: UTXO com Suporte Multi-Ativo
Tokens Personalizados Nativos no Modelo UTXO Estendido
Contratos Funcionais de Blockchain
Scripting Smart Contracts para Tecnologia de Livro Razão Distribuído
Marlowe: contratos financeiros em blockchain
Marlowe: implementando e analisando contratos financeiros em blockchain
Desvendando a recursão: compilando um IR com recursão para System F
System F em Agda, por diversão e lucro
Certeza de Tradução para Contratos Inteligentes
Especificações relevantes:
Especificação Formal do Ledger Cardano com Implementação Nativa de Multi-Ativos
Especificação Formal do Ledger Cardano integrando Plutus Core
Basho
Uma era de otimização, melhorando a escalabilidade e interoperabilidade da rede. Aprimorando o desempenho da rede, Basho introduzirá sidechains, novas blockchains, interoperáveis com a cadeia principal do Cardano, com um potencial imenso para estender as capacidades da rede.
Artigos de pesquisa relevantes:
Sidechains de Prova de Participação
Hydra: Canais de Estado Isomórficos Rápidos
Hydra Interhead: Dois Cabeças são Melhores que Uma
Mithril: Multisignaturas de Limiar Baseadas em Stake
Taxas de Babel via Responsabilidades Limitadas
Djed: Uma Stablecoin Algorítmica Garantida por Cripto Verificada Formalmente
Especificações relevantes:
Especificação Formal do Ledger Cardano para a era Babbage
Voltaire
Uma era de desenvolvimento permitindo que a rede Cardano se torne um sistema auto-sustentável. Voltaire introduzirá um sistema de votação e tesouraria que permitirá aos participantes da rede usar sua participação e direitos de voto para influenciar o desenvolvimento futuro da blockchain.
Artigos de pesquisa relevantes:
Um Sistema de Tesouraria para Criptomoedas: Possibilitando uma Inteligência Colaborativa Melhor
Especificações relevantes:
CIP-1694: Um Mecanismo de Governança Descentralizado On-Chain para Voltaire
A especificação formal é um trabalho em andamento