Autores del documento original: Nubit y Nebra

En el ecosistema Bitcoin, el TVL (valor total bloqueado) es un indicador clave que mide la escala y la seguridad de los proyectos BTCFi (finanzas de Bitcoin). Sin embargo, con la expansión de BTCFi, la controversia en torno a la veracidad de los datos de TVL también ha aumentado. Estadísticas falsas, recuentos duplicados y bloqueos falsificados están erosionando la confianza de los usuarios, desafiando así la transparencia y credibilidad del ecosistema de Bitcoin.

En respuesta a este fenómeno, Nubit, junto con proyectos líderes del ecosistema Bitcoin como Nebra, Bitcoin Layers y Alpen Labs, publicará el informe (Proof of TVL) el 5 de enero de 2025, señalando la falta de transparencia en el campo de BTCFi y llamando a establecer mecanismos de verificación de activos más altos, al tiempo que propone una herramienta de validación de TVL de código abierto para brindar un fuerte apoyo a la transparencia del ecosistema Bitcoin.

A continuación, el texto original del informe: Agradecimientos especiales a Bitcoin Layers y Alpen Labs por sus comentarios y valiosas críticas al artículo.

La evolución de BTCFi y los tokens de staking líquido (LSTs)

Bitcoin ha sido durante mucho tiempo la piedra angular del ecosistema de activos digitales.

Sin embargo, durante años, su uso se ha limitado principalmente a ser una reserva de valor y un medio de intercambio. Hasta 2023, protocolos como Babylon introdujeron el concepto de staking de Bitcoin, permitiendo a los usuarios bloquear su BTC de forma auto-custodiada y participar en mecanismos de consenso de prueba de participación (Proof-of-Stake) para ganar recompensas.

Esta innovación ha abierto una nueva Era para Bitcoin, que ahora se conoce comúnmente como BTCFi. Este movimiento ha brindado a Bitcoin capacidades sin precedentes. Desde entonces, Bitcoin ya no es solo un activo mantenido pasivamente, sino que puede participar activamente en el ecosistema de finanzas descentralizadas (DeFi).

Para mejorar la utilidad y liquidez de apostando Bitcoin, han surgido una serie de tokens de staking líquido (Liquid Staking Tokens, LSTs). Estos protocolos actúan como custodios, permitiendo a los usuarios apostar su BTC y recibir tokens como recompensa. Estos LSTs pueden usarse libremente en aplicaciones DeFi, incluyendo préstamos, comercio, agricultura de rendimiento, etc. Este modelo permite a los apostadores de Bitcoin 'tener lo mejor de ambos mundos': ganar recompensas de staking y participar en una amplia gama de oportunidades DeFi.

Estos protocolos LSTs han ganado rápidamente la aceptación de los usuarios, y el valor total bloqueado (TVL) reportado por los protocolos relacionados ha alcanzado miles de millones de dólares. El TVL se considera a menudo un indicador importante de la actividad del usuario y del éxito de un protocolo.

Sin embargo, queremos plantear una pregunta fundamental para la industria: ¿qué tan fiables son los datos de TVL reportados por los protocolos de LST de Bitcoin?

Más específicamente, ¿deberían contarse en el TVL los BTC que el protocolo no puede controlar o reducir realmente?

Si los datos de TVL están inflados, esto puede dar a los usuarios e inversores una falsa sensación de seguridad. Los datos de TVL exagerados pueden ocultar la verdadera liquidez y el estado de riesgo del protocolo, llevando a todas las partes involucradas a tomar decisiones incorrectas y potencialmente sufrir pérdidas.

¿Por qué es difícil rastrear el TVL de los protocolos de staking líquido de Bitcoin?

En el contexto del staking de Bitcoin, el modelo UTXO único de Bitcoin añade complejidad, dificultando la interpretación precisa de los datos de TVL (valor total bloqueado). Esta complejidad debilita la confianza en los protocolos de staking líquido de Bitcoin (LST) y también suscita preocupaciones sobre la sostenibilidad de todo el ecosistema BTCFi.

