Am I wrong or the phrase &quot;a type of mathematical protocol for convincing someone that something is true without revealing any details of why it is true&quot; is wrong and should be &quot;a type of mathematical protocol for allowing someone to verify that something is true without revealing any details of how it is calculated to be true?&quot;