Chemaclass - security

Los Cypherpunks

2024-12-11T00:00:00+00:00

A principios de los 90, con el auge de internet, surgió un grupo llamado los Cypherpunks para defender la privacidad digital. Impulsaron el cifrado y la privacidad, moldeando nuestro mundo digital con su visión.

¿Quiénes eran los Cypherpunks? #

El término “Cypherpunk” combina “cipher” (una referencia al cifrado) con “punk”, reflejando el espíritu rebelde y anti-establishment del grupo.

No eran una organización formal, sino una mezcla de visionarios, tecnólogos y activistas unidos por ideales comunes. El movimiento arrancó en 1992, cuando Eric Hughes, Timothy May y John Gilmore crearon la lista de correo cypherpunks. Algunas figuras clave:

Eric Hughes quien escribió “A Cypherpunk’s Manifesto”, estableciendo la base filosófica del movimiento.
Timothy C. May escribió “The Crypto Anarchist Manifesto”, que imaginaba una sociedad donde la criptografía podría fomentar un nuevo orden anárquico.
John Gilmore, cofundador de la Electronic Frontier Foundation (EFF), fue fundamental en la defensa temprana de la privacidad en internet.
Julian Assange, más tarde conocido por WikiLeaks, participó en estas discusiones.
Phil Zimmermann revolucionó la privacidad del email con su creación de PGP.
Jude Milhon (St. Jude), hacker y escritora, acuñó el término “cypherpunk” junto con Eric Hughes.
Nick Szabo trabajó en contratos y monedas digitales, y conceptualizó “bit gold” antes de Bitcoin.
Hal Finney, uno de los primeros desarrolladores de Bitcoin, trabajó en software criptográfico como PGP.
Adam Back creó Hashcash, que luego inspiró la prueba de trabajo de Bitcoin.
Wei Dai propuso “b-money”, una idea temprana para sistemas de dinero digital anónimo, que influyó en el desarrollo de Bitcoin.
Zooko Wilcox-O’Hearn trajo privacidad avanzada a las criptomonedas con su trabajo en Zcash.
David Chaum, conocido como el “padrino de los cypherpunks”, fue pionero del dinero digital con DigiCash (1989). Su trabajo sobre privacidad electrónica precedió e inspiró al movimiento.
Bram Cohen desarrolló BitTorrent, mostrando el ethos cypherpunk de descentralización en el intercambio de archivos.

Su trabajo se basó en la investigación criptográfica fundamental de Whitfield Diffie y Martin Hellman, quienes inventaron la criptografía de clave pública en 1976, haciendo posible la comunicación segura entre desconocidos.

Se reunían online en la lista de correo cypherpunks. En su mejor momento, tenía unos 2000 suscriptores que intercambiaban más de 30 mensajes al día. Su lema: “Cypherpunks write code.” No solo hablaban de privacidad. La construían.

Filosofía y objetivos #

La filosofía central de los Cypherpunks se centraba en la privacidad, la libertad de expresión y el potencial de la criptografía para proteger estos derechos. Sus principios principales incluían:

La privacidad como derecho fundamental: Creían que la privacidad era esencial para la libertad personal y que la comunicación digital debería ser privada.
Descentralización: Desconfiaban del control centralizado sobre la información, así que impulsaron sistemas descentralizados donde cada persona pudiera controlar sus propios datos.
La criptografía como herramienta: Veían el cifrado no solo como un medio para asegurar datos sino como una herramienta política contra la vigilancia y los regímenes opresivos.

Sus objetivos eran #

Crear y promover herramientas para cifrado, anonimato y dinero digital.
Educar al público sobre la importancia de la criptografía.
Resistir los esfuerzos gubernamentales y corporativos para controlar o monitorear las comunicaciones digitales.

Impacto actualmente #

Desarrollo de tecnologías clave #

Los Cypherpunks construyeron herramientas, no solo teorías:

PGP (1991): Cifrado de email para todos
Tor (2002): Navegación anónima a través de enrutamiento cebolla
BitTorrent (2001): Intercambio de archivos descentralizado
Bitcoin (2009): Dinero digital sin bancos
Protocolo Signal: El cifrado detrás de Signal, WhatsApp y otros mensajeros

Cuando envías un mensaje cifrado hoy, estás usando tecnología cypherpunk.

Cambio cultural #

