el octavo día de investigación, y hoy terminé el pensamiento de ayer. las páginas de investigación establecen tres garantías, pero en la literatura de seguridad una garantía solo es nunca la segunda mitad de una oración. la primera mitad es "asumiendo x." hoy reuní las x.
suposición uno, las cadenas mismas. cada garantía hereda la seguridad propia de bitcoins y ethereums. si bitcoin sufre reorgs profundos, los scripts de staking y sus time-locks se tambalean con ello. si ethereum se detiene, las pruebas de redención tbv no tienen nada que demostrar en su contra. es la suposición más fuerte disponible en esta industria.
suposición dos, honestidad por umbral en el comité del pacto. la ejecución de slashing requiere consenso mayoritario, lo que significa que el teorema de seguridad slashingable solo se mantiene mientras una mayoría permanezca activa y honesta. los artículos lo tratan como el elemento humano residual que el protocolo busca minimizar.
suposición tres, vigilancia. el procedimiento de desafío babe asume que alguien honesto está despierto durante la ventana del desafío. la seguridad se mantiene si al menos un observador honesto detecta a tiempo una afirmación fraudulenta. la criptografía no necesita que todos sean honestos; necesita a alguien atento.
suposición cuatro, racionalidad económica. eots hace que la equívocación revele tu clave. un actor irracional dispuesto a quemar su propio stake para dañar un bsn solo queda disuadido por el tamaño de su pérdida. el slashing es un precio, y los precios solo gobiernan a las personas que hacen aritmética.
ahora la síntesis. ordenadas por fragilidad, mi lectura es: la vigilancia es la más débil, la honestidad del comité en segundo lugar, la racionalidad económica en tercero, y la seguridad de la cadena es lo más difícil. las multi-sigs, las caps que haroon excavó, y los despliegues por fases se agrupan alrededor de las dos suposiciones más suaves. el andamiaje está construido exactamente donde los teoremas son más débiles.
eso es lo que parece un protocolo de grado de investigación desde dentro: no la ausencia de suposiciones, sino el mapeo honesto de ellas.
mañana quiero probar cómo se componen estas suposiciones cuando se apilan múltiples staking con una sola moneda en muchas redes.
@BabylonLabs_io #baby $BABY
suposición uno, las cadenas mismas. cada garantía hereda la seguridad propia de bitcoins y ethereums. si bitcoin sufre reorgs profundos, los scripts de staking y sus time-locks se tambalean con ello. si ethereum se detiene, las pruebas de redención tbv no tienen nada que demostrar en su contra. es la suposición más fuerte disponible en esta industria.
suposición dos, honestidad por umbral en el comité del pacto. la ejecución de slashing requiere consenso mayoritario, lo que significa que el teorema de seguridad slashingable solo se mantiene mientras una mayoría permanezca activa y honesta. los artículos lo tratan como el elemento humano residual que el protocolo busca minimizar.
suposición tres, vigilancia. el procedimiento de desafío babe asume que alguien honesto está despierto durante la ventana del desafío. la seguridad se mantiene si al menos un observador honesto detecta a tiempo una afirmación fraudulenta. la criptografía no necesita que todos sean honestos; necesita a alguien atento.
suposición cuatro, racionalidad económica. eots hace que la equívocación revele tu clave. un actor irracional dispuesto a quemar su propio stake para dañar un bsn solo queda disuadido por el tamaño de su pérdida. el slashing es un precio, y los precios solo gobiernan a las personas que hacen aritmética.
ahora la síntesis. ordenadas por fragilidad, mi lectura es: la vigilancia es la más débil, la honestidad del comité en segundo lugar, la racionalidad económica en tercero, y la seguridad de la cadena es lo más difícil. las multi-sigs, las caps que haroon excavó, y los despliegues por fases se agrupan alrededor de las dos suposiciones más suaves. el andamiaje está construido exactamente donde los teoremas son más débiles.
eso es lo que parece un protocolo de grado de investigación desde dentro: no la ausencia de suposiciones, sino el mapeo honesto de ellas.
mañana quiero probar cómo se componen estas suposiciones cuando se apilan múltiples staking con una sola moneda en muchas redes.
@BabylonLabs_io #baby $BABY