[vlfig]

Sigh.

Generally what happens is that: - Everyone is able to prove a transaction's correctness; - There's no way for a third party to track the contents of a transaction adversarialy; - there are ways for first and second parties to prove them if they so wish.