​​​BitDevsLIM es una comunidad en Lima para quienes estén interesados en debatir y participar en la investigación y desarrollo de Bitcoin y códigos relacionados.

​Tópicos

​1. OP_RETURN: Pasado, Presente y Futuro

• ​Orígenes y controversias de OP_RETURN como portador de datos.

• ​Casos de uso actuales: inscripciones, Ordinals, protocolos de activos.

• ​Trade-offs técnicos: inflación de UTXOs vs. pruning, resistencia a la censura.

• ​Debate abierto: ¿debe Bitcoin limitar, expandir o dejarlo tal cual?

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

• ​Lenguaje declarativo para especificar las reglas de consenso de Bitcoin.

• ​Implicaciones para múltiples implementaciones de clientes (C++, Rust, etc).

• ​Beneficios: testabilidad, reducción de ambigüedad, pruebas formales asistidas por IA.

​3. Verificación Formal de Lightning Network

• ​Primeras pruebas verificables por máquina sobre la seguridad del protocolo LN.

• ​Limitaciones: modelo simplificado vs. complejidades del mundo real.

• ​Discusión: qué significa esto para los nodos de ruteo en Latinoamérica.

​4. Union: Puentes de Bitcoin con Confianza Minimizada

• ​Nuevo enfoque de puentes impulsado por BitVMX (seguridad 1-de-n).

• ​Preguntas abiertas: seguridad económica, incentivos para validadores.

​​​Seminarios Socráticos

​​​Nuestros Seminarios Socráticos mensuales están estructurados para fomentar el debate, el intercambio de información y una discusión animada. En las semanas previas al evento, los miembros del meetup recopilan temas de discusión desde diversas fuentes: pull requests en repositorios populares de Git (como Bitcoin Core, lnd, c-lightning, Cashu, Bitcoin L2s, Electrum ...), artículos académicos, publicaciones técnicas en blogs, registros de IRC, monitores de red y más. Para cerrar el encuentro, se presentan proyectos open source, empresas, investigaciones y otro material relevante.