p Uma equipe de pesquisadores da Pyrofex Corporation apresentou recentemente Casanova, um algoritmo de consenso otimista sem líder adequado para uso em um blockchain. Em vez de produzir uma corrente, Casanova produz blocos em um gráfico acíclico direcionado (DAG), que é essencialmente um gráfico direcionado sem ciclos. O Casanova organiza rodadas de votação e bloqueia a produção para melhorar a escalabilidade e tem um 'veto de item de linha' exclusivo para transações conflitantes, como gastos em dobro. p "Estávamos procurando um algoritmo de consenso escalonável que pudéssemos usar para implementar alguns projetos de blockchain diferentes que temos em andamento, "a equipe de pesquisa da Pyrofex disse à TechXplore, via email. "Inicialmente, pensamos que Casper poderia estar certo e tentamos provar que era seguro e que vivia em condições de rede ideais. Não demorou muito para mostrar que não era o caso e concluir que teríamos que fazer algumas mudanças significativas . Nosso novo algoritmo aborda todos os problemas que estávamos enfrentando, mas exigiu muito desvio das abordagens anteriores. "

p A maioria das tecnologias de blockchain existentes desperdiça tempo e recursos consideráveis ​​fazendo com que toda a rede chegue a um acordo sobre a ordem global de cada transação. Embora isso possa parecer razoável, os pesquisadores acham que uma boa abordagem de blockchain deve ser capaz de processar transações em qualquer ordem.

p "Só devemos usar a energia e os recursos para chegar a um consenso quando for necessário, ou seja, quando há duas transações conflitantes e a rede deve escolher exatamente uma, "disseram os pesquisadores." Outros blockchains tentaram algo semelhante, mas com Casanova fomos capazes de especificar exatamente como fazer isso. "

p Uma característica notável do Casanova é que ele não constrói um blockchain per se, mas sim constrói um DAG. Os pesquisadores se referem à estrutura de Casanova como um 'blockdag'. Se a estrutura de um blockchain pode ser comparada a uma string, um blockdag se assemelha a um pedaço de tecido com várias cordas entrelaçadas.

p "Portanto, em vez de confirmar um bloco de cada vez, Casanova confirma um bloqueio de cada vez por membro da rede, "disseram os pesquisadores." Portanto, se a rede tiver 1, 000 membros, podemos confirmar 1, 000 blocos de uma vez em vez de apenas 1. Fazemos todo esse trabalho ao mesmo tempo que um blockchain regular gastaria chegando a um consenso em um único bloco. "

p Casanova tem validadores em vez de mineiros e estes produzem blocos regularmente, uma vez a cada minuto ou assim. Quando os validadores recebem uma transação de um cliente, eles o incluem em seu próximo bloco e assinam o bloco para mostrar que o viram.

p Os validadores também trocam blocos entre si, para garantir que todos vejam todas as transações. Quando um validador está pronto para produzir um novo bloco, inclui informações sobre os blocos que viu de todos os outros.

p "A única preocupação é quando duas transações conflitantes chegam, como quando um usuário tenta dobrar os gastos, "os pesquisadores explicaram." Quando os validadores veem um conflito, eles incluem informações sobre isso em seu próximo bloco. Usando as informações dos blocos de todos, a rede decide qual transação será válida e qual será descartada. "

p Embora possa parecer que esse processo não é suficiente para garantir a segurança, os validadores usam estruturas matemáticas para rastrear as transações e os votos dos outros validadores. De acordo com os pesquisadores, isso permite que eles façam inferências importantes, que, em última análise, garantem a segurança.

p "Um dos recursos mais bonitos do Casanova é este:você pode enviar spam para a rede com gastos duplos, o que vai desacelerar, mas a rede só ficará lenta para a conta do spammer, "disse a equipe de pesquisa da Pyrofex." As transações de todos os outros são processadas na velocidade normal, porque você não pode forçá-los a entrar em conflito com suas transações. Casanova tem uma espécie de 'veto de item de linha' em transações com spam que é único no setor, até onde sabemos."

p Embora existam vários algoritmos de blockdag por aí, a maioria deles é prova de trabalho (PoW), enquanto Casanova é prova de aposta (PoS). Além disso, a maioria dos protocolos existentes tenta fornecer uma ordem total nos casos em que uma ordem parcial seria suficiente.

p "Somos o primeiro algoritmo de consenso de blockdag de prova de participação que conhecemos, e mantemos as transações em uma ordem parcial, "Os pesquisadores escreveram." Também fizemos algumas observações fundamentalmente novas sobre como os membros de uma blockchain devem registrar e rastrear informações. "

p Os pesquisadores estão prontos para publicar um novo artigo no qual irão explicar por que suas observações são mais gerais, matematicamente mais fortes e têm um significado mais claro do que aqueles reunidos usando outras cadeias de blocos ou criptomoedas. Uma grande vantagem do Casanova é que ele é bastante geral, tornando mais fácil para os usuários adaptarem o algoritmo de acordo com suas necessidades específicas.

p "A observação do atestado também é importante; é um dos principais motivos pelos quais esperamos que nosso algoritmo de consenso esteja gritando rápido, "os pesquisadores explicaram." Nós projetamos um algoritmo de consenso para ser rápido, seguro, e robusto contra falhas de rede. Então, construímos um modelo de transação para ele que poderia ser usado para construir um blockchain. É por isso que pensamos que nossa tecnologia será mais rápida e simples do que a maioria das tecnologias disponíveis hoje. "

p Para ampliar o escopo de seu estudo, os pesquisadores agora estão trabalhando na implementação de uma prova de conceito e verificando-a formalmente no assistente de prova Agda. O desenvolvimento do Casanova permitiu-lhes reunir informações valiosas sobre o conjunto existente de literatura de consenso, que eles planejam escrever e publicar nos próximos meses.

p "Também desenvolvemos um modelo de razão adequado para uso com Casanova, que vamos construir em um blockchain em um futuro próximo, "disseram os pesquisadores." Estamos trabalhando em um modelo de computação que é adequado e nos permitirá construir um blockchain de contratação inteligente. Há muito a ser feito, incluindo grande parte do mecanismo de prova de aposta, como recompensas, honorários, vínculo, desvincular, e assim por diante. Vai ser um ano agitado. " p © 2018 Science X Network