Analicemos detenidamente las razones.

Bitcoin utiliza el modelo UTXO (salida de transacción no gastada), donde cada transacción crea 'unidades de Bitcoin' independientes con condiciones de uso específicas. Por ejemplo:

Un UTXO puede requerir la firma de una clave privada para ser utilizado.

UTXOs más complejos pueden incluir requisitos de firma múltiple (multisig) o bloqueos de tiempo (timelocks).

A diferencia del modelo de cuentas de Ethereum, el modelo UTXO de Bitcoin no agrega saldos, lo que complica el seguimiento y bloqueo de fondos, aunque no es completamente imposible. Por lo tanto, los datos de TVL del protocolo LST son generalmente reportados por el propio protocolo. Para validar estos datos reportados, necesitamos partir de una pregunta sencilla:

¿Cómo debería calcularse el TVL de los protocolos de staking líquido de Bitcoin?

El objetivo de los protocolos de staking de Bitcoin es proporcionar seguridad económica a los protocolos de capa de aplicación (como Rollups, capas de disponibilidad de datos (DAs), etc.). Desde este punto de vista, esta seguridad económica solo es efectiva si el Bitcoin apostado está bajo la custodia del protocolo de staking y puede ser reducido (slashable). Así que hay algo claro:

BTC que no está bajo la custodia del protocolo de staking o no puede ser reducido no debe contarse en el TVL.

¿Cómo se falsifica el TVL de los apostadores duplicados de Bitcoin?

Muchos protocolos de staking líquido de Bitcoin, en su búsqueda de un alto TVL (valor total bloqueado), han llegado a acuerdos con grandes tenedores (whales) a cualquier costo, tratando de 'inflar los datos' para aumentar artificialmente sus números de TVL.

Así es como operan:

1. Staking de whales: grandes tenedores de Bitcoin (es decir, whales) son incentivados a transferir su BTC a una dirección controlada conjuntamente por whales y el protocolo para participar 'en nombre del staking'.

2. Control de los whales no ha cambiado: después del staking, los whales aún tienen el control final sobre el UTXO (salida de transacción no gastada). El protocolo no puede forzar el rescate o ejecutar penalizaciones (incluidas las penalizaciones de reducción, slashing), es decir, estos fondos nunca realmente estuvieron en riesgo.

3. Inclusión falsa en el TVL: el protocolo incluye estos UTXO en su TVL, incluso si estos fondos no están realmente bloqueados y los whales pueden retirarlos o reutilizarlos en cualquier momento.

La realidad es:

Los usuarios (whales) tienen control total sobre los fondos: los whales pueden gastar estos BTC en cualquier momento o apostarlos en otros protocolos.

Falsa participación sin penalización de reducción: este proceso de 'staking' carece de cualquier condición de reducción obligatoria y, en esencia, es irrelevante.

El verdadero significado del staking radica en garantizar la seguridad de la red mediante la incentivación del comportamiento positivo y la penalización del comportamiento malicioso. Las penalizaciones de reducción (slashing) aseguran que los participantes asuman el riesgo de pérdidas reales de capital si no cumplen con las reglas del protocolo o actúan de manera deshonesta. Sin este mecanismo, el staking se convierte en una farsa de 'apostar por apostar', y carece de sentido.

Pregúntese sinceramente: ¿cuál es el verdadero significado del staking? No se trata de exagerar los datos de TVL o hacer declaraciones simbólicas, sino de garantizar la seguridad del protocolo a través de mecanismos de reducción.

Esto recuerda las dolorosas lecciones de FTX. En el colapso de FTX, la discrepancia entre los números declarados (tokens de recibo) y las reservas reales (activos redimibles) llevó a la pérdida total de confianza de los usuarios. Si un protocolo exagera sus datos de TVL, ¿realmente puedes confiar en que no abusará de tus reservas en secreto? Un protocolo que distorsiona la verdad sobre un asunto tan fundamental como las reservas probablemente se ha desviado de los principios de confianza que Bitcoin representa.

Este inflado de los datos de TVL plantea una pregunta mayor: ¿los Bitcoin 'apostados' realmente están bloqueados? ¿O simplemente es un indicador falso destinado a atraer la atención y aumentar los números?

Riesgo de TVL falso

En teoría, los tokens de staking líquido (LSTs) están diseñados para representar el Bitcoin apostado en protocolos como Babylon, permitiendo a los titulares ganar recompensas por staking mientras mantienen la liquidez de sus activos. El supuesto detrás de este mecanismo es que cada LST está completamente respaldado por reservas reales de Bitcoin en una proporción de 1:1.

Sin embargo, algunos acuerdos de staking que buscan datos de TVL altos pueden socavar estos compromisos. Si el BTC parcialmente apostado sigue siendo completamente controlado por el tenedor original, mientras que el protocolo lo informa como completamente bloqueado, esto amenazará directamente la suposición básica sobre la que existen los LSTs. Las consecuencias pueden ser:

El colateral realmente bloqueado es inferior a la cantidad reportada.

El modelo de staking no puede proporcionar la seguridad esperada.

Hay una gran discrepancia entre el TVL reportado y la cantidad real de BTC que participa en el staking.

En última instancia, estas acciones cuestionan si los LSTs están realmente respaldados completamente por reservas verificables, y generan dudas sobre la seguridad económica que estos tokens pueden ofrecer, como:

1. Falta de garantía con respaldo 1:1

Debido a que el protocolo contabiliza Bitcoin que no está realmente bloqueado o en staking como 'apostado', no se garantiza que los activos que respaldan los LSTs realmente existan o estén bajo el control del protocolo. Los usuarios que poseen estos tokens solo pueden confiar en la declaración unilateral del protocolo. Además, si estos activos no existen, los usuarios se enfrentarán a riesgos financieros reales al intentar redimir los activos subyacentes.

2. Recompensas de staking no verificables

Las recompensas de staking deben provenir de una contribución real a la seguridad de la red o consenso de prueba de participación (PoS). Sin embargo, cuando el Bitcoin subyacente no está realmente en staking, ¿de dónde provienen estas recompensas? ¿Tienen sostenibilidad?

Esto es un riesgo sistémico para todo el ecosistema BTCFi. A medida que la confianza disminuye, la liquidez puede desaparecer rápidamente, lo que no solo puede desestabilizar un protocolo, sino también afectar la estabilidad de todo el ecosistema BTCFi basado en el staking de Bitcoin.

¿Qué sucede cuando los protocolos de staking de Bitcoin se vuelven indistinguibles de entidades centralizadas? En este caso, los usuarios no pueden auditar las reservas y solo pueden elegir confiar en las declaraciones de los operadores. Esta situación representa una grave amenaza para la credibilidad de BTCFi.

La situación actual es una amenaza a la credibilidad de BTCFi. Para evitar volver a caer en los errores de los sistemas centralizados y el TVL falso, debemos abordar la raíz del problema: la falta de un mecanismo verificable y sin confianza para probar las reservas y las actividades de staking.

Esa es precisamente la clave de la prueba de TVL (Proof of TVL, PoTVL). Solo al establecer un estándar de validación de reservas que sea científico, transparente y basado en criptografía, se puede reconstruir la confianza en los LSTs de Bitcoin y asegurar la sostenibilidad a largo plazo del ecosistema.

Solución básica: cálculo transparente del TVL

En el contexto del staking de Bitcoin, las direcciones Taproot desempeñan un papel clave en la implementación de scripts de bloqueo de staking (como Babylon). Estos scripts de bloqueo definen reglas claras para el staking, el seguimiento y la eventual retirada de BTC. Babylon es un ejemplo típico, ya que vincula directamente el comportamiento de staking con reglas verificables a nivel de protocolo en el modelo UTXO de Bitcoin.

Cuando los apostadores participan en un protocolo de staking, construyen transacciones especiales que envían BTC a direcciones Taproot designadas por el protocolo. Estas transacciones generalmente incluyen lo siguiente:

1. Salida de staking: un UTXO utilizado para enviar BTC a una dirección Taproot para staking.

2. Salida de verificación de propiedad: segundo UTXO que contiene las claves públicas del apostador y del protocolo. Estas claves públicas prueban la propiedad del BTC apostado.

Tomando como ejemplo las especificaciones del protocolo de staking de Babylon:

Las especificaciones requieren que los apostadores (o el protocolo LST) construyan transacciones como las siguientes:

· El primer UTXO envía BTC a la dirección Taproot vinculada al script de bloqueo de staking de Babylon.

· El segundo UTXO contiene la clave pública del apostador y de Babylon para asegurar la verificación de propiedad.

Este diseño asegura que el acto de staking pueda ser completamente rastreado en la cadena, al mismo tiempo que proporciona pruebas de propiedad claras y reglas transparentes.

Estudio de caso: Lombard Finance

Para demostrar la aplicación de este método en la práctica, utilizamos la herramienta de código abierto Proof of TVL para validar Lombard Finance.

Aquí están todos los pasos del proceso de verificación:

1. Identificar la billetera de depósito del usuario

Comienza desde el BTC de los depósitos de los usuarios hasta la billetera de Lombard. Estas billeteras representan el flujo inicial de fondos que entra al sistema.

2. Rastrear transacciones hasta la billetera de staking

Rastrear BTC desde la billetera de depósito hacia la billetera de staking controlada por Lombard. De acuerdo con las especificaciones de staking de Babylon, identificar todas las transacciones de staking.

3. Verificar la propiedad

Utilizar las reglas del protocolo de Babylon para confirmar si la transacción de staking incluye la clave pública necesaria para la verificación de propiedad. Asegúrese de que la transacción cumpla con el script de bloqueo de staking.

4. Calcular el TVL real

Suma las cantidades de BTC en transacciones de staking verificadas para calcular el colateral en la cadena. Compara el colateral con el suministro total de LBTC para calcular la tasa de colateral.

A través de los pasos anteriores, calculamos el TVL de LST de Lombard como sigue:

· BTC en la cadena de colateral: 16,580.9220 (15,028.3565 BTC / 90.64% ya apostados)

· Suministro total de LBTC: 16,386.4157 (101.19% sobrecolateralización)

· Última hora de verificación: 4 de enero de 2025, 7:30 PM hora del Pacífico

· Estado: Seguro (101.19% sobrecolateralización)

Detalles de verificación:

· 90.64% ya apostado

De los 16,580.9220 BTC en colateral en la cadena, 15,028.3565 BTC están activamente apostados según las especificaciones de Babylon.

· 101.19% sobrecolateralización

El suministro total de LBTC es de 16,386.41, mientras que el colateral en la cadena es de 16,599 BTC.

· Transparencia total en la cadena

Cada transacción de staking se puede rastrear directamente hasta la dirección de depósito del protocolo Lombard, y la verificación de propiedad cumple con las reglas de staking.

El proceso de verificación se completó el 4 de enero de 2025 a las 7:30 PM hora del Pacífico (en el momento de escribir esto), y estos datos son completamente reproducibles sin intervención humana. A través de nuestra herramienta de código abierto Proof of TVL, cualquiera puede verificar en tiempo real de manera independiente los datos de TVL de LBTC.

Esa es la verdadera transparencia.

Si bien esta solución ofrece una alta transparencia, tiene un defecto clave: depende de que los protocolos de confianza calculen y reporten el TVL con precisión.

Entonces, ¿hay alguna manera de eliminar esta dependencia y permitir que cualquiera verifique los resultados de manera independiente y confiable? Las pruebas de conocimiento cero (ZKPs) ofrecen un camino potencial hacia la solución.

Verificación de TVL utilizando pruebas de conocimiento cero

Una de las grandes ventajas de las pruebas de conocimiento cero (ZKPs) es su mecanismo de confianza criptográfica, al mismo tiempo que los costos de verificación son extremadamente bajos, lo que permite que los usuarios verifiquen las pruebas de conocimiento cero directamente en dispositivos cliente como teléfonos móviles o navegadores. Esto reduce significativamente la fricción y las suposiciones de confianza en la verificación de TVL. Ahora, los usuarios ni siquiera necesitan confiar en un tercero que ejecute el protocolo de verificación de TVL.

