It can proof that today. The only thing needed is Bitcoiners increasing their mathematical knowledge to audit the code of the node.

Because BTC and XMR nodes do exactly the same. Sum up UTXOs. One with basic mathematics. The other with advanced mathematics. Users of both rely on nodes to do it for them.