Skip to main content

Awarded research grants by quarter

Q2 2026​

  • Alexander Hoover (Stevens Institute of Technology), Private Information Retrieval for Blockchain Clients: Efficient, Updatable, and Authenticated Constructions
  • Saba Eskandarian (University of North Carolina at Chapel Hill) and Kartik Nayak (Duke University), Efficient Multiparty Private Set Union

Q1 2026​

  • Omer Paneth (Tel Aviv University), Provable Security in SNARKs: Proof Composition and More from Standard Assumptions
  • Chris Brzuska (Aalto University), DOMINO: Cryptographic Proofs Which Scale
  • Ioannis Demertzis (University of California, Santa Cruz), Mitigating Side-Channel and Leakage-Abuse Attacks via Scalable Oblivious Primitives
  • Ruizhe Jia (Stanford University), Market Microstructure and Incentive Design for Perpetual Decentralized Exchanges

Q4 2025​

Q3 2025​

  • Nir Bitansky (NYU), Dot-Product Proofs: Toward Optimal Succinctness
  • Suyash Gupta (U. Oregon), Efficient Historical (Range) Queries for Stellar
  • Michael Walfish (NYU), Zero-knowledge numerical proofs
  • David Wu (UT Austin), Silent Threshold Cryptography
  • Daoyuan Wu (Lingnan University), LLM-Driven Specification Verification for Stellar's Consensus Protocol

Q2 2025​

  • Akshayaram Srinivasan (University of Toronto), New Constructions of Non-Interactive Zero-Knowledge Proofs
  • Zachary Feinstein (Stevens Institute of Technology) and Maxim Bichuch (University at Buffalo), Automated Market Maker Design to Optimize Liquidity Providers' Returns
  • Arie Gurfinkel (University of Waterloo), Beyond Rust Type Safety with SeaBMC
  • Vassilis Zikas (Georgia Tech), Efficient Preprocessing PIR with Sequential Updates for Privacy-Preserving (Light) Blockchain Clients

Q1 2025​

  • Kartik Nayak (Duke University), Analytical Model for Analyzing Leader-based and DAG-based Protocols
  • Rishab Goyal (University of Wisconsin-Madison), Post-Quantum Homomorphic Commitments, Zero-Knowledge Proofs and Applications
  • Sanjam Garg (University of California, Berkeley), Fully Private Smart Contracts via Collaborative zkSNARKs
  • Yevgeniy Dodis, Censorship-Resistant Anonymous Publishing, Revisited

Q4 2024​

  • Ke Wu (University of Michigan), Collusion Resistance For Transaction Fee Mechanisms
  • Aniket Kate (Purdue) and Chen-Da Liu Zhang (Lucerne University of Applied Sciences and Arts), Lightweight Secure Distributed Computing: Design and Development
  • Alon Rosen (Bocconi University), A New Approach to Verifying Computations on the Blockchain

Q3 2024​

  • Mu Zhang (University of Utah), Detecting Logical Flaws in Smart Contract Bytecode
  • Eyal Ronen (Tel-Aviv University), Privacy Preserving Attestation and Post-Compromise Security for MPC Crypto Wallets
  • Stefano Tessaro (University of Washington), Advancing Privacy-Preserving Authentication
  • Christian Cachin (UNIBE), General Linear Erasure Codes

Q2 2024​

  • Aayush Jain (CMU), Post-Quantum Threshold Signatures for the Blockchain
  • Ilya Sergey (National University of Singapore), Combining Interactive and Automated Proofs about Distributed Protocols in Lean
  • Ooi Beng Chin and Ho Nhut Minh (National University of Singapore), Parallel Execution of Wasm Smart Contracts on Nvidia GPUs

Q1 2024​

Q4 2023​

Q3 2023​

  • Xuechao Wang (HKUST), Unveiling and Improving Unauthenticated BFT Protocols
  • Aurojit Panda (NYU), Detecting and Reacting to Errors in Distributed Systems at Runtime

Q2 2023​