[HN Gopher] Mu's Neighborhood
       ___________________________________________________________________
        
       Mu's Neighborhood
        
       Author : todsacerdoti
       Score  : 45 points
       Date   : 2021-06-16 18:08 UTC (4 hours ago)
        
 (HTM) web link (akkartik.name)
 (TXT) w3m dump (akkartik.name)
        
       | a1369209993 wrote:
       | > 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.
        
       ___________________________________________________________________
       (page generated 2021-06-16 23:01 UTC)