🧠 Ingeniería de Tokens @ EthCC Series [2/12] La charla de hoy: “Escalando Ethereum al Optimizar Redes de Proveedores ZK” por Franklin Delehelle de @lagrangedev. Esto es parte de nuestra serie que cubre charlas clave de la Pista de Ingeniería de Tokens en @EthCC 2025. #TEatEthCC2025 ⚙️ El Desafío: Igualar la Oferta y la Demanda de Cómputo Los sistemas de prueba ZK son intensivos en cómputo. El equipo de Franklin necesitaba una forma de igualar de manera justa y eficiente a los clientes (que quieren pruebas) con los operadores (que ofrecen poder de cómputo). El giro: los resultados parciales son inútiles. Cada coincidencia debe ser todo o nada. 📈 El Objetivo: Construir una Subasta Justa y Alineada por Incentivos El problema de diseño es una variación de una subasta doble, pero con restricciones más difíciles que los mercados tradicionales. El sistema tenía que optimizar en cinco propiedades: 1. Veracidad 2. Prueba de estrategia grupal 3. Maximización del bienestar 4. Equilibrio presupuestario 5. Eficiencia computacional 🧠 La Trampa: Es un Problema de Mochila Igualar clientes y operadores es como intentar empacar una maleta con artículos de formas extrañas: formalmente, un desafío de optimización combinatoria. La solución perfecta es NP-completa, en otras palabras, prácticamente irresoluble en un tiempo razonable. 🧪 La Solución: Subastas “Tetron y Medio” Para que funcione en producción, el equipo de Franklin relajó algunas restricciones: - En lugar de maximizar el bienestar, requieren resultados de suma positiva - Definieron una “familia” de algoritmos flexible construida a partir de coincidencias clasificadas, filtros de compatibilidad de oferta-demanda y lógica de pago - Cada variante en la familia está parametrizada y adaptada por caso de uso. 🔍 Componentes del Algoritmo El marco de subasta incluye: - Reglas de clasificación: Clasificar clientes y proveedores por rentabilidad y poder - Reglas de coincidencia: Filtrar combinaciones factibles (por ejemplo, cómputo ≥ necesidad, rango de precios OK) - Reglas de pago: Precios justos por el trabajo, priorizando resultados utilizables sobre los óptimos 🧱 Desafíos del Mundo Real Incluso con un algoritmo sólido, la implementación es complicada: - Las redes reales son continuas, no rondas de subasta únicas - El hardware es heterogéneo (GPU vs. CPU, tasas de fallos, etc.) - Los clientes introducen reglas personalizadas y preferencias de operadores - Se debe tener en cuenta el comportamiento adversarial Resultado: más casos extremos, más heurísticas, más caos combinatorio. 🎯 Conclusiones El diseño de subastas para la prueba ZK es una difícil mezcla de economía, optimización e ingeniería. Franklin muestra cómo adaptar modelos teóricos a la infraestructura real requiere... compromisos y una profunda comprensión de todas las capas del sistema. 🎥 Mira la charla completa: 📰 Lee el documento: 📚 Explora todos los resúmenes: Busca #TEatEthCC o visita nuestro resumen del evento: