import { type RemoteJWKSetOptions } from "https://deno.land/x/faster@v12.1/vendor/jose/index.ts";
Options for the remote JSON Web Key Set.
Properties
Timeout (in milliseconds) for the HTTP request. When reached the request will be aborted and the verification will fail. Default is 5000 (5 seconds).
Duration (in milliseconds) for which no more HTTP requests will be triggered after a previous successful fetch. Default is 30000 (30 seconds).
Maximum time (in milliseconds) between successful HTTP requests. Default is 600000 (10 minutes).
An instance of http.Agent or https.Agent to pass to the http.get or https.get method's options. Use when behind an http(s) proxy. This is a Node.js runtime specific option, it is ignored when used outside of Node.js runtime.
Headers to be sent with the HTTP request. Default is that User-Agent: jose/v${version}
header
is added unless the runtime is a browser in which adding an explicit headers fetch
configuration would cause an unnecessary CORS preflight request.
See jwksCache.