三和社區-老葉

#dusk $DUSK @Dusk
公鏈防止濫用最基本的手段是Gas費,執行越複雜的邏輯,收費越高,這套機制的前提是網路能看懂一筆交易到底做了多少運算。但如果合約邏輯本身是機密的,這個前提還站得住腳嗎?這是我這次想質疑的技術細節。

Dusk Network身為Layer-1鏈,支援機密安全合約(XSC)標準,機密智能合約執行時,狀態轉換的細節被零知識證明包起來,外部驗證者只確認證明是否有效,而不是逐行檢查合約到底做了哪些運算。問題是,計費本身通常需要精確知道運算量,像是讀寫了多少次狀態、跑了幾輪迴圈,這些資訊在機密場景下,驗證者未必能像明文合約那樣直接統計。

矛盾點在這:如果收費機制退而求其次,改用固定費率或粗略估算,惡意使用者就有機會設計出運算量遠超費用的合約,拿相對低的成本塞爆驗證者的計算資源,形成一種隱蔽式的阻斷服務風險;但如果收費機制硬要精確對應運算量,又等於間接洩漏了合約複雜度的資訊,跟隱私的初衷產生衝突。

這個問題不是說XSC標準做不到,而是計費精確度跟隱私強度之間,勢必要找一個折衷點,而這個折衷點怎麼設計,會直接影響機密智能合約在真實網路壓力下的穩定性。

$DUSK 能不能在不洩漏運算細節的前提下,還讓Gas機制有效嚇阻濫用,我認為是XSC標準能否撐住高並發場景的關鍵細節。

#dusk $DUSK @Dusk
Las transacciones en las finanzas tradicionales se rigen por la “certeza”: una vez que se completa una operación, está completada; no existe la preocupación de que unos minutos después se revierta. Sin embargo, muchas cadenas públicas utilizan una finalidad probabilística. En teoría, los bloques pueden reordenarse, aunque la probabilidad disminuye con el tiempo. Esta brecha, en realidad, es el punto donde los activos de las instituciones más fácilmente se quedan atascados cuando intentan ponerlos en la cadena, y ese es el tema que quiero desglosar en esta ocasión.

Dusk Network, como una cadena Layer-1, emplea un mecanismo de consenso llamado Succinct Attestation, que es una variante de la prueba de participación. A diferencia de un diseño que requiere esperar a que se confirmen varios bloques y acumular confianza mediante la probabilidad, el objetivo de Succinct Attestation es que los bloques alcancen una finalidad final determinista en muy poco tiempo. Una vez que los validadores verifican y confirman con su voto, el bloque ya no se puede deshacer.

Desglosándolo, este mecanismo se apoya en el voto por capas de los validadores: una parte de ellos primero forma un consenso inicial y luego otra capa de validadores realiza la confirmación final. Todo el proceso se comprime en cuestión de segundos; no es necesario esperar diez o más minutos, como en algunas cadenas públicas, para poder decir que esa transacción realmente quedó confirmada.

Este diseño también es compatible con los contratos inteligentes confidenciales. Si el contenido de la transacción en sí es confidencial, cuando una institución financiera hace la liquidación o compensación, menos todavía puede aceptar la incertidumbre de “esta transacción podría revertirse”. La finalidad rápida equivale a poner la infraestructura base para que el estándar XSC funcione a nivel de capa, y solo al combinarlos ambos se logra algo más alineado con el requisito de las finanzas tradicionales de que “la transacción equivale a estar completada”.

El diseño de consenso de $DUSK no busca simplemente la velocidad, sino integrar directamente en la capa base del protocolo la certeza que los escenarios financieros necesitan. Y, en mi opinión, este enfoque se ajusta mucho más a las necesidades reales de aplicación que solo alardear de un TPS alto.

#dusk $DUSK @Dusk
Muchos hablan de las cadenas de privacidad y asumen de inmediato que “todas las transacciones están ocultas”, pero el diseño de Dusk en realidad no es tan único. En el libro blanco desglosan el modelo de transacciones en dos rutas; este diseño de doble vía es realmente lo que vale la pena analizar por separado.

Primero, a nivel divulgativo. Dusk Network, como blockchain de Capa 1 (Layer-1), admite dos modelos de transacción: uno es el de transacciones confidenciales, donde el monto y los participantes quedan ocultos, y la validez se verifica mediante pruebas de conocimiento cero. Esta ruta se combina con el estándar de contratos de seguridad confidencial (XSC), y está pensada para escenarios financieros que requieren privacidad. La otra ruta es el modelo de transacciones públicas y transparentes: el estado se muestra directamente en la cadena y cualquiera puede consultarlo, siguiendo el modelo tradicional de cuenta. En otras palabras, Dusk no obliga a todos a usar el modo de privacidad; permite que existan, en la misma cadena, tanto estados confidenciales como públicos.

