Vendo fantasmas: Vitalik está finalmente formalizando a atualização do Casper do Ethereum

Casper está começando a parecer menos um fantasma.

Embora isso possa parecer bom demais para ser verdade para os fiéis do Ethereum , o CoinDesk confirmou que o criador da rede, Vitalik Buterin, está agora no processo de elaboração de três white papers explicando o Casper, a versão muito aguardada do protocolo de consenso de prova de participação.

Dessa forma, os documentos podem representar um marco importante para o Ethereum , pois, embora o Casper tenha sido proposto há muito tempo como uma maneira melhor e mais ecológica de KEEP a rede global em acordo sobre o histórico de transações do blockchain, a indústria estava esperando que os detalhes fossem colocados no papel.

Em vez disso, a ideia ficou presa nos cérebros de alguns desenvolvedores de Ethereum , com avanços e desenvolvimentos espalhados por todo o mundo. grupos de bate-papo onlinee postagens de blog nos últimos anos.

Como a prova de participação é apresentada como uma parte crucial do Ethereum, os usuários precisam confiar que esses desenvolvedores realmente têm um bom plano.

Dessa forma, os white papers formais de Buterin agora submeterão os desenvolvedores do Ethereum à revisão por pares, o que pode representar um grande passo à frente para o projeto, que atualmente está se preparando para atualizar para Metropolis antes de mudar o sistema para proof-of-stake.

"Resumindo, os designs do Casper estão melhorando a cada iteração", disse o desenvolvedor do Ethereum Virgil Griffith, um conhecido hacker e desenvolvedor do Ethereum que atualmente está revisando os white papers de Buterin, ao CoinDesk.

Os documentos ficaram escondidos em documentos no GitHub de pesquisa do Ethereum nas últimas semanas, com Buterin e Griffith fazendo atualizações de vez em quando.

No entanto, vale a pena notar a natureza inicial do trabalho. Os documentos, que têm pontos de interrogação e algumas bolhas de "em breve!" espalhadas por todo o lugar, T estarão prontos por pelo menos um mês, disse Griffith, acrescentando:

"Estou trabalhando neles enquanto digito isso."

Devagar e sempre

O primeiro artigo"Casper , o Fantasma Amigável" – uma brincadeira com o filme dos anos 1990 "Casper , o Fantasma Amigável" – explica como o sistema de consenso funciona em alto nível.

Notavelmente, o artigo reitera uma mudança recente na direção do Ethereum. Em vez de mudar de proof-of-work para proof-of-stake imediatamente, o plano é começar devagar, primeiro entrelaçando os dois.

O artigo explica:

"O mecanismo proposto inicialmente será a cadeia de prova de trabalho existente do Ethereum , tornando a primeira versão do Casper um algoritmo híbrido PoW/PoS que depende da prova de trabalho para atividade, mas não para segurança. No entanto, em versões futuras, o mecanismo proposto pode ser substituído por outra coisa."

Expandindo ainda mais, a prova de trabalho será usada para validar a maioria dos blocos de Ethereum , mas a prova de participação será usada como um "ponto de verificação" para cada 100º bloco, fornecendo mais "finalidade" ao sistema, ou uma garantia de que as transações não podem ser gastas mais de uma vez.

O artigo continua abordando possíveis ataques, como "ataques de longo alcance", que os validadores podem tentar usar e como Casper pretende superá-los.

O diabo está nos detalhes

Os outros dois artigos abordam os detalhes do sistema.

Intitulado "Incentivos em Casper, o Gadget de Finalidade Amigável", osegundo artigoexplora os incentivos necessários para fazer o sistema funcionar e garantir que ele T seja prejudicado.

Para Casper, há dois tipos de coisas que podem dar errado: "Falhas de segurança" ocorrem quando as regras são quebradas, por exemplo, quando dois validadores apresentam estados incompatíveis. "Falhas de vivacidade" ocorrem quando o sistema para ou falha em enviar transações.

Como os usuários precisam depositar parte de seu dinheiro para participar como validadores, o artigo descreve que se os validadores tentarem infringir as regras, o sistema roubará seu depósito.

O terceiro artigo <a href="https://github.com/ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf">Ethereum</a> , "Rejeição automatizada de ataques de censura", concentra-se em ataques de 51% — aqueles em que um minerador ou pool de mineração acumula a maior parte do poder de computação da rede e pode então distorcer as regras do sistema em seu benefício para, digamos, gastar duas vezes ou bloquear transações.

Os desenvolvedores pensaram muito sobre esse problema, pois, se ele ocorresse, poderia reduzir a confiança no blockchain como uma única fonte de transações legítimas.

No artigo, Buterin argumenta que o Casper atenua esse problema, já que o protocolo pune os invasores retirando seus depósitos se eles fizerem algo errado.

Outra abordagem

Vale ressaltar, porém, que a abordagem de Buterin à prova de participação, conforme descrita nestes white papers, T é a única abordagem.

Vlad Zamfir, da Ethereum Foundation, que lidera o desenvolvimento atual do Casper, disse que planeja divulgar mais detalhes sobre sua versão do Casper antes da Devcon, a grande conferência de desenvolvedores da Ethereum no outono.

Ele disse ao CoinDesk:

"Vitalik está mais motivado a implementar algo em breve, enquanto eu estou mais motivado a buscar soluções teoricamente ótimas, mesmo que isso signifique alguns atrasos."

E, novamente, como a versão de Buterin está apenas começando a ser definida no papel, pode-se supor que, durante o processo de revisão por pares, as coisas precisarão ser mais elaboradas.

No entanto, os desenvolvedores já começaram a implementar o primeiro passo da abordagem Casper de Buterin, que está programada para entrar no ar algum tempo depois da próxima grande atualização do Ethereum.Metrópoleserá lançado neste outono.

E com isso, não está claro se a teoria por trás de Casper será totalmente desvendada antes que as pessoas vejam o fantasma na vida real.

Fantasmaimagem via Shutterstock