Bulletproofs

¿Qué son los Bulletproofs?

Los Bulletproofs son pruebas breves de conocimiento cero que permiten demostrar que una afirmación es cierta sin revelar la información privada que la sustenta.

En las criptomonedas, los Bulletproofs son conocidos sobre todo por hacer más eficientes las transacciones confidenciales al demostrar que los importes ocultos de una transacción son válidos.

Un usuario puede demostrar que un importe oculto se encuentra dentro de un rango permitido, por ejemplo, que es mayor o igual a cero y menor que un valor máximo, sin mostrar el importe real.

Esto es importante porque una transacción privada con criptomonedas debe ocultar datos sensibles y, al mismo tiempo, permitir que la red verifique que no se han creado monedas de la nada.

El Stanford Applied Crypto Group describe los Bulletproofs como pruebas breves, no interactivas y de conocimiento cero que no requieren una configuración de confianza.

El artículo de investigación original, Bulletproofs: Short Proofs for Confidential Transactions and More, explica que el tamaño de la prueba Bulletproof crece de forma logarítmica con el tamaño del testigo.

En pocas palabras, los Bulletproofs ayudan a las blockchains a proteger la privacidad sin hacer que cada transacción privada ocupe demasiado espacio.

Son especialmente útiles para las pruebas de rango, que demuestran que un número oculto está dentro de un rango válido.

Por qué son importantes los Bulletproofs en el mundo cripto

Los Bulletproofs son importantes porque, por defecto, las blockchains públicas son transparentes.

En muchas blockchains, cualquiera puede consultar direcciones, importes de transacciones, historiales de transacciones y actividad de los contratos inteligentes.

Esta transparencia facilita la verificación, pero también puede reducir la privacidad financiera.

Los sistemas de transacciones confidenciales intentan resolver este problema ocultando los importes de las transacciones y permitiendo que la red compruebe que son válidas.

El reto es que ocultar los importes plantea un problema importante.

Aunque los validadores no puedan ver el importe, necesitan una forma de saber que el emisor no está creando un resultado negativo ni acuñando monedas adicionales en secreto.

Los Bulletproofs resuelven parte de este problema al demostrar que los valores ocultos están dentro de un rango válido.

Así, la privacidad y la verificación pueden funcionar conjuntamente.

Sin pruebas de rango eficientes, las transacciones confidenciales pueden ser demasiado grandes, lentas o caras para utilizarse en la práctica en una blockchain.

Bulletproofs explicados de forma sencilla

Imagina que alguien quiere demostrar que tiene edad suficiente para entrar en un edificio sin revelar su fecha exacta de nacimiento.

No quiere revelar su edad, pero el guardia necesita pruebas de que cumple el requisito.

Una prueba de conocimiento cero puede permitirle demostrar que cumple el requisito de edad sin revelar ese dato privado.

Los Bulletproofs aplican una idea similar a los números ocultos de las transacciones cripto.

Un usuario puede ocultar el importe de la transacción y, aun así, demostrar que cumple las reglas.

La red no conoce el valor exacto.

Solo sabe que el valor es válido.

Esto es importante porque los sistemas de criptomonedas necesitan una verificación pública, pero puede que los usuarios no quieran que todos sus datos financieros queden expuestos para siempre.

¿Qué problema resuelven los Bulletproofs?

Los Bulletproofs resuelven principalmente el problema de la validación privada eficiente.

En las transacciones confidenciales, los importes se ocultan mediante compromisos criptográficos.

Un compromiso permite fijar un valor sin revelarlo.

Sin embargo, un compromiso por sí solo no basta, porque un usuario malicioso podría comprometerse con un valor no válido.

Por ejemplo, un usuario podría intentar crear una transacción que pareciera estar equilibrada matemáticamente, pero que en realidad utilizara un valor negativo oculto para crear monedas adicionales.

Una prueba de rango evita este problema al demostrar que el valor comprometido está dentro de un rango válido.

Antes de los Bulletproofs, las pruebas de rango podían ser grandes y costosas para las blockchains.

Los Bulletproofs redujeron considerablemente su tamaño, lo que contribuyó a que los sistemas de transacciones centrados en la privacidad resultaran más prácticos.

Por eso, los Bulletproofs se convirtieron en una herramienta importante para la investigación y la implementación de la privacidad cripto.

Cómo funcionan los Bulletproofs a grandes rasgos

Los Bulletproofs utilizan compromisos criptográficos, argumentos de producto interno y técnicas de conocimiento cero para demostrar afirmaciones sobre valores ocultos.