El punto de tensión aparece aquí. El diseño de doble vía suena flexible, pero lograr la interoperabilidad entre ambos estados es, en sí, un problema de ingeniería: si los activos de una cuenta pública deben transferirse a un contrato inteligente confidencial, o si los resultados de un contrato confidencial deben reflejarse en el estado público, en medio se necesita un mecanismo de conversión que asegure que el proceso no divulgue la privacidad y, al mismo tiempo, no destruya la verificabilidad del estado público. Comparado con simplemente elegir un solo modo y mantenerlo hasta el final, la complejidad se duplica directamente.

Otro problema real es la experiencia de usuario. Para un usuario común, ¿cómo saber qué escenarios deben usar transacciones confidenciales y cuáles transacciones públicas? Si el umbral para cambiar entre los dos modos es demasiado alto, la mayoría quizá se limite al modo público. Entonces, los casos de uso donde se emplean realmente los contratos inteligentes confidenciales, ¿se restringirían a unos pocos usuarios institucionales, sin poder expandirse al ecosistema general?

$DUSK ¿podría convertir la flexibilidad del diseño de doble vía en una experiencia de producto realmente fácil de usar, en lugar de hacer que la complejidad se convierta en un obstáculo de adopción? Creo que ese es el punto clave a observar a partir de ahora.

#dusk $DUSK @Dusk
零知識證明系統最容易被忽略的風險，不是效能，而是電路本身。任何用ZK-SNARK類技術打底的機密合約，背後都有一組電路邏輯，一旦部署上線，要修改就沒那麼簡單。這是我看Dusk資料時，比較在意的技術細節。

Dusk Network定位為金融應用的隱私區塊鏈，身為Layer-1鏈，原生支援機密安全合約（XSC）標準，機密智能合約的正確性依賴的是底層電路設計是否毫無漏洞。傳統智能合約如果寫錯邏輯，至少外部審計員能讀原始碼、追蹤執行流程找出問題；但機密合約的狀態本身是加密的，一旦電路設計存在瑕疵，外部很難單靠公開資訊發現異常。

技術上我比較質疑的地方是:當XSC標準未來需要升級，比如新增功能或修補漏洞，這種電路層級的變更要怎麼確保不會破壞已經上線的機密合約？一般智能合約升級頂多是換邏輯、重新部署，但涉及零知識證明電路的系統，往往需要重新做可信設定（trusted setup），流程複雜，稍有不慎還可能引入新的安全假設。

另一個現實問題是審計門檻。看得懂ZK電路、又懂金融合約邏輯的審計人才本來就稀少，機密智能合約把這兩個領域疊在一起，願意且有能力做深度審計的團隊只會更少。如果審計生態跟不上，機構真正要把大額資產交給XSC標準的合約，恐怕還是會保持觀望。

$DUSK 真正要證明的不是能不能做出機密合約，而是這套電路架構在長期迭代與審計壓力下，能不能保持穩定又可信。

#dusk $DUSK @Dusk
Los sitios de análisis de datos en la cadena pueden decirte el TVL de cualquier blockchain pública, la cantidad de direcciones activas y el flujo de fondos. Esta es la base con la que la industria cripto construye confianza: en lugar de confiar en lo que diga nadie, el usuario puede consultar la cadena por su cuenta. Pero si una cadena oculta el contenido de las transacciones desde el nivel de protocolo, ¿sigue funcionando este método de verificación? Esa es la pregunta que me vino a la mente al volver a leer la documentación de Dusk.

Dusk Network se posiciona como una blockchain de privacidad para aplicaciones financieras. Como cadena Layer-1, cuenta con soporte nativo para el estándar de contratos seguros de confidencialidad (XSC). Cuando se ejecutan contratos inteligentes confidenciales, los montos, las posiciones y las partes participantes no quedan expuestos directamente en el explorador de la cadena. Para los usuarios institucionales, esto es una condición necesaria; pero en términos de visibilidad externa para todo el ecosistema, es una operación inversa.

La contradicción está aquí: la industria cripto ha confiado durante mucho tiempo en la “verificabilidad pública” para construir confianza. Los usuarios suelen estar dispuestos a depositar activos en el protocolo porque pueden consultar la cadena por sí mismos y confirmar que el flujo de fondos está bien. La hoja de ruta de Dusk va justo en la dirección contraria: no quiere que los usuarios confíen en lo “visible”, sino en lo que se “puede demostrar”. Las pruebas de conocimiento cero sustituyen al libro contable público; el verificador puede confirmar que la transacción es válida, pero los observadores externos no pueden ver los detalles. Este cambio de modelo de confianza, para usuarios ya acostumbrados a los datos de cadenas públicas, supone en realidad una barrera de aceptación no menor.

