Os últimos destaques da AMA da Ethereum Foundation: conjunto de validadores, número aleatório, DVT, Layer2

Compilação | GaryMa Wu disse blockchain

Em 12 de julho, a equipe de pesquisa da Ethereum Foundation realizou o 10º AMA no fórum reddit. Os membros da comunidade podem postar perguntas na postagem e os membros da equipe de pesquisa responderão. Wu disse que as questões/pontos técnicos relevantes envolvidos neste AMA são resumidos e compilados da seguinte forma:

1. Relacionado à saída do validador: Permitir que o validador retire o certificado de sua camada de execução (0x01) para acionar a saída. Se o saldo for inferior a 16 ETH (ocorrer penalidade de folga ou evento de confisco), o validador será expulso do acordo. Aqui, 16 ETH A barra está muito baixa?

Isso está relacionado principalmente ao rascunho EIP-7002. Entende-se que Danny Ryan e outros desenvolvedores de pesquisa lançaram em conjunto o rascunho EIP-7002, que visa permitir que validadores retirem credenciais de sua camada de execução (0x01) para acionar a saída para o beacon corrente. Uma vez que o validador tem duas chaves, a chave ativa e o certificado de retirada, mas atualmente, apenas a chave ativa pode iniciar a saída do validador, o que significa que em qualquer relação de depósito não padrão, o titular do certificado de retirada não pode optar por sair e iniciar o processo de retirada. Para garantir que os certificados de retirada mantidos por EOAs e contratos inteligentes possam controlar o ETH prometido sem confiança, esta especificação permite que os certificados de retirada 0x01 acionem saídas. Esta proposta beneficiará o desenvolvimento de trilhas como liquid staking e verificação distribuída, promoverá ainda mais a descentralização da cadeia de beacons e, ao mesmo tempo, gerenciará melhor os riscos, como a perda de chaves privadas ou a perda de verificadores DVT com a maioria Conexões de chave compartilhada, etc.

2. Problema de número aleatório: RANDAO + VDF

RANDAO é uma forma de gerar números aleatórios.Suponha que haja 10 alunos na classe e o professor queira selecionar aleatoriamente um aluno para dar a ele uma recompensa. O método de seleção dado pelo professor é que todos os alunos dão um número aleatório ao mesmo tempo, o professor soma os 10 números aleatórios obtidos, e o último número obtido é o restante de 10, e o número restante é o aluno que deve ser selecionado. No entanto, um problema pode realmente ser encontrado no processo de operação do RANDAO acima. Se um colega trapacear e der números aleatórios para 9 colegas, ele poderá escolher um número que seja mais benéfico para ele com base nas informações de números aleatórios fornecidas por 9 colegas, de modo que o resultado final aponte para ele mesmo. Portanto, o funcionamento efetivo do RANDAO requer a introdução de um mecanismo anti-trapaça, ou seja, é necessário um determinado método para garantir que todos dêem respostas ao mesmo tempo. O VDF também foi útil. O nome completo de VDF é Função de Atraso Verificável.A característica importante desta função é que o processo de cálculo para obter o resultado não pode ser calculado em paralelo, ou seja, não pode ser acelerado. No entanto, depois de obtido o resultado, a quantidade de cálculo para verificar o resultado é muito pequena. O VDF é realizado pela função hash, e a característica de cálculo lento e verificação rápida da função hash também é consistente com a natureza do VDF.

No entanto, membros da equipe de pesquisa disseram que a economia final de tentar explorar essa vulnerabilidade do “proponente de último recurso” pode não ser ideal, e tal engano pode prejudicar seriamente a reputação do validador.

3. O SSV (Secret Shared Verifier) e o DVT (Distributed Verifier Technology) são “obrigatórios” para o Ethereum?

Com mais de 20% do Ethereum comprometido, enfrentando o risco de centralização de potenciais operadores de nós, dois membros da equipe de pesquisa disseram que essa tecnologia pode ser uma solução “obrigatória” no curto e médio prazo.

