Hace 2 años, verificar las atestaciones TEE en la cadena es costoso. Pero hoy, tenemos otra opción: Verifícalas fuera de la cadena en un zkVM y genera una prueba ZK que sea verificable en la cadena. La misma verificación, pero con un costo de gas más bajo.