En mi opinión, el problema más realista es el siguiente: cuando los actores externos no pueden contabilizar directamente la actividad en la cadena, ¿cómo se cuantifica objetivamente el crecimiento del ecosistema? Si incluso los indicadores básicos on-chain deben inferirse indirectamente a partir de pruebas empaquetadas mediante contratos inteligentes confidenciales, ¿no hará que el umbral de análisis, en vez de reducirse, termine ralentizando la adopción de Dusk?

$DUSK no busca demostrar únicamente, en términos técnicos, que la privacidad es posible; lo que quiere demostrar es si, después de redefinir el mecanismo de confianza, el ecosistema aún puede seguir atrayendo a usuarios que estén dispuestos a “confiar en pruebas” en lugar de “confiar en números”.

#dusk $DUSK @Dusk
Lo más fascinante de DeFi es la composabilidad: la salida de un protocolo puede introducirse directamente en el siguiente, y los fondos se combinan con la libertad de piezas de LEGO. Pero esta ventaja se apoya en un supuesto: que todo el estado es público y transparente, de modo que cualquier contrato pueda leer el saldo y las posiciones de cualquier persona. Justo en eso me quedé cuando volví a leer el whitepaper de Dusk.

Dusk Network se posiciona como una blockchain de privacidad para aplicaciones financieras y, al ser una cadena Layer-1, cuenta con soporte nativo del estándar de contratos de seguridad confidencial (XSC), que permite ejecutar contratos inteligentes de forma segura manteniéndolos en un estado de confidencialidad. El problema es: cuando el estado del contrato se oculta, ¿otros protocolos aún pueden interactuar con él de manera segura? La composabilidad se basa en lo "leíble"; la privacidad, en lo "no leíble". Y en la arquitectura, ambos conceptos ya son mutuamente excluyentes.

El estándar XSC intenta resolver esta tensión: mediante pruebas de conocimiento cero, para que los contratos externos no necesiten ver el estado completo y aun así puedan verificar si se cumple cierta condición. Por ejemplo, si la garantía es suficiente o si la elegibilidad es correcta. En otras palabras, la composabilidad pasa de "compartir datos" a "compartir pruebas". Es un cambio conceptual, no solo añadir una capa de cifrado.

Pero sigo preguntándome si este modelo de composición basado en pruebas, al encadenarse entre protocolos, introduce una latencia y un costo de Gas mucho mayores que en el caso tradicional de estados públicos. Si cada interacción requiere generar y verificar una capa adicional de pruebas, la practicidad de los contratos inteligentes confidenciales en escenarios financieros complejos depende en gran medida de si esos costos se pueden mantener bajo control.

$DUSK La verdadera prueba no es si se puede lograr la privacidad, sino si después de la privacidad todo el ecosistema aún puede combinarse con la misma libertad que antes.

#dusk $DUSK @Dusk
¿En qué está el mayor obstáculo cuando las instituciones financieras tradicionales quieren llevar activos a la cadena? No es el listón técnico; es el hecho de que, “una vez que se sube a la cadena, todas las contrapartes, los importes y las posiciones quedan al descubierto ante la luz del día”. Para las instituciones, esto es algo que en realidad no pueden aceptar. Esta es también la razón por la que, al releer el libro blanco de Dusk, me llamó especialmente la atención el estándar XSC (Confidential Security Contracts).

Dusk Network se posiciona como una blockchain de privacidad para aplicaciones financieras. Como cadena de Capa 1, no trata la privacidad como un módulo externo; en cambio, respalda directamente los contratos inteligentes confidenciales desde la capa de protocolo. Esto significa que la propia lógica del contrato puede manejar información sensible: los importes de las transacciones y las identidades de los participantes pueden mantenerse en confidencialidad, y al mismo tiempo, la cadena aún puede verificar la legitimidad de las transacciones.

Entonces surge el problema: si ni siquiera se puede ver el contenido de la transacción, ¿cómo puede la autoridad de supervisión realizar la revisión de cumplimiento? En realidad, este es un desafío estructural al que se enfrentan todas las blockchains de privacidad a nivel institucional. La idea del estándar XSC es usar pruebas de conocimiento cero para separar “la verificación” de “la divulgación”: el estado del contrato puede mantenerse confidencial, pero el hecho de que la ejecución del contrato cumpla las reglas aún puede demostrarse, sin necesidad de revelar los detalles a todos.

