Standardization of Application-related Data

[Michael]

@vveiln

where indexers want to have access

I don’t think they want to have access - they are given access voluntarily by users of their service. The mechanisms behind this haven’t been explored – maybe this has overlap with your SSS research (which I don’t know much about).

However, I think visibility is not the point here.

Even in the transparent domain, how do you find out that you own a resource (meaning that nobody else can spend it except you)? You must somehow be able to see that it has this property.
Should indexers maintain an ever-growing list of all resource kinds having the property of being ownable? How can you make sure that this list is up-to-date? To me, this doesn’t seem to work.

In an ideal world, we would be able to formally verify certain behavioral properties and invariants of resources and logics (such as “nobody else except me can spend it”) which @cwgoes has pointed out

Standardization of Resource data (`Label` and `Value`)

Your post deserves a longer response which I will write later, but to just this specific point: this kind of non-compliance is easy to detect, but another kind of much more pernicious non-compliance is possible: having valid values for certain keys associated with a standard, but not actually implementing the semantics which that standard is supposed to imply. For example, what does it mean for a resource to have an owner? I would say something like: no changes can happen to the resource withou…

Standardization of Resource data (`Label` and `Value`)

A further point here: the formal verification techniques required to prove semantic compliance are still a little ways away (at least in terms of our ability to productionise them), but I think we might be able to design these standards in a way which is both: forwards-compatible with formal proofs when they do come, and in the short-term, compatible with endorsements by particular parties that a resource logic does in fact implement the semantics of a certain standard A generalised proof typ…

but to quote him once more:

HOWEVER, for now, this is a research problem, and we should do something pragmatic for the devnets.

Standardized lookup would be a pragmatic approach, but it would require these fields to be maps.
I also think that there are other software components besides indexers wanting to inspect standardized application-related data that we haven’t encountered/thought about yet.