

BITDEVS LIMA #003
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_RETURNcomo 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.