Creo que el valor de este enfoque de diseño está en que hace que “cumplimiento” y “privacidad” ya no sean una elección excluyente, sino que se manejen como dos capas independientes. Sin embargo, al momento de implementarlo en la práctica, los requisitos de las distintas jurisdicciones sobre obligaciones de divulgación no son consistentes. Que el estándar XSC pueda adaptarse con flexibilidad a los marcos regulatorios de cada lugar podría ser la clave para que las instituciones realmente quieran adoptarlo.

La oportunidad de $DUSK no está en lanzar consignas sobre privacidad, sino en si es posible convertir este estándar de contratos inteligentes confidenciales en una infraestructura que las instituciones financieras se atrevan a usar y que las autoridades de supervisión puedan aceptar.

#dusk
Acabo de leer el libro blanco @Dusk y, al ver ese fragmento sobre el estándar XSC (Contratos de Seguridad Confidencial), me detuve y lo pensé durante mucho tiempo. Dusk Network se posiciona como una cadena de bloques de privacidad para aplicaciones financieras; como cadena de Capa 1, convierte los contratos inteligentes confidenciales en un estándar nativo, en lugar de añadir una capa de privacidad como un complemento sobre cadenas EVM existentes. Este enfoque es diferente al de la mayoría de los proyectos.

La contradicción está aquí: en los escenarios financieros se necesita privacidad, pero al mismo tiempo se requiere auditabilidad; estas dos necesidades son inherentemente incompatibles. Las cadenas públicas tradicionales exponen todo el detalle de las transacciones en la cadena y cualquiera puede consultarlo, lo cual es totalmente imposible para emitir activos a nivel institucional. Pero si se ocultan por completo el contenido de las transacciones, ¿cómo podría la autoridad reguladora confirmar el cumplimiento? El estándar XSC busca resolver precisamente este problema: mediante pruebas de conocimiento cero, mantiene en secreto el estado del contrato, pero conserva la verificabilidad. Así, terceros que no son las partes de la transacción no pueden ver los detalles, pero aun así es posible demostrar que la transacción es válida y cumple.

Mi mayor duda al investigar esta parte es si, después de desplegar contratos inteligentes confidenciales a escala, el costo computacional de validación de los nodos podría terminar ralentizando el rendimiento (throughput) de toda la cadena. Después de todo, generar y verificar pruebas de conocimiento cero no es barato. Si las instituciones financieras de verdad trasladan la emisión de grandes volúmenes de activos a Dusk, ¿el sistema podrá sostenerlo bajo alta concurrencia? Esa es la clave de si el estándar XSC puede aterrizar realmente en escenarios financieros.

$DUSK no intenta resolver solo el “si hay o no privacidad”, sino el “si la privacidad y el cumplimiento pueden coexistir”. Considero que esta orientación es más realista que simplemente repetir la descentralización.

Buen trabajo, jefe.

#baby
Un acuerdo que se presenta como “trustless” y de “autocustodia”; ¿por qué en el ecosistema de liquidación se necesitaría un proveedor de servicios con “MEV capability”? Cuando vi que el propio documento de roadmap de Babylon escribe esta frase, me quedé sorprendido.

Busqué información y descubrí que, al planificar el ecosistema TBV, la parte oficial menciona que, para que el protocolo se adopte de forma verdaderamente generalizada, se necesita un grupo de infra profesional y proveedores de servicios, incluidos custodians, bancos digitales, proveedores de API, Bitcoin LSTs y “liquidators with MEV capability”. Es decir, en la parte de liquidación, la iniciativa oficial espera que jugadores profesionales con capacidades relacionadas con MEV puedan ejecutarla de manera eficiente.

El conflicto está en esto: en el contexto tradicional de DeFi, el MEV a menudo choca con narrativas como “justicia” y “sin confianza”; normalmente se asocia con comportamientos como front-running y “carreras” que perjudican a los usuarios comunes. TBV, por un lado, destaca la autocustodia de BTC y que no requiere intermediarios, con verificación on-chain pública y transparente; pero, por otro lado, en el diseño del ecosistema de liquidación, en la práctica depende de jugadores profesionales con capacidad MEV para adelantarse y ganar rapidez. Esto implica que, en algún grado, la eficiencia final de la ejecución de la liquidación sigue estando en manos de unos pocos participantes con ventaja técnica.

