> Beyond automated proofs, zero-knowledge proofs are more about verification. Conveying ownership of artifacts rather than objectivity of knowledge. Actually,

> Beyond automated proofs, zero-knowledge proofs are more about verification. Conveying ownership of artifacts rather than objectivity of knowledge. Actually, zero-knowledge proofs are a completely orthogonal thing from ownership-vs-objective-properties. Any formal proof of a objective property (in particular, not "correctness") of a program (or really, any formal proof at all) can be transformed into a zero-knowledge proof of the same property by constructing O(N^2) permutations of the proof, committing to them via hash tree, then using the committed random seed to choose one step of each permutation to reveal. Conversely, non-zero-knowledge proofs of purely nominal/authorship properties are fairly trivial, though dubiously useful depending on how non-zero the knowledge is. > Let me know if you can think of a clearer word than 'proof' for my desired category. "Proof of objective properties" is the best that comes to mind, I'm afraid.