Sorry, but I cannot let this statement unchallenged:
4. If a majority decides that a transaction is valid, that transaction is validated, irrespective of any algorithm preventing trests to be created out of thin air; not even Trestor, because again, they have no proof-of-work.
You are assuming that there is an algorithm in Bitcoin preventing the creation of new coins out of thin air. That assertion is full of misconceptions. The creation of coins is defined by the protocol. The protocol is, whatever the majority of miners defines it to be. The Bitcoin protocol is not unchangeable, quite the opposite: It changes a lot over time in order to improve Bitcoin. This also comes with bad side effects like the fork a few day ago:
Coindesk: Double Spending Risk Remains After July 4th Bitcoin ForkThe only thing that prevents miners from changing the number of newly created coins is their incentive to not devalue their reward. This can easily change in the future as default reward is going down and income from fees may not rise to the same level.
The situation is the same with Trestor validators. They will reject any transaction that is not covered by existing accounts, rendering creation of coins impossible. It is in the hand of the majority how all these aspects of the protocol are defined, and maybe changed in the future.
And all of this by the way has nothing to do with proof-of-work.