Of course, you can audit the proof system. New one is called Sephardis. It separates view and spend proofs iirc. Which will make it easier to audit. Still not something most people will do. In this context it doesn't make much different because an average bitcoin fag is too lazy and unskilled to audit bitcoin core or even to read the white paper.