Uma reivindicação de US$ 3,3 bilhões: o blockchain da Cardano "resolveu" o proof-of-stake?

"Prova de participação resolvida."

Mesmo em uma indústria que não viu escassez de grandes proclamações, essas palavras, emitidas pelo empresário Charles Hoskinsonem abril, chamou a atenção.

O CEO da empresa de blockchain IOHK (e ex-CEO da Ethereum), Hoskinson, estava tentando enviar uma mensagem sobre um novo artigo de pesquisa, que ele acredita ter provado que a nova abordagem da empresa sobre como os blockchains chegam a um consenso, chamada Ouroboros, havia abordado preocupações de longa data sobre se o modelo pode proteger suficientemente os fundos dos investidores.

Dado o tamanho da alegação (e seu impacto), é uma afirmação que gerou dúvidas dos concorrentes mais proeminentes da Cardano. No entanto, meses depois, a equipe da IOHK afirma que Ouroboros pode ser a resposta para uma das questões mais divisivas da cripto — se os chamados sistemas de prova de participação oferecem soluções para alguns dos problemas urgentes da indústria.

Até agora, o mercado parece estar interessado na oportunidade de apoiar a tese.

Em breve para impulsionar o blockchain público Cardano, Ouroboros pode um dia suportar a oitava maior Criptomoeda do mundo, com seus 25 bilhões de tokens ADA no valor de US$ 3,3 bilhões. E uma olhada na história dos sistemas de proof-of-stake talvez mostre por que tanto dinheiro está em jogo.

Apresentado pela primeira vez pelos desenvolvedores Scott Nadal e Sunny King em 2012, o proof-of-stake oferece o que é considerado uma alternativa mais sustentável ao proof-of-work, o método de consenso subjacente ao maior blockchain do mundo em capitalização de mercado, o Bitcoin.

Permitir que os usuários votem ou "apostem" suas moedas em um histórico de transações em troca de recompensas (em vez de gastar energia computacional) é uma solução relativamente pouco testada, tendo sido adotada até agora apenas em formatos híbridos, de pequena escala ou delegados.

Então, embora a segurança do Bitcoin seja comparativamente comprovada (seu blockchain atualmente sustenta US$ 114 bilhões e tem se mantido assim há anos), muitos programadores de Cripto acreditam que a prova de participação é necessária para fazer a indústria passar para a próxima fase, na qual os usuários não precisam mais possuir hardware para reivindicar as recompensas de um blockchain.

O problema é que ONE consegue concordar sobre como isso deve ser feito.

"Diferentes algoritmos de consenso funcionam bem em diferentes ambientes", disse Nate Rush, pesquisador de prova de participação da Ethereum, à CoinDesk. "Se as suposições de que algum protocolo está 'resolvido' se revelarem inválidas ou irrealistas, então esse protocolo pode falhar."

Ainda assim, a equipe por trás do Cardano, a IOHK, tem trabalhado para garantir parcerias acadêmicas, bem como relacionamentos com pesquisadores na área de computação distribuída, em um esforço para provar que o modelo de prova de participação pode ser alcançado.

Tomando a segurança do Bitcoin como ponto de partida, o cientista chefe por trás do protocolo, Aggelos Kiayias, criou provas formais para cada etapa do design do protocolo, usadas para dissipar dúvidas quanto à capacidade do algoritmo de proteger ativos.

Kiayias disse ao CoinDesk:

"Ao contrário de [outros protocolos de prova de participação], desenvolvemos o Ouroboros junto com uma prova formal de segurança de que o protocolo realmente captura as propriedades de segurança de um livro-razão de transações robusto como o Bitcoin."

Protocolo revisado por pares

Mas não são apenas os pesquisadores de prova de participação que discordam: no cenário mais amplo do design de consenso, há alguns que acreditam que a prova de participação está fadada ao fracasso desde o início.

Por exemplo, Dahlia Malkhi, uma pesquisadora de sistemas distribuídos, afirmouno início deste ano que o modelo de prova de participação do Ethereum, Casper, é "fundamentalmente vulnerável" – levando a um sistema onde o consenso é alimentado pelos ricos.

No entanto, nessa atmosfera de ceticismo, Cardano acumulou um alto grau de apoio acadêmico, construindo relacionamentos estratégicos com universidades por meio da IOHK – uma empresa com fins lucrativos com centros em várias universidades, incluindo o Instituto de Tecnologia de Tóquio, no Japão, a Universidade de Atenas e a Universidade de Edimburgo.

"Basicamente, temos um tipo de relacionamento universidade-empresa, então o que geralmente fazemos é montar centros de pesquisa, incorporar alguns funcionários do IOHK nesses centros de pesquisa, subsidiar o laboratório e, então, ter algum tipo de controle ou influência sobre a agenda de pesquisa", disse Hoskinson.

Responsável pelo Ethereum Classic e Zencash, assim como pela própria Cardano , de acordo com Hoskinson, essas parcerias acadêmicas repercutem nas soluções de Criptomoeda da IOHK.

