Proof和Argument的本质区别

最新推荐文章于 2023-12-28 16:56:38 发布

Peeryer

最新推荐文章于 2023-12-28 16:56:38 发布

阅读量820

点赞数

分类专栏：密码学文章标签：密码学区块链比特币信息安全

本文链接：https://blog.csdn.net/ym_1111/article/details/120758109

版权

Proofs和Arguments在逻辑和零知识协议中有本质区别。Proofs基于已知真理的演绎，而Arguments的结论可作为其他论证的前提。在零知识背景下，证明通常具有计算零知识，而论证可能达到完美零知识。

摘要由CSDN通过智能技术生成

一、wiki

1.Argument

An argument, more fully a premise–conclusion argument, is a two-part system composed of premises and conclusion. An argument is valid if and only if its conclusion is a consequence of its premises. Every premise set has infinitely many consequences each giving rise to a valid argument. Some consequences are obviously so, but most are not: most are hidden consequences. Most valid arguments are not yet known to be valid. To determine validity in non-obvious cases deductive reasoning is required. There is no deductive reasoning in an argument per se; such must come from the outside.
Every argument’s conclusion is a premise of other arguments. The word constituent may be used for either a premise or conclusion. In the context of this article and in most classical contexts, all candidates for consideration as argument constituents fall under the category of truth-bearer: propositions, st