Cronograma

19:00hrs Seminario Socrático
20:30hrs Cierre y Networking

Lugar

Este evento se llevará a cabo en meet.jit.si/bitdevs-lima-003

Si quieres que BitDevs sea en tu espacio: 40230@pm.me

Sugerencias

  • Sé cortés y amable. El objetivo es la búsqueda de una comprensión más profunda. Respeta los diferentes pensamientos e ideas.
  • Complementa con imágenes o websites las intervenciones verbales preparadas de más de 3 min, recuerda no extenderte más de 10 min.

Recordatorios

No fotos, no videos, pero audio recording = OK

Qué es un seminario socrático de BitDevs?

El seminario socrático de BitDev o Bitcoin developers es un evento mensual diseñado para promover el debate, el intercambio de información y la discusión sobre temas técnicos relacionados con Bitcoin y su ecosistema. Estos seminarios siguen un formato participativo, en el que se discuten y se hacen preguntas sobre temas recopilados por los miembros del grupo antes del evento.

  • Los Seminarios Socráticos se celebran bajo la Regla de Chatham House.

Source

1. OP_RETURN: Pasado, Presente y Futuro

Descripción:
Análisis del opcode OP_RETURN como portador de datos en Bitcoin.

Puntos de discusión:

  • Orígenes y controversias de OP_RETURN.
  • Casos de uso actuales: Ordinals, inscripciones, protocolos de activos.
  • Impacto en el UTXO set: bloat vs pruning, resistencia a la censura.
  • Debate abierto: ¿limitar, expandir o dejarlo igual?

2. Hornet DSL – Hacia una Especificación Formal de Bitcoin

Descripción:
Propuesta de un lenguaje declarativo que describe formalmente las reglas de consenso de Bitcoin.

Puntos de discusión:

  • Beneficios de tener una spec verificable.
  • Implicaciones para implementaciones múltiples (C++, Rust).
  • Uso de IA para pruebas formales.

3. Verificación Formal de Lightning Network

Descripción:
Primeros intentos exitosos de pruebas formales verificables del protocolo LN.

Puntos de discusión:

  • Qué asegura este tipo de verificación.
  • Limitaciones del modelo simplificado.
  • Relevancia práctica para nodos de ruteo en LatAm.

4. Union: Puentes de Bitcoin con Confianza Minimizada

Descripción:
Un nuevo enfoque para puentes basado en BitVMX, con seguridad 1-de-n.

Puntos de discusión:

  • Comparación con puentes tradicionales.
  • Relevancia de Rootstock para DeFi en LatAm.
  • Preguntas abiertas sobre incentivos y seguridad económica.

5. Actualizaciones en Bitcoin Core

Descripción:
Últimos PRs y debates en torno al desarrollo del cliente principal.

Puntos de discusión:

  • Cambios recientes en mempool, política de red, wallet.
  • Debate sobre disenso, gobernanza y nodos alternativos (Knots, Rust-bitcoin).
  • Evolución de las herramientas de testing (Python framework, build system).

6. Visión Especulativa: Bitcoin Interplanetario

Descripción:
Exploración de PoTT (Proof-of-Transit Timestamping) y la latencia Tierra-Marte.

Puntos de discusión:

  • Cómo manejar redes con retardos extremos.
  • Posibilidad de federaciones de sidechains interplanetarias.
  • Bitcoin como estándar monetario interplanetario.