Hoy, pasé la mayor parte del día intentando realizar un préstamo nativo respaldado por BTC en la testnet pública de Babylon. Lo que encontré más interesante fue cómo un Trustless Bitcoin Vaults (TBV) puede usar una prueba compacta de Groth16 para respaldar el reembolso basado en el estado de otra cadena. La prueba en sí es extremadamente pequeña.
Pero cuando miré cómo BABE maneja una prueba en disputa en Bitcoin, el tamaño de la prueba empezó a parecer solo una parte de la historia. Bitcoin Script no verifica Groth16 directamente. BABE tiene que representar las partes de la prueba que pueden ser impugnadas en una forma que Bitcoin pueda autenticar mediante transacciones y scripts. Eso crea una distinción entre la compresión de la prueba y el costo de la disputa. La prueba de Groth16 puede ser concisa, mientras que las transacciones de Bitcoin necesarias para impugnarla son considerablemente más grandes.
Lo que todavía no sé es si los ahorros de Groth16 se mantienen una vez que una prueba se disputa realmente en Bitcoin. Una prueba pequeña importa menos si hacer cumplir su validez aún requiere una ruta on-chain mucho más grande.
La pregunta es si la compresión reduce el costo de la disputa en sí, o solo el tamaño de la prueba que se lleva hasta ella.
Por eso estoy vigilando la huella de la transacción completa y el costo de tarifas de rutas de desafío reales, no el tamaño de la prueba de Groth16 citado de forma aislada.
$BABY $HEI #baby @BabylonLabs_io ✨
Pero cuando miré cómo BABE maneja una prueba en disputa en Bitcoin, el tamaño de la prueba empezó a parecer solo una parte de la historia. Bitcoin Script no verifica Groth16 directamente. BABE tiene que representar las partes de la prueba que pueden ser impugnadas en una forma que Bitcoin pueda autenticar mediante transacciones y scripts. Eso crea una distinción entre la compresión de la prueba y el costo de la disputa. La prueba de Groth16 puede ser concisa, mientras que las transacciones de Bitcoin necesarias para impugnarla son considerablemente más grandes.
Lo que todavía no sé es si los ahorros de Groth16 se mantienen una vez que una prueba se disputa realmente en Bitcoin. Una prueba pequeña importa menos si hacer cumplir su validez aún requiere una ruta on-chain mucho más grande.
La pregunta es si la compresión reduce el costo de la disputa en sí, o solo el tamaño de la prueba que se lleva hasta ella.
Por eso estoy vigilando la huella de la transacción completa y el costo de tarifas de rutas de desafío reales, no el tamaño de la prueba de Groth16 citado de forma aislada.
$BABY $HEI #baby @BabylonLabs_io ✨