Justin Drake disse que seu pensamento recente mudou parcialmente, porque, a longo prazo, se as assinaturas One-shot forem implementadas, a importância desses desafios de risco será significativamente reduzida. No entanto, as assinaturas únicas podem levar décadas para serem alcançadas, portanto, o DVT será uma solução mais eficaz a curto e médio prazo.

As assinaturas únicas são um tipo especial de assinatura criptográfica na qual a chave privada só pode ser usada para assinar uma mensagem. Ele pode resolver muitos problemas de longa data no campo blockchain, oferecendo inúmeras vantagens, como penalidades de saída, finalização perfeita, staking de liquidez sem confiança e muito mais.

4. O saldo efetivo máximo: aumentar o limite superior do penhor do validador (32 ETH), pode reduzir o número de validadores na rede, de modo a obter uma finalização de transação mais rápida (single slot finality), como: 1) O saldo superior limite de 32 ETH Sem alteração, mas limite o limite superior do número de verificadores da rede; 2) Considerar ou não o número de atestados (attestations) dos verificadores no peso da votação.

A opção 1 resultaria em um mercado para negociar qualificações de validador existentes, introduzindo um risco de segurança potencialmente sério.

A opção 2 mudará o modelo de segurança do protocolo e reduzirá a dificuldade dos invasores em reorganizar a cadeia.

Houve uma proposta recente da comunidade para aumentar o saldo máximo do validador ativo de 32 ETH para 2048 ETH para ajudar a reduzir o crescimento do conjunto de validadores ativos.

5. Qual é o progresso atual da eleição de líder SSLE/Single Secret?

Vitalik disse que o SSLE ainda está em fase de pesquisa.Como o não sigilo do Líder não foi comprovado como um problema, a prioridade do SSLE será relativamente baixa.

ps: Eleição de líder secreto único, atualmente os proponentes selecionados para cada Slot da cadeia de beacons serão divulgados com antecedência, o que os torna vulneráveis a ataques DoS. A solução mais recente criptografa e oculta esse processo, e apenas o proponente conhece sua identidade, o que pode efetivamente mitigar possíveis riscos.

6. Existe alguma atualização no roteiro técnico atual do Ethereum?

Vitalik disse que a maioria deles está progredindo conforme o planejado. Claro, também há prioridades reajustadas. Por exemplo, em abril, devido à vulnerabilidade do Mev-Boost, verificadores maliciosos atacaram MEV Bots. Atualmente, o PBS no nível do protocolo será melhorado (separação de proponentes e construtores) Preocupações sobre potenciais riscos de segurança introduzidos pelo reestaqueamento (reestaqueamento) aumentarão a prioridade de otimizar e simplificar a experiência de estaqueamento solo.

Além disso, na direção geral, o que precisa ser priorizado é ajudar efetivamente muitas coisas no nível do ecossistema, como as carteiras inteligentes ERC-4337 necessárias para alcançar um cross-L2 amigável e melhorar a eficiência do gás.

7. O EIP4844 pode resolver o problema de fragmentação de liquidez de L1 e L2s?

A composição imediata de zk-rollups (que pode não ser possível entre OP Rollups) não depende da conclusão do EIP4844. O espaço de design para coordenação composta entre zk-rollups é enorme. Por exemplo, uma das soluções possíveis é ter um zk-rollup mínimo dedicado como uma agregação de liquidez.

8. Justin Drake propôs uma ideia chamada Based Rollups para resolver o problema de ordenação de Rollups (ordenação em L1) Ela já foi implementada?

Rollups baseados (ou Rollups chamados de ordenação L1) significa que a ordenação da rede Rollup ocorre no L1 em que se baseia (na maioria dos casos, a rede Ethereum). Mais especificamente, no caso do Ethereum, isso significa que os buscadores, construtores e proponentes da rede participam da ordenação da rede Rollup.