El probador es la persona o el software que crea la prueba.

El verificador es la persona, el nodo o la red que comprueba la prueba.

El probador conoce un valor secreto, como el importe de una transacción.

El probador crea una prueba de que el valor cumple una regla, por ejemplo, que está dentro de un rango válido.

El verificador comprueba la prueba y queda convencido de que se cumple la regla.

El verificador no descubre el propio valor secreto.

Esta es la propiedad de conocimiento cero.

Los Bulletproofs también son no interactivos, lo que significa que el probador puede crear una única prueba que cualquiera podrá verificar más adelante sin necesidad de mantener una conversación en tiempo real.

Esto resulta muy útil en las blockchains, porque las pruebas de las transacciones deben difundirse, almacenarse y ser verificadas por muchos participantes.

¿Qué es una prueba de rango?

Una prueba de rango es una prueba criptográfica de que un número oculto está dentro de un rango específico.

En el mundo cripto, un ejemplo habitual es demostrar que un resultado oculto de una transacción no es negativo y no supera un máximo válido.

Esto es importante porque la validación de una blockchain debe evitar errores de inflación y transacciones no válidas.

Si los importes son visibles, los nodos pueden comprobar directamente los números.

Si los importes están ocultos, los nodos necesitan otra forma de verificar la misma regla.

Una prueba de rango ofrece esa garantía a los nodos sin revelar el importe real.

Los Bulletproofs son muy conocidos porque hicieron que las pruebas de rango fueran más breves y prácticas para los sistemas de transacciones confidenciales.

Permiten que las transacciones que preservan la privacidad se mantengan dentro de unos límites más próximos a los tamaños y requisitos de verificación de las blockchains del mundo real.

¿Qué es un compromiso de Pedersen?

Un compromiso de Pedersen es un método criptográfico que permite a un usuario comprometerse con un valor y mantenerlo oculto.

Se utiliza habitualmente en diseños de transacciones confidenciales.

El compromiso oculta el importe, pero permite realizar determinadas comprobaciones matemáticas.

Por ejemplo, una red puede comprobar que los totales de las entradas y salidas comprometidas coinciden sin conocer los importes reales.

Sin embargo, los compromisos de Pedersen necesitan pruebas de rango porque los valores ocultos pueden comportarse de forma inesperada en la aritmética modular.

Una transacción que parece estar equilibrada todavía podría ser inválida si los valores ocultos están fuera del rango permitido.

Los Bulletproofs ofrecen una forma eficiente de demostrar que esos valores comprometidos son válidos.

Esta combinación es una de las razones por las que los Bulletproofs son importantes para diseñar criptomonedas centradas en la privacidad.

Por qué es importante no requerir una configuración de confianza

Una de las principales ventajas de los Bulletproofs es que no requieren una configuración de confianza.

Una configuración de confianza es una ceremonia de inicialización especial que genera parámetros públicos para algunos sistemas de pruebas de conocimiento cero.

Si el material secreto de esa configuración no se destruye correctamente, la seguridad del sistema puede verse comprometida.

En algunos sistemas de pruebas, una configuración comprometida podría permitir que alguien creara pruebas falsas.

En las criptomonedas, este riesgo es grave porque las pruebas falsas podrían poner en peligro la integridad monetaria.

Los Bulletproofs evitan esta categoría de riesgo de configuración.

Esto no significa que los Bulletproofs estén libres de riesgos.

Significa que no dependen de una ceremonia de configuración de confianza como ocurre con otros sistemas de conocimiento cero.

Para las comunidades blockchain que valoran la verificabilidad pública y la reducción de la confianza necesaria, esta es una ventaja importante.

Bulletproofs y transacciones confidenciales

Las transacciones confidenciales ocultan los importes de las transacciones y, al mismo tiempo, permiten que la red verifique que el dinero se conserva.

Los Bulletproofs son útiles en las transacciones confidenciales porque demuestran que los resultados ocultos están dentro de rangos válidos.

Sin esta prueba, un usuario malicioso podría aprovecharse de los importes ocultos para crear transacciones no válidas.

Con los Bulletproofs, la red puede rechazar importes ocultos no válidos sin conocer los valores reales.

Esto favorece una mayor privacidad financiera en los registros públicos.

Los sistemas de transacciones confidenciales pueden dificultar que terceros rastreen con facilidad los importes de los pagos, los saldos, la actividad empresarial o los patrones de gasto personal.

Sin embargo, las transacciones confidenciales no lo ocultan todo automáticamente.

Otros metadatos, el comportamiento de la red, los errores de las carteras, los patrones horarios o la reutilización de direcciones todavía pueden perjudicar la privacidad.