Cambiaron cómo la sociedad ve la privacidad. Antes de ellos, el cifrado era principalmente para gobiernos o expertos. Hoy, es una parte estándar de herramientas como aplicaciones de mensajería y navegadores web. Al promover el cifrado y el anonimato, hicieron de la privacidad una prioridad y animaron a las personas a tomar control de sus datos.

Influencia legal y política: Las Crypto Wars #

Los años 90 vieron una batalla real entre los cypherpunks y los gobiernos, conocida como las “Crypto Wars”. EE.UU. clasificó el cifrado fuerte como arma y prohibió su exportación. Cuando Phil Zimmermann lanzó PGP, fue investigado por “exportar municiones” porque el software se extendió globalmente a través de internet.

Los cypherpunks contraatacaron creativamente. Imprimieron el código fuente de PGP en libros, ya que los libros eran discurso protegido. Usaron camisetas con código de cifrado. Finalmente, ganaron. Las restricciones de exportación se relajaron en 2000. La mensajería cifrada de hoy existe gracias a esa lucha.

Desafíos y críticas #

Los Cypherpunks enfrentan estas críticas principales:

Accesibilidad: Sus herramientas son demasiado complejas para mucha gente. Solo quienes tienen conocimientos técnicos pueden usarlas, dejando al resto fuera.
Riesgo de mal uso: Su tecnología de cifrado puede caer en malas manos. Los Cypherpunks creen que la privacidad es un derecho para todos, pero las autoridades temen que estas herramientas oculten actividades ilegales.

Es la eterna tensión entre privacidad y seguridad en el mundo digital.

Precursores de Bitcoin #

Bitcoin es el resultado más conocido de la filosofía cypherpunk. Encarna sus valores: descentralización, privacidad e independencia del control gubernamental sobre el dinero. El misterioso Satoshi Nakamoto lo compartió por primera vez en la lista de correo cypherpunks en 2008.

Pero Bitcoin no surgió de la nada. Es el resultado de muchos intentos previos dentro de este grupo. Usa ideas de Hashcash (prueba de trabajo), b-money y bit gold, todas reflejando el sueño cypherpunk de una moneda que nadie controle.

DigiCash (eCash) #

David Chaum lo desarrolló a finales de los 80 y lo lanzó en 1990. Fue uno de los primeros intentos de pago electrónico. Usaba criptografía para garantizar privacidad, pero fracasó por problemas de adopción, centralización y el famoso problema del doble gasto.

B-Money #

Wei Dai lo propuso en 1998 como un marco conceptual para dinero electrónico anónimo y distribuido. Quería resolver el doble gasto sin autoridad central, pero nunca se implementó. Sus ideas influyeron en el diseño de Bitcoin.

Bit Gold #

Nick Szabo lo conceptualizó en 1998. Proponía una moneda con propiedades similares al oro usando prueba de trabajo criptográfica. Nunca se terminó, pero contribuyó al desarrollo de Bitcoin, especialmente su sistema de prueba de trabajo.

Hashcash #

Adam Back lo introdujo en 1997. No era una moneda, sino un sistema para combatir el spam de email usando prueba de trabajo. Bitcoin adoptaría este concepto para la minería.

Ninguno de estos proyectos logró crear una moneda digital funcional. Pero sentaron las bases teóricas de Bitcoin al abordar problemas clave: el doble gasto, la privacidad y la descentralización.

Legado cypherpunk #

Bitcoin ha cambiado cómo entendemos el dinero, la privacidad y la seguridad:

Control descentralizado: Bitcoin no es administrado por ningún banco o gobierno, lo que encaja perfectamente con el escepticismo cypherpunk hacia el poder centralizado.
Privacidad: Aunque no es completamente anónimo, las transacciones de Bitcoin usan pseudónimos, ofreciendo cierta protección contra la supervisión financiera.
Transacciones inmutables: Una vez que una transacción está en la blockchain, es casi inalterable, fomentando la confianza en las transacciones digitales.

Bitcoin dio vida a los ideales cypherpunk. Ha provocado debates globales sobre privacidad financiera, la naturaleza del dinero y el poder de la criptografía. Y sigue evolucionando con desarrollos como Lightning Network para transacciones más rápidas y privadas, y Taproot para mayor privacidad.

Lo que dejaron los cypherpunks #

