I'm starting to feel like the most viable path out of the misuse of "ZK" is to just use the word "proof" to refer to a validity proof where you don't care about revealing the full information.

And just favor "rollup" over "ZK rollup", and "EVM proof / prover / proving" over "ZK-EVM", where practical.

When everyone switches to binary fields, we can call them binary proofs.

I also would prefer CS proofs, for "cryptographically secure". Also harkens back to Micali's "computationally sound proofs", the first real SNARK construction.

Or AX proofs for "arithmetic execution" proofs. People like ZK but Z is zesty, but AX is sexy.