Trabalho conjunto com @b-wagn, uma documentação dos peerdas do Ethereum
A visão de longo prazo da comunidade Ethereum inclui um protocolo abrangente de disponibilidade de dados usando compromissos polinomiais e códigos tensores. Como o próximo passo em direção a essa visão, uma solução intermediária chamada Peerdas está prestes a integrar, para preencher o caminho para o protocolo completo. Com os Peerdas logo se tornando parte integrante da camada de consenso do Ethereum, é essencial entender suas garantias de segurança.
O documento vinculado visa descrever a criptografia usada em Peerdas de uma maneira acessível à comunidade criptográfica, incentivando a inovação e as melhorias e declarar explicitamente as garantias de segurança dos peerdas. Nós nos concentramos em Peerdas, conforme descrito nas especificações de consenso do Ethereum (ETH24A, ETH24B).
Nossa intenção é dupla: primeiro, pretendemos fornecer uma descrição da criptografia usada em peerdas acessíveis à comunidade criptográfica, potencialmente levando a novas idéias e
melhorias que podem ser incorporadas no futuro. Segundo, queremos declarar explicitamente as garantias de segurança e eficiência dos peerdas. Em termos de segurança, este documento justifica a seguinte reivindicação:
Teorema 1 (Teorema principal, informal): Assumindo suposições plausíveis de dureza criptográfica, Peerdas é um esquema de amostragem de disponibilidade de dados seguros no modelo de grupo algébrico, de acordo com a definição em (Hasw23).
Esperamos receber feedback da comunidade para fazer mais melhorias neste documento
3 curtidas
Como atualização, acabamos de lançar uma análise de segurança aprimorada aqui.
Em particular, podemos provar a segurança agora a partir de uma suposição de modelo padrão, em vez de confiar no modelo de grupo algébrico.
Fontesethresear