Los Bulletproofs son un elemento básico de privacidad, no un sistema de privacidad completo por sí solos.

Bulletproofs y tamaño de las transacciones

El tamaño de las transacciones es un problema importante para cualquier sistema de privacidad de blockchain.

Las transacciones más grandes requieren más almacenamiento, tienen comisiones más elevadas y necesitan más ancho de banda.

Si las transacciones privadas ocupan demasiado espacio, los usuarios pueden evitarlas o puede resultar más difícil mantener la red.

Los Bulletproofs se popularizaron porque pueden reducir el tamaño de las pruebas de rango frente a métodos anteriores.

El artículo original sobre Bulletproofs explica que el tamaño de la prueba es logarítmico con respecto al tamaño del testigo, lo que significa que crece lentamente a medida que aumenta el tamaño de la afirmación.

Esto es valioso para las pruebas de rango agregadas, que permiten demostrar varios resultados conjuntamente de forma más eficiente.

Las pruebas más pequeñas pueden reducir el crecimiento excesivo de la blockchain y hacer más prácticas las transacciones privadas.

También pueden contribuir a reducir las comisiones de transacción cuando estas dependen del tamaño de la transacción.

Por eso, a menudo se considera que los Bulletproofs mejoran tanto la privacidad como la eficiencia.

Bulletproofs y velocidad de verificación

Los Bulletproofs son breves, pero su verificación puede ser más costosa que la de otros sistemas de pruebas.

La página de Stanford sobre Bulletproofs indica que verificarlos puede llevar más tiempo que verificar algunos sistemas de pruebas sucintas.

Esto crea una contrapartida.

Los Bulletproofs evitan la configuración de confianza y generan pruebas compactas, pero pueden exigir más trabajo al verificador que ciertas alternativas.

En las blockchains, el coste de verificación es importante porque muchos nodos pueden tener que comprobar numerosas pruebas.

Si la verificación es demasiado lenta, puede resultar más difícil ejecutar nodos completos.

Esto puede perjudicar a la descentralización.

Un buen diseño de protocolo debe equilibrar el tamaño de la prueba, el tiempo de verificación, el tiempo de generación de la prueba, la seguridad de la implementación y el uso de recursos de la red.

Los Bulletproofs resultan atractivos porque ofrecen un buen equilibrio para las pruebas de rango, pero no son la mejor opción para todos los casos de uso de conocimiento cero.

Bulletproofs frente a zk-SNARKs

Los Bulletproofs y los zk-SNARKs son tecnologías de pruebas de conocimiento cero, pero presentan distintas contrapartidas.

Los Bulletproofs no requieren una configuración de confianza.

Muchos sistemas zk-SNARK tradicionales sí requieren una configuración de confianza, aunque los diseños más recientes y sus configuraciones varían según el protocolo.

Las pruebas zk-SNARK pueden ser extremadamente pequeñas y rápidas de verificar.

Los Bulletproofs suelen ser más grandes que las pruebas SNARK y pueden tardar más en verificarse.

Sin embargo, los Bulletproofs resultan atractivos cuando un proyecto necesita pruebas de rango eficientes sin el riesgo de una ceremonia de configuración.

Los zk-SNARKs suelen utilizarse para cálculos privados más generales, pruebas de escalado y sistemas complejos de validez.

Los Bulletproofs son especialmente conocidos por las pruebas de rango en transacciones confidenciales.

La opción más adecuada depende de la aplicación, las hipótesis de confianza, los requisitos de rendimiento, la madurez de la implementación y el modelo de seguridad.

Bulletproofs frente a STARKs

Los Bulletproofs y los STARKs también responden a objetivos de diseño distintos.

Los STARKs son sistemas de pruebas transparentes que pueden respaldar cálculos de gran tamaño y no requieren una configuración de confianza.

Las pruebas STARK suelen ser más grandes que las pruebas SNARK, pero pueden ser eficaces para cálculos escalables y pruebas de validez.

Los Bulletproofs se suelen tratar en el contexto de las pruebas de rango compactas y las transacciones confidenciales.

Los STARKs se suelen tratar en relación con los sistemas de escalado, los rollups de validez y las pruebas de cálculos de gran tamaño.

Ambas tecnologías forman parte del panorama más amplio de las pruebas de conocimiento cero y el cálculo verificable.

No son sustitutos directos en todos los casos.

Un protocolo puede elegir Bulletproofs para las pruebas de rango de importes ocultos y otro sistema de pruebas para las pruebas de ejecución de gran tamaño.

