🧠De 0 a ZK Concept Bites #3: TODA En la Parte 8, presentamos ProverNet, el mercado descentralizado de Brevis para la generación de pruebas ZK. En su núcleo hay un mecanismo de subasta llamado TODA (Truthful Online Double Auction) que resuelve un problema que la mayoría de la gente no piensa: ¿cómo coordinar un mercado donde todos intentan manipularse entre sí? Las subastas tradicionales ofrecen una estrategia de recompensas. Si creo que vas a pujar 80 dólares, ofrezco 81 y me quedo con la diferencia. Si multiplicas esto entre muchos compradores y vendedores, obtienes ineficiencia en todas partes. Los compradores pagan de más para asegurar las pujas. Los vendedores subestiman para ganar trabajo. Todos optimizan contra los demás en vez de decir lo que realmente necesitan. TODA cambia esto separando lo que pujas de lo que pagas. Los compradores presentan su máximo, los vendedores su coste real, y el mecanismo encuentra coincidencias óptimas y determina un "precio crítico" que compensa el mercado en función de la oferta y la demanda. Los ganadores pagan este precio crítico, no su oferta presentada. Si ofrezco 100 dólares pero el mercado se despeja en 80, pago 80. No hay ninguna ventaja en pujar por debajo de mi valor real porque solo corre el riesgo de perder un trabajo que habría ganado. No más adivinanzas. Solo indica tus preferencias reales y deja que el mecanismo encuentre el precio más eficiente. 🔧¿Por qué importa esto para la demostración de ZK específicamente? Porque este mercado es singularmente complejo. Algunas cargas de trabajo necesitan una latencia de menos de un segundo, otras duran horas. Algunos requieren GPUs, otros funcionan mejor en CPUs. Una subasta tradicional obligaría a los participantes a elaborar estrategias para todas estas variables. TODA permite a las aplicaciones especificar requisitos, los provers informar de capacidad y costes, y el mecanismo gestiona la coincidencia sin que nadie tenga que anticipar a nadie más. La mejor estrategia es no tener ninguna estrategia en absoluto. ♟️ Lee la Parte 8: