Oh, you mean KYC and AML?
Turns out "math" doesn't make legislators and regulators go "oh, it's math? Ok, then I have no requirements".
I've said it many times before: Cryptocurrency and smart contracts just does not solve any of the hard problems in their space. It tries to solve some of the most simple problems in the whole domain, at a cost of making the hard problems even harder.