Nova tecnologia Ethereum apela aos deuses eslavos para a segurança

O deus eslavo do relâmpago, Perun, está entrando no ecossistema do Ethereum (pelo menos em espírito).

Inspirado pelo bitcoinrede de raios, um grupo de pesquisadores liderado pelo professor associado da Universidade de Varsóvia Stefan Dziembowski e pelo professor da Universidade Técnica de Darmstadt Sebastian Faust revelaramum novo white paperintitulado "Fundamentos das Redes de Canais Estaduais", que descreve um protocolo projetado para ajudar o Ethereum a escalar para suportar volumes maiores de redes mais complexascontratos inteligentes.

Mas enquanto vários projetos Ethereum estão criando soluções para esse problema, a abordagem da Perun ao seu protocolo é única - principalmente em seu foco na segurança, pois fornece definições formais de segurança e provas de segurança para seu protocolo.

Essencialmente, o Perun funciona como outros "canais de estado" que visam mover transações para fora do blockchain. No entanto, a diferença aqui é que as partes envolvidas podem registrar o estado atual do contrato a qualquer momento no blockchain, permitindo que os contratos inteligentes rebobinem os canais para o último estado em que as partes concordaram com os termos.

"Caso duas partes (possivelmente maliciosas) enviem estados conflitantes para o contrato de canal, a lógica do contrato selecionará o estado mais recente com o qual ambos os usuários concordaram", diz o artigo.

Talvez uma inovação incremental, mas Dziembowski, coautor do artigo, argumenta que isso T pode ser subestimado, dada a natureza das transferências de valor.

Ele disse ao CoinDesk:

"Estamos convencidos de que, no contexto das criptomoedas, uma análise de segurança sólida é de particular importância porque as falhas de segurança têm um valor monetário direto e, portanto, ao contrário de muitos outros cenários, é garantido que serão exploradas."

Acontece que esse é um objetivo tão almejado que os pesquisadores já estão fazendo parceria com a gigante da tecnologia Bosch para montar um protótipo. Não só isso, mas o projeto foi elogiado pelo criador do Ethereum Vitalik Buterin.

Na verdade, Buterin foi o primeiro aelogie a ideia, postulando que as provas de segurança que a equipe implementou foram um passo na direção certa para o ecossistema em geral e deveriam ser estudadas, se não adotadas, por projetos de escala de todos os tipos.

"Eu definitivamente acho que precisamos de algum tipo de maquinário de uso geral para verificar formalmente as propriedades dos sistemas de camada dois em geral", disse Buterin.

Viagem ao estado

Olhando para trás, porém, o caminho da equipe até Perun foi um BIT tortuoso.

Dziembowski disse ao CoinDesk que ele e a equipe queriam originalmente criar um aplicativo de compartilhamento de arquivos "justo" no Ethereum , mas foram surpreendidos por problemas críticos logo no início do processo de desenvolvimento do aplicativo.

"Enquanto trabalhávamos neste projeto, percebemos que um gargalo fundamental para fazer nosso aplicativo funcionar eram os altos custos das transações na cadeia e o tempo relativamente lento de processamento de contratos inteligentes em execução no blockchain", disse Dziembowski.

Foi exatamente isso que outros desenvolvedores vivenciaram, principalmente quando o aplicativo de colecionáveis de gatos digitaisSurgiram os CryptoKitties como um favorito do usuário, causando esses tempos de transação lentos e altas taxas. Um punhado de soluções de escalabilidade foram FORTH à comunidade Ethereum desde então, mas a equipe da Perun na verdade encontrou sua inspiração em uma rede completamente diferente.

Foi a rede lightning do bitcoin, outra "solução de camada dois" para o blockchain do Bitcoin , que despertou o interesse deles. Foi quando a equipe, que também inclui as pesquisadoras Kristina Hostakova e Lisa Eckey, começou a trabalhar em uma Tecnologia que funcionaria na plataforma mais ambiciosa do ethereum.

Felizmente, outros já começaram a desenvolver essa ideia por meio de uma Tecnologia conhecida como "canais de estado" – por meio da qual o lightning é estendido aos complexos contratos inteligentes do ethereum. Como tal, o artigo de Perun apenas continua essa pesquisa ao formular uma especificação que descreve um monte de requisitos que qualquer implementação real de canal de estado precisa para se proteger contra "adversários poderosos".

Em direção à realidade?

Dito isso, a equipe de Perun e até mesmo Buterin entendem que ainda há um longo caminho a percorrer.

Dziembowski disse que o protótipo de sua equipe ainda T está pronto para uso ao vivo, mas está "principalmente para fins de pesquisa" agora. E Buterin disse que está preocupado com o futuro "risco de erro" conforme a teoria é colocada em prática com código de contrato inteligente real.

Falando sobre esses riscos, Dziembowskichamado The DAO, uma organização baseada em ethereum que deveria depender apenas de código, mas acabou extinta depois que usuários foram hackeados e perderam mais de US$ 50 milhões em ether, como um exemplo do que, e quanto, pode dar errado.

Ainda assim, muitos estão animados com o esforço.

Buterin chegou a dizer que tem planos de criar uma estrutura de segurança semelhante paraPlasma, um projeto de dimensionamento muito aguardado do qual ele foi coautor no ano passado e que startups como a OmiseGo agora estão colocando em prática.

Falando sobre o trabalho de Perun, Buterin continuou:

"Pessoalmente, estou satisfeito que seja fundamentalmente possível alcançar todas as coisas que você afirma da maneira como está fazendo."

A equipe de pesquisa respondeu dizendo que está trabalhando em uma implementação simples.

BLUR de movimentoimagem via Shutterstock