Para todos / Cómo funciona
El modelo de confianza
Una descripción del mecanismo sin el modelo de confianza es marketing. Esta página enuncia en qué confía un usuario de Pickle, y nombra las tres propiedades que la cadena necesitaría antes de poder llamarse algo más.
En qué confía un usuario
Un ordenador, operado por un equipo, decide qué ocurre en la cadena y en qué orden. Si es honesto y está encendido, todo funciona. Si se comportara mal podría poner sus propias acciones primero, dejar fuera las suyas o detenerse por completo, y nada en la red se lo impediría. Lo que no puede hacer es mentir sobre el pasado sin ser descubierto: una copia de cada bloque va a Ethereum, y cualquiera puede repetirla y ver la diferencia. Ser descubierto no es lo mismo que ser impedido, y nada actúa sobre ello automáticamente.
Un usuario confía en la honestidad del operador, más el hecho de que los datos necesarios para comprobarla son públicos. Un secuenciador ordena cada transacción y puede reordenar o censurar. No hay ruta de inclusión forzada desde Ethereum. No hay pruebas de fraude ni de validez; la corrección se comprueba por reejecución, y cualquier réplica que encuentre una divergencia entre los datos publicados y el hash de bloque comprometido se detiene, pero nada en cadena arbitra la divergencia. Lo que da sentido a eso son los datos: todo lo necesario para reconstruir la cadena está en Ethereum o comprometido desde Ethereum.
Un único secuenciador tiene el orden y la vivacidad; su clave se guarda en un registro en cadena y puede rotarse, con efecto en el siguiente bloque. No hay cola de inclusión forzada en la L1. La corrección es reejecución: las réplicas derivan a partir de los eventos del buzón de entrada y las cargas, y una discrepancia de hash es terminal para la réplica y no se arbitra en cadena. Un minibloque firmado que un bloque posterior contradijera sería una prueba, y el diseño registra esa prueba; todavía no actúa sobre ella. Las claves de batcher y de mensajero son distintas, verificado en el arranque, y el mensajero no puede falsificar ni repetir porque los identificadores de mensaje se derivan del evento de origen y se registran una vez finalizados.
Orden, vivacidad, corrección, datos, bridge
| Propiedad | Quién o qué |
|---|---|
| Orden | un secuenciadorpuede reordenar y puede censurar. No hay ruta de inclusión forzada desde Ethereum |
| Vivacidad | la del secuenciadorsi se detiene, los minibloques se detienen y la cadena se para para nueva ejecución; las réplicas siguen sirviendo el historial derivado |
| Corrección | comprobada por reejecuciónsin pruebas de fraude ni de validez. Una réplica detecta una divergencia y se detiene; nada en cadena la arbitra |
| Datos | en Ethereum, o comprometidos desde ellatodo lo necesario para reconstruir la cadena es público |
| Bridge | una clave de mensajero de confianzano puede falsificar ni repetir un mensaje, pero puede retrasar |
- Orden. Un secuenciador ordena cada transacción. Puede reordenar y puede censurar. No hay ruta de inclusión forzada por la que una transacción rechazada por el secuenciador pueda incluirse desde Ethereum.
- Vivacidad. Si el secuenciador se detiene, los minibloques se detienen y la cadena se para para nueva ejecución. Las réplicas siguen sirviendo el historial derivado. La clave del secuenciador se guarda en un registro en cadena y puede rotarse, con efecto en el siguiente bloque.
- Corrección. No hay pruebas de fraude ni de validez. La corrección se comprueba por reejecución: cualquier réplica puede detectar una divergencia entre los datos publicados y el hash de bloque comprometido, y se detiene cuando lo hace. Nada en cadena arbitra tal divergencia. Un minibloque firmado que un bloque posterior contradijera sería una prueba, y el diseño registra esa prueba; todavía no actúa sobre ella.
- Datos. Todo lo necesario para reconstruir la cadena está en Ethereum o comprometido desde Ethereum. Esta es la propiedad que da sentido al punto anterior.
- Bridge. El mensajero del bridge es una clave de confianza. No puede falsificar ni repetir un mensaje, porque los identificadores se derivan del evento de origen y se registran una vez finalizados, pero puede retrasar. Las claves de batcher y de mensajero son distintas, verificado en el arranque.
Las claves
- La clave del secuenciador firma los minibloques y es la identidad del operador. Vive en un registro en cadena y rota con un bloque de aviso.
- La clave de batcher es la única dirección desde la que el buzón de entrada de Ethereum acepta anexos. Un batcher comprometido podría dejar de publicar, lo que paraliza la liquidación, pero no puede falsificar una carga que una réplica aceptaría: el hash no coincidiría.
- La clave de mensajero finaliza las transferencias del bridge en ambas direcciones. Puede retrasar; no puede inventar un mensaje que los contratos nunca emitieron ni repetir uno ya procesado.
Lo que exigiría la descentralización
Pickle no usa la palabra descentralizada para describirse
Las propiedades concretas que tendrían que cumplirse antes de que pudiera hacerlo son estas: redundancia y rotación del secuenciador, para que la vivacidad de ningún operador único sea la vivacidad de la cadena; una ruta de inclusión forzada desde Ethereum, para que ningún operador único pueda censurar; y una ruta de desafío o de prueba, para que una divergencia que una réplica detecte se arbitre en lugar de meramente informarse.
Hasta que las tres se cumplan, un usuario confía en la honestidad del operador más los datos públicos necesarios para comprobarla. La página de gobernanza enumera las resistencias a ataques que el diseño sí tiene, y su límite.