JAR: JAM Axiomatic Reference

8.2. Is-Authorized🔗

The is-authorized invocation checks whether a work-package's authorization token is accepted by the service's authorizer code.

🔗def
Jar.Services.isAuthorized [Jar.JamConfig]
  (authorizerCode authToken : ByteArray) (gasLimit : Jar.Gas) :
  Bool × Jar.Gas
Jar.Services.isAuthorized [Jar.JamConfig]
  (authorizerCode authToken : ByteArray)
  (gasLimit : Jar.Gas) : Bool × Jar.Gas

Ψ_I : Is-authorized invocation. GP §8. Executes the authorizer code to check if a work-package is authorized. Runs in PVM without host calls (pure computation). Returns (authorized?, remaining gas).