Concepedia

Verifiable Computation

Verifiable Computation is a cryptographic protocol that enables a prover to convince a verifier that a given computation was executed correctly, such that the correctness of the computation can be efficiently verified without re-executing it.

404

Publications

23K

Citations

1.2K

Authors

457

Institutions

Publications per year

2017–2026

214

Parents

Publications

404

Evidence for the utility of quantum computing before fault tolerance

Young‐Seok Kim, Andrew Eddins, Sajant Anand et al. · Nature · 2023 · 1K citations · Full text

, , +16

Pinocchio: Nearly Practical Verifiable Computation

Bryan Parno, Jon Howell, Craig Gentry et al. · 2013 · 835 citations · Full text

, , +9

DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning

Daya Guo, Dejian Yang, Haowei Zhang et al. · Nature · 2025 · 568 citations · Full text

, , +16

Decentralized Finance: On Blockchain- and Smart Contract-Based Financial Markets

Fabian Schär · 2021 · 542 citations · Full text

, , +14

Foundations of garbled circuits

Mihir Bellare, Viet Tung Hoang, Phillip Rogaway · 2012 · 532 citations

, , +14

1–5 of 404

Authors

1.2K

  1. MW
    Michael Walfish

    The University of Texas at Austin, United States

    11 publications · 1.1K citations

    10

    h-index

  2. CP
    Charalampos Papamanthou

    University of Maryland, College Park, United States

    9 publications · 527 citations

    9

    h-index

  3. AJ
    Andrew J. Blumberg

    The University of Texas at Austin, United States

    8 publications · 963 citations

    8

    h-index

  4. RC
    Ran Canetti

    IBM (United States), United States

    6 publications · 594 citations

    6

    h-index

  5. SS
    Srinath Setty

    The University of Texas at Austin, United States

    6 publications · 749 citations

    6

    h-index

1–5 of 1.2K

Institutions

457

  1. Xidian University

    Xi'an, China

    17 h-index

    53 publications

    2.2K citations

  2. Microsoft (United States)

    Redmond, United States

    13 h-index

    22 publications

    3.7K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    13 h-index

    21 publications

    1.4K citations

  4. University of Maryland, College Park

    College Park, United States

    10 h-index

    27 publications

    1.6K citations

  5. Cornell University

    Ithaca, United States

    10 h-index

    26 publications

    1.3K citations

  6. The University of Texas at Austin

    Austin, United States

    10 h-index

    30 publications

    3.4K citations

  7. Guangzhou University

    Guangzhou, China

    9 h-index

    11 publications

    993 citations

  8. Harvard University

    Cambridge, United States

    8 h-index

    14 publications

    656 citations

1–8 of 457

Venues

  1. arXiv (Cornell University)

    Repository · 17 publications · 678 citations

    13

    h-index

  2. IACR Cryptology ePrint Archive

    Repository · 10 publications · 302 citations

    10

    h-index

  3. IEEE Internet of Things Journal

    9 publications · 608 citations

    9

    h-index

  4. 8

    h-index

  5. Information Sciences

    7 publications · 351 citations

    7

    h-index

1–5