Os Rollups baseados têm muitas vantagens sobre as redes Rollup tradicionais que lidam com a classificação por conta própria. Primeiro, eles dependem do Ethereum para solicitar transações e, portanto, se beneficiam da atividade do Ethereum. Quando discutimos os riscos de diferentes Rollups acima, descobrimos que, se os ordenadores ou validadores falharem, muitos problemas podem surgir, mas para Rollups Baseados, a menos que haja um problema com a rede Ethereum, esse risco não existe. Além disso, há vantagens como descentralização e não necessidade de tokens.

Taiko, um dos projetos zkEVM da camada 2, será lançado na forma de Rollups baseados.

Algumas pessoas podem confundir e pensar que os Rollups baseados usarão o pool de memória compartilhado com o L1, mas não é, os Rollups terão seu próprio pool de memória.

9. Preocupações sobre o risco de centralização para construtores de blocos?

Justin Drake disse que o mercado de construtores atual é realmente muito centralizado (veja o principal risco da centralização do construtor é a censura, e a melhor solução atual é leiloar alguns blocos, como listas de inclusão (listas de inclusão), sufixos do proponente (sufixos do proponente), alterações nos sufixos do proponente: pré-compromisso e mempool criptografado, destruição de MEV, etc.

10. Se o número de verificadores ultrapassar 1 milhão este ano, a rede principal poderá funcionar de forma estável? Quantos validadores a rede principal pode suportar atualmente?

Actualmente, a equipa do cliente indica que o número de verificadores que a rede principal pode suportar situa-se entre 1 e 2 milhões. A comunidade de desenvolvedores também está conduzindo explorações relacionadas. A próxima rede de testes, Holesky, terá 1 milhão de verificadores.

11. A Ethereum Foundation será dissolvida? Qual será o fim da Fundação?

Justin Drake disse que a Fundação Ethereum não tem receita, e algumas conferências geralmente não têm fins lucrativos e não usarão o ETH no tesouro como promessa de geração de receita. Se o tesouro da Fundação Ethereum estiver esgotado, o financiamento pode vir de duas fontes:

• Infraestrutura de financiamento público de produtos dentro do ecossistema;
• Orçamento Ethereum L1 relativamente baixo;

12. No momento, não existe uma solução técnica madura para a execução de transações cross-rollups. Quais são suas opiniões e sugestões?

Vitalik disse que não acha que os casos de uso de execução de transações de rollups cruzados síncronos são altos, e a execução de transações de rollups cruzados assíncronos é aceitável e há muitos casos de uso. A execução de negociação síncrona em rollups parece mais uma área esotérica de definição e, se descobrirmos, certamente melhorará a eficiência do mercado até certo ponto, mas, caso contrário, podemos passar totalmente sem ela.

13. Se o desempenho dos rollups cair em um gargalo no futuro, é possível que o two-sharding no estágio anterior do Ethereum volte ao estágio?

Justin Drake disse que executar sharding não fornece mais expansão.Além disso, o gargalo dos Rollups são os dados e não a execução. Na verdade, podemos considerar cada rede rollup como um fragmento de execução.

Contanto que o L1 EVM implemente SNARKified (o estágio Verge do roteiro Ethereum), o Ethereum terá um rollup consagrado (um rollup que desfruta de algum tipo de integração consensual em L1). Também pode ser dito que o Ethereum tem um rollup consagrado no nível de consenso L1 Execute a fragmentação. Uma vez que o trabalho duro de SNARKifying é feito, torna-se relativamente fácil no L1 EVM expor a própria lógica de verificação SNARK como opcodes EVM. Dessa forma, um número ilimitado de rollups consagrados pode ser realizado.No nível de consenso do Ethereum, esses rollups consagrados são como a fragmentação de execução da rede principal, com escalabilidade e a mesma segurança da rede principal.