Los cypherpunks demostraron que un pequeño grupo de personas que escriben código pueden cambiar el mundo. Cada mensaje cifrado que envías, cada transacción de Bitcoin, cada navegación anónima: su legado.

La privacidad no está muerta. Ellos se aseguraron de eso.

Enlaces relacionados

Aprende más: ¿Qué es el cifrado PGP? Un tutorial de 3 minutos para principiantes
Artículo de Wikipedia: wikipedia.org/Cypherpunk

Commits de Git Verificados

2024-11-17T00:00:00+00:00

En desarrollo de software, la confianza y la seguridad son clave. Una forma fácil de mejorar ambas: usar commits verificados.

Ya trabajes en open-source o en una empresa privada, los commits verificados aseguran que tus contribuciones son legítimas. Veamos qué son, por qué importan y cómo empezar a usarlos.

¿Qué son los commits verificados? #

Un commit verificado es un commit de Git firmado digitalmente por su autor. La firma demuestra que el commit viene de quien dice haberlo hecho. Herramientas como GPG (GNU Privacy Guard) permiten adjuntar esta firma.

En plataformas como GitHub verás una insignia “Verified” junto a los commits firmados. Es una forma rápida de mostrar que el commit es auténtico.

¿Por qué son importantes? #

Los commits firmados mantienen tus contribuciones auténticas y confiables. La firma criptográfica demuestra que los cambios vinieron de ti. En entornos colaborativos, donde la confianza y la responsabilidad importan mucho, esto es clave.

Sin firmar, cualquiera puede falsificar un commit usando tu email. GitHub lo vincularía a tu perfil, pareciendo que hiciste los cambios aunque no fuera así. Nada bueno.

Al firmar tus commits, demuestras que el trabajo es tuyo. Evitas la suplantación, generas confianza y mantienes todo transparente.

Nota: Para esta demo, usé un email público de Linus Torvalds. Al hacer push, GitHub reconoció el email y lo vinculó a su perfil. Suplantación solo con fines de demo para mostrar los riesgos. Usa siempre tu propio email para commits.

Cómo empezar con commits verificados #

Configura una clave GPG #

Primero necesitas una clave GPG. Así se hace:

Genera una clave GPG:

gpg --full-generate-key

Encuentra tu ID de clave:

gpg --list-secret-keys --keyid-format=long

Dile a Git que use tu clave:

git config --global user.signingkey <tu-id-de-clave>

Haz que firmar commits sea el valor por defecto:

git config --global commit.gpgsign true

Añade tu clave a GitHub/GitLab #

Exporta tu clave pública:

gpg --armor --export <tu-id-de-clave>

Navega a “Settings > SSH and GPG keys,” y pega tu clave.

Empieza a firmar commits #

A partir de ahora, Git firmará tus commits automáticamente.

Si quieres firmar un commit a mano, usa la bandera -S:

git commit -S -m "Tu mensaje de commit"

Puedes verificar la firma del commit con:

git log --show-signature

También puedes hacer clic en la insignia “Verified” en GitHub.

Los commits verificados parecen un paso pequeño, pero hacen tu código más confiable. Una capa extra de protección fácil de añadir. Pruébalo.

Extra: Configuración completa en español #

Enlaces relacionados

Aprende más: ¿Qué es el cifrado PGP? Un tutorial de 3 minutos para principiantes

Pretty Good Privacy

2024-07-13T00:00:00+00:00

PGP (Pretty Good Privacy) es un programa de cifrado para proteger tu privacidad y autenticar comunicaciones. Sirve para firmar, cifrar y descifrar textos, correos, archivos, directorios y particiones de disco.

Historia #

Phil Zimmermann creó PGP porque le preocupaba la falta de privacidad en las comunicaciones digitales. Quería dar a la gente herramientas de cifrado potentes. En 1991 lanzó PGP gratis, abriendo una nueva era en la seguridad digital.

Desafíos legales #

A principios de los 90, el cifrado fuerte estaba clasificado como arma según la ley de exportación de EE.UU. Cuando PGP se extendió por internet, Zimmermann fue investigado por “exportar municiones”.

Su defensa fue ingeniosa: publicó el código fuente de PGP en un libro. Los libros son libertad de expresión protegida. El caso se archivó en 1996 y las restricciones de exportación se relajaron en 2000.

Características principales #

