jakiro
Autor: Vitalik;
Gracias por los comentarios rápidos y la revisión de Dankrad Feist, Caspar Schwarz-Schilling y Francesco.
Me siente aquí para escribir este artículo sobre el último día de la interacción de los desarrolladores en Kenia Ethereum. Registros en el fondo de EIP 4444.Desde mi propia perspectiva, la velocidad de desarrollo de Ethereum y nuestra capacidad para proporcionar funciones grandes e importantes se mejoran continuamente.
El equipo de clientes de Ethereum trabaja juntos para entregar Pectra Devnet
En vista de la mejora de las capacidades técnicas, una pregunta importante que debe plantearse es: ¿estamos avanzando hacia el objetivo correcto?Una serie de tweets insatisfechos recientemente lanzados por el desarrollador de Geth Core a largo plazo Peter Szilagyi nos llevó a pensar en este problema:
Estas preocupaciones tienen sentido.Esta es una preocupación para muchas personas en la comunidad de Ethereum.Personalmente me preocupaba estos problemas muchas veces.Sin embargo, no creo que la situación sea tan desesperada como lo implica los tweets de Peter.Por el contrario, la función de protocolo en curso ha resuelto muchos problemas, y muchos otros problemas pueden resolverse haciendo ajustes muy realistas en la hoja de ruta actual.
Para comprender lo que esto significa en la práctica, revisemos tres ejemplos proporcionados por Peter uno por uno.Estos problemas generalmente están preocupados por muchas comunidades, y es importante resolver estos problemas.
MEV y dependencia del constructor
En el pasado, el bloque Ethereum fue creado por mineros, y usaron algoritmos relativamente simples para crear bloques.Los usuarios envían transacciones a las redes P2P públicas, generalmente llamadas «Mempool» (o «TXpool»).Los mineros escuchan el grupo de memoria, aceptan transacciones efectivas y pagan tarifas.Incluyen transacciones que se pueden realizar.
Este es un sistema muy simple, y es muy amigable para la descentralización: como minero, solo necesita ejecutar el software predeterminado, y puede obtener el mismo nivel de ingresos del mismo nivel de una mina profesional alta.Sin embargo,> «>Alrededor de 2020, las personas comenzaron a usar los mineros calificados para extraer valor (MEV): solo a través de estrategias complicadas podemos obtener ingresos, estas estrategias comprenden las actividades que ocurren dentro de varios protocolos Defi.
Por ejemplo, considere intercambios descentralizados como Uniswap.Supongamos que en el momento T, los intercambios centralizados y los tipos de cambio USD/ETH en UNISWAP son de $ 3,000.En T+11, el tipo de cambio USD/ETH del intercambio centralizado aumentó a $ 3005.Pero Ethereum no tiene el próximo bloque.El tiempo t+12 es de hecho el caso.No importa quién haya creado el bloque, sus primeras transacciones pueden ser una serie de compras de UNISWAP, comprando todos los ETH disponibles en UNISWAP a un precio de $ 3,000 a $ 3004.Este es un ingreso adicional, llamado MEV.Hay problemas similares en aplicaciones distintas de Dex.El artículo de Flash Boys 2.0 publicado en 2019 lo ha introducido en detalle.
El gráfico en el artículo de Flash Boys 2.0 muestra el monto de los ingresos que se puede obtener utilizando los métodos anteriores.
> «>La pregunta es que esto rompe la razón por la cual la minería (propuesta de bloque después de 2022) puede ser «justa»: ahora, se pueden obtener grandes participantes con una mejor optimización de habilidades en cada bloque más un buen retorno.
Desde entonces, ha habido controversia entre las dos estrategias.> «>MEV Mínimo y Aislamiento MEV.Hay dos formas de MEV para minimizar: (i) desarrollar activamente la alternativa de MEV de UNISWAP (como COWSWAP), y (ii) construir una tecnología interna en el acuerdo, como grupos de memoria cifrados para reducir la información disponible para el bloqueo Los productores, reduciéndolos pueden obtener ingresos.En particular, el grupo de memoria cifrado puede evitar estrategias como el ataque de sándwiches.
> «>El principio de funcionamiento del aislamiento de mev es aceptar mevSin embargo, está tratando de limitar el impacto en la centralización de la promesa dividiendo el mercado en dos participantes: el verificador es responsable de la prueba y los bloques propuestos, pero la tarea de seleccionar el contenido del bloque pasará el protocolo de subastas.Las promesas individuales ya no necesitan preocuparse por optimizar el arbitraje de Defi;Esto se llama la separación de la propuesta/constructor (PBS).Este método ya tiene un precedente en otras industrias: una razón principal para que los restaurantes mantengan dicha descentralización es que a menudo dependen de proveedores considerables para llevar a cabo varios negocios, y estas empresas tienen una economía a gran escala.Hasta ahora, PBS ha tenido bastante éxito en garantizar que las pequeñas verificaciones y las verificaciones a gran escala se encuentren en un entorno competitivo justo, al menos para MEV.> «>Sin embargo, trae otra pregunta: cuyas transacciones incluyen más concentradas.
> «>Mi opinión sobre esto siempre ha sido que la minimización de MEV es buena.Por lo tanto, también necesitamos un cierto aislamiento MEV.Esto produce una tarea interesante: ¿cómo hacemos que la «caja de aislamiento MEV» sea lo más pequeña posible?¿Cómo podemos dar a los constructores lo menos posible, al tiempo que les permitimos absorber el papel de optimizar el arbitraje y otras formas de colección MEV?
Si el constructor tiene derecho a excluir completamente la transacción del bloque, será fácil de atacar.Supongamos que tiene posiciones de deuda hipotecaria (CDP) en el protocolo Defi y el soporte de activos que ha caído rápidamente por precio.Desea aumentar las hipotecas o salir de CDP.Los constructores maliciosos pueden intentar encadenar y negarse a incluir sus transacciones, retrasando así la transacción hasta que el precio caiga a una liquidación forzada de su CDP.Si esto sucede, tendrá que pagar una gran multa, y el constructor obtendrá una gran parte.Entonces, ¿cómo evitamos que los constructores excluyan las transacciones y completen tales ataques?
Este es el lugar donde la lista contiene la lista.
Fuente:ethresear.ch
La inclusión de la lista permitió las propuestas de bloque (es decir, las partes interesadas) para elegir ingresar la transacción requerida para el bloque.Los constructores aún pueden clasificar o insertar sus propias transacciones, pero deben incluir la transacción de la propuesta.Al final, se modificó para restringir el siguiente bloque en lugar del bloque de corriente.En cualquier caso, privarán la capacidad de los constructores para lanzar completamente la transacción.
MEV es un problema complejo;Como dijiste> «>»Puede que no estés buscando mev, pero mev está buscando»Esencia> «>Los investigadores de Ethereum se han comprometido muy consistentemente con el objetivo de «minimizar la caja de aislamiento» y minimizar el daño que el constructor puede causar(Por ejemplo, una forma de atacar o retrasar las transacciones como atacando aplicaciones específicas).
En otras palabras, creo que podemos ir más allá.Históricamente, incluidas las listas a menudo se consideran una «función de situación especial»: en general, no las consideras, pero en el caso de que los constructores maliciosos comiencen a hacer locuras, te darán el «segundo» camino «. Esta actitud se refleja en La decisión de diseño actual: en el EIP actual, el límite de gas contiene una lista es de aproximadamente 2.1 millones.
Creo que la idea de esta dirección promoviendo la caja de aislamiento lo más pequeña posible, muy interesante, estoy de acuerdo con esta dirección.Esta es la transformación con la «Filosofía de la era 2021»: en la filosofía de la era de 2021, estamos más interesados en esta idea: dado que ahora tenemos los constructores, podemos «sobrecargar» sus funciones, para que puedan hacerlas en un más forma complicada de una manera más complicada.> «>Al apoyar el mercado de costos ERC-4337.En este nuevo concepto, la parte de verificación de transacciones del ERC-4337 debe incluirse en el acuerdo.Afortunadamente, el equipo ERC-4337 se ha vuelto cada vez más entusiasta sobre esta dirección.
Resumir:> «>El pensamiento de MEV ha vuelto a la dirección del productor de bloques autorizado, incluido el otorgamiento de productores de bloques para garantizar que se hayan incluido las transacciones de los usuarios.La propuesta de abstracción de la cuenta ha regresado a la dirección de eliminar la dependencia de parientes centralizados e incluso paquetes.Sin embargo, hay un buen argumento de que no estamos lejos.
Líquido
Hoy, la proporción de promesas separadas en todas las promesas de Ethereum es relativamente pequeña, y la mayoría de los proveedores completan la mayoría de los proveedores, algunos operadores centrales y otros DAO, como Lido y Rocketpool.
我做了自己的研究 —— 各种民意调查 、调查、面对面对话 ， 提出问题 “为什么你 为什么你 —— 特别是你 —— 今天不单独下注？” 对我来说 到目前为止 到目前为止 到目前为止 到目前为止> «>Un ecosistema de compromiso separado sólido es la primera opción para mi Ethereum prometido, y una de las mejores cosas en Ethereum es que realmente tratamos de apoyar un ecosistema prometido fuerte, en lugar de simplemente sucumbir a la comisión.Sin embargo, todavía estamos lejos de este resultado.En mi encuesta e investigación de opinión pública, hay algunas tendencias consistentes:
> «>La mayoría de las personas que no son comprometidas solo atribuyen sus principales razones al mínimo 32 ETH.
Entre los que proponen otras razones, el más grande son los desafíos técnicos de ejecutar y mantener el nodo del dispositivo de verificación.
La pérdida de disponibilidad instantánea de ETH, el riesgo de seguridad de la clave privada «caliente» y la pérdida de la capacidad de participar en el protocolo Defi son problemas importantes pero más pequeños.
Las encuestas de Farcaster muestran que las personas no llevan a cabo las principales razones para la compromiso separado.
> «>La investigación de compromiso debe resolver dos temas clave:
> «>¿Cómo resolvemos estas preocupaciones?
> «>Aunque existen soluciones efectivas para la mayoría de los problemas, si la mayoría de las personas aún no quieren ser individualmente, entonces, ¿cómo podemos mantener la estabilidad y la robustez del acuerdo para resistir el ataque?
Muchos proyectos de investigación y desarrollo están diseñados para resolver estos problemas:
El árbol Verkle Plus EIP-4444 permite que el nodo de compromiso se ejecute en un disco duro muy bajo.Además, permiten que el nodo de compromiso se simplifique casi de inmediato, lo que simplifica enormemente el proceso de configuración y las operaciones de una realización a otra.También reducen el ancho de banda de datos requerido para cada acceso de estado para hacer que los clientes de Ethereum Light sean más factibles.
Los estudios (por ejemplo, estas propuestas) permiten un conjunto de autenticación más grande (el valor de compromiso más pequeño), al tiempo que reducen el método de sobrecarga de nodo de consenso.Estas ideas se pueden implementar como parte de la parte definitiva del ritmo único.Esto también hará que el cliente ligero sea más seguro porque podrán verificar un conjunto completo de firmas en lugar de confiar en el comité sincrónico).
A pesar del creciente historial, el costo y la dificultad de la optimización del cliente de Ethereum reduce continuamente el costo y la dificultad de ejecutar nodos de dispositivos de verificación.
Los estudios sobre el límite superior del castigo pueden reducir las preocupaciones sobre los riesgos clave privados y permitir que las promesas comprometan su ETH al protocolo Defi al mismo tiempo (si están dispuestos).
0x01 El comprobante de retiro permite que los comprometidos establezcan la dirección ETH en la dirección de retiro.Esto hace que el grupo de compromiso descentralizado sea más factible, lo que lo hace más ventajoso que las piscinas de compromiso centralizadas.
Sin embargo, todavía podemos hacer más.Teóricamente permite que la verificación se retire más rápido: incluso si el autenticador se establece en cada determinación final (es decir, una vez cada vez), se producirán varios puntos porcentuales, y Casper FFG todavía es seguro.Por lo tanto, si trabajamos duro, podemos acortar enormemente el ciclo.Si queremos reducir en gran medida la escala de depósito más pequeña, podemos tomar decisiones difíciles y sopesarlas en otras direcciones.Por ejemplo, si aumentaremos el tiempo final en 4 veces, la escala de depósito más pequeña disminuirá 4 veces.La naturaleza final del ritmo único se resolverá superando por completo el modelo «cada pledker para participar en cada época».
Otra parte importante de todo el problema es la economía de la promesa.Una pregunta clave es: ¿queremos ser un evento relativamente nicho, o queremos que todos o casi todos se comprometan a su ETH?Si todos son prometidos, ¿qué responsabilidades queremos que todos soporten?Si las personas finalmente asignan sus responsabilidades debido a la pereza, eventualmente pueden conducir a la centralización.Aquí hay problemas filosóficos importantes y profundos.La respuesta incorrecta puede hacer que Ethereum tome una carretera centralizada, y «volver a crear el sistema financiero tradicional a través de pasos adicionales»; Piscina de compromiso.Estos problemas involucran la economía y los valores principales de Ethereum, por lo que necesitamos una participación más diversa.
Requisitos de hardware de nodo
> «>Muchos de los temas clave de Ethereum descentralizado finalmente se atribuyen a un problema que define la cadena de bloques durante diez años: ¿cómo queremos ejecutar fácilmente nodos y cómo lograrlo?
Hoy, es difícil ejecutar nodos.La mayoría de la gente no hace esto.En la computadora portátil que usé para escribir este artículo, tengo un nodo Reth que ocupa 2.1 TB, ya es el resultado de la ingeniería y optimización heroica de software.Necesito comprar un disco duro adicional de 4 TB y ponerlo en mi computadora portátil para almacenar el nodo.Todos queremos ejecutar nodos más fáciles.En mi mundo ideal, la gente podrá ejecutar nodos en teléfonos móviles.
Como escribí anteriormente, el árbol EIP-4444 y Verkle son dos tecnologías clave que nos acercan a este ideal.Si ambos se realizan, la demanda de hardware de los nodos puede eventualmente reducirse a menos de cien bytes auspiciosos.El tipo 1 ZK-EVM eliminará sus propias necesidades para ejecutar EVM, porque simplemente puede verificar la evidencia de la ejecución correcta.En mi mundo ideal, apilamos todas estas tecnologías juntas, e incluso la billetera extendida de Ethereum (como Metamask, Rabby) también tiene un nodo construido para verificar estas pruebas, realizar muestras de usabilidad de datos y garantizar que la cadena sea correcta .
La visión anterior generalmente se llama «el borde».
Esto es bien conocido y entendido, incluso aquellos que están preocupados por el tamaño de los nodos de Ethereum.Sin embargo, existe una preocupación importante: si hemos descargado el estado de mantenimiento y la responsabilidad de proporcionar pruebas, ¿no es un vector centralizado?Incluso si no pueden engañar los datos proporcionando datos no válidos, ¿no confían demasiado para que violen el principio de Ethereum?
Esta versión reciente de las preocupaciones es la incomodidad de muchas personas para EIP-4444: si el nodo Ethereum convencional ya no necesita almacenar registros históricos antiguos, ¿quién necesita?Una respuesta común es: debe haber suficientes participantes (como navegadores de bloques, intercambios, capas 2) con motivación para contener estos datos y compararse con 100 Pb almacenados por Wayback Machine, Ethereum Chain es muy pequeña.Por lo tanto, es ridículo pensar que se perderá cualquier historia.
Sin embargo, este argumento depende de un pequeño número de grandes participantes.En mi clasificación de modelo de confianza, esta es una hipótesis en N, pero N es muy pequeña.Esto tiene su riesgo de cola.Una cosa que podemos hacer es almacenar los viejos registros históricos en la red de pares, y cada nodo solo almacena una pequeña parte de los datos.Este tipo de red aún se replicará lo suficiente como para garantizar la estabilidad: cada datos tendrá miles de copias, y en el futuro podemos usar el código Cornerstone (de hecho, el registro histórico se pone en la mancha del estilo EIP-4844, y esto se ha construido en códigos tácticos) para mejorar aún más la estabilidad.
BLOB tiene un código de corrección entre Blob y Blob.Es probable que la forma más fácil de proporcionar a todo el historial de Ethereum almacenamiento excesivo de almacenamiento coloque el faro y el bloque de ejecución en el blob.Fuente de la imagen: Codex.Storage
Durante mucho tiempo, este trabajo ha estado en una posición secundaria.La red de portal existe, pero de hecho no llama la atención sobre la importancia de su importancia futura en Ethereum.Afortunadamente,> «>Ahora las personas tienen un gran interés en el impulso de invertir más recursos en el portal minimizado del almacenamiento distribuido y el acceso histórico.Deberíamos trabajar juntos para implementar el EIP-4444 lo antes posible, y coincidir con la poderosa red de punto a punto descentralizada para almacenar y recuperar los viejos registros históricos.
Para el estado y ZK-EVM, este método distribuido es más difícil.Para construir un bloque eficiente, solo necesita tener un estado completo.En este caso, tiendo personalmente a adoptar un método pragmático: definimos e insistimos en tener un cierto grado de hardware requerido para que «nodo haga todo», que es más alto que el de los nodos de verificación simples (idealmente, constantemente constantemente constantemente constantemente constantemente constantemente constantemente constantemente La cadena de costos se reduce, pero sigue siendo lo suficientemente baja, y los entusiastas pueden permitirse.Confiamos en 1 suposición en n para garantizar que N sea bastante grande.
> «>ZK-EVM demuestra que puede ser la parte más difícil, El comprobante de ZK-EVM en tiempo real puede necesitar ser más potente que los nodos de archivo, incluso con un progreso como Binius y el peor límite de límite entre el gas multidimensional.Podemos trabajar duro en la prueba distribuida de la red, cada una de las cuales es responsable de la prueba, como el uno por ciento de la ejecución del bloque, y luego el productor de bloques solo necesita agregar cien certificados al final.Demuestre que el árbol de agregación puede proporcionar más ayuda.Pero si esto no puede funcionar bien, otro compromiso es que los requisitos de hardware que se permiten ser probados se han vuelto más altos, pero para garantizar que el «nodo haga todo» pueda verificar directamente el bloque Ethereum (sin certificado), la velocidad es lo suficientemente rápida y efectiva ser lo suficientemente efectivo.
Resumir
En mi opinión, mientras haya un mecanismo de mercado o un sistema de prueba de conocimiento cero para obligar a los participantes centralizados a hacer honestidad, Ethereum pensó en la era de 2021 está acostumbrado a transferir responsabilidades a grandes participantes minoritarios.Tales sistemas generalmente funcionan bien en circunstancias normales, pero las fallas catastróficas ocurren en el peor de los casos.
Al mismo tiempo, creo que es necesario enfatizar que la propuesta actual del protocolo Ethereum se ha desviado enormemente de este modelo y se toma más en serio las necesidades de redes verdaderamente descentralizadas.Las ideas de no nodos estatales, alivio MEV, una endalidad de corte de un momento y conceptos similares han ido más allá en esta dirección.Hace un año, las personas consideraron seriamente la idea del muestreo de disponibilidad de datos a través del relé como un nodo de medio center.Este año, ya no necesitamos hacer estas cosas, Peerdas ha hecho un progreso sorprendente.
Sin embargo, en los tres temas centrales que mencioné anteriormente y muchos otros temas importantes, podemos hacer muchas cosas para ir más allá en esta dirección.Helios ha hecho un gran progreso en el proporcionar «clientes de luz real» para Ethereum.Ahora, debemos incluirlo en la billetera Ethereum de forma predeterminada, y permitir que el proveedor de RPC proporcione pruebas y sus resultados para verificarla y extender la tecnología de cliente ligero al acuerdo del segundo piso.Si Ethereum expande la hoja de ruta centrada en el encierro, la segunda capa necesita obtener la misma seguridad y garantía descentralizada que la primera capa.En el mundo centrado en el rollo, hay muchas otras cosas que deberíamos tomar más en serio;Muchos DAPPS obtienen registros a través de protocolos centralizados, porque el escaneo de registro de Ethereum se vuelve demasiado lento.Podemos mejorar esto a través de un subinterior descentralizado descentralizado;
> «>Hay proyectos de blockchain casi ilimitados con el objetivo de «Podemos ser súper rápido, consideraremos la descentralización más adelante».Creo que Ethereum no debería unirse a estos rangos.Ethereum L1 puede y, por supuesto, ser una potente capa básica del proyecto del segundo piso que utiliza un método a gran escala, utilizando Ethereum como un pilar de descentralización y seguridad.Incluso el método centrado en la segunda capa requiere que la primera capa en sí tenga suficiente escalabilidad para manejar una gran cantidad de operaciones.pero> «>Deberíamos respetar profundamente las características únicas de Ethereum y seguir trabajando duro para mantener y mejorar estas características con la expansión de Ethereum.