Creo que el “trustless” resuelve el problema de confianza en la capa de custodia de activos y verificación de retiros, pero no significa que toda la capa de ejecución del ecosistema sea completamente justa. Al introducir jugadores MEV en el extremo de la liquidación, @BabylonLabs_io , en cierto sentido, está reconociendo esta realidad. Para que el ecosistema $BABY madure, el diseño de la equidad en el mercado de liquidación será una parte que vale la pena seguir observando de manera constante.

#baby
Si quiero prestar el mismo BTC a la vez a dos protocolos DeFi distintos usando un vault, ¿se puede? Yo pensaba que sí, porque el whitepaper siempre habla de que el TBV es un "programmable Bitcoin collateral".

Pero al revisar la documentación descubrí que en realidad no es posible. El equipo lo explicó recientemente en un Founders Call con bastante claridad: un vault no puede enrutarse simultáneamente a múltiples protocolos DeFi. Cada vault, al crearse, queda vinculado a un único acuerdo de smart contract externo. La razón también la dieron muy bien: no quieren que el mismo vault quede expuesto al mismo tiempo ante varias aplicaciones, porque las reglas de liquidación y los supuestos de confianza de distintos protocolos no son los mismos; mezclarlos hace que sea difícil evaluar y separar el riesgo.

Por un lado se grita "programmable", sugiriendo que el BTC puede ensamblarse libremente como si fueran bloques en todo tipo de escenarios DeFi; pero por otro lado, en el diseño limitan a propósito que cada vault solo se vincule a un protocolo. Entonces, si el usuario quiere participar a la vez en préstamos y en la acuñación de stablecoins, tiene que dividir el BTC en varias partes y bloquear cada una en un vault distinto; el capital queda, de hecho, más fragmentado.

Sin embargo, mirándolo de otra forma, esto no es un bug: es un trade-off de seguridad escogido intencionalmente por el equipo. Mejor sacrificar parte de la flexibilidad que permitir que el riesgo se contagie entre protocolos. Creo que esta es la forma de entender el ecosistema $BABY : programmable no significa capacidad de combinación ilimitada, sino elegir dentro de límites de seguridad. @BabylonLabs_io Esta decisión limitará la flexibilidad de uso a corto plazo, pero a largo plazo hará que el TBV sea más resistente al riesgo.

#baby
De hecho, al ser productos propios de Babylon, ¿por qué el staking de BTC y TBV parecen diseñarse con una lógica de confianza que no es del todo igual? Esta es la duda que me surgió al comparar dos documentos.

El protocolo original de staking de BTC de Babylon, debido a que el lenguaje de scripts de Bitcoin no tiene una función nativa de covenant, se diseñó apoyándose en un conjunto de "covenant emulation committee" (usando el umbral de multisig 6-de-9) para firmar conjuntamente las transacciones de unbonding y slashing, con el fin de asegurar que los fondos se procesen conforme a las reglas del protocolo. Así, el staker no puede eludir completamente ese comité y actuar por su cuenta. Este mecanismo ya ha estado funcionando durante un tiempo y también puede considerarse un plan de compromiso que Babylon reconoce como propio, condicionado por las limitaciones de los scripts de Bitcoin.

La contradicción aparece aquí: sin embargo, el whitepaper de TBV enfatiza continuamente que el reembolso del vault no requiere que ningún comité u operador firme en su nombre; en su lugar, utiliza las pruebas de fraude de BitVM3 junto con verificación ZK para reemplazar este tipo de roles. Mismo equipo, ante la misma limitación técnica —"no hay covenant en los scripts de Bitcoin"—, uno elige resolverlo mediante un comité multisig y, aun así, el otro recorre un camino criptográfico completamente distinto para evitar el comité. ¿Qué significa esto? ¿Es que las condiciones del escenario de staking en sí son más complejas (por las reglas de slashing) y por eso todavía no se puede prescindir del comité, o es que esta solución de TBV basada en BitVM3 también se puede aplicar al staking, pero todavía no se ha migrado?

Creo que esta brecha refleja justamente el verdadero valor de TBV: quizá no sea solo la solución de reembolso propia de TBV, sino el roadmap técnico futuro de Babylon para eliminar esa dependencia del comité en la parte de staking. @BabylonLabs_io Si de verdad se pudiera aplicar la idea de BitVM3 de vuelta al protocolo de staking, $BABY el modelo de confianza del ecosistema sería mucho más consistente.

#baby
Si una bóveda necesita redimir, y para hacerlo la otra parte tiene que cooperar activamente para firmar, entonces, si esa parte se pierde o deja de responder, ¿esa BTC queda atrapada ahí para siempre? Esa fue la primera pregunta que me vino a la mente después de leer la sección del whitepaper sobre las transacciones prefirmadas.