Cifra y descifra datos para comunicación segura
Verifica la identidad de quien envía y recibe
Genera pares de claves pública/privada para intercambio seguro
Soporta varios algoritmos de cifrado y funciones hash

Hoy PGP sigue vivo como OpenPGP (el estándar) y GPG (GNU Privacy Guard, la implementación libre). Cuando verificas una descarga de software o firmas un commit de git, probablemente estás usando GPG.

Cómo funciona #

PGP combina criptografía de clave pública y criptografía de clave simétrica. Genera un par de claves: una pública que compartes y una privada que guardas en secreto. Los datos se cifran con la clave pública y solo la privada puede descifrarlos.

Cifrado simétrico: PGP genera una clave de sesión única para cifrar el mensaje. Es rápido y eficiente, pero necesita que ambas partes compartan la clave de forma segura.
Cifrado asimétrico: Resuelve el problema del intercambio de claves. Cada usuario tiene su par de claves. La clave de sesión se cifra con la clave pública del destinatario, y solo su clave privada puede descifrarla.
Firmas digitales: El remitente firma el mensaje con su clave privada. El destinatario verifica la firma con la clave pública del remitente, confirmando quién lo envió y que el mensaje no se ha alterado.

Mi clave pública #

Huella digital #

56D5 D60B 0934 0999 199C 3750 E51B 5BF4 5F85 D160

Importar directamente #

curl https://chemaclass.com/pgp.asc | gpg --import

Descargar el archivo .asc #

Descargar clave PGP pública

Dinero Programable

2024-07-06T00:00:00+00:00

A Bitcoin se le llama “dinero programable” porque permite ejecutar transacciones con condiciones mediante su lenguaje de scripting.

Qué es el dinero programable #

Dinero programable significa poder meter lógica y condiciones dentro de las transacciones financieras. Las transacciones se ejecutan solas siguiendo reglas predefinidas, sin intermediarios ni intervención manual. El dinero deja de ser algo estático y se convierte en una herramienta capaz de ejecutar acuerdos y automatizar operaciones.

El lenguaje Script #

La programabilidad de Bitcoin viene de su lenguaje incorporado: Script. Es un lenguaje basado en pila, parecido a Forth, creado específicamente para transacciones de Bitcoin.

Soporta multi-firma, transferencias bloqueadas por tiempo y otras transferencias condicionales. Es intencionalmente limitado: no es Turing-completo y no tiene bucles.

Este video muestra ejemplos de los scripts de bloqueo/desbloqueo más comunes.

Características clave del Script de Bitcoin #

Ejecución basada en pila #

Script funciona con un modelo de pila: los comandos y datos se apilan y se procesan en orden Last-In-First-Out (LIFO).

Gasto condicional #

Una transacción que solo se puede gastar si se cumplen ciertos criterios o se proporcionan datos específicos. Sirve para:

servicios de custodia
intercambios atómicos
otros arreglos financieros

Multifirma #

Puedes configurar transacciones que requieran varias firmas de diferentes claves privadas. Útil para:

cuentas conjuntas
fondos corporativos
mayor seguridad (nadie puede gastar los fondos por su cuenta)

Bloqueo temporal #

Las transacciones pueden tener condiciones de tiempo: no se pueden gastar hasta cierta fecha o altura de bloque. Útil para:

pagos diferidos
contratos inteligentes
evitar gastos prematuros (ej: Lightning Network)

Códigos de operación #

El Script de Bitcoin usa OP_Codes para realizar operaciones específicas. Algunos ejemplos:

OP_DUP: Duplica el elemento superior de la pila.
OP_HASH160: Hashea el elemento superior de la pila dos veces (SHA-256 seguido de RIPEMD-160).
OP_EQUALVERIFY: Verifica que los dos elementos superiores son iguales y los elimina.
OP_CHECKSIG: Verifica una firma contra una clave pública.
OP_RETURN: Marca la salida de la transacción como inválida, a menudo usado para almacenar datos.

Tipos comunes de direcciones Bitcoin #

Cada tipo de dirección corresponde a una forma distinta de hacer scripts. Veamos ejemplos para cada tipo principal.

P2PK: Las primeras transacciones legacy usando claves públicas completas directamente.
P2PKH: Comienza con 1. Transacciones Legacy usando hashes de claves públicas.
P2SH: Comienza con 3. Legacy, encapsula scripts complejos como multisig.
P2MS: Típicamente es un tipo de dirección P2SH o P2WSH.
P2WPKH: Comienza con bc1. SegWit nativo, transacciones más eficientes.
P2WSH: Comienza con bc1. SegWit para scripts complejos.
P2TR: Comienza con bc1p. Direcciones Taproot SegWit, mejorando privacidad y eficiencia para transacciones complejas.

Usar SegWit nativo (P2WPKH y P2WSH) es preferible cuando es posible, ya que maximiza los beneficios de la actualización SegWit, pero P2SH-SegWit puede ser útil para compatibilidad con sistemas más antiguos.

P2PK (Pay-to-PubKey) - Dirección Legacy antigua arriba #

Comienza con "1" (ej., 1A1zP1eP5QGefi2DMPTf...v7DivfNa)

Antes de P2PKH y P2SH, las direcciones de Bitcoin eran más limitadas:

Empiezan con 1 pero sin hashear la clave pública.
Poco usadas hoy por falta de privacidad y eficiencia.
Formato obsoleto en favor de P2PKH como mínimo.

P2PKH (Pay-to-PubKey-Hash) - Dirección Legacy arriba #

Comienza con "1" (ej., 1A1zP1eP5QGefi2DMPTf...v7DivfNa)

Un script P2PKH típico consiste en dos partes principales:

ScriptPubKey: El script de bloqueo (también conocido como script de salida) que especifica cómo pueden gastarse los fondos.
ScriptSig: El script de desbloqueo (también conocido como script de entrada) que proporciona los datos necesarios para desbloquear los fondos.

ScriptPubKey (Script de Bloqueo) #

OP_DUP OP_HASH160 <PubKHash> OP_EQUALVERIFY OP_CHECKSIG

OP_DUP: Duplica el elemento superior de la pila (la clave pública).
OP_HASH160: Hashea la clave pública con SHA-256 seguido de RIPEMD-160.
<PubKHash>: La clave pública hasheada (un valor de 20 bytes).
OP_EQUALVERIFY: Verifica si la clave pública hasheada coincide con el hash en el script.
OP_CHECKSIG: Verifica la firma proporcionada contra la clave pública.

ScriptSig (Script de Desbloqueo) #

<sig> <PubK>

<sig>: La firma digital generada por la clave privada.
<PubK>: La clave pública correspondiente a la dirección.

Flujo de Ejecución #

El ScriptSig (script de desbloqueo) se empuja a la pila.
El ScriptPubKey (script de bloqueo) se ejecuta.

P2SH (Pay-to-Script-Hash) arriba #

Comienza con "3" (ej., 3J2BtwzN2GEr6FCP.....81T2eiX8PVHh)

Los scripts P2SH se usan para scripts más complejos. La característica principal es que la dirección misma codifica un hash de un script, que se usará en la transacción.

ScriptPubKey (Script de Bloqueo) #

OP_HASH160 <ScriptHash> OP_EQUAL

OP_HASH160: Hashea el script con SHA-256 seguido de RIPEMD-160.
<ScriptHash>: El script hasheado (un valor de 20 bytes).
OP_EQUAL: Verifica si el hash coincide con el hash del script proporcionado.

ScriptSig (Script de Desbloqueo) #

<sig> <PubK> ... <ScriptSig>

<sig>: La firma digital.
<PubK>: La clave pública.
<ScriptSig>: El script real que coincide con el hash del script, que será ejecutado por la red Bitcoin.

P2MS (Pay-to-Multisig) arriba #

Formato del Script #

OP_M <M> <PubK1> <PubK2> ... <PubKN> OP_N OP_CHECKMULTISIG

OP_M: El número mínimo de firmas requeridas.
<PubK1>, <PubK2>, ..., <PubKN>: Las claves públicas involucradas en el esquema multifirma.
OP_N: El número total de claves públicas proporcionadas.
OP_CHECKMULTISIG: El opcode que verifica las firmas contra las claves públicas proporcionadas.

ScriptPubKey (Script de Bloqueo) #

OP_2 <PubK1> <PubK2> <PubK3> OP_3 OP_CHECKMULTISIG

Este script significa que se requieren 2 de 3 claves públicas proporcionadas para firmar la transacción para que sea válida.

ScriptSig (Script de Desbloqueo) #

<sig1> <sig2> ... <sigN> <SerializedScript>

