[betterunix2]

"there are no clean non ZK mechanisms to prove your solution outside of sharing the solution itself"

This is not entirely true. Witness hiding proofs are not zero knowledge (no simulator) but also do not reveal the solution. It is a subtle but important difference that can matter in some situations -- for example, a witness hiding proof could potentially allow the verifier to prove a related statement (e.g. proving that the proof protocol was executed).