Un actor deshonesto no tiene miedo de ser inspeccionado. Lo que más teme no es la inspección en sí, sino no saber dónde ocurrirá.
Esa fue la primera idea que se me vino a la mente cuando encontré los números 307–301–6 en el mecanismo BABE detrás de los Trustless Bitcoin Vaults (TBV) de @BabylonLabs_io. Entendí los números. Lo que no entendí fue por qué un protocolo crearía intencionalmente tanto trabajo extra.
Durante el peg-in, BABE genera 307 instancias de circuitos garbled. Mediante un protocolo de cut-and-choose, se abren 301 instancias para verificar cómo se crearon los circuitos, mientras que solo las 6 restantes se utilizan realmente.
Al principio, eso parecía terriblemente ineficiente. Casi el 98% de los circuitos nunca contribuyen al cómputo final. Si solo hacen falta seis, ¿por qué no generarlos seis desde el principio? Porque eso solo funciona si el generador del circuito ya sabe cuáles seis sobrevivirán. BABE elimina precisamente esa ventaja.
Las 307 instancias deben crearse antes de que el protocolo seleccione aleatoriamente 301 para inspección. El verificador no solo está comprobando el resultado final, sino la integridad del propio proceso de generación. Como nadie sabe de antemano qué circuitos serán impugnados, preparar versiones separadas “honestas” y “deshonestas” resulta poco práctico.
Fue entonces cuando los circuitos de las 301 abiertas dejaron de parecer trabajo desperdiciado. Son el costo de hacer la verificación impredecible.
Para mí, esa es la verdadera elección de diseño detrás de BABE. El protocolo no depende de que los participantes sean honestos. Convierte la honestidad en la estrategia más segura porque nadie puede predecir qué se inspeccionará.
Por lo tanto, los números 307–301–6 son más que simples detalles de implementación. Reflejan un intercambio arquitectónico deliberado dentro de TBV: dedicar más cómputo durante la verificación para reducir los supuestos de confianza antes de que Bitcoin asegure una aplicación.
@BabylonLabs_io $ON $BABY #baby
Esa fue la primera idea que se me vino a la mente cuando encontré los números 307–301–6 en el mecanismo BABE detrás de los Trustless Bitcoin Vaults (TBV) de @BabylonLabs_io. Entendí los números. Lo que no entendí fue por qué un protocolo crearía intencionalmente tanto trabajo extra.
Durante el peg-in, BABE genera 307 instancias de circuitos garbled. Mediante un protocolo de cut-and-choose, se abren 301 instancias para verificar cómo se crearon los circuitos, mientras que solo las 6 restantes se utilizan realmente.
Al principio, eso parecía terriblemente ineficiente. Casi el 98% de los circuitos nunca contribuyen al cómputo final. Si solo hacen falta seis, ¿por qué no generarlos seis desde el principio? Porque eso solo funciona si el generador del circuito ya sabe cuáles seis sobrevivirán. BABE elimina precisamente esa ventaja.
Las 307 instancias deben crearse antes de que el protocolo seleccione aleatoriamente 301 para inspección. El verificador no solo está comprobando el resultado final, sino la integridad del propio proceso de generación. Como nadie sabe de antemano qué circuitos serán impugnados, preparar versiones separadas “honestas” y “deshonestas” resulta poco práctico.
Fue entonces cuando los circuitos de las 301 abiertas dejaron de parecer trabajo desperdiciado. Son el costo de hacer la verificación impredecible.
Para mí, esa es la verdadera elección de diseño detrás de BABE. El protocolo no depende de que los participantes sean honestos. Convierte la honestidad en la estrategia más segura porque nadie puede predecir qué se inspeccionará.
Por lo tanto, los números 307–301–6 son más que simples detalles de implementación. Reflejan un intercambio arquitectónico deliberado dentro de TBV: dedicar más cómputo durante la verificación para reducir los supuestos de confianza antes de que Bitcoin asegure una aplicación.
@BabylonLabs_io $ON $BABY #baby