proof system
来自维基百科，自由的百科全书
Found in articles
theory）相联系，主要分析以自然语言表达的论证，不像形式逻辑使用的是形式化语言来表达论证。作为可数名词时，“逻辑”指的是一种特定的逻辑形式系統，它阐述了证明系统（英语：proof system）的结构。逻辑在哲学、数学、计算机科学和语言学等诸多领域中都发挥着核心作用。 逻辑研究的是论证，而论证则由前提和结论构成。举例来说，论证的
工作量證明
工作量證明（Proof-of-Work，PoW）是一種對應服務與資源濫用、或是阻斷服務攻擊的經濟對策。 一般要求使用者進行一些耗時適當的複雜運算，並且答案能被服務方快速驗算，以此耗用的時間、設備與能源做為擔保成本，以確保服務與資源是被真正的需求所使用。此概念最早由Cynthia Dwork（英语：Cynthia
Caml
Coquand）, Gérard Huet（英语：Gérard Huet）. Constructions: a higher order proof system for mechanizing mathematics. RR-0401, INRIA. 1985. inria-00076155. [2021-09-09]
零知识证明
密码学中，零知識證明（英語：zero-knowledge proof）或零知識協議（zero-knowledge protocol）是一方（證明者）向另一方（檢驗者）證明某命題的方法，特點是過程中除「該命題為真」之事外，不泄露任何資訊。因此，可理解成「零洩密證明」。例如，欲向人證明自己擁有某情報，
GNU Common Lisp
GCL是一些大型项目所选择的实现，包括数学工具Maxima、AXIOM（英语：Axiom (computer algebra system)）、HOL88（英语：HOL (proof assistant)）和ACL2。GCL运行在Linux上的十一种架构下，还有FreeBSD、Solaris、Mac OS