Concepedia

Recursive Proofs

Recursive Proofs is a method in zero-knowledge proof systems that enables a proof to be verified by another proof of the same type, thereby allowing succinct verification of a sequence of computations through iterative proof composition.

77

Publications

6.3K

Citations

130

Authors

73

Institutions

Publications per year

2017–2026

7

Parents

Publications

77

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

Recursive composition and bootstrapping for SNARKS and proof-carrying data

Nir Bitansky, Ran Canetti, Alessandro Chiesa et al. · 2013 · 299 citations

, , +12

Proofs and Refutations: The Logic of Mathematical Discovery.

Daniel Isaacson, Imre Lakatos, John Worrall et al. · The Philosophical Quarterly · 1978 · 280 citations

, , +13

Proof systems for general statements about discrete logarithms

Jan Camenisch, Markus Stadler · Repository for Publications and Research Data (ETH Zurich) · 1997 · 228 citations · Full text

, , +16

Linear zero-knowledge---a note on efficient zero-knowledge proofs and arguments

Ronald Cramer, Ivan Damgård · 1997 · 169 citations · Full text

, , +14

1–5 of 77

Authors

130

  1. JV
    Jean Vuillemin

    Université Paris-Sud, France

    5 publications · 270 citations

    5

    h-index

  2. PM
    P. Madhusudan

    University of Illinois Urbana-Champaign, United States

    5 publications · 181 citations

    5

    h-index

  3. XQ
    Xiaokang Qiu

    University of Illinois Urbana-Champaign, United States

    4 publications · 158 citations

    4

    h-index

  4. RH
    Ralf Hinze

    University of Bonn, Germany

    4 publications · 76 citations

    4

    h-index

  5. SN
    Stephen Ness

    Stanford University, United States

    3 publications · 181 citations

    3

    h-index

1–5 of 130

Institutions

73

  1. Stanford University

    Stanford, United States

    6 h-index

    12 publications

    670 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    12 publications

    440 citations

  3. University of Oxford

    Oxford, United Kingdom

    5 h-index

    6 publications

    133 citations

  4. IBM (United States)

    Armonk, United States

    2 h-index

    2 publications

    77 citations

  5. Palo Alto Research Center

    Palo Alto, United States

    2 h-index

    2 publications

    61 citations

  6. Steklov Mathematical Institute

    Moscow, Russia

    2 h-index

    2 publications

    92 citations

  7. Danish National Research Foundation

    Copenhagen, Denmark

    2 h-index

    2 publications

    179 citations

  8. Laboratory Preuves, Programmes et Systèmes

    Paris, France

    2 h-index

    2 publications

    53 citations

1–8 of 73

Venues

  1. ACM SIGPLAN Notices

    5 publications · 107 citations

    5

    h-index

  2. Theoretical Computer Science

    3 publications · 213 citations

    3

    h-index

  3. Annals of Pure and Applied Logic

    3 publications · 136 citations

    3

    h-index

  4. Journal of Automated Reasoning

    3 publications · 35 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 2.8K citations

    3

    h-index

1–5