O cofundador da Ethereum, Vitalik Buterin, descreveu o que ele vê como uma potencial grande evolução das transações da Ethereum.
Ele afirma que o trabalho recente em abstração de conta, design de estado e agregação de provas criptográficas está contribuindo para uma separação mais clara entre o que as transações fazem e o que deve ser provado antes que possam fazê-lo.
Buterin disse que a pesquisa recente em torno do EIP-8141, modelos de estado alternativos, nonces chaveados e mempools recursivos baseados em STARK produziu um modelo conceitual mais explícito de transações.
A chave é distinguir entre dois componentes: "ações" e "dependências".
"Uma ação é um efeito que uma transação tem", explicou Buterin.
A distinção pode parecer amplamente conceitual. No entanto, Buterin argumenta que separar explicitamente os dois poderia permitir que os desenvolvedores da Ethereum os otimizem de maneiras fundamentalmente diferentes.
Por que isso importa
Validação e execução são tradicionalmente entrelaçadas. Os nós recebem transações, validam as informações necessárias e, eventualmente, as executam.
Buterin argumenta que as dependências têm propriedades que as tornam particularmente adequadas para otimização.
Muitas dependências podem ser verificadas em paralelo. Algumas podem ser examinadas pelo mempool antes que a transação chegue a um bloco. Outras não exigem acesso ao estado da Ethereum de forma alguma.
Essas chamadas dependências "puras" poderiam potencialmente ser verificadas uma vez pelo mempool e depois nunca mais executadas por cada validador.
De acordo com Buterin, grandes coleções de tais verificações poderiam eventualmente ser substituídas por um único STARK provando que todas foram realizadas corretamente.
"Dependências podem ser processadas em paralelo", escreveu ele.
