Andrew Poelstra es matemático e investigador de Bitcoin. Participó en la creación de Miniscript, que facilita describir y analizar condiciones de gasto, y es coautor de Bulletproofs, pruebas criptográficas que verifican ciertas afirmaciones sin revelar datos ocultos. Son resultados de un trabajo compartido.
Las fórmulas suelen responder a necesidades muy humanas: proteger los ahorros o no mostrar a todo el mundo el importe de cada pago. Poelstra trabajó en herramientas que convierten esas necesidades en reglas verificables. En febrero de 2023, Blockstream lo presentó como director de investigación. En su informe del segundo trimestre de 2026, ese título corresponde a Jonas Nick. Un cargo antiguo no describe automáticamente la función actual. Para entender su aportación conviene mirar trabajos y colaboraciones concretos, más allá de una etiqueta profesional. [1] [2]
Imagina gastar normalmente con tu propia clave y preparar otra vía, definida de antemano, que quede disponible tras una espera si pierdes esa clave. No basta con escribir las condiciones: hay que comprobar que significan lo que pretendías. Miniscript ayuda a hacerlo. Su documentación cita como creadores a Pieter Wuille, Andrew Poelstra y Sanket Kanjalkar, además de reconocer conversaciones con otras personas. Se trata de un resultado colectivo; atribuir una contribución a alguien no sustituye el trabajo de los demás. [3]
Bitcoin Script es el lenguaje que define las condiciones de gasto. Miniscript estructura una parte delimitada de ese lenguaje para poder combinar y analizar condiciones. Un compilador, un programa que convierte lo solicitado en una expresión concreta, puede buscar una solución más económica. Si se prevé utilizar la vía habitual más a menudo que la alternativa, puede considerar esa frecuencia en el coste esperado. Esas ponderaciones no hacen que la validez dependa del azar. La vía menos frecuente sigue siendo válida cuando se cumplen sus reglas. [3]
La vía de respaldo también necesita un punto de referencia temporal. Miniscript after expresa un límite absoluto mediante el campo nLockTime de la transacción, como una altura determinada de la cadena. older utiliza la condición relativa nSequence, que mide una espera desde la confirmación de la salida que se quiere gastar. Son referencias distintas, no nombres intercambiables. Cumplir el plazo no envía un pago por sí solo. Puede habilitar una vía, pero siguen haciendo falta sus firmas y demás condiciones, además de crear y confirmar la transacción. [3]
¿Se puede verificar una propiedad de una cantidad sin conocer la cantidad? Bulletproofs permite ese tipo de prueba. Quien verifica puede saber que un número oculto está dentro del intervalo permitido sin averiguar su valor. Stanford enumera a Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille y Greg Maxwell como autores. Un artículo científico no es lo mismo que un programa concreto: la página marca algunas implementaciones como trabajos en curso y un prototipo como inadecuado para producción. Un enlace no basta para recomendar que se confíe dinero al programa. [4]
Algunos sistemas de prueba requieren preparar unos parámetros iniciales cuya seguridad depende de manejar correctamente información secreta. Esa preparación se llama trusted setup. Bulletproofs no la necesita. Es una ventaja, pero no elimina los supuestos criptográficos ni el riesgo de errores de programación. Una prueba pequeña tampoco tiene por qué ser la más rápida de verificar: depende de la tarea y del sistema con que se compare. Conviene separar qué demuestra, en qué descansa su seguridad y cuánto trabajo exige comprobarla. [4]
Cuando las cantidades son visibles, pueden sumarse y compararse. Si están ocultas, las pruebas matemáticas deben proporcionar la garantía correspondiente. En febrero de 2018, Poelstra explicó el rangeproof: una prueba de que la cantidad permanece en el rango permitido y no puede burlar la contabilidad mediante un desbordamiento numérico. Bulletproofs permite reunir pruebas de varios valores en un conjunto más compacto. Su artículo incluye mediciones de velocidad realizadas con equipos concretos, no una velocidad universal de la red. Reducir el tamaño de la prueba alivia una carga, pero no resuelve todas las limitaciones de los pagos. [5]
En abril de 2017, Poelstra describió Confidential Assets para Elements, una plataforma para construir sistemas de blockchain. Puede ocultarse tanto la cantidad como el tipo de activo transferido. Aun así, se verifica que la transferencia no haya creado activos indebidamente ni convertido uno en otro. Emitir unidades y ampliar posteriormente la emisión requiere reglas y autorizaciones específicas. Vuelven a unirse privacidad y verificación pública. Pero una función de Elements no demuestra que exista en la capa base de Bitcoin: hay que distinguir investigación, implementación y red que la utiliza realmente. [6]
Para obtener la imagen más completa, lee esta entrada junto con Mara van der Laan, Rusty Russell, Miniscript. También enlazan con esta entrada Miniscript, Mara van der Laan, Rusty Russell.