Concepedia

Proof Systems

Proof Systems is a formal framework in theoretical computer science and mathematical logic that consists of a set of rules and procedures enabling a prover to demonstrate the validity of a statement to a verifier, such that the system is characterized by completeness, soundness, and zero-knowledge properties in the context of interactive and probabilistic verification.

902

Publications

63.8K

Citations

1.3K

Authors

498

Institutions

Publications per year

2017–2026

97

Parents

Publications

902

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

, , +13

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

, , +16

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems

Oded Goldreich, Silvio Micali, Avi Wigderson · Journal of the ACM · 1991 · 1.4K citations

, , +8

1–5 of 902

Authors

1.3K

  1. JW
    John Watrous

    University of Calgary, Canada

    16 publications · 1.3K citations

    15

    h-index

  2. DM
    Dale Miller

    University of Pennsylvania, United States

    16 publications · 1.1K citations

    14

    h-index

  3. GS
    Geoff Sutcliffe

    University of Miami, United States

    18 publications · 584 citations

    13

    h-index

  4. JK
    Jan Krajı́ček

    Czech Academy of Sciences, Institute of Mathematics, Czechia

    11 publications · 962 citations

    11

    h-index

  5. OG
    Oded Goldreich

    Weizmann Institute of Science, Israel

    11 publications · 3.5K citations

    11

    h-index

1–5 of 1.3K

Institutions

498

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    17 h-index

    41 publications

    1.4K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    17 h-index

    34 publications

    9.8K citations

  3. University of Cambridge

    Cambridge, United Kingdom

    17 h-index

    26 publications

    1.1K citations

  4. Technion – Israel Institute of Technology

    Haifa, Israel

    17 h-index

    29 publications

    4K citations

  5. Princeton University

    Princeton, United States

    16 h-index

    23 publications

    1.4K citations

  6. University of Toronto

    Toronto, Canada

    16 h-index

    25 publications

    6.2K citations

  7. Weizmann Institute of Science

    Rehovot, Israel

    16 h-index

    21 publications

    2.2K citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    15 h-index

    31 publications

    976 citations

1–8 of 498

Venues

  1. Journal of Symbolic Logic

    23 publications · 2.7K citations

    20

    h-index

  2. Theoretical Computer Science

    26 publications · 1.1K citations

    20

    h-index

  3. Journal of Logic and Computation

    24 publications · 1.4K citations

    19

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 30 publications · 602 citations

    16

    h-index

  5. Journal of Automated Reasoning

    19 publications · 1.2K citations

    15

    h-index

1–5