El whitepaper explica la ruta de redención con ejemplos de Bob y Larry: ambas partes firman previamente un conjunto de transacciones con condiciones, y cuando se activa una condición específica (por ejemplo, un umbral de precio), la parte correspondiente puede ejecutar la redención. Este diseño, efectivamente, evita el riesgo de alterar unilateralmente las condiciones, porque todos los posibles resultados se fijan y se firman desde el momento de crear la bóveda.

Pero hay una contradicción: el whitepaper enfatiza continuamente que TBV es "custodia propia sin confianza" (trustless self-custody), y que no depende de ningún tercero para proteger la seguridad de los activos. Sin embargo, el mecanismo de prefirmas entre ambas partes, en esencia, sigue requiriendo el supuesto de que "la otra parte está presente y coopera" para que el proceso pueda completarse sin problemas. Si una parte que actúa como oponente, como Larry, a propósito retrasa la ejecución o simplemente desaparece, entonces la BTC de Bob quedaría teóricamente bloqueada antes de que se active la condición, a menos que el whitepaper haya diseñado explícitamente rutas de respaldo como timeout o refund, para que el dinero no quede bloqueado indefinidamente.

Creo que esta es la parte que hay que aclarar al evaluar la seguridad de TBV: la self-custody resuelve el problema de "no perder los fondos por robo de un tercero", pero no significa necesariamente que "aun si el oponente desaparece, puedas recuperar el dinero". Son garantías de diferentes niveles. Para que @BabylonLabs_io logre que los usuarios se sientan realmente tranquilos, los detalles del diseño del mecanismo de salida por timeout son la clave para que este sistema pueda ponerse en práctica. $BABY Para que el ecosistema avance a largo plazo, esta pieza del rompecabezas no puede faltar.

#baby
El libro blanco sitúa el TBV como un “colateral programable de Bitcoin”, y destaca que puede integrarse de forma flexible en diversos escenarios de DeFi, como la provisión de préstamos y la acuñación de stablecoins. Suena a que ofrece mucha elasticidad. Pero al pasar al apartado del mecanismo de reembolso, encontré un diseño que no encaja demasiado con la idea de “flexibilidad”.

El reembolso del TBV actualmente es en modo “whole vault”. Es decir: si bloqueas cierta cantidad de BTC, al desbloquear se canjea la totalidad del vault junto, y no admite canjear solo una parte. Así que, si yo solo quisiera recuperar una fracción de BTC para cubrir una necesidad de liquidez a corto plazo, no puedo sacar directamente una porción del vault. Tendría que canjear todo el vault, liquidar todas las posiciones de deuda, y luego volver a bloquear un vault nuevo para poder seguir usando el resto de BTC.

Aquí está la contradicción: el libro blanco recalca una y otra vez el término “programmable”, sugiriendo que el BTC se puede ensamblar de manera flexible en distintos escenarios de DeFi, como si fueran piezas de LEGO. Pero el lado del reembolso es precisamente lo menos flexible: cualquier ajuste parcial exige pagar el costo de reconstruir todo el vault. Esto no termina de concordar con el relato de priorizar la eficiencia del capital y el uso flexible.

Creo que este es el problema de experiencia que el TBV debe resolver antes de generalizarse: @BabylonLabs_io ha hecho un trabajo muy sólido en el diseño de seguridad, pero para que $BABY logre atraer a más usuarios reales, el mecanismo de reembolso debe poder permitir retiros parciales; eso afectará directamente a si realmente es “programmable”.

#baby
先科普一下：一般BitVM式跨鏈橋要讓用戶提款,通常得依賴一群operator,這些人負責先把BTC墊給用戶,之後再從橋上把錢贖回去。問題是,Bob要提款時，得靠至少一個operator願意幫他墊款；而Bob要存款時,卻得所有operator都配合才行,等於信任被攤在一整群第三方身上。

白皮書講TBV最直接的突破,就是把這個operator角色整個拿掉。設計上Bob和Larry(也就是預先約定好的雙方)本身就是唯一能贖回BTC的人,不需要透過任何中間人代為墊款或執行贖回,提款直接由雙方自己掌握。這確實解決了operator這一層的信任問題。

但我翻到清算(liquidation)那段時發現一個細節：白皮書自己也承認,執行清算需要價格oracle簽署的證明,而這部分”實質上”還是需要信任那個oracle。也就是說,operator這個信任點被拿掉了,liquidation oracle這個信任點卻還留著,白皮書並沒有迴避這一點,是自己點出來的。

