Jimmy Song es desarrollador, profesor y autor de Programming Bitcoin. Enseña transacciones, claves y firmas digitales de Bitcoin mediante ejemplos en Python. Su enfoque es práctico: en lugar de depender de una aplicación terminada, el lector construye pequeñas herramientas y observa sus resultados. También publica opiniones sobre el dinero y la sociedad; esos argumentos requieren pruebas distintas de las de un ejercicio de programación.
La biografía de Song describe su trabajo como desarrollador y los seminarios Programming Blockchain. O’Reilly lo identifica como autor de Programming Bitcoin. El hilo común es aprender probando: leer el nombre de un principio no basta para entenderlo. Programarlo obliga a saber qué datos recibe y qué debe devolver. Sin embargo, ser desarrollador no implica por sí solo ser mantenedor de Bitcoin Core ni tener autoridad para decidir las reglas por los demás usuarios. [1] [2]
O’Reilly publicó Programming Bitcoin en 2019. Empieza por los cuerpos finitos, donde se opera con un conjunto limitado de elementos siguiendo reglas precisas, y las curvas elípticas, fundamento matemático de las firmas que enseña. Después vienen claves, firmas, transacciones y mensajes entre computadoras. El lector construye una biblioteca Python, un conjunto de funciones reutilizables en otros programas. No tiene que limitarse a creer que una firma funciona: puede seguir los cálculos. Así conoce el interior de una cartera, no solo sus controles. [2]
Imaginemos que un programa recibe una transacción. Primero reconoce sus partes; descomponer así los datos se llama análisis sintáctico o parsing. Una entrada ordinaria remite a una salida anterior: una cantidad concreta con condiciones para gastarla. Después debe comprobar esas condiciones, como la exigencia de una firma. Ni siquiera una firma correcta demuestra que la salida referenciada siga sin gastarse. Eso exige consultar el estado de la cadena. Los ejercicios de Song ayudan a separar datos legibles, autorización de gasto y validez de la transacción completa. [3]
Obtener un resultado matemático correcto importa, pero un programa de firma seguro necesita más. La biblioteca libsecp256k1 también trata la ejecución en tiempo constante y el acceso a memoria al manejar una clave secreta. El objetivo es evitar que el comportamiento del cálculo revele información sobre el secreto. Es un problema diferente de resolver bien un ejercicio. El código escrito para comprender un principio no puede sustituir automáticamente a una biblioteca criptográfica revisada para fondos reales, aunque ambos verifiquen correctamente la misma firma de prueba. [4]
El repositorio programmingbitcoin ofrece materiales de los capítulos e instrucciones para Jupyter Notebook, un entorno que combina texto, código ejecutable y resultados. Repetir un ejercicio también depende de la versión del código y de sus dependencias, los demás paquetes que utiliza. Una guía antigua de instalación no recomienda automáticamente versiones actuales. Registrar el entorno ayuda a explicar diferencias entre resultados; que funcione en otra computadora no sustituye comprobar la propia ejecución. [5]
El libro de 2019 proporciona una base para leer documentación posterior. No cabe suponer que cubra todas las ampliaciones futuras. Por ejemplo, libsecp256k1 ofrece hoy también Schnorr signatures según BIP340, una especificación de otro esquema de firma utilizado en Bitcoin. Conviene distinguir lo que explica una edición concreta de lo que ofrece una biblioteca actual. Para usar su interfaz, es decir, la forma de llamar a sus funciones, importa la documentación de la versión correspondiente. [2] [4]
En Fiat Ruins Everything, de 2023, Song sostiene que el dinero fiat, las monedas estatales habituales, influye profundamente en las instituciones y que Bitcoin ofrece un remedio. Aquí leemos su interpretación de la sociedad, no un procedimiento para verificar firmas. Esa tesis necesita argumentos y pruebas propios. Resolver correctamente un ejercicio criptográfico no demuestra una tesis social; discrepar de una opinión económica tampoco refuta por sí solo una explicación técnica. Cada parte de su trabajo se puede evaluar con las pruebas adecuadas. [6]
El sitio de Song explica cómo verificar la foto de un objeto autografiado mediante PGP, una herramienta de firmas digitales, y SHA-256, una función que produce una huella del archivo. Una huella coincidente ayuda a comprobar que tenemos el mismo archivo; una firma válida vincula los datos firmados a una clave. Aún falta demostrar a quién pertenece. En esta revisión, la página etiqueta de manera incoherente las claves antigua y nueva, por lo que no reproducimos su identificador abreviado como identidad verificada. Comprobar los datos y confiar en su origen son pasos distintos. [7]
Para obtener la imagen más completa, lee esta entrada junto con Alex Gladstein, Bitcoin Script, Private Key. También enlazan con esta entrada Hackers Congress Paralelní Polis, Cathie Wood.