Entender estas diferencias ayuda a evitar pensar que todas las pruebas de conocimiento cero resuelven el mismo problema de la misma forma.

Bulletproofs y agregación

La agregación es una de las características más útiles de los Bulletproofs en las transacciones cripto.

Una prueba agregada puede combinar varias pruebas de rango en una prueba total más pequeña que si se demostrara cada resultado por separado.

Esto es importante porque una transacción puede tener más de un resultado.

Sin agregación, cada resultado podría añadir una gran carga de prueba.

Con la agregación, la transacción puede demostrar varios resultados ocultos de forma más eficiente.

Esto ayuda a reducir el tamaño de la transacción y hace que las transacciones confidenciales sean más escalables.

La agregación resulta especialmente útil cuando una cartera crea varios resultados, como un pago y la devolución del cambio.

También puede ayudar a los sistemas en los que varios participantes contribuyen a una transacción o un lote.

El resultado práctico es que las transacciones privadas pueden ocupar menos espacio y ser más eficientes para la red.

Bulletproofs y computación multipartita

En algunos diseños, los Bulletproofs también pueden respaldar la generación de pruebas multipartita.

Esto significa que varias partes pueden colaborar para crear una prueba sin revelarse entre sí sus datos privados de entrada.

En el ámbito cripto, esto puede ser relevante para transacciones compartidas, construcciones similares a CoinJoin, sistemas de activos confidenciales y protocolos colaborativos.

Un diseño de Bulletproof multipartito debe implementarse con cuidado, ya que la coordinación, la aleatoriedad, la comunicación y los participantes maliciosos pueden generar riesgos.

Si un participante actúa de forma incorrecta, el protocolo puede necesitar un mecanismo para detectar el problema o recuperarse de él.

La generación de pruebas multipartita puede mejorar la privacidad y la eficiencia, pero también aumenta la complejidad de ingeniería.

Por eso, los sistemas de producción necesitan auditorías minuciosas y una revisión criptográfica rigurosa antes de utilizar funciones avanzadas de Bulletproofs.

La criptografía puede ser segura en teoría, pero insegura en la práctica si la implementación es defectuosa.

Bulletproofs+ y otras variantes recientes

Bulletproofs+ es una versión mejorada de Bulletproofs, diseñada para reducir el tamaño de las pruebas de rango y aumentar su eficiencia.

La explicación de Bulletproofs+ de GetMonero lo describe como un sistema más eficiente para generar pruebas de rango en protocolos de transacciones confidenciales.

El artículo sobre Bulletproofs+ presenta argumentos de conocimiento cero más breves para pruebas de rango y circuitos aritméticos sin una configuración de confianza.

Investigaciones más recientes, como Bulletproofs++, también exploran nuevas mejoras de eficiencia para las pruebas de rango y los activos confidenciales.

Estas variantes demuestran que la tecnología Bulletproof no es inmutable.

Los investigadores siguen mejorando el tamaño de las pruebas, el tiempo de generación, el tiempo de verificación y el diseño de implementación.

Para los usuarios, la lección importante es que «Bulletproofs» puede referirse al sistema de pruebas original o a una familia de mejoras relacionadas.

Para los desarrolladores, la versión concreta es importante porque las distintas variantes tienen formatos de prueba, hipótesis de seguridad, perfiles de rendimiento y requisitos de compatibilidad diferentes.

Bulletproofs en las criptomonedas de privacidad

Los Bulletproofs se asocian estrechamente con sistemas de criptomonedas centrados en la privacidad que ocultan los importes de las transacciones.

En estos sistemas, las pruebas de rango son necesarias porque los validadores deben comprobar que los importes ocultos son válidos.

Algunas redes centradas en la privacidad pasaron de sistemas de pruebas de rango anteriores a los Bulletproofs porque las pruebas más pequeñas pueden reducir el tamaño de las transacciones y la carga de verificación.

La entrada del glosario de GetMonero sobre Bulletproofs explica que el tamaño de estas pruebas crece de forma logarítmica con el tamaño de los datos demostrados.

Esto hizo que los Bulletproofs resultaran atractivos para las redes blockchain en las que cada byte puede afectar a las comisiones, el almacenamiento y los costes de mantenimiento de los nodos a largo plazo.

Sin embargo, los usuarios deben entender que los Bulletproofs se centran principalmente en garantizar la validez de los importes ocultos.

No ocultan automáticamente la identidad del emisor, la del receptor, la dirección IP, el comportamiento de la cartera ni la actividad en los exchanges.

