The above is a proper paper on how to do math for a DAG based protocol.
Serguei Popov, the research mathematician behind IOTA DAG based protocol, claims that it is impossible to make proofs behind the tech. [1]
[1]: https://medium.com/@johndom/iota-and-spectre-64ee12d9b1a8