Vitalik Buterin propõe um modelo de transação Ethereum de longo prazo, cuja ideia central é separar os "ações" e "dependências" nas transações. As ações são responsáveis por alterar o estado na cadeia, enquanto as dependências servem para provar que, antes da execução, a transação já atendeu às condições de assinatura, prova de estado e validade. Segundo essa abordagem, parte do trabalho de validação pode ser concluída antes da inclusão no bloco, aumentando o espaço para processamento paralelo.
A verificação e a execução das negociações serão tratadas separadamente.
O processo atual de transação da Ethereum geralmente coloca autorização, pagamento de taxas e execução de contrato na mesma cadeia de processamento. O nó precisa verificar simultaneamente se a assinatura é válida, se o remetente pode pagar as taxas e se a execução da transação será bem-sucedida.
Buterin acredita que parte dessas verificações não depende das mudanças de estado final e, teoricamente, pode ser tratada separadamente. Por exemplo, assinaturas digitais, provas de conhecimento zero ou certas provas de validade que não dependem de mudanças de estado na cadeia podem ser incluídas na seção "dependente".
Se as transações puderem declarar claramente quais estados acessarão, o mempool também poderá mais facilmente determinar quais condições serão afetadas por transações anteriores e quais verificações poderão ser concluídas antecipadamente. Isso significa que transações mais previsíveis podem obter maior eficiência de validação.
EIP-8141 ainda está em fase de rascunho
Correspondendo a essa abordagem, há uma proposta de rascunho chamada EIP-8141. Essa proposta introduz um novo tipo de transação, denominado Frame Transaction, que divide uma transação em várias chamadas de quadro para tratar separadamente a autorização e validação, o pagamento de taxas e a execução das operações do usuário.
Conforme projetado no rascunho, a validade da transação e o pagamento de taxas não dependem mais totalmente da assinatura padrão externa. O código da conta pode definir suas próprias formas de autorização e regras de pagamento. O quadro de validação é responsável por confirmar se as condições são atendidas, enquanto o quadro de envio é responsável por modificar realmente o estado.
Essa estrutura também é vista como útil para aproximar o formato de transação básico entre diferentes redes EVM. No entanto, o EIP-8141 ainda é um rascunho principal e ainda não foi incluído em atualizações da rede principal da Ethereum, nem possui um cronograma de implantação definido.
Durante a discussão dos desenvolvedores, várias questões técnicas foram levantadas, incluindo riscos de negação de serviço, regras de substituição de transações, adaptação de carteiras e construtores de blocos, e limites na quantidade de transações pendentes do mesmo remetente no mempool público. Essas questões ainda aguardam maior convergência.
Recursive STARK or reducing redundant verification
A direção de longo prazo proposta por Buterin vai além do EIP-8141. Ele também imagina que, para "dependências puras" que não precisam acessar o estado na cadeia, uma verificação possa ser realizada no nível do mempool, em vez de ser repetida por cada validador.
Neste modelo, a rede pode comprimir várias verificações concluídas em uma prova recursiva STARK, que é então verificada de forma unificada pelo verificador. O objetivo é reduzir cálculos repetitivos e aliviar parte da carga de verificação.
Ele também mencionou que esse método pode, no futuro, ajudar o Ethereum a se adaptar a esquemas de criptografia pós-quântica. A razão é que assinaturas resistentes a quânticos geralmente são maiores e têm custo de verificação mais elevado. Se as contas puderem personalizar seus métodos de autorização, combinados com agregação de provas recursivas, o custo de verificação associado poderá ser reduzido.
No entanto, esta parte do conteúdo ainda permanece no nível de pesquisa e não faz parte das especificações atuais do EIP-8141. Para ser implementada de fato, ainda é necessário resolver questões como geração de provas, coordenação do mempool, disponibilidade de dados e proteção contra agregação de erros.