🧠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 (Subasta Doble Online Veraz) que resuelve un problema que la mayoría de la gente no piensa: ¿cómo coordinar un mercado donde todos intentan engañarse entre sí? Las subastas tradicionales recompensan la estrategia. Si creo que vas a pujar $80, pujo $81 y me quedo con la diferencia. Multiplica esto entre muchos compradores y vendedores y obtienes ineficiencia en todas partes. Los compradores pagan de más para asegurar pujas. Los vendedores subestiman para ganar trabajo. Todos están optimizando contra los demás en lugar de declarar lo que realmente necesitan. TODA cambia esto separando lo que pujas de lo que pagas. Los compradores presentan su máximo, los vendedores presentan su costo real, y el mecanismo encuentra coincidencias óptimas y determina un "precio crítico" de equilibrio del mercado basado en la oferta y la demanda. Los ganadores pagan este precio crítico, no su puja presentada. Si pujo $100 pero el mercado se equilibra en $80, pago $80. No hay ventaja en pujar por debajo de mi verdadero valor porque solo arriesga perder un trabajo que habría ganado. No más adivinanzas. Simplemente declara tus verdaderas preferencias y deja que el mecanismo encuentre el precio eficiente. 🔧¿Por qué es esto importante para la prueba ZK específicamente? Porque este mercado es singularmente complejo. Algunas cargas de trabajo necesitan latencia de menos de un segundo, otras tardan horas. Algunas requieren GPUs, otras funcionan mejor en CPUs. Una subasta tradicional obligaría a los participantes a estrategizar en todas estas variables. TODA permite a las aplicaciones especificar requisitos, a los probadores informar capacidad y costos, y el mecanismo se encarga de la coincidencia sin que nadie necesite adivinar a los demás. La mejor estrategia es no tener estrategia en absoluto. ♟️ Lee la Parte 8: