Zuocheng Ren

Artificial Intelligence · 2013–2015

A researcher in the Science corpus: 2 papers; trusts 22 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 54 citations into it; #11,414 of 35,345 by trust here, #12,974 by citations
• Computational Theory and Mathematics — 31 citations into it
• Computer Networks and Communications — 18 citations into it; #2,814 of 9,886 by trust here, #2,300 by citations
• Privacy & Security — 14 citations into it
• Information Systems — 13 citations into it
• Algorithms & Complexity — 6 citations into it
• Hardware and Architecture — 6 citations into it
• Geometry and Topology — 5 citations into it

Whom Zuocheng Ren trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Craig Gentry
2. Eli Ben-Sasson
3. Bryan Parno
4. Srinath T. V. Setty
5. Shafi Goldwasser
6. Ran Canetti
7. Alessandro Chiesa
8. Rosario Gennaro
9. Nir Bitansky
10. Justin Thaler

Who trusts Zuocheng Ren overall

1. Eli Ben-Sasson
2. Arjun Narayan
3. Srinath T. V. Setty
4. Riad S. Wahby
5. Michael Walfish
6. Henry Corrigan-Gibbs
7. Craig Costello

Papers from Zuocheng Ren's perspective

Ordered by how strongly the researchers Zuocheng Ren trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Knowledge Complexity of Interactive Proof Systems
2. Checking computations in polylogarithmic time
3. A note on efficient zero-knowledge proofs and arguments (extended abstract)
4. From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
5. Making argument systems for outsourced computation practical (sometimes)
6. Recursive composition and bootstrapping for SNARKS and proof-carrying data
7. Probabilistic checking of proofs: a new characterization of NP
8. IP = PSPACE
9. Pinocchio: Nearly Practical Verifiable Computation
10. Resolving the conflict between generality and plausibility in verified computation

Their papers

• Efficient RAM and control flow in verifiable outsourced computation (2015) — 190 citations
• Verifying computations with state (2013) — 209 citations