"Geralmente, o resultado desse relacionamento são artigos revisados por pares e temos uma equipe dentro da IOHK que pega esses artigos, extrai especificações deles e os coloca no pipeline para implementação em produtos", continuou Hoskinson.

Além de outros relacionamentos em Lancaster, Kent University, Oxford e Illinois, a vantagem é que o grupo relativamente pequeno de pesquisadores equipados no tópico está de olho no Ouroborus, que também foi apresentado em várias conferências acadêmicas.

"Trouxemos um conjunto completo de pessoas que estão realmente tentando quebrar e melhorar nossos CORE protocolos, e muito trabalho duro foi alcançado como resultado disso", disse Hoskinson ao CoinDesk.

Preparando-se para se tornar uma plataforma de Criptomoeda e contrato inteligente completa, a Cardano atualmente tem funcionalidade limitada, mas está introduzindo os recursos necessários para a transição para prova de participação ao longo deste ano.

Atualmente ajustando os detalhes finais sob simulações, Hoskinson insistiu que o Ouroborus vem com vantagens sobre outros protocolos. Por exemplo, ele diz que o sistema é o ONE que permitirá que os usuários façam stake de armazenamento frio e usem vários endereços para gerenciar suas finanças.

Hoskinson disse ao CoinDesk:

"O objetivo a longo prazo é tentar replicar completamente todos os recursos de segurança e funcionalidades que o sistema de prova de trabalho tem sem realmente ter que gastar nada da eletricidade ou esforço que a prova de trabalho faz, e LOOKS que, agora que investimos cerca de dois anos e meio de pesquisa neste tópico, o Ouroboros está convergindo para esse estágio."

Desconhecidos teóricos

Ainda assim, no momento em que este artigo foi escrito, não estava claro como o protocolo se comportará na prática, e há maneiras pelas quais a comunidade de pesquisa de prova de participação mais ampla T tem sido totalmente receptiva às alegações de Cardano.

Por exemplo, ONE foi tão crítico quanto o criador da EOS, Dan Larimer, um antigo colega de Hoskinson, quem escreveu que não apenas "Ouroboros é um colete à prova de balas de 180 quilos que T impede balas reais", mas alegou que era uma variante mal concebida de um algoritmo que ele havia criado em 2014.

(O EOS usa uma forma de prova de participação que depende de nós delegados que foram nomeados para a tarefa de chegar a um consenso.)

O Ethereum, do qual Hoskinson foi cofundador, também demonstrou ceticismo.

Por exemplo, falando sobreRedditO fundador da Ethereum , Vitalik Buterin, alertou que uma suposição de segurança do blockchain poderia permitir que hackers criassem históricos falsos no blockchain.

Também há diferentes abordagens para o design. Enquanto o protocolo em si está em vigor, a IOHK ainda está trabalhando na construção do esquema de incentivo subjacente, algo que o pesquisador do Casper Vlad Zamfir acreditadeve ser projetado em conjunto com a tecnologia.

Tentativas da CoinDesk de envolver pesquisadores com trabalhos publicados sobre prova de participação também retornaram resultados mistos, com vários deles não fazendo comentários ou sugerindo que ainda T haviam analisado a Tecnologia e suas alegações específicas.

A teoria encontra a realidade

Mas, de acordo com Emin Gün Sirer, professor da Universidade Cornell e pesquisador em protocolos de consenso, isso é típico da área.

"Ouroboros tem a vantagem de ser revisado por pares e um grupo de pesquisa bem credenciado apoia o esforço", disse Gün Sirer ao CoinDesk. "Mas também sofre de uma desvantagem que afeta muitos protocolos iniciais de prova de participação, a saber: os artigos são longos, densos e cheios de provas sutis."

Como resultado, Gün Sirer disse: "Não há dois pesquisadores nesta área que pareçam concordar sobre quais artigos têm provas válidas e quais redefiniram as propriedades de modo a tornar as provas sem sentido. A comunidade acadêmica avalia os artigos quanto ao rigor acadêmico, não à aplicação no mundo real."

Dito isso, Hoskinson acredita que essa interação com a academia é essencial para que as criptomoedas migrem para a próxima fase. Ele alertou que, embora muitas blockchains façam amplas alegações sobre a escalabilidade e a segurança de seus produtos, não há muitos leigos com o conjunto de habilidades para avaliar adequadamente essas alegações.

Por isso, Hoskinson disse que espera que mais pesquisas sobre Ouroboros e Cardano surjam no futuro.

"Todos nós falamos sobre os Tendermints, os Decreds e os Caspers porque eles são aceitos pela indústria e têm um bom marketing", disse Hoskinson.

No entanto, ele continuou:

"Se você observar a atualidade, verá uma profissionalização crescente no espaço das Criptomoeda ... cientistas sérios que têm ótimas credenciais e estão utilizando o processo de revisão por pares, trazendo décadas de conhecimento com eles."

Cubo mágico viaShutterstock