Un protocolo de privacidad completo debe combinar varias técnicas para proteger distintos elementos de la información de las transacciones.

Bulletproofs e importes ocultos

Los importes ocultos son uno de los casos de uso más importantes de los Bulletproofs.

En una blockchain transparente, ver el importe puede revelar el patrimonio personal, los ingresos de una empresa, los pagos a proveedores, las pautas de nóminas o el comportamiento de trading.

En los sistemas de transacciones confidenciales, el importe se oculta en un compromiso.

Los Bulletproofs permiten que la red compruebe que el importe oculto es válido sin revelarlo.

Esto ayuda a prevenir la inflación y, al mismo tiempo, preserva la confidencialidad.

El resultado es un modelo de privacidad más sólido para los valores de las transacciones.

Aun así, la privacidad de los importes es solo una parte de la privacidad financiera.

Si los datos externos permiten vincular una dirección a una persona, los metadatos todavía pueden revelar información importante.

Por esta razón, las carteras y los protocolos centrados en la privacidad suelen combinar la ocultación de importes con otras herramientas de privacidad.

Bulletproofs y protección contra la inflación

La protección contra la inflación es una de las funciones de seguridad más importantes de los Bulletproofs en las transacciones confidenciales.

Una red de criptomonedas debe garantizar que los usuarios no puedan crear monedas adicionales mediante transacciones no válidas.

Cuando los importes son visibles, esta comprobación es sencilla porque los nodos pueden sumar directamente los números.

Cuando los importes están ocultos, la red necesita pruebas criptográficas de que los valores comprometidos respetan las reglas de oferta.

Los Bulletproofs contribuyen a ello al demostrar que cada resultado oculto está dentro de un rango válido.

Esto evita trucos relacionados con valores negativos o valores que dan la vuelta al superar un campo finito.

Si faltaran las pruebas de rango o estuvieran defectuosas, los sistemas de valores ocultos podrían dejar de ser seguros.

Por eso, la calidad de la implementación de Bulletproofs es fundamental.

Una función de privacidad nunca debería debilitar la solidez monetaria de la criptomoneda.

Bulletproofs y escalabilidad de blockchain

Los Bulletproofs no son una solución de escalado general como una red de capa 2, pero pueden mejorar la escalabilidad de las transacciones privadas.

Reducen el tamaño de las pruebas frente a métodos de pruebas de rango anteriores.

Las pruebas más pequeñas pueden reducir el peso de las transacciones, el crecimiento del almacenamiento, el uso del ancho de banda y la presión sobre las comisiones.

Esto es importante porque las funciones de privacidad suelen añadir datos adicionales a las transacciones.

Si la privacidad resulta demasiado cara, puede que solo la utilicen unos pocos usuarios.

Si solo unos pocos usuarios utilizan la privacidad, el conjunto de privacidad puede ser menos sólido.

Al hacer más eficientes las transacciones privadas, los Bulletproofs pueden favorecer un uso práctico más amplio de los sistemas de transacciones confidenciales.

La eficiencia no es solo una cuestión de costes.

También puede afectar a la descentralización, ya que unos requisitos de recursos más bajos facilitan que más usuarios ejecuten nodos validadores.

Bulletproofs y contratos inteligentes

Los Bulletproofs también pueden utilizarse para demostrar afirmaciones que van más allá de las simples pruebas de rango.

El artículo original trata las pruebas de circuitos aritméticos generales, lo que significa que los Bulletproofs pueden representar afirmaciones más complejas que «este número está dentro de un rango».

En los sistemas de contratos inteligentes, esto podría servir, en teoría, para reglas privadas, saldos ocultos, activos confidenciales o divulgación selectiva.

Sin embargo, los Bulletproofs no siempre son el mejor sistema de pruebas para cálculos grandes en contratos inteligentes.

El coste de verificación y el diseño de las pruebas pueden hacer que otros sistemas sean más prácticos para determinadas aplicaciones blockchain.

Los desarrolladores de contratos inteligentes también deben tener en cuenta los costes de gas, las bibliotecas de verificación de pruebas, la compatibilidad con curvas y la complejidad de las auditorías.

Un sistema de pruebas que funciona bien en la investigación académica puede seguir siendo difícil de desplegar de forma segura en contratos inteligentes de producción.

Por eso, muchos proyectos blockchain eligen sistemas de pruebas en función de requisitos muy concretos de rendimiento y confianza.

Hipótesis de seguridad de Bulletproofs

Los Bulletproofs se basan en hipótesis criptográficas habituales, especialmente las relacionadas con los logaritmos discretos en determinados grupos.