我覺得這反而讓TBV顯得更誠實：去信任化本來就不是一步到位,而是逐一拆解不同角色的信任假設。@BabylonLabs_io 先解決了operator這塊,$BABY 生態接下來要面對的,就是怎麼處理清算oracle這最後一塊拼圖。

#baby
El lenguaje de programación de Bitcoin, Bitcoin Script, en realidad es bastante básico; no puede ejecutar directamente verificaciones criptográficas complejas. Por eso, desde hace mucho tiempo, muchas personas creen que el BTC no puede participar de verdad en DeFi. Hoy quiero explicar, de forma divulgativa, cómo TBV evita esta limitación.

La herramienta central que usa el whitepaper se llama garbled circuit (circuito ofuscado). Es una técnica muy antigua en criptografía. La idea es convertir la lógica de un cálculo en una serie de compuertas cifradas, de modo que dos partes puedan calcular un resultado conjuntamente sin revelar sus respectivos datos de entrada. Además, el resultado solo revela un bit: si es verdadero o falso; el proceso intermedio no se ve en absoluto. TBV aplica esta técnica a la cadena de Bitcoin, de manera que el cálculo de una “prueba de verificación del estado de contratos externos”, que antes el Bitcoin Script no podía ejecutar, se transforma en un garbled circuit. Así, una gran cantidad de cómputo se realiza fuera de la cadena (off-chain) y, en la cadena, la red de Bitcoin solo necesita verificar el resultado final de “verdadero/falso”.

Lo ingenioso de este diseño es que no requiere modificar las reglas de consenso de Bitcoin, ni hacer un soft fork. De esta forma, el BTC obtiene indirectamente la capacidad de verificar lógica compleja. Por eso TBV puede lograr la custodia propia (self-custody), sin tener que entregar el BTC a una entidad centralizada, como ocurriría con los puentes tradicionales entre cadenas.

Creo que ahí es donde la ecología del $BABY merece ser redescubierta: no es otro esquema de monedas empaquetadas, sino que resuelve de manera real el problema de las limitaciones del lenguaje de scripts subyacente de Bitcoin.@BabylonLabs_io vuelve a usar, en el lugar correcto, una técnica de garbled circuit que había permanecido silenciosa durante mucho tiempo en el ámbito de la criptografía.

#baby
El libro blanco presenta de forma muy atractiva la mejora de la eficiencia de TBV: el proceso de depósito peg-in solo tarda unas 3 horas (6 confirmaciones del bloque de Bitcoin) y también las comisiones son casi tres veces más bajas que en la propuesta anterior de BitVM2. Al ver estos dos números, pensé que TBV había resuelto por completo los problemas de eficiencia de todo el flujo de entrada y salida de fondos.

Pero, al leer con más detenimiento, descubrí que en la sección sobre el retiro (peg-out) la historia es mucho más complicada. Que el depósito sea tan rápido se debe a que solo hace falta confirmar la transacción nativa en la cadena de Bitcoin; pero el retiro debe pasar por el mecanismo de pruebas de fraude de BitVM3, por lo que en la cadena debe permanecer un periodo de desafío, para que los verificadores tengan tiempo de validar y cuestionar si ese retiro corresponde al estado correcto del contrato. Durante ese tiempo, los fondos no se reciben de inmediato. En otras palabras, la “mejora de eficiencia” que enfatiza el libro blanco ocurre principalmente en el lado de los depósitos; en el lado de los retiros, la velocidad sigue atada a los mecanismos de seguridad y no se puede comprimir de forma indefinida.

La contradicción está aquí: TBV, por un lado, usa “más rápido y más barato” como gancho para atraer usuarios, y por otro lado debe depender de un periodo de desafío para alargar el proceso de retiro a cambio de seguridad. Estos dos objetivos, en esencia, se tiran el uno del otro; no es posible que un mismo conjunto de mecanismos logre el mejor resultado en ambos.

Considero que la batalla que debe librar el ecosistema $BABY en el futuro es cómo, sin relajar las suposiciones de seguridad, reducir aún más este tiempo de espera del retiro. @BabylonLabs_io ya tiene un diseño muy bonito en la experiencia de depósito, pero el equilibrio entre la eficiencia y la seguridad del lado de los retiros es la clave para que TBV pueda realmente generalizarse.

#baby $BABY
Primero, hagamos una pequeña introducción para todos: muchos de los esquemas actuales de préstamos con garantía en BTC se basan, a nivel subyacente, en los DLC (Discreet Log Contracts). En pocas palabras, se trata de permitir que los activos en bitcoin se asignen automáticamente a las partes correspondientes según el resultado de eventos externos. Suena bastante descentralizado, pero cuando se implementa en la práctica, la mayoría de los protocolos de préstamos basados en DLC todavía necesitan un “comité”: representa al prestamista para supervisar las condiciones, firmar en su nombre las transacciones de liquidación y asegurar que, cuando se cumplan las condiciones de activación, el dinero se asigne correctamente.

