@spec a_input_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

@spec a_output_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

@spec a_resource_logic_invalid_input() :: {:error, term()}

@spec a_resource_logic_invalid_proving_key() :: {:error, term()}

@spec an_input_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()

@spec an_output_intent_resource_logic() :: Anoma.CairoResource.ProofRecord.t()