ZK siempre ha sido el final propuesto para el escalado de Ethereum y está avanzando más rápido de lo previsto, adelantando agresivamente los plazos. Aun así, hay una falta de claridad en torno al diseño del mercado a la hora de consagrar el ZK en el L1. Un breve 🧵de mi charla de EthCC sobre este tema ↓

1/ Es útil comparar la delegación de pruebas con la conocida subasta de PBS. Ambos externalizan tareas complejas a partes externas, pero el efectivo fluye en direcciones opuestas: Los constructores compran valiosos espacios en bloque Los probadores venden el servicio de generación de pruebas Esto dificulta la rendición de cuentas de los probadores

3/ Introducimos un modelo de contratación con una penalización por vida. La penalización C captura la pérdida económica de una ranura perdida, y se incurre si no se proporciona ninguna prueba. ¡Esto puede ser tan grande como cientos de ETH (según las ofertas ganadoras recientes de MEV-Boost @mevproposerbot)!

7/ En resumen, la adquisición de pruebas no es igual para todos. El entorno adversarial es similar (y posiblemente más matizado) al del diseño de TFM, pero sin tanta literatura de apoyo. Algunas preguntas abiertas a continuación.

H/T @ks_kulk @_julianma @kevaundray para sus publicaciones relacionadas: - -