La seguridad de una implementación de Bulletproofs depende de la corrección matemática, la elección segura de curvas, la generación segura de aleatoriedad y un código minucioso.

Si la aleatoriedad es débil, pueden filtrarse valores privados.

Si el código de implementación tiene errores, podrían aceptarse pruebas no válidas o rechazarse pruebas válidas.

Si la separación de dominios se gestiona mal, las pruebas podrían reutilizarse o interpretarse de forma incorrecta en distintos contextos.

Si la integración en el protocolo es incorrecta, una prueba matemáticamente sólida podría no proteger el sistema en su conjunto.

Esto significa que la seguridad de Bulletproofs no depende solo del artículo de investigación.

También depende de la ingeniería de software, las auditorías, las pruebas, la revisión formal y un despliegue seguro.

Los sistemas criptográficos deben tratarse como una infraestructura de alto riesgo cuando protegen activos cripto reales.

Malentendidos habituales sobre Bulletproofs

Un malentendido habitual es pensar que los Bulletproofs anonimiza por sí solos una transacción completa.

No es así.

Los Bulletproofs demuestran principalmente afirmaciones sobre valores ocultos, especialmente sobre rangos.

No ocultan automáticamente los metadatos de la red, las huellas de las carteras, la identidad del emisor o del receptor ni los patrones horarios.

Otro malentendido es que los Bulletproofs hacen que las transacciones sean gratuitas o instantáneas.

No es así.

Reducen determinados tamaños de prueba, pero siguen requiriendo cálculos y espacio en la blockchain.

Un tercer malentendido es pensar que no necesitar una configuración de confianza significa no necesitar confiar en nada.

No requerir una configuración de confianza elimina un problema concreto de confianza, pero los usuarios siguen confiando en el diseño del protocolo, la implementación, el software de las carteras y las reglas de consenso.

Un cuarto malentendido es creer que todas las pruebas de conocimiento cero son iguales.

Los Bulletproofs presentan contrapartidas diferentes a las de los SNARKs, los STARKs y otros sistemas de pruebas.

Ventajas de Bulletproofs

La primera gran ventaja de los Bulletproofs es que no requieren una configuración de confianza.

Esto reduce el riesgo de que se comprometa una ceremonia de configuración.

La segunda ventaja es el reducido tamaño de las pruebas de rango.

Esto hace que las transacciones confidenciales sean más prácticas en las blockchains.

La tercera ventaja es la agregación.

Se pueden combinar varias pruebas de rango de forma más eficiente que si se demostrara cada valor por separado.

La cuarta ventaja es el sólido apoyo a la privacidad.

Los Bulletproofs permiten que los validadores comprueben valores ocultos sin llegar a conocerlos.

La quinta ventaja es la flexibilidad.

Los Bulletproofs pueden demostrar afirmaciones aritméticas más generales, aunque las pruebas de rango siguen siendo su caso de uso más conocido en el mundo cripto.

Estas ventajas explican por qué los Bulletproofs se convirtieron en un hito importante en la investigación sobre privacidad blockchain.

Limitaciones de Bulletproofs

La primera limitación es el coste de verificación.

Los Bulletproofs pueden ser más lentos de verificar que otros sistemas de pruebas con pruebas muy pequeñas y verificación rápida.

La segunda limitación es la complejidad.

La implementación segura de Bulletproofs requiere conocimientos avanzados de ingeniería criptográfica.

La tercera limitación es que los Bulletproofs solo protegen la afirmación que se demuestra.

Si el sistema demuestra únicamente que un importe está dentro de un rango, otros detalles de la transacción todavía pueden filtrarse por otros canales.

La cuarta limitación es que los Bulletproofs no son automáticamente ideales para todos los casos de uso de contratos inteligentes o escalado.

Otros sistemas de pruebas pueden ser más adecuados para pruebas de cálculos grandes o sistemas de validez de alto rendimiento.

La quinta limitación es que las actualizaciones pueden resultar difíciles.

Una blockchain que cambia su sistema de pruebas debe coordinar las carteras, los nodos, las bibliotecas, las auditorías y las reglas de consenso.

Estas limitaciones no hacen que los Bulletproofs sean débiles.

Demuestran que cada sistema de pruebas debe elegirse para el cometido adecuado.

Bulletproofs y usuarios de carteras

La mayoría de los usuarios de carteras no necesitan entender toda la matemática de los Bulletproofs.

Sin embargo, sí deberían comprender sus implicaciones prácticas.

Si una cartera o una blockchain utiliza Bulletproofs, puede estar empleándolos para ocultar los importes de las transacciones y demostrar que son válidos.

Esto puede mejorar la privacidad y reducir el tamaño de las transacciones frente a métodos anteriores de pruebas de rango.

Aun así, los usuarios deberían seguir buenas prácticas de privacidad.

Deberían evitar reutilizar direcciones cuando el modelo de la cartera recomiende utilizar direcciones únicas.

Deberían proteger las frases de recuperación y las claves privadas.

Deberían evitar filtrar información de las transacciones mediante capturas de pantalla, publicaciones públicas o conexiones inseguras de la cartera.

Deberían entender que la privacidad criptográfica es más sólida cuando el comportamiento del usuario también la protege.

Bulletproofs y desarrolladores

Los desarrolladores deberían tratar los Bulletproofs como una infraestructura criptográfica especializada.

No deberían crear implementaciones propias salvo que cuenten con amplios conocimientos de criptografía y una revisión independiente.

Por lo general, es más seguro utilizar bibliotecas maduras y auditadas, y seguir las directrices específicas del protocolo.

La biblioteca Dalek Bulletproofs es un ejemplo de implementación centrada en pruebas de rango, pruebas de rango agregadas y herramientas relacionadas.

Los desarrolladores deben comprobar si una biblioteca recibe mantenimiento, ha sido auditada, es compatible con las curvas elegidas y resulta adecuada para su uso en producción.

También deben probar los casos límite, las pruebas no válidas, el comportamiento de la verificación por lotes, el tratamiento de las transcripciones y la integración con los compromisos.

La mayoría de los fallos graves no se producen porque la idea criptográfica sea débil, sino porque la implementación o la integración son incorrectas.

En las aplicaciones cripto, un error de este tipo puede provocar una pérdida financiera permanente.

Bulletproofs y auditorías

Las auditorías son fundamentales para los sistemas que utilizan Bulletproofs.

Una revisión de seguridad debería comprobar la generación y la verificación de las pruebas, la construcción de compromisos, la generación de números aleatorios, la vinculación de transcripciones y la integración en el protocolo.

También debería comprobar que los valores no válidos no puedan superar la verificación.

La verificación por lotes debe revisarse con cuidado, ya que las optimizaciones de rendimiento pueden introducir riesgos sutiles en algunos casos.

También debería probarse la integración de la cartera, porque un sistema de pruebas correcto todavía puede filtrar información si la cartera gestiona mal los metadatos.

La revisión criptográfica independiente es especialmente importante antes de que una blockchain active una actualización del sistema de pruebas.

Una vez que un sistema de pruebas forma parte del consenso, corregir errores puede ser difícil.

Por este motivo, los protocolos cripto centrados en la privacidad suelen realizar largos periodos de pruebas, revisiones públicas y varias auditorías antes del despliegue.

Bulletproofs y debates sobre regulación

Los Bulletproofs pueden aparecer en los debates sobre regulación porque mejoran la privacidad de las transacciones con criptomonedas.

La privacidad puede proteger a usuarios, empresas y comunidades de la vigilancia no deseada.

También puede plantear problemas a los equipos de cumplimiento cuando resulta más difícil inspeccionar los detalles de las transacciones.

La tecnología en sí es neutral.

Es un método criptográfico para demostrar que cierta información oculta es válida.

Su uso depende del protocolo, la cartera, el proceso empresarial y el entorno jurídico.

Algunos sistemas pueden utilizar pruebas de conocimiento cero para la divulgación selectiva, en la que los usuarios demuestran determinados hechos sin revelarlo todo.

Esto podría facilitar en el futuro el cumplimiento que preserva la privacidad.

Lo importante es que los Bulletproofs no consisten simplemente en ocultar datos.

Sirven para demostrar que algo es correcto revelando menos información de la que exigen los sistemas tradicionales.

El futuro de Bulletproofs

Es probable que el futuro de los Bulletproofs se centre en mejorar la eficiencia, hacer más seguras las implementaciones y desarrollar variantes más especializadas.

Bulletproofs+ ya ha mejorado la eficiencia de las pruebas de rango en algunos sistemas de transacciones confidenciales.

Bulletproofs++ y otras investigaciones relacionadas siguen explorando diseños de pruebas más pequeños y rápidos.

Al mismo tiempo, otros sistemas de pruebas están mejorando rápidamente.

Esto significa que los Bulletproofs seguirán formando parte de un conjunto más amplio de herramientas de conocimiento cero, en lugar de ser la única solución.

