He estado investigando cómo Cosmos IBC verifica el consenso en Ethereum utilizando pruebas SP1. Algo que me interesa más que las propias pruebas ZK es quién controla el verificador. Porque puedes tener pruebas matemáticamente válidas, pero si alguien tiene permiso para actualizar el light client o cambiar qué claves de verificación son de confianza, esa es una pregunta de seguridad completamente diferente. La implementación en Ethereum utiliza un multisig 4-de-7 con controles administrativos con retraso temporal. Ahora quiero rastrear exactamente qué pueden cambiar esos administradores, si se podría introducir un verificador malicioso mediante una actualización, y qué pueden hacer los usuarios durante el retraso temporal. ZK prueba que un cálculo particular se ejecutó correctamente. No prueba que las personas que controlan qué cálculo se verifica no puedan cambiarlo. Esa es la parte en la que quiero profundizar.