P.S. My hope is that BCNext will take an interest and simply write an indistinguishability obfuscator
I doubt that, and this is reason why:
I remember reading original paper some time ago, and it's seems it's way too computationally expensive to include it on the chain...
Think of slowing down the network from X TPS to something like X/20 TPS.
Well BCNext is far smarter than me, unless he says that he cant implement a practical indistinguishability obfuscator, who am I to say that he cant?