Golden Observation｜Una explicación detallada de cómo funciona Arbitrum Rollup

Recientemente, Arbitrum, el plan de expansión de capa 2 de Ethereum, ha logrado tres avances importantes: Arbitrum abrió su red principal a los desarrolladores el 28 de mayo, se aprobó la propuesta para implementar Uniswap V3 en Arbitrum y Etherscan anunció que está creando un administrador de recursos para Arbitro. Sin embargo, es posible que muchas personas no entiendan el mecanismo de trabajo específico de Arbitrum Rollup. La explicación detallada de este artículo proviene principalmente del artículo de interpretación del cofundador de Offchain Lab, Ed Felten. Ed Felten, cofundador y científico jefe de Offchain Lab, una vez describió Arbitrum Rollup de esta manera: Arbitrum Rollup es un acuerdo fuera de la cadena administrado por contratos en la cadena Ethereum. Para que las aplicaciones se ejecuten en Arbitrum Rollup, los desarrolladores de dApp deben escribir un conjunto de contratos en Solidity y luego compilar estos contratos en un código ejecutable que pueda ejecutarse en la máquina virtual de Arbitrum. Conceptos básicos de resumen: utilizamos un Merkle Tree para organizar el estado de la máquina virtual, de modo que se pueda calcular el valor hash criptográfico del estado de la máquina virtual. Almacenamos este valor hash en la cadena, por lo que en cualquier momento del protocolo, habrá algún estado de la máquina virtual (a través del consenso en la cadena) que esté completamente confirmado y finalizado. Estos hashes de estado finalizados se almacenan en la cadena. Los participantes en el protocolo avanzan el estado de la máquina virtual al proponer una aserción de disputa (Aserción Disputable); la aserción declara que, a partir de ciertos hashes de estado, basados ​​en algunos requisitos técnicos previos, la máquina virtual realizará un número específico de pasos de cálculo, Genere un nuevo hash de estado, complete pagos relacionados durante la ejecución y genere eventos de registro relacionados. Una afirmación en disputa puede ser válida (es decir, creíble) o no válida. Los participantes deben prometer un depósito para garantizar la validez de la afirmación al realizar una afirmación de disputa. Como se muestra en el diagrama anterior, plantear una afirmación de disputa crea un punto de decisión lógico que el protocolo debe resolver en última instancia. Si la afirmación de la disputa es válida, el sistema ingresará el nuevo estado en la esquina superior derecha de la figura, incluido el valor hash del nuevo estado generado por la afirmación de la disputa y otros efectos secundarios (generando los pagos y registros correspondientes). Si la afirmación de disputa no es válida, ingrese la rama en la esquina inferior derecha, el sistema rechaza la afirmación de disputa y el estado original no cambiará. El protocolo Arbitrum original solo maneja una afirmación de disputa a la vez. Cuando algunos participantes plantean una aseveración de disputa, habrá un período de impugnación, durante el cual cualquiera puede impugnar la aseveración de disputa. Si no se cuestiona, la aseveración en disputa será aceptada por el sistema; de lo contrario, se implementará el protocolo de resolución de disputas y se revocará la aseveración en disputa (esto es para evitar que el proponente y el desafiador se confabulen para inventar el resultado en disputa). Informe de mercado de contrato de entrega 58COIN 24H a las 9:00: A las 9:00, según el mercado de contrato de entrega 58COIN: El contrato BTC se cotiza actualmente en US$17.661,66, un descuento de US$29,43 al precio spot, con un aumento de 24h o descenso del 5,39%. El volumen de negociación fue de 57,4317 millones de lotes, la facturación fue de 2000,4219 millones de dólares estadounidenses y la posición actual total fue de 1,8462 millones de lotes, un cambio de 146,800 lotes con respecto al día de negociación anterior. El contrato EOS se cotiza actualmente en US $ 2,71, un descuento de US $ 0,0050 en comparación con el precio al contado, con un aumento o disminución de 24 horas de 3,44%. El volumen de negociación fue de 2,4969 millones de lotes, la facturación fue de 13,3853 millones de dólares estadounidenses y la posición actual total fue de 3,4757 millones de lotes, un cambio de -91,300 lotes con respecto al día de negociación anterior. El contrato ETH se cotiza actualmente en US$ 485,84, un descuento de US$ 0,81 en comparación con el precio spot, con un aumento o disminución en 24 horas del 4,11%. El volumen de negociación fue de 4,8815 millones de lotes, la facturación fue de 115,4576 millones de dólares estadounidenses y la posición actual total fue de 1,4947 millones de lotes, un cambio de 138,600 lotes con respecto al día de negociación anterior. [2020/11/18 21:08:57] Esto es simple de hacer, pero tiene dos inconvenientes. Primero, debido a que solo se procesa una afirmación de disputa a la vez, la velocidad de procesamiento de la máquina virtual es muy limitada. Durante cada período de desafío, el flujo de procesamiento normal esencialmente se detiene. En segundo lugar, un actor malicioso puede congelar por completo una máquina virtual desafiando deliberadamente todas las afirmaciones en disputa. El atacante debe pagar un depósito como precio, pero siempre que lo desee, puede retrasar el sistema durante mucho tiempo (y obtener ganancias) a través de este ataque, al menos en algunos escenarios específicos. El nuevo protocolo Arbitrum Rollup aborda las dos deficiencias antes mencionadas. A través de la "canalización" para procesar múltiples afirmaciones de disputas, la velocidad de procesamiento de la máquina virtual es tan rápida como la velocidad informática de la máquina virtual simulada por el nodo de verificación. En segundo lugar, como explicaremos más adelante, los actores maliciosos no pueden detener el sistema, solo pueden retrasar temporalmente la confirmación en cadena de los resultados finales que ya se han "finalizado sin confianza" para los nodos honestos. ¿Entonces, cómo lo haces? Cada estado puede ir seguido de, como máximo, una afirmación de disputa. Si no hay aserción de disputa detrás de un estado, cualquiera puede generar una aserción de disputa después de él, como un nuevo punto de bifurcación. El resultado es un árbol de "futuros posibles". Otra parte importante del protocolo del árbol del "futuro posible" es el replanteo. Cualquiera puede apostar detrás de una cierta caja (estado) en el árbol. Replantear una casilla significa que está afirmando que la casilla finalmente será confirmada por el protocolo. En otras palabras, está afirmando que la rama desde el estado actual hasta la casilla en la que apostó es la rama correcta. Si se equivoca, es posible que pierda su depósito. La potencia informática efectiva actual de Filecoin de toda la red es 610.91PiB: según IPFS100.com, los datos del navegador Filfox muestran que la altura de bloque actual de la red Filecoin es 165253, la potencia informática efectiva de toda la red es 610.91PiB y el total la cantidad prometida es de aproximadamente 12,9026 millones de FIL, el número de mineros activos es de 564, la recompensa por bloque es de 11,0847FIL, la producción en las últimas 24 horas es de 154648FIL y el ingreso minero promedio en 24 horas es de 0,2493FIL/TiB; el actual Las tres principales potencias informáticas efectivas son: t02770 (Space-Time Cloud & Smart) ocupa temporalmente el primer lugar con 41,35 PiB, t01248 (Zhihe Yunzh) ocupa el segundo lugar con 38,04 PiB y t01782 (hellofil.com) ocupa el tercer lugar con 26,53 PiB. [2020/10/21] El compromiso no se puede revocar. Puede mover su participación hacia la derecha (puede optar por ramificarse hacia arriba o hacia abajo después del punto de bifurcación), pero no puede mover su participación hacia la izquierda, porque esto equivale a revocar su compromiso de compromiso anterior. Los participantes que hacen afirmaciones en disputa deben apostar en la casilla sucesora que "reconoce su afirmación como válida". Por lo general, pueden mover la apuesta existente hacia la derecha para cumplir con las condiciones de la caja. (En casos raros (Nota del traductor: como si su afirmación no es válida y se impugnó con éxito) no pueden hacer esto, además pueden volver a apostar en la casilla deseada. Tenga en cuenta, sin embargo, que se desplazarán, por lo que terminarán perdiendo al menos uno de sus depósitos - por lo general, la paradoja no es un movimiento inteligente). Un detalle más sobre el staking: si se confirma que la casilla que apostó es parte del historial aceptado, puede optar por recuperar su depósito. Esto significa que, si tiene razón, puede dejar de mover su apuesta hasta que el sistema lo "alcance", y luego puede recuperar su apuesta. En este punto, puede que le preocupe que el árbol de "futuros posibles" se vuelva muy grande y demasiado grande. Esto no puede suceder en la realidad porque requeriría que múltiples partes apuesten por resultados inconsistentes. Mientras uno de ellos sea honesto, todos los demás pierden su depósito. Lo más probable es que el árbol sea en realidad una cadena de DA válidos unidos, uno tras otro, todos apostados en la misma rama. Necesitamos que el sistema llegue a una decisión sobre cada afirmación en disputa en el menor tiempo posible. Entonces, cuando se agrega una afirmación en disputa a la cadena, creando un punto de bifurcación, habrá una fecha límite asociada. Este período es lo suficientemente largo para que cualquier persona, si lo desea, tenga tiempo suficiente para verificar si la afirmación en disputa es válida y generar una transacción de compromiso en la cadena. Cualquiera que quiera apostar debe hacerlo antes de que expire el plazo (las apuestas vencidas aún pueden estar en la cadena, pero no pueden determinar la validez de esa afirmación en disputa). Una vez vencido, se conocerán todas las apuestas que puedan determinar las aseveraciones en disputa. Si Alice y Bob apuestan cajas diferentes, entonces uno de los dos eventos siguientes debe ser cierto. Cualquiera de las apuestas puede moverse directamente hacia la otra, lo que significa que sus afirmaciones concuerdan, o no se puede encontrar ese camino. Si no hay un camino hacia la derecha que conecte las cajas de Alice y Bob, entonces deben haber divergido. Debe haber un único punto de bifurcación entre ellos: una única afirmación disputada de que alguien apuesta por su validez y otro apuesta por su invalidez. Cuando surge una disputa entre dos participantes, el sistema puede iniciar un protocolo interactivo de resolución de disputas. No tengo suficiente espacio para describir este protocolo de resolución de disputas aquí; baste decir que es un protocolo de interacción dicotómica similar a lo que hemos descrito en otros documentos de Arbitrum. El resultado del protocolo de resolución de disputas es que se encontrará que un participante está equivocado. El depósito de este participante se perderá. La estaca se quitará de la caja en la que estaba. Parte del depósito se entrega a la otra parte en la disputa y el resto se quema. Se pueden resolver múltiples disputas simultáneamente, pero cada staker solo puede participar en una disputa a la vez como máximo. Debido a que se eliminan las apuestas de los perdedores, cada resolución de una disputa reduce la cantidad de desacuerdos en todo el sistema. Los participantes que pierden su depósito pueden continuar apostando, pero las nuevas apuestas no pueden afectar las afirmaciones en disputa de que el período de apuesta ha expirado. El efecto de esto es que después de que finaliza la ventana de replanteo de una afirmación en disputa, se resuelve cualquier desacuerdo sobre cómo se debe manejar esa afirmación. Después de que vence el período de compromiso de una afirmación en disputa, si todos los compromisos comprometidos a tiempo (y aún no eliminados) existen en la misma rama que se originó a partir de la afirmación, entonces el sistema puede estar seguro de que el resultado de la afirmación es verdadero. La aserción de disputa se acepta o se rechaza, y el estado actual se mueve al cuadro correcto a la derecha de la aserción de disputa. Si se confirma la validez de la declaración de disputa, sus efectos secundarios, como el pago, también surtirán efecto en la cadena. Así avanza el estado de la máquina virtual. En circunstancias normales, los participantes serán honestos y obedientes, y nadie quiere perder su depósito debido a una promesa incorrecta. Solo las afirmaciones disputadas válidas serán afirmadas por (otros participantes), formando una cadena, y nadie apostará en ninguna rama inválida de las afirmaciones disputadas. En este caso, todas las afirmaciones en disputa se confirman inmediatamente después de que haya transcurrido el período de apuesta. Una propiedad importante de Arbitrum Rollup es que no es confiable: siempre que haya un participante honesto, puede garantizar que el estado de la máquina virtual avance correctamente. Vamos, imagina que Alicia siempre apuesta por la rama correcta, y si no hay afirmaciones en disputa, se afirma a sí misma. Como Alice siempre apuesta en la rama correcta, gana todas las disputas. Si alguien no está de acuerdo con Alice, (a) entra en una disputa con un tercero no relacionado y pierde su depósito, o (b) termina en una disputa con Alice y pierde el depósito de Alice. En cualquier caso, todos los que no estén de acuerdo con Alice perderán su depósito. Solo sobrevivirá aceptar la promesa de Alice, por lo que el camino de Alice en el árbol eventualmente será la única rama con una promesa oportuna, y el camino de Alice se confirmará. Debido a que el sistema no confía en este sentido, si Alicia promete una casilla determinada, debe saber que la ruta a esta casilla es creíble, y Alicia puede estar segura de que finalmente se confirmará esta casilla. Para Alice, este camino es como si se hubiera finalizado. Incluso si no sigue un camino determinado, si ve que varias personas lo hacen, siempre que crea que al menos uno de ellos es honesto, puede estar seguro de que este camino finalmente se confirmará. camino es como si hubiera sido finalizado. ¿Por qué es valiosa la finalidad sin confianza? El ejemplo clásico proviene de la discusión anterior de otros protocolos de resumen. Supongamos que una máquina virtual quiere pagarle a Alice. El evento de pago ocurre en el camino honesto, pero el cuadro que contiene el pago aún debe esperar un tiempo para ser confirmado en la cadena. La finalidad sin confianza le permite a Alice obtener el dinero de inmediato. Si a Bob le queda dinero, puede pagarle inmediatamente a Alice a cambio del recibo indeterminado de Alice (más una pequeña propina para Bob). Bob solo querrá comerciar con Alice si puede estar seguro de que el pago de Alice definitivamente se realizará. Bob puede garantizar esto apostando el resultado honesto, por lo que tiene una confianza absoluta en que el pago finalmente se realizará. No es solo Bob quien puede hacer esto. Cualquier persona con un poco de dinero puede usar este método para prestarle dinero a Alice o a alguien que tenga sus necesidades. Estas personas compiten entre sí ofreciendo tarifas más bajas, lo que reduce en gran medida el costo de que Alice obtenga el dinero de inmediato. Crucialmente, la viabilidad de tal mecanismo de mercado depende de una finalidad sin confianza. Si "todos" supieran que el evento finalmente se confirmaría, la demora en la confirmación en cadena no sería un inconveniente tan grande. No solo para el pago, sino también para otras cosas que pueden hacer las máquinas virtuales. Si la máquina virtual generara un evento de registro para registrar lo que sucedió, la finalidad sin confianza significa que cualquiera puede tomar medidas con certeza, porque el evento de registro finalmente se reconocerá en la cadena. Debido a que el sistema no tiene confianza, los malos actores no pueden forzar resultados erróneos. Todo lo que pueden hacer es ralentizar el sistema. Hacerlo requiere que paguen un depósito, que puede ser costoso si el depósito es grande. Imagínese si alguien prefiere pagar un depósito para lanzar un ataque de demora, ¿qué es lo peor que puede hacer? Lo primero que hay que tener en cuenta es que los malos no pueden impedir que los buenos sigan construyendo la rama honesta. Y no pueden evitar que los buenos ganen la confianza de que "las ramas honestas eventualmente serán confirmadas". Todo lo que puede hacer un atacante es apostar en la rama equivocada para retrasar la confirmación en cadena del camino honesto. Cada vez que se comprometan, habrá una disputa con los participantes honestos, y los participantes honestos obtendrán una gran parte del depósito del atacante de la disputa. Cuando se haya quitado todo el depósito del atacante, la confirmación en la cadena continuará avanzando.

Tags：

ETH