Las pruebas de conocimiento cero para verificar el TVL de LST se expresan de la siguiente manera:

Prueba de reservas de la billetera BTC + LST de LST en Babylon ≥ Suministro total de LST

BTC de LST en Babylon

· De acuerdo con las especificaciones de transacción de Babylon: Para que una transacción se considere una transacción de staking válida, debe cumplir con las siguientes condiciones:

· Las transacciones deben tener una salida Taproot, y la ruta de gasto de la clave debe estar deshabilitada, y ser presentadas a un árbol de scripts compuesto por los siguientes tres scripts: script de bloqueo de tiempo (timelock script), script de desbonding (unbonding script), script de reducción (slashing script). Esta salida se denomina staking_output, y su valor se llama staking_amount.

· La transacción debe incluir una salida OP_RETURN que contenga lo siguiente: global_parameters.tag, version, staker_pk (clave pública del apostador), finality_provider_pk (clave pública del proveedor de finalización), staking_time (tiempo de staking).

Para verificar el BTC apostado en LST en Babylon, primero necesitamos comprobar la validez de la transacción de staking. Por ejemplo, verificar si la salida Taproot y OP_RETURN contienen la misma clave pública.

Prueba de reservas de la billetera LST

Podemos adoptar un protocolo estándar de prueba de reservas, como el protocolo de prueba de reservas propuesto por Vitalik Buterin: https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html.

Además, Shumo y otros propusieron una versión ligeramente mejorada.

Lectura adicional: SNARKed Merkle Sum Tree: Propuesta de protocolo de prueba de reservas de Vitalik.

El único detalle técnico es que necesitamos reemplazar el algoritmo de firma utilizado en Ethereum por el que utiliza Bitcoin. Por ejemplo, aunque tanto Bitcoin como Ethereum utilizan ECDSA, Bitcoin eligió SHA en lugar de Keccak como su algoritmo de hash seguro.

Suministro total de LST

Esta es una entrada pública proporcionada por el usuario.

La verificación de TVL mediante pruebas de conocimiento cero puede efectivamente minimizar el riesgo contraparte, al tiempo que reduce la barrera de entrada para que cualquier usuario verifique los resultados.

El camino hacia el futuro de BTCFi

Bitcoin ha representado confianza, descentralización y transparencia. Sin embargo, con la proliferación de datos de TVL falsos en el campo del staking de Bitcoin, estos principios fundamentales enfrentan el riesgo de ser erosionados.

La solución es muy clara: la verificación de TVL lograda a través de pruebas de conocimiento cero proporciona un camino claro hacia una verdadera rendición de cuentas.

Al eliminar la dependencia de la confianza, permitiendo que las reservas puedan ser verificadas por cualquiera, podemos restaurar la confianza de los usuarios en los LSTs de Bitcoin y asegurar que BTCFi prospere sobre una base 'real'.

Participación continua

Creemos en el poder del progreso colectivo. Aquí hay formas en que puede ayudar a impulsar este proceso:

· Proporcionar más análisis de verificación de TVL: Ayudar a ampliar el alcance de las herramientas y contribuir con análisis transparentes para otros protocolos de BTCFi. La transparencia es un esfuerzo colectivo de todo el ecosistema.

· Contribuir con PR: Mejorar herramientas o sugerir nuevas funcionalidades (por ejemplo, implementación de zk-proofs).

· Establecer estándares de la industria: Colabore con nosotros para crear estándares de transparencia de BTCFi que sean públicos y verificables.

· Difundir información: Comparte este artículo para aumentar la conciencia sobre la necesidad de verificación de TVL sin confianza.

Anexo: enlace al texto completo del informe y dirección de la herramienta de verificación de código abierto.

Enlace a Proof of TVL en GitHub

Enlace al informe original