tl;dr: este artigo enquadra a discussão em torno da alocação de direitos no Ethereum, fornece uma visão rápida (baseada em opiniões) do discurso atual e destaca algumas questões em aberto no final.
O objetivo de prevenir a centralização impulsionada por MEV que mina as propriedades principais do Ethereum levou a uma variedade de esquemas propostos que alteram a maneira 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 projetos 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-locaçã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 de atender o papel adicional que todos esses esquemas criam além do papel de atestador. “Bom” envolve navegar em um espaço de tradeoff entre descentralização, eficiência e receita de protocolo.
Durante as explorações iniciais deste espaço de soluções, a posição de consenso foi que queremos um grande grau de descentralização entre os atestadores, mesmo que isso signifique que o mercado construtor 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 atestantes para um mercado de construtores melhor. Esta publicação 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 podemos realmente considerar como à prova de água e perfeitamente preditivos, portanto, esta publicação deve ser vista como uma interpretação do trabalho que foi feito, mas está certamente sujeita a alterações.
Desde a família de projetos Multiple Concurrent Proposer (MCP), da qualTRANÇA 3é o esforço de design mais importante, ainda é bastante novo e deve ser aprofundado primeiro, o artigo discute designs de único proponente em maior profundidade e dedica uma breve seção à discussão do MCP no final.
Nota: "atestador" é usado em vez de "validador" para enfatizar o papel de consenso relativamente simples de atestar blocos e participar na camada p2p, em contraste com o papel mais complexo de produção e proposta de blocos, que a rede atualmente tecnicamente atribui ao mesmo ator. Atestador e validador podem ser tratados de forma intercambiável.
Os attesters se beneficiam mais do comportamento estratégico quando selecionados como líderes de consenso para propor blocos para o resto do attester definido para uma determinada vaga. Por isso, a maioria dos projetos que criamos para proteger os atestados se concentrou no papel de proponente. Cada um deles usa uma combinação de três técnicas:
Cada um deles 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 o papel do proponente seja completamente distribuído a um comitê (sendo agora referido como um "proponente"), sem privilegiar explicitamente um ator singular. Enquanto a MCP promete fortalecer significativamente as garantias fornecidas pela abordagem do 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 presumir que o comportamento circundante permaneça fixo e é necessária uma considerável análise adicional dos incentivos de tempo, incentivos de spam, throughput de rede e similares. Para mais, consulte esta publicação compara BRAID e FOCIL 2, esta análise 1, este painel 1e a seção no final do post para mais informações.
Além disso, pode-se apontar a crescente importância de características do construtor não-comodificadas, como previsão de preços e tolerância ao risco, para fazer argumentos semelhantes para a centralização devido a lances antecipados.
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 um compromisso profundo (talvez amplos incentivos de tempo e complexidade, mas estes parecem menos significativos do que outras dinâmicas mencionadas), proporcionando o benefício de fornecer resistência à censura e reduzir o impacto de loops de feedback eprop ou bprop MEV, dependendo de qual ator escolhemos para executar o mecanismo de alocação. Por isso, devemos usar algo como FOCIL em qualquer esquema. No futuro, esperamos descobrir que a direção do MCP dá os frutos de um projeto baseado em comitês ainda mais atraente, que pode então tomar o lugar do FOCIL.
A introdução do papel de eprop também parece inevitável. Existem várias razões para isso. Além da maioria das propostas envolverem um papel de eprop, podemos analisar o protocolo atual que não introduz explicitamente esse papel, mas, em vez disso, o papel emergiu organicamente em um mercado fora do protocolo (MEV-Boost), indicando que os incentivos levam a um papel especializado emergir, 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 os direitos de eprop (eprop ou bprop), quando os participantes precisam tomar "decisões de investimento" (licitação, participação, compra de bilhetes, etc.) e como o eprop é escolhido?
Ao olharmos para quem e quando as decisões, 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 maior número de funções 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 por duas forças que impactam negativamente a estrutura do mercado de construção. Adiantar as coisas traz os impactos negativos mencionados no mercado de construção (como concentração e perda de receita), enquanto menos atraso arrisca criar loops de feedback positivo para os incumbentes, embora não esteja claro qual seria a magnitude de tal vantagem. Com base nos fatores que destacamos acima, este espaço de design eprop pesado faz o melhor para isolar o bprop. Claro, pode haver outras interações relevantes que ainda não exploramos.
Alternativamente, poderíamos deixar a alocação de direitos eprop para o bprop. Neste mundo, o bprop assumiria funções como determinar o lance mais alto num leilão ou incluir mensagens de compra de bilhetes de execução. A afinação do timing num mundo desses permite-nos escolher entre sacrificar a “estratégia-livre do bprop” (ou seja, descentralização do atestador) pela concentração no mercado do construtor.
Leilões de bloco vs leilões de slot
O discussão de leilões de bloco vs slot no ePBS 1pode ser vista 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 vinculado fornece uma visão relativamente abrangente, mas queríamos acrescentar dois pontos sobre essa "transição de fase"
Os diagramas acima apenas capturam a direção dos diferentes efeitos previstos, mas o grau em que esses efeitos estão presentes naturalmente depende do tipo de mecanismo de alocação. O júri certamente ainda não se pronunciou sobre isso, mas há alguns trabalhos relevantes a apontar que nos permitem discriminar entre os muitos desenhos possíveis:
(Flashbots) argumenta que os mecanismos de alocação que têm maior elasticidade na oferta de direitos propostos permitem um mercado mais diversificado. Isso explicaria por que modelos que pressupõem um número fixo de ingressos como este 3prevê um único proprietário de todos os bilhetes enquanto o sistema Ethereum PoS atualmente suporta uma diversidade de atores.
A nossa conclusão destas informações é que, se alguém pretende que o mercado de construtores seja minimamente concentrado, pode ter sucesso ao distribuir o direito de proposta o mais amplamente possível, mas isso implica em perda de eficiência e receita. Ter um mecanismo de alocação que favoreça a descentralização do mercado esperançosamente suavizaria o custo de requerer decisões de investimento serem 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 (por exemplo, censurando ou antecipando negociações concorrentes). Uma preocupação mais específica é que se um ator sabe que possui direitos de proposta em blocos consecutivos, ele será capaz e incentivado a tomar ações adicionais que impactam negativamente a operação dos mercados. Por exemplo, se um construtor sabe que produzirá dois blocos seguidos (com alta probabilidade), ele pode censurar algumas negociações no primeiro bloco sabendo que pode executá-las com mais lucratividade no próximo (veja aqui 1para mais detalhes).
Queremos evitar esse tipo de dinâmica por duas razões:
Podíamos tentar resolver este problema através de:
Os pontos 1 e 3 já foram discutidos acima e a implementação do 2 deixaria em grande parte as outras discussões inalteradas.
Como mencionado anteriormente, Múltiplos Proponentes Concorrentes podem ser considerados 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 de outra forma afirmado, deixar um ator especial com "última análise"), o MCP teria um comitê de atores a construir um bloco "igualmente" ou pelo menos tomar ação ao mesmo tempo. O design MCP mais importante é TRANÇA 3que ainda está na fase de descobrir detalhes de consenso sem um esquema de ordenação específico ter sido proposto ainda.
De certa forma, 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 garantida neste modelo. Alguns podem argumentar que distribuir a proposição dentro de um slot entre atores pode reduzir suficientemente os incentivos do MEV, de modo que atribuir atestadores a essa tarefa não levará a um mercado secundário. \
Como discutido com relação aos comitês acima, utilizar comitês reduz o impacto dos incentivos MEV, exceto por uma colusão total, portanto, as consequências de pedir aos construtores que tomem decisões de investimento mais próximas ao slot são provavelmente reduzidas e não precisamos absorver tanto da "maldade de mercado" que estamos argumentando que vem com a tomada de decisões de investimento muito antecipadas. Um benefício adicional do MCP em relação às soluções baseadas em comitês que restringem os proponentes é que o MCP melhora as garantias de vivacidade, pois nenhum único proponente pode causar um slot perdido.
Dito isto, o MCP/BRAID é tanto uma mudança fundamental como atualmente subespecificada, com muitas incógnitas que precisam de ser abordadas. Por exemplo, ser o último proponente a agir pode proporcionar algumas vantagens informativas que poderiam criar novos incentivos de jogo de tempo e a (intencional) descoordenação entre proponentes concorrentes pode levar a ineficiências, como transações duplicadas sendo incluídas em slots. Alguns destes pontos foram discutidos mais detalhadamente em a painel recente 1.
O principal objetivo deste post era estabelecer o espaço de compensação. Isso pode ser resumido da seguinte forma:
Naturalmente, há muitas perguntas em aberto e talvez as melhores a fazer não sejam conhecidas por mim. Aqui estão algumas perguntas que me parecem importantes, no entanto:
Este artigo foi reproduzido a partir de [coletivo]. Todos os direitos autorais pertencem ao autor original [Quintuse@Christophrobot]. Se houver objeções a esta reimpressão, por favor entre em contato com o Gate Learnequipa e eles tratarão disso prontamente.
Aviso de responsabilidade: As opiniões expressas 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. Salvo indicação em contrário, copiar, distribuir ou plagiar os artigos traduzidos é proibido.
Partilhar
tl;dr: este artigo enquadra a discussão em torno da alocação de direitos no Ethereum, fornece uma visão rápida (baseada em opiniões) do discurso atual e destaca algumas questões em aberto no final.
O objetivo de prevenir a centralização impulsionada por MEV que mina as propriedades principais do Ethereum levou a uma variedade de esquemas propostos que alteram a maneira 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 projetos 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-locaçã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 de atender o papel adicional que todos esses esquemas criam além do papel de atestador. “Bom” envolve navegar em um espaço de tradeoff entre descentralização, eficiência e receita de protocolo.
Durante as explorações iniciais deste espaço de soluções, a posição de consenso foi que queremos um grande grau de descentralização entre os atestadores, mesmo que isso signifique que o mercado construtor 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 atestantes para um mercado de construtores melhor. Esta publicação 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 podemos realmente considerar como à prova de água e perfeitamente preditivos, portanto, esta publicação deve ser vista como uma interpretação do trabalho que foi feito, mas está certamente sujeita a alterações.
Desde a família de projetos Multiple Concurrent Proposer (MCP), da qualTRANÇA 3é o esforço de design mais importante, ainda é bastante novo e deve ser aprofundado primeiro, o artigo discute designs de único proponente em maior profundidade e dedica uma breve seção à discussão do MCP no final.
Nota: "atestador" é usado em vez de "validador" para enfatizar o papel de consenso relativamente simples de atestar blocos e participar na camada p2p, em contraste com o papel mais complexo de produção e proposta de blocos, que a rede atualmente tecnicamente atribui ao mesmo ator. Atestador e validador podem ser tratados de forma intercambiável.
Os attesters se beneficiam mais do comportamento estratégico quando selecionados como líderes de consenso para propor blocos para o resto do attester definido para uma determinada vaga. Por isso, a maioria dos projetos que criamos para proteger os atestados se concentrou no papel de proponente. Cada um deles usa uma combinação de três técnicas:
Cada um deles 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 o papel do proponente seja completamente distribuído a um comitê (sendo agora referido como um "proponente"), sem privilegiar explicitamente um ator singular. Enquanto a MCP promete fortalecer significativamente as garantias fornecidas pela abordagem do 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 presumir que o comportamento circundante permaneça fixo e é necessária uma considerável análise adicional dos incentivos de tempo, incentivos de spam, throughput de rede e similares. Para mais, consulte esta publicação compara BRAID e FOCIL 2, esta análise 1, este painel 1e a seção no final do post para mais informações.
Além disso, pode-se apontar a crescente importância de características do construtor não-comodificadas, como previsão de preços e tolerância ao risco, para fazer argumentos semelhantes para a centralização devido a lances antecipados.
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 um compromisso profundo (talvez amplos incentivos de tempo e complexidade, mas estes parecem menos significativos do que outras dinâmicas mencionadas), proporcionando o benefício de fornecer resistência à censura e reduzir o impacto de loops de feedback eprop ou bprop MEV, dependendo de qual ator escolhemos para executar o mecanismo de alocação. Por isso, devemos usar algo como FOCIL em qualquer esquema. No futuro, esperamos descobrir que a direção do MCP dá os frutos de um projeto baseado em comitês ainda mais atraente, que pode então tomar o lugar do FOCIL.
A introdução do papel de eprop também parece inevitável. Existem várias razões para isso. Além da maioria das propostas envolverem um papel de eprop, podemos analisar o protocolo atual que não introduz explicitamente esse papel, mas, em vez disso, o papel emergiu organicamente em um mercado fora do protocolo (MEV-Boost), indicando que os incentivos levam a um papel especializado emergir, 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 os direitos de eprop (eprop ou bprop), quando os participantes precisam tomar "decisões de investimento" (licitação, participação, compra de bilhetes, etc.) e como o eprop é escolhido?
Ao olharmos para quem e quando as decisões, 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 maior número de funções 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 por duas forças que impactam negativamente a estrutura do mercado de construção. Adiantar as coisas traz os impactos negativos mencionados no mercado de construção (como concentração e perda de receita), enquanto menos atraso arrisca criar loops de feedback positivo para os incumbentes, embora não esteja claro qual seria a magnitude de tal vantagem. Com base nos fatores que destacamos acima, este espaço de design eprop pesado faz o melhor para isolar o bprop. Claro, pode haver outras interações relevantes que ainda não exploramos.
Alternativamente, poderíamos deixar a alocação de direitos eprop para o bprop. Neste mundo, o bprop assumiria funções como determinar o lance mais alto num leilão ou incluir mensagens de compra de bilhetes de execução. A afinação do timing num mundo desses permite-nos escolher entre sacrificar a “estratégia-livre do bprop” (ou seja, descentralização do atestador) pela concentração no mercado do construtor.
Leilões de bloco vs leilões de slot
O discussão de leilões de bloco vs slot no ePBS 1pode ser vista 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 vinculado fornece uma visão relativamente abrangente, mas queríamos acrescentar dois pontos sobre essa "transição de fase"
Os diagramas acima apenas capturam a direção dos diferentes efeitos previstos, mas o grau em que esses efeitos estão presentes naturalmente depende do tipo de mecanismo de alocação. O júri certamente ainda não se pronunciou sobre isso, mas há alguns trabalhos relevantes a apontar que nos permitem discriminar entre os muitos desenhos possíveis:
(Flashbots) argumenta que os mecanismos de alocação que têm maior elasticidade na oferta de direitos propostos permitem um mercado mais diversificado. Isso explicaria por que modelos que pressupõem um número fixo de ingressos como este 3prevê um único proprietário de todos os bilhetes enquanto o sistema Ethereum PoS atualmente suporta uma diversidade de atores.
A nossa conclusão destas informações é que, se alguém pretende que o mercado de construtores seja minimamente concentrado, pode ter sucesso ao distribuir o direito de proposta o mais amplamente possível, mas isso implica em perda de eficiência e receita. Ter um mecanismo de alocação que favoreça a descentralização do mercado esperançosamente suavizaria o custo de requerer decisões de investimento serem 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 (por exemplo, censurando ou antecipando negociações concorrentes). Uma preocupação mais específica é que se um ator sabe que possui direitos de proposta em blocos consecutivos, ele será capaz e incentivado a tomar ações adicionais que impactam negativamente a operação dos mercados. Por exemplo, se um construtor sabe que produzirá dois blocos seguidos (com alta probabilidade), ele pode censurar algumas negociações no primeiro bloco sabendo que pode executá-las com mais lucratividade no próximo (veja aqui 1para mais detalhes).
Queremos evitar esse tipo de dinâmica por duas razões:
Podíamos tentar resolver este problema através de:
Os pontos 1 e 3 já foram discutidos acima e a implementação do 2 deixaria em grande parte as outras discussões inalteradas.
Como mencionado anteriormente, Múltiplos Proponentes Concorrentes podem ser considerados 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 de outra forma afirmado, deixar um ator especial com "última análise"), o MCP teria um comitê de atores a construir um bloco "igualmente" ou pelo menos tomar ação ao mesmo tempo. O design MCP mais importante é TRANÇA 3que ainda está na fase de descobrir detalhes de consenso sem um esquema de ordenação específico ter sido proposto ainda.
De certa forma, 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 garantida neste modelo. Alguns podem argumentar que distribuir a proposição dentro de um slot entre atores pode reduzir suficientemente os incentivos do MEV, de modo que atribuir atestadores a essa tarefa não levará a um mercado secundário. \
Como discutido com relação aos comitês acima, utilizar comitês reduz o impacto dos incentivos MEV, exceto por uma colusão total, portanto, as consequências de pedir aos construtores que tomem decisões de investimento mais próximas ao slot são provavelmente reduzidas e não precisamos absorver tanto da "maldade de mercado" que estamos argumentando que vem com a tomada de decisões de investimento muito antecipadas. Um benefício adicional do MCP em relação às soluções baseadas em comitês que restringem os proponentes é que o MCP melhora as garantias de vivacidade, pois nenhum único proponente pode causar um slot perdido.
Dito isto, o MCP/BRAID é tanto uma mudança fundamental como atualmente subespecificada, com muitas incógnitas que precisam de ser abordadas. Por exemplo, ser o último proponente a agir pode proporcionar algumas vantagens informativas que poderiam criar novos incentivos de jogo de tempo e a (intencional) descoordenação entre proponentes concorrentes pode levar a ineficiências, como transações duplicadas sendo incluídas em slots. Alguns destes pontos foram discutidos mais detalhadamente em a painel recente 1.
O principal objetivo deste post era estabelecer o espaço de compensação. Isso pode ser resumido da seguinte forma:
Naturalmente, há muitas perguntas em aberto e talvez as melhores a fazer não sejam conhecidas por mim. Aqui estão algumas perguntas que me parecem importantes, no entanto:
Este artigo foi reproduzido a partir de [coletivo]. Todos os direitos autorais pertencem ao autor original [Quintuse@Christophrobot]. Se houver objeções a esta reimpressão, por favor entre em contato com o Gate Learnequipa e eles tratarão disso prontamente.
Aviso de responsabilidade: As opiniões expressas 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. Salvo indicação em contrário, copiar, distribuir ou plagiar os artigos traduzidos é proibido.