Pratyush Ranjan Tiwari

Pratyush Ranjan Tiwari

I am a PhD candidate at Johns Hopkins University under the wonderful supervision of both Matthew Green and Abhishek Jain. I am generally interested in cryptography and its applications. More specifically, most of my research interests are at the intersection of cryptography with privacy, verifiable computation, and machine learning. One of the key focuses of my research recently has been the security and construction of efficient SNARKs and proof systems, particularly those involving error-correcting codes. Thanks to the Ethereum Foundation for funding the next year of my PhD research via a generous academic grant!

Interests

  • Privacy & Anonymity
  • Zero-knowledge proofs
  • ML/AI Safety

Education

  • PhD in Computer Science, 2024 (expected)

    Johns Hopkins University

  • Ashoka Scholar's Program (1 year Postgrad by research), 2020

    Ashoka University

  • BSc in Mathematics & Computer Science, 2019

    Ashoka University

Accomplish­ments

Academic Round Grantee: Error Correcting Codes for Efficient SNARK Provers

To establish a collaborative effort among cryptography experts, aiming to enhance parameter efficiencies and provide certainty in analysis. This could lead to a working group within the ZKProof standards initiative and explore the feasibility of utilizing the FRI polynomial commitment scheme in future zkEVM implementation on layer 1. Covers an entire year of PhD funding.

Undergraduate Research Excellence Award

Awarded to the graduating student with the best track record in academic research, evaluated on the basis of publications and thesis quality.

Engineering Fellow: Privacy Preserving Eigenvalue Computation

Celo’s algorithmically volume regulated stablecoin protocol requires each user to calculate their own Eigentrust score. Developing an efficient Zero Knowledge protocol to enable this. Youngest fellow among all the Celo fellows. Usually fellows are advanced Graduate students. Received a $10,000 grant.

Recent Publications

Quickly discover relevant content by filtering publications.
(2024). On Soundness Notions for Interactive Oracle Proofs. in Journal of Cryptology (JoC ‘24).

PDF

(2024). Subverting Cryptographic Hardware Used in Blockchain Consensus. in Financial Cryptography (FC ‘24).

PDF Video

(2023). SoK: Privacy-Preserving Signatures. in IACR eprint.

PDF

(2022). Time-Deniable Signatures. in Privacy Enhancing Technologies Symposium (PETS ‘23).

PDF

Popular Topics