Old, tried and true primitives, or deep learning and stuff, but with a good mathematical primitive, and build only using those primitives. These are the two pathways toward auditability by design. That’s why the end to end encryption thing is so important, because that’s one of the things that the public actually understand now.