Validity Predicates (VP)

Q: What are Validity Predicates?

Q: How does one define a VP?

Action Circuit

The Action circuit is a mechanism that ensures that the proposed state transitions follow the Taiga rules.

Q: What are the taiga rules?

It seems like it’s a generalization of normal UTXO transaction, where instead of checking that input and output amounts balance, we call out to an application VP.

Q: This last line of “Check the old state” validations seems to be in contradiction to user sovereignty goals?

and that the application the note belongs to approves the action (sure there is some application approves the check, but is it the one the note belongs to?).

Intent

https://github.com/anoma/taiga/blob/main/book/src/intent.md

The implementation of intents seems a bit blunt.

• Users must publish a personal application with a custom VP called “userVP” expressing their “intent”
• They issue partial tx’s from this personal application with value = 1
• solvers will match this partial with another tx that satisfies the userVP and balances the input and output value.