tl; dr: este artigo molda a discussão em torno da proposta de alocação de direitos no Ethereum, fornece uma visão geral rápida (opinativa) do discurso atual e destaca algumas perguntas em aberto no final.
O objetivo de prevenir a centralização impulsionada pelo MEV que mina as propriedades centrais do Ethereum levou a uma variedade de esquemas propostos que mudam a forma como os blocos são construídos e propostos na rede. Esses esquemas como ePBS, MCP ou bilhetes de execução substituiriam o mercado baseado em MEV-Boost que temos hoje (embora o software MEV-Boost ainda possa desempenhar um papel).
Todos esses designs têm dois objetivos em comum: como objetivo principal, queremos evitar qualquer incentivo para que os atestadores se comportem estrategicamente. Recompensas em habilidade e benefícios para co-localização criam pressões centralizadoras na rede que queremos evitar. Como objetivo secundário, queremos manter o mercado de construtores 'bom'. Por 'mercado de construtores', nos referimos ao mercado que surge em torno do atendimento ao papel adicional que todos esses esquemas criam, além do papel de atestador. 'Bom' envolve navegar em um espaço de trade-off entre descentralização, eficiência e receita do protocolo.
Durante as explorações iniciais deste espaço de soluções, a posição de consenso era que queremos um grande grau de descentralização entre os atestadores, mesmo que isso signifique que o mercado de construtores seja bastante “ruim” (por exemplo, o post do fim do jogo 2No entanto, nunca ficou claro em que ponto traçamos a linha e estamos dispostos a ter menos descentralização entre os validadores para um mercado de construtores melhor. Este post não tenta tomar uma posição aqui, mas simplesmente tornar acessível o panorama de compensações. Este é um problema complexo e há poucos argumentos que realmente podemos considerar como infalíveis e perfeitamente preditivos, então este post deve ser visto como uma interpretação do trabalho que foi feito, mas certamente está sujeito a mudanças.
Desde a família de designs de Propositor Múltiplo Concorrente (MCP), da qual TRANÇA 3é o esforço de design mais importante, ainda é bastante novo e deve ser desenvolvido primeiro, o artigo discute designs de único proponente em maior profundidade e dedica uma breve seção para discussão do MCP no final.
Nota: "Attester" é usado em vez de "validador" para enfatizar o papel de consenso relativamente simples de atestar blocos e participar da camada p2p, em contraste com o papel mais complexo de produção e proposta de blocos que a rede atualmente aloca tecnicamente para o mesmo ator. Attester e validador podem ser tratados de forma intercambiável.
Os Attesters beneficiam-se mais do comportamento estratégico quando selecionados como líderes de consenso para propor blocos ao restante do conjunto de Attesters para um determinado slot. Portanto, a maioria dos designs que desenvolvemos para proteger os Attesters tem se concentrado no papel de proponente. Cada um destes utiliza alguma combinação de três técnicas:
Cada um desses tem suas próprias limitações:
Este ciclo de feedback pode não minar muito o nosso objetivo principal, mas tem o potencial de impactar o mercado de construção - por exemplo, quando as decisões de investimento não são tomadas com muita antecedência e o valor certo proposto muda rapidamente com o tempo.
A magnitude de tal efeito ainda não é bem compreendida e pode muito bem não ser significativa.
Por outro lado, temos a direção MCP menos desenvolvida, que assume uma reformulação fundamental do protocolo de consenso para que a função de propositor seja completamente distribuída a um comitê (cada membro do comitê agora sendo referido como um "propositor"), sem privilegiar explicitamente um único ator. Embora o MCP prometa fortalecer significativamente as garantias fornecidas pela abordagem de comitê para restringir, as mudanças no uso de um comitê dessa forma provavelmente constituem uma mudança fundamental e ainda deixam muitos detalhes não especificados. Portanto, não se pode assumir que o comportamento circundante permaneça fixo e é necessária uma análise adicional considerável sobre incentivos de tempo, incentivos de spam, throughput de rede e similares. Para mais informações, consulteesta postagem comparando BRAID e FOCIL 2, essa análise 1, este painel 1e a seção no final do post para mais.
Além disso, pode-se apontar para o aumento da importância de características de construtores não mercantilizados, como previsão de preços e tolerância ao risco, para apresentar argumentos semelhantes a favor da centralização devido à licitação antecipada.
Olhando para essas compensações, podemos fazer algumas recomendações amplas. Em primeiro lugar, usar um comitê para restringir os proponentes não parece ter uma compensação profunda (talvez amplos incentivos de tempo e complexidade, mas estes parecem menos significativos do que outras dinâmicas mencionadas), ao mesmo tempo em que fornece o benefício de fornecer resistência à censura e reduzir o impacto de loops de feedback de eprop ou bprop MEV, dependendo do ator que escolhermos para executar o mecanismo de alocação. Portanto, devemos usar algo como FOCIL em qualquer esquema. No futuro, esperamos descobrir que a direção do MCP traz os frutos de um projeto ainda mais atraente baseado em comitês, que pode então tomar o lugar do FOCIL.
A introdução do papel de eprop também parece inevitável. Há várias razões para isso. Para além da maioria das propostas que envolvem um papel de eprop, podemos olhar para o protocolo atual, que não introduz explicitamente esse papel, mas sim que ele emergiu organicamente em um mercado fora do protocolo (MEV-Boost), indicando que os incentivos levam a um papel especializado surgindo, mesmo que o design do protocolo não o pretenda. Isso nos deixa com três escolhas importantes para criar esse papel de eprop: quem aloca direitos de eprop (eprop ou bprop), quando os participantes têm que tomar "decisões de investimento" (licitação, staking, compra de ingressos etc) e como o eprop é escolhido?
Olhando para as decisões de quem e quando, chegamos aos seguintes diagramas.
eprop lida com o mecanismo de alocação
bprop lida com o mecanismo de alocação
A primeira opção indicada à esquerda mostra um mundo em que deixamos o máximo de papéis possível para o eprop. A escolha restante está relacionada ao timing, em particular o timing das decisões de investimento em relação aos slots alocados. Ajustar o timing nos permitirá navegar duas forças que impactam negativamente a estrutura do mercado de construção. Executar as coisas com mais antecedência traz os impactos negativos mencionados no mercado de construção (como concentração e perda de receita), enquanto menos atraso pode criar loops de feedback positivos para os incumbentes, embora não esteja claro qual seria a magnitude dessa vantagem. Com base nos fatores que delineamos acima, este espaço de design pesado eprop faz o melhor para isolar o bprop. Claro, pode haver outras interações relevantes que ainda não exploramos.
Alternativamente, poderíamos deixar a atribuição de direitos de eprop para o bprop. Nesse mundo, o bprop estaria assumindo papéis como determinar o lance mais alto em um leilão ou incluir mensagens de compra de bilhetes de execução. Ajustar o tempo em tal mundo nos permite escolher entre sacrificar a "liberdade de estratégia" (ou seja, a descentralização) para a concentração do mercado de construtores.
Leilões de bloco vs slot
O discussão de leilões de bloco vs slot em ePBS 1Pode ser visto como uma discussão sobre a execução do mecanismo de alocação sem atraso (leilão de bloco) versus com um pequeno atraso (leilão de slot). O artigo fornecido no link fornece uma visão geral relativamente abrangente, mas queríamos adicionar dois pontos sobre essa "transição de fase".
Os diagramas acima capturam apenas a direção dos diferentes efeitos previstos, mas o grau em que esses efeitos estão naturalmente presentes depende do tipo de mecanismo de alocação. O júri ainda está indeciso sobre isso, mas há alguns trabalhos relevantes para apontar que nos permitem discriminar entre os muitos designs possíveis:
(Flashbots) argumenta que os mecanismos de alocação que possuem maior elasticidade no fornecimento de direitos de proposição permitem um mercado mais diversificado. Isso explicaria por que os modelos que assumem um número fixo de ingressos como este 3prevê um único proprietário de todos os ingressos enquanto o sistema Ethereum PoS atualmente suporta uma diversidade de atores.
Nossa conclusão sobre isso é que se alguém quiser que o mercado de construção seja minimamente concentrado, pode ter sucesso ao distribuir a alocação de direitos de proposição o mais amplamente possível, mas isso vem com o custo da eficiência e da receita. Ter um mecanismo de alocação que favoreça a descentralização do mercado, esperançosamente, suavizaria o custo de exigir que as decisões de investimento sejam tomadas com mais antecedência.
De forma geral, argumentamos que queremos evitar a concentração de mercado e empregar comitês para reduzir a capacidade de qualquer ator individual minar a neutralidade do mercado de blocos (censurando ou antecipando negociações concorrentes, por exemplo). Uma preocupação mais específica é que, se um ator sabe que possui direitos de proposição em blocos consecutivos, ele será capaz e incentivado a tomar ações adicionais que impactam negativamente o funcionamento dos mercados. Por exemplo, se um construtor sabe que irá produzir dois blocos seguidos (com alta probabilidade), ele pode censurar algumas negociações no primeiro bloco sabendo que pode executá-las de forma mais lucrativa no próximo (ver aqui 1para mais detalhes).
Queremos evitar esse tipo de dinâmica por dois motivos:
Poderíamos tentar resolver esse problema da seguinte forma:
Os pontos 1 e 3 já foram discutidos acima e a implementação do ponto 2 deixaria praticamente inalteradas outras discussões.
Como mencionado anteriormente, Vários Proponentes Concorrentes podem ser considerados como uma propriedade de design que leva o uso de comitês ao seu extremo máximo. Em vez de ter um comitê restringir um único ator, como tentam fazer os designs de lista de inclusão (ou, como dito de outra forma, deixar um ator especial com "última palavra"), VPC teria um comitê de atores "igualmente" construindo um bloco ou pelo menos agindo ao mesmo tempo. O principal design de VPC é BRAID 3que ainda está na fase de descoberta de detalhes de consenso sem um esquema de ordenação específico proposto ainda.
Em certo sentido, o MCP se encaixa perfeitamente no que foi discutido acima. O MCP pede a capacidade de eleger vários proponentes por bloco, mas não estipula quando as decisões de investimento pelos construtores devem ser tomadas ou como os direitos de proposição devem ser alocados. A separação entre eprops e bprops também não é necessariamente algo dado como certo neste modelo. Alguns podem argumentar que distribuir a proposição dentro de um slot entre os atores pode reduzir suficientemente os incentivos de MEV, de modo que atribuir atestadores a essa tarefa não levará a um mercado secundário. \
Como discutido acima em relação aos comitês, o uso de comitês reduz o impacto dos incentivos MEV, exceto a colusão total, de modo que as consequências de pedir aos construtores que tomem decisões de investimento mais próximas do slot provavelmente são reduzidas e não precisamos engolir tanto da "maldade do mercado" que estamos argumentando que vem com a tomada de decisões de investimento muito antecipadas. Um benefício adicional da MCP em relação às soluções baseadas em comitês que restringem os proponentes é que a MCP melhora as garantias de vivacidade, pois nenhum proponente único pode causar uma falha de slot.
Dito isso, MCP/BRAID é uma mudança fundamental e atualmente mal especificada, com muitas incógnitas que precisam ser abordadas. Por exemplo, ser o último proponente a agir pode fornecer algumas vantagens informativas que podem criar novos incentivos para jogos de tempo e descoordenação (intencional) entre proponentes simultâneos pode levar a ineficiências, como transações duplicadas sendo incluídas nas vagas. Alguns desses pontos foram discutidos com mais detalhes em uma painel recente 1.
O principal objetivo deste post era delinear o espaço de compensação. Isso pode ser resumido da seguinte forma:
Naturalmente, há muitas questões em aberto e talvez as melhores a fazer não me sejam conhecidas. Aqui estão algumas perguntas que me parecem importantes, no entanto:
Este artigo é reproduzido de [coletivo]. Todos os direitos autorais pertencem ao autor original [Quintus e @Christophrobot]. Se houver objeções a esta reimpressão, entre em contato com o Gate Learnequipe e eles cuidarão disso prontamente.
Isenção de responsabilidade: Os pontos de vista e opiniões expressos neste artigo são exclusivamente do autor e não constituem qualquer conselho de investimento.
As traduções do artigo para outros idiomas são feitas pela equipe Gate Learn. A menos que mencionado, copiar, distribuir ou plagiar os artigos traduzidos é proibido.
tl; dr: este artigo molda a discussão em torno da proposta de alocação de direitos no Ethereum, fornece uma visão geral rápida (opinativa) do discurso atual e destaca algumas perguntas em aberto no final.
O objetivo de prevenir a centralização impulsionada pelo MEV que mina as propriedades centrais do Ethereum levou a uma variedade de esquemas propostos que mudam a forma como os blocos são construídos e propostos na rede. Esses esquemas como ePBS, MCP ou bilhetes de execução substituiriam o mercado baseado em MEV-Boost que temos hoje (embora o software MEV-Boost ainda possa desempenhar um papel).
Todos esses designs têm dois objetivos em comum: como objetivo principal, queremos evitar qualquer incentivo para que os atestadores se comportem estrategicamente. Recompensas em habilidade e benefícios para co-localização criam pressões centralizadoras na rede que queremos evitar. Como objetivo secundário, queremos manter o mercado de construtores 'bom'. Por 'mercado de construtores', nos referimos ao mercado que surge em torno do atendimento ao papel adicional que todos esses esquemas criam, além do papel de atestador. 'Bom' envolve navegar em um espaço de trade-off entre descentralização, eficiência e receita do protocolo.
Durante as explorações iniciais deste espaço de soluções, a posição de consenso era que queremos um grande grau de descentralização entre os atestadores, mesmo que isso signifique que o mercado de construtores seja bastante “ruim” (por exemplo, o post do fim do jogo 2No entanto, nunca ficou claro em que ponto traçamos a linha e estamos dispostos a ter menos descentralização entre os validadores para um mercado de construtores melhor. Este post não tenta tomar uma posição aqui, mas simplesmente tornar acessível o panorama de compensações. Este é um problema complexo e há poucos argumentos que realmente podemos considerar como infalíveis e perfeitamente preditivos, então este post deve ser visto como uma interpretação do trabalho que foi feito, mas certamente está sujeito a mudanças.
Desde a família de designs de Propositor Múltiplo Concorrente (MCP), da qual TRANÇA 3é o esforço de design mais importante, ainda é bastante novo e deve ser desenvolvido primeiro, o artigo discute designs de único proponente em maior profundidade e dedica uma breve seção para discussão do MCP no final.
Nota: "Attester" é usado em vez de "validador" para enfatizar o papel de consenso relativamente simples de atestar blocos e participar da camada p2p, em contraste com o papel mais complexo de produção e proposta de blocos que a rede atualmente aloca tecnicamente para o mesmo ator. Attester e validador podem ser tratados de forma intercambiável.
Os Attesters beneficiam-se mais do comportamento estratégico quando selecionados como líderes de consenso para propor blocos ao restante do conjunto de Attesters para um determinado slot. Portanto, a maioria dos designs que desenvolvemos para proteger os Attesters tem se concentrado no papel de proponente. Cada um destes utiliza alguma combinação de três técnicas:
Cada um desses tem suas próprias limitações:
Este ciclo de feedback pode não minar muito o nosso objetivo principal, mas tem o potencial de impactar o mercado de construção - por exemplo, quando as decisões de investimento não são tomadas com muita antecedência e o valor certo proposto muda rapidamente com o tempo.
A magnitude de tal efeito ainda não é bem compreendida e pode muito bem não ser significativa.
Por outro lado, temos a direção MCP menos desenvolvida, que assume uma reformulação fundamental do protocolo de consenso para que a função de propositor seja completamente distribuída a um comitê (cada membro do comitê agora sendo referido como um "propositor"), sem privilegiar explicitamente um único ator. Embora o MCP prometa fortalecer significativamente as garantias fornecidas pela abordagem de comitê para restringir, as mudanças no uso de um comitê dessa forma provavelmente constituem uma mudança fundamental e ainda deixam muitos detalhes não especificados. Portanto, não se pode assumir que o comportamento circundante permaneça fixo e é necessária uma análise adicional considerável sobre incentivos de tempo, incentivos de spam, throughput de rede e similares. Para mais informações, consulteesta postagem comparando BRAID e FOCIL 2, essa análise 1, este painel 1e a seção no final do post para mais.
Além disso, pode-se apontar para o aumento da importância de características de construtores não mercantilizados, como previsão de preços e tolerância ao risco, para apresentar argumentos semelhantes a favor da centralização devido à licitação antecipada.
Olhando para essas compensações, podemos fazer algumas recomendações amplas. Em primeiro lugar, usar um comitê para restringir os proponentes não parece ter uma compensação profunda (talvez amplos incentivos de tempo e complexidade, mas estes parecem menos significativos do que outras dinâmicas mencionadas), ao mesmo tempo em que fornece o benefício de fornecer resistência à censura e reduzir o impacto de loops de feedback de eprop ou bprop MEV, dependendo do ator que escolhermos para executar o mecanismo de alocação. Portanto, devemos usar algo como FOCIL em qualquer esquema. No futuro, esperamos descobrir que a direção do MCP traz os frutos de um projeto ainda mais atraente baseado em comitês, que pode então tomar o lugar do FOCIL.
A introdução do papel de eprop também parece inevitável. Há várias razões para isso. Para além da maioria das propostas que envolvem um papel de eprop, podemos olhar para o protocolo atual, que não introduz explicitamente esse papel, mas sim que ele emergiu organicamente em um mercado fora do protocolo (MEV-Boost), indicando que os incentivos levam a um papel especializado surgindo, mesmo que o design do protocolo não o pretenda. Isso nos deixa com três escolhas importantes para criar esse papel de eprop: quem aloca direitos de eprop (eprop ou bprop), quando os participantes têm que tomar "decisões de investimento" (licitação, staking, compra de ingressos etc) e como o eprop é escolhido?
Olhando para as decisões de quem e quando, chegamos aos seguintes diagramas.
eprop lida com o mecanismo de alocação
bprop lida com o mecanismo de alocação
A primeira opção indicada à esquerda mostra um mundo em que deixamos o máximo de papéis possível para o eprop. A escolha restante está relacionada ao timing, em particular o timing das decisões de investimento em relação aos slots alocados. Ajustar o timing nos permitirá navegar duas forças que impactam negativamente a estrutura do mercado de construção. Executar as coisas com mais antecedência traz os impactos negativos mencionados no mercado de construção (como concentração e perda de receita), enquanto menos atraso pode criar loops de feedback positivos para os incumbentes, embora não esteja claro qual seria a magnitude dessa vantagem. Com base nos fatores que delineamos acima, este espaço de design pesado eprop faz o melhor para isolar o bprop. Claro, pode haver outras interações relevantes que ainda não exploramos.
Alternativamente, poderíamos deixar a atribuição de direitos de eprop para o bprop. Nesse mundo, o bprop estaria assumindo papéis como determinar o lance mais alto em um leilão ou incluir mensagens de compra de bilhetes de execução. Ajustar o tempo em tal mundo nos permite escolher entre sacrificar a "liberdade de estratégia" (ou seja, a descentralização) para a concentração do mercado de construtores.
Leilões de bloco vs slot
O discussão de leilões de bloco vs slot em ePBS 1Pode ser visto como uma discussão sobre a execução do mecanismo de alocação sem atraso (leilão de bloco) versus com um pequeno atraso (leilão de slot). O artigo fornecido no link fornece uma visão geral relativamente abrangente, mas queríamos adicionar dois pontos sobre essa "transição de fase".
Os diagramas acima capturam apenas a direção dos diferentes efeitos previstos, mas o grau em que esses efeitos estão naturalmente presentes depende do tipo de mecanismo de alocação. O júri ainda está indeciso sobre isso, mas há alguns trabalhos relevantes para apontar que nos permitem discriminar entre os muitos designs possíveis:
(Flashbots) argumenta que os mecanismos de alocação que possuem maior elasticidade no fornecimento de direitos de proposição permitem um mercado mais diversificado. Isso explicaria por que os modelos que assumem um número fixo de ingressos como este 3prevê um único proprietário de todos os ingressos enquanto o sistema Ethereum PoS atualmente suporta uma diversidade de atores.
Nossa conclusão sobre isso é que se alguém quiser que o mercado de construção seja minimamente concentrado, pode ter sucesso ao distribuir a alocação de direitos de proposição o mais amplamente possível, mas isso vem com o custo da eficiência e da receita. Ter um mecanismo de alocação que favoreça a descentralização do mercado, esperançosamente, suavizaria o custo de exigir que as decisões de investimento sejam tomadas com mais antecedência.
De forma geral, argumentamos que queremos evitar a concentração de mercado e empregar comitês para reduzir a capacidade de qualquer ator individual minar a neutralidade do mercado de blocos (censurando ou antecipando negociações concorrentes, por exemplo). Uma preocupação mais específica é que, se um ator sabe que possui direitos de proposição em blocos consecutivos, ele será capaz e incentivado a tomar ações adicionais que impactam negativamente o funcionamento dos mercados. Por exemplo, se um construtor sabe que irá produzir dois blocos seguidos (com alta probabilidade), ele pode censurar algumas negociações no primeiro bloco sabendo que pode executá-las de forma mais lucrativa no próximo (ver aqui 1para mais detalhes).
Queremos evitar esse tipo de dinâmica por dois motivos:
Poderíamos tentar resolver esse problema da seguinte forma:
Os pontos 1 e 3 já foram discutidos acima e a implementação do ponto 2 deixaria praticamente inalteradas outras discussões.
Como mencionado anteriormente, Vários Proponentes Concorrentes podem ser considerados como uma propriedade de design que leva o uso de comitês ao seu extremo máximo. Em vez de ter um comitê restringir um único ator, como tentam fazer os designs de lista de inclusão (ou, como dito de outra forma, deixar um ator especial com "última palavra"), VPC teria um comitê de atores "igualmente" construindo um bloco ou pelo menos agindo ao mesmo tempo. O principal design de VPC é BRAID 3que ainda está na fase de descoberta de detalhes de consenso sem um esquema de ordenação específico proposto ainda.
Em certo sentido, o MCP se encaixa perfeitamente no que foi discutido acima. O MCP pede a capacidade de eleger vários proponentes por bloco, mas não estipula quando as decisões de investimento pelos construtores devem ser tomadas ou como os direitos de proposição devem ser alocados. A separação entre eprops e bprops também não é necessariamente algo dado como certo neste modelo. Alguns podem argumentar que distribuir a proposição dentro de um slot entre os atores pode reduzir suficientemente os incentivos de MEV, de modo que atribuir atestadores a essa tarefa não levará a um mercado secundário. \
Como discutido acima em relação aos comitês, o uso de comitês reduz o impacto dos incentivos MEV, exceto a colusão total, de modo que as consequências de pedir aos construtores que tomem decisões de investimento mais próximas do slot provavelmente são reduzidas e não precisamos engolir tanto da "maldade do mercado" que estamos argumentando que vem com a tomada de decisões de investimento muito antecipadas. Um benefício adicional da MCP em relação às soluções baseadas em comitês que restringem os proponentes é que a MCP melhora as garantias de vivacidade, pois nenhum proponente único pode causar uma falha de slot.
Dito isso, MCP/BRAID é uma mudança fundamental e atualmente mal especificada, com muitas incógnitas que precisam ser abordadas. Por exemplo, ser o último proponente a agir pode fornecer algumas vantagens informativas que podem criar novos incentivos para jogos de tempo e descoordenação (intencional) entre proponentes simultâneos pode levar a ineficiências, como transações duplicadas sendo incluídas nas vagas. Alguns desses pontos foram discutidos com mais detalhes em uma painel recente 1.
O principal objetivo deste post era delinear o espaço de compensação. Isso pode ser resumido da seguinte forma:
Naturalmente, há muitas questões em aberto e talvez as melhores a fazer não me sejam conhecidas. Aqui estão algumas perguntas que me parecem importantes, no entanto:
Este artigo é reproduzido de [coletivo]. Todos os direitos autorais pertencem ao autor original [Quintus e @Christophrobot]. Se houver objeções a esta reimpressão, entre em contato com o Gate Learnequipe e eles cuidarão disso prontamente.
Isenção de responsabilidade: Os pontos de vista e opiniões expressos neste artigo são exclusivamente do autor e não constituem qualquer conselho de investimento.
As traduções do artigo para outros idiomas são feitas pela equipe Gate Learn. A menos que mencionado, copiar, distribuir ou plagiar os artigos traduzidos é proibido.