La contradicción está aquí: el objetivo de este diseño de DLC era que el BTC pudiera participar en contratos condicionales sin depender de intermediarios. Sin embargo, el funcionamiento real no puede evitar el rol de “una parte representativa que actúa en beneficio de alguien”, es decir, el problema de confianza vuelve al punto de partida, solo que ahora lo llamaron “comité”.

La manera en que TBV maneja este punto es diferente. No depende de que un comité decida por nadie; en su lugar, bloquea el BTC en un vault y, junto con el mecanismo de pruebas de fraude de BitVM3 y las pruebas ZK, verifica el estado de un contrato externo en el momento. Las condiciones de retiro quedan codificadas directamente en el script on-chain, sin necesitar que ningún tercero represente intereses de alguien para autorizar y firmar.

Creo que esta es la verdadera problemática que TBV está resolviendo: avanzar más allá en la “descentralización” real de los “contratos condicionales de bitcoin”, pasando del modelo que depende de representantes de un comité.@BabylonLabs_io en el ecosistema de$BABY , en realidad, está completando el vacío de confianza que el modelo de préstamos con DLC no ha resuelto de manera limpia.

#baby
白皮書裡舉了個例子：Bob跟Larry預先簽好一組比特幣交易，條件寫死是如果BTC價格跌破5萬美元，Larry可以強制平倉。我看到這段忍不住想問一個問題：這個5萬美元的價格，究竟是誰、用什麼方式證明給比特幣鏈看的？

TBV的核心設計是vault只接受外部智能合約狀態的ZK證明，不接受任何一方單方面宣告的數值。理論上這解決了”誰說了算”的信任問題，因為提款前必須先驗證那筆ZK證明是不是真的對應到外部鏈上合約當下的狀態。但這裡有個技術上容易被忽略的縫隙：ZK證明能保證”外部合約確實處於某個狀態”，卻沒辦法保證”那個狀態本身的輸入資料是正確的”。也就是說，如果外部鏈上的價格資料本身就是被操縱過的oracle結果，TBV的ZK驗證還是會照樣放行提款，因為它驗證的是邏輯正確性，不是資料真實性。

換句話說，TBV把”相信橋接方”這個信任缺口補起來了，但沒有也不打算解決外部合約自己的oracle風險，這其實是兩層不同的問題。

我認為這才是評估TBV安全性時該分清楚的地方：@BabylonLabs_io 解決的是比特幣端的自我託管跟驗證問題,但$BABY 生態要接進去的DeFi協議,自己那端的oracle安全性還是得各自把關，兩者不能混為一談。

#baby $BABY
Hoy quiero hablar de algo bastante “de base”: en qué supuestos se sostiene realmente la seguridad de TBV.

Al revisar el whitepaper, la verificación de retiros de TBV usa el mecanismo de prueba de fraude de BitVM3. El supuesto central es “1-de-N honesto”. En términos simples: mientras que, entre un grupo de vigilantes, al menos uno sea honesto y esté dispuesto a presentar objeciones durante el periodo de desafío, el sistema podrá detectar un retiro fraudulento. Este modelo se parece a los optimistic rollups. La ventaja es que la carga computacional en cadena es baja: se usan circuitos garbled para trasladar gran parte de las verificaciones fuera de la cadena, y en la blockchain de Bitcoin solo se necesita validar la prueba final, ya comprimida.

Pero aquí hay una brecha técnica que es fácil pasar por alto: en última instancia, este supuesto de seguridad sigue dependiendo de que “alguien esté mirando”. Durante el periodo de desafío, si ninguna parte realiza activamente la supervisión ni presenta una prueba de fraude, en teoría un retiro malicioso aún podría pasar. En otras palabras, TBV desplaza el problema de la confianza de “confiar en el puente” a “confiar en que al menos un watchtower esté en línea”. No es una eliminación total de la confianza; más bien, redistribuye la confianza hacia un rol donde los incentivos económicos son más transparentes.

En mi opinión, esta es precisamente la parte que el ecosistema $BABY debe demostrar a continuación: si se puede construir un mecanismo que otorgue incentivos suficientes para que el watchtower permanezca en línea y haga monitoreo de forma sostenida. Eso determina qué tan sólido es realmente el “trustless” que TBV afirma. @BabylonLabs_io dio un paso inteligente, pero los detalles del diseño del mecanismo son los que realmente determinan la seguridad.