Probablemente seguirán siendo relevantes cuando sean especialmente importantes la ausencia de configuración de confianza, las pruebas de rango compactas y la compatibilidad con transacciones confidenciales.

Puede que tengan menos peso en aplicaciones que necesiten una verificación extremadamente rápida de cálculos de gran tamaño.

La industria cripto seguirá comparando los sistemas de pruebas en función de las hipótesis de confianza, el tamaño de las pruebas, el coste de verificación, las herramientas para desarrolladores y la madurez de la seguridad.

Los Bulletproofs se ganaron su lugar porque hicieron mucho más eficientes las pruebas de rango privadas en la práctica.

Preguntas frecuentes

¿Qué son los Bulletproofs en el mundo cripto?

Los Bulletproofs son pruebas breves de conocimiento cero utilizadas en el mundo cripto para demostrar que valores ocultos, como los importes confidenciales de una transacción, son válidos sin revelarlos.

¿Para qué se utilizan los Bulletproofs?

Los Bulletproofs se utilizan principalmente para generar pruebas de rango eficientes en sistemas de transacciones confidenciales, aunque también pueden respaldar afirmaciones aritméticas más generales.

¿Los Bulletproofs requieren una configuración de confianza?

No, los Bulletproofs no requieren una configuración de confianza, lo que constituye una de sus principales ventajas frente a otros sistemas de pruebas de conocimiento cero.

¿Qué es una prueba de rango?

Una prueba de rango demuestra que un número oculto está dentro de un rango permitido sin revelar el propio número.

¿Por qué necesitan Bulletproofs las transacciones confidenciales?

Las transacciones confidenciales necesitan pruebas de rango para que la red pueda verificar que los importes ocultos son válidos y que no se están creando monedas adicionales.

¿Los Bulletproofs hacen que las transacciones sean totalmente anónimas?

No. Los Bulletproofs pueden ocultar importes y demostrar propiedades sobre ellos, pero la privacidad completa de las transacciones también depende de la privacidad de las direcciones, la protección de metadatos, el comportamiento de la cartera y otras funciones del protocolo.

¿Son mejores los Bulletproofs que los zk-SNARKs?

Los Bulletproofs son mejores para algunos casos de uso porque no requieren una configuración de confianza, mientras que los zk-SNARKs pueden ser más adecuados para otros porque suelen generar pruebas más pequeñas y rápidas de verificar.

¿Qué es Bulletproofs+?

Bulletproofs+ es una versión mejorada de Bulletproofs diseñada para generar pruebas de rango más pequeñas y eficientes, manteniendo la propiedad de no requerir una configuración de confianza.

¿Son seguros los Bulletproofs?

Los Bulletproofs se basan en conceptos criptográficos ampliamente estudiados, pero su seguridad depende de una implementación correcta, parámetros seguros, buena aleatoriedad, auditorías y una integración adecuada en el protocolo blockchain.

¿Pueden los desarrolladores utilizar Bulletproofs en contratos inteligentes?

Los desarrolladores pueden utilizar pruebas del tipo Bulletproof en algunos diseños de contratos inteligentes, pero deben tener en cuenta el coste de verificación, la madurez de las bibliotecas, la compatibilidad con curvas y los requisitos de auditoría.

Conclusión

Los Bulletproofs son un sistema importante de pruebas de conocimiento cero en las criptomonedas porque hacen más eficiente la validación privada.

Permiten a los usuarios demostrar que los importes ocultos de las transacciones son válidos sin revelar los importes.

Esto los hace especialmente útiles para las transacciones confidenciales y las pruebas de rango.

Sus principales ventajas son el reducido tamaño de las pruebas de rango, la compatibilidad con la agregación y la ausencia de una configuración de confianza.

Sus principales limitaciones son el coste de verificación, la complejidad de la implementación y el hecho de que solo protegen la afirmación concreta que se demuestra.

No se deben confundir los Bulletproofs con sistemas de anonimato completos, ya que son solo una parte de un diseño de privacidad más amplio.

Tampoco deben considerarse un sustituto universal de todos los sistemas de pruebas de conocimiento cero.

Para los usuarios cripto, la idea clave es que los Bulletproofs ayudan a las blockchains a verificar de forma segura valores ocultos.

Para los desarrolladores, la idea clave es que los Bulletproofs requieren una implementación cuidadosa, pruebas rigurosas y una revisión independiente.

A medida que evolucionan las tecnologías de privacidad y conocimiento cero, los Bulletproofs y sus variantes más recientes siguen siendo herramientas importantes para crear sistemas de criptomonedas que revelan menos información y, aun así, demuestran que se cumplen las reglas.