Realizing Intents With a Resource Model

[rishotics]

@apriori

As in people can choose a specific topology for where the specific components of execution happen at runtime, and all that we need to check on the final blockchain that we’ve agreed to trust for consensus and state custody purposes is that everyone who took an action in this transaction is happy with the final outcome.

can you please explain the meaning of " topology for where the specific components of execution happen at runtime"? Also does it mean that in the final settlement the state change specified in the partialTxn is treated as final?

@apriori

quantity :: Integer,

Whats the difference between ‘quantity’ and ‘value’? And does the partialTx only contain data which assets are created and destroyed?

@apriori

A PartialTx might not be entirely balanced. We might spend resources that we don’t actually have or create resources that aren’t yet consumed. But we can check that all of the predicates are satisfied, just by mapping them.

Does this mean that solvers create tokens which are not balanced or are required to satisfy that partialTxn?

@apriori

       sum (map delta created) - sum (map deita consumed) = 0

A small doubt, how will we check ‘x’ when tokenConsumed = x tokenCreated

@apriori

When you make a PartialTx, you can make some state changes which you don’t even have permission to do, they are far down the line.

How is the partialTxn able to make state changes which are not allowed to?

@apriori

But they don’t need to happen first because we’ve made our VM agnostic to the actual ordering of computation. All it needs to care about is that everything checks out okay in verification.

But it can happen that a certain state change can make the next partialTxn invalid?

@apriori

Because validity conditions are separate from the balance check this helps a lot with building a good substrate for information flow. In particular it means that you can make the proofs of validity separately and prior to checking balance.

What does it mean by creating a proof of validity?