Pensando en lo siguiente: Imaginemos que tuviéramos OP_CAT y que efectivamente nos diera introspección, STARKs + capacidad de porte de estado (para construir rollups, validiums, etc.), o incluso otros códigos de operación que lo resuelvan aún más de manera más ordenada (elija entre OP_TXHASH, OP_CCV, OP_MERKLEBRANCHVERIFY, OP_STARK_VERIFY, OP_M31ADD, OP_M31SUB, OP_M31MUL, OP_M31INV, <insert 64-bit="" arithmetic="" opcodes="" here="">) ¿Cómo sería la construcción L2 ideal para Bitcoin? Lo que no queremos hacer: repetir el libro de jugadas de Ethereum: 200 equipos compitiendo construyendo diferentes L2, mala interconectividad/componibilidad, todos compitiendo por los mismos usuarios, ¿qué *HACER* queremos hacer? ¿Qué lecciones podemos aprender de Ethereum? Ten en cuenta que no podemos (ni queremos) hacer resúmenes basados en él. El L1 es demasiado lento para eso, y no queremos MEV de capa base de esa naturaleza. También hay que tener en cuenta que queremos: - Un sistema de transacciones de alto TPS (Lightning sin canales básicamente) - Algunos querrán más expresividad (para préstamos de stablecoins sin confianza, intercambios AMM, bóvedas, planes de herencia, productos de apalancamiento) En caso de que estos dos tipos de sistemas existan en la misma capa de ejecución, o es mejor separar los pagos de las aplicaciones con diferentes colas de secuenciación (tiendo a creer que sí), tal vez queramos ir en una dirección similar a la de Celestia de hacer un zkVM L2 y todos los demás sistemas como L3, colas separadas pero agregación a través de la L2. Hacer rollups reales para cualquier cosa a escala está básicamente fuera de discusión para la visión final dado el bajo rendimiento de las necesidades de L1 y DA (y agregar blobs parece muy poco probable), por lo que lo más probable es que estemos ejecutando algún tipo de validiums + capa de DA externa, zk-plasmas o arquitecturas basadas en validación del lado del cliente como Miden. Además, debemos explorar si queremos sistemas ZK puros o pruebas híbridas ("ZK optimista", ver Combustible para referencia) para maximizar aún más el rendimiento. Una forma es dejar que el libre mercado gane y ver qué pasa, pero eso es lo que hizo Ethereum. Incluso si llevamos las lecciones con nosotros y los equipos intentan coordinarse en torno a soluciones de agregación singulares desde el principio, no hay ninguna garantía de que funcione. Tampoco tenemos ninguna capacidad para consagrar ninguna capa de ejecución en particular a través de L1. Aun así, tengo claro que los STARK presentan el mejor camino para todo lo siguiente: - Pagos minimizados por la confianza (sin canales, enrutamiento ni requisitos de liquidez) - Expresividad (para los que lo deseen) - Privacidad (máquinas virtuales de privacidad ZK completas) - Lograr todo lo anterior sin introducir suposiciones criptográficas exóticas, configuraciones confiables, etc. Puede preguntar sobre la finalidad debido a la latencia del L1, pero en mi opinión, se puede abordar claramente en un grado satisfactorio con secuenciadores unidos para pre-confs rápidas. Así que tenemos todas las herramientas, ¿qué hacemos para conseguir el mejor resultado posible? Si bien BTC debería ser obviamente la moneda para todos estos sistemas (y pagar las tarifas / gas), existe la última (o quizás la primera) pregunta sobre cómo lograr todo esto sin introducir un token L2 controlado principalmente por una Fundación con demasiado control. Creo que un sistema de solo pagos puede funcionar bien sin un token de gobernanza (con solo secuenciación central + salidas unilaterales contra la censura), pero lo dudo por algo expresivo. Si bien la mayoría de las Fundaciones/DAO tienen como objetivos la descentralización, poner tanto poder en manos de una organización centralizada, incluso en una fase de arranque, me parece subóptimo si queremos algún tipo de enfoque colectivo desde el principio para mitigar los riesgos de fragmentación. Sería genial escuchar lo que otras personas piensan de personas con experiencia en otros ecosistemas como Ethereum, Celestia, Polygon, Cosmos y también curiosidad por saber cómo los equipos actuales de L2 que trabajan en Bitcoin están pensando sobre estas preguntas (por ejemplo, Alpen, Chainway, Starkware). ¡No dudes en participar en los comentarios!</insert>