<sig1>, <sig2>, ..., <sigN>: Las claves públicas.
<SerializedScript>: El script serializado (lo mismo que el script de bloqueo pero sin el OP_M y OP_N).

NOTA: Hay una rareza en la ejecución de CHECKMULTISIG. Ver nota al final.

P2WPKH (Pay-to-Witness-Public-Key-Hash) - Segwit arriba #

Comienza con "bc1q" (ej., bc1qf0r2m0ck4psv6yrk9w.....kw8v5rj7ph3)

P2WPKH es una dirección Segregated Witness (SegWit) con un formato de scripting distinto. Simplifica las transacciones: menos datos y menos comisiones que los formatos legacy.

ScriptPubKey (Script de Bloqueo) #

OP_0 OP_PUSHBYTES_20 <PubKHash>

OP_0: Un solo byte (0x00) indicando la versión del script.
OP_PUSHBYTES_20: Empuja 20 bytes (el hash de la clave pública) a la pila.
<PubKHash>: El hash de 20 bytes de la clave pública.

Datos del Testigo #

En P2WPKH no hace falta un script de desbloqueo tradicional. La información de desbloqueo va como parte de los datos del testigo en el formato SegWit.

<sig> <PubK>

<sig>: Firma digital para la transacción.
<PubK>: Clave pública usada para generar el hash de la clave pública.

P2WSH (Pay-to-Witness-Script-Hash) - Segwit arriba #

Comienza con bc1q (ej.: bc1q4a3h5sdg4cfkhftgd24tj9g2sg...yj57jmfckhkrw5gslr9g59)

ScriptPubKey (Script de Bloqueo) #

OP_0 OP_PUSHBYTES_32 <ScriptHash>

OP_0: Indica una versión de testigo 0 (SegWit).
OP_PUSHBYTES_32: Empuja los siguientes 32 bytes (el hash del script) a la pila.
<ScriptHash>: Hash de 32 bytes del script de redención.

Datos del Testigo #

<sig1> <sig2> ... <RedeemScript>

<sig1>, <sig2>: Firmas requeridas para desbloquear la transacción.
<RedeemScript>: El script real que coincide con el hash del script. Este script será ejecutado como parte de los datos del testigo.

P2TR (Pay-to-Taproot) - Taproot arriba #

Comienza con bc1p (ej.: bc1pl9dfv7kvj4hj9s3a8l.....gjstmrpjl09g8ks3ukds70q4r2j5h)

Taproot combina firmas Schnorr con MAST. Permite condiciones de gasto privadas y eficientes. Las transacciones complejas parecen estandar a menos que se revelen las condiciones.

ScriptPubKey (Script de Bloqueo) #

OP_1 <x-only PubK>

OP_1: Indica una versión de testigo 1 (Taproot).
<x-only PubK>: Una clave pública Schnorr de 32 bytes (sin la coordenada y).

Datos del Testigo #

<sig>

<sig>: Una firma Schnorr probando posesión de la clave privada correspondiente a la pubkey x-only.

*Hay una rareza en la ejecución de CHECKMULTISIG arriba #

OP_CHECKMULTISIG saca un elemento de más de la pila. Ese elemento extra se ignora al verificar firmas, así que no afecta directamente. Pero tiene que estar porque si intenta sacar de una pila vacía, el script falla.

OP_0 <sig2> <sig3> 2 <PubK1> <PubK2> <PubK3> 3 OP_CHECKMULTISIG

El script de entrada en este multisig no es <sig2> <sig3> sino OP_0 <sig2> <sig3>.

Al principio se usaba OP_0 por convención. Luego se convirtió en regla de relay y finalmente en regla de consenso (BIP147).

Puede que el desarrollador original lo pusiera pensando en añadir una función de mapa en un soft fork futuro (por rendimiento). Esa función nunca se implementó, y BIP147 en 2017 lo hace imposible ya.

Solo el creador de Bitcoin podría decir si fue un bug o un plan. Si ves un script multisig, espera encontrar un OP_0 extra al principio. Es un parche para esta rareza del consenso.

Para seguir aprendiendo #

Documentación oficial de Script en el Bitcoin Wiki.
Bitcoin IDE: emulador visual de Script online, genial para aprender.
Script Editor: investigación sobre escalabilidad y usabilidad de Bitcoin.
Miniscript: lenguaje para escribir Scripts de Bitcoin de forma estructurada, con análisis, composición y firma genérica.