Research
at Nexus

Scientific research informs everything we do at Nexus. Decades of research at the frontier of computing and zero-knowledge cryptography provides a foundation for our work on the world’s most powerful supercomputer. Our research team “stands on the shoulders of giants” while creating immediate and real-world applications along the road toward building a better Internet.

Nexus Speaker Series

Recent Talks

Research Principles

Nexus is building the world’s most powerful supercomputer. Our latest research findings help push the boundaries of what’s possible with our Nexus zkVM and network.

Our research is informed by three basic principles.

We invent and innovate

We build in public

We learn by doing

research team

Jens Groth

Chief Scientist

Inventor of pairing-based zkSNARKs
Prev. Director of Research @ DFINITY
Prev. Professor of Cryptography @ UCL, London

Michel Abdalla

Member of Technical Staff

Ph.D. in Cryptography @ UCSD

Advised by Mihir Bellare

President @ International Association for Cryptologic Research (IACR)
Prev. Professor of Cryptography @ ENS, France

Arka Rai Choudhuri

Member of Technical Staff

Ph.D. in Cryptography @ Johns Hopkins University

Advised by Abhishek Jain

Prev: Postdoctoral researcher, NTT Research

Prev: Postdoctoral researcher, UC Berkeley

Research
at Nexus

Scientific research informs everything we do at Nexus. Decades of research at the frontier of computing and zero-knowledge cryptography provides a foundation for our work on the world’s most powerful supercomputer. Our research team “stands on the shoulders of giants” while creating immediate and real-world applications along the road toward building a better Internet.

Nexus Speaker Series

Recent Talks

Research Principles

Nexus is building the world’s most powerful supercomputer. Our latest research findings help push the boundaries of what’s possible with our Nexus zkVM and network.

Our research is informed by three basic principles.

We invent and innovate

We build in public

We learn by doing

research team

Jens Groth

Chief Scientist

Inventor of pairing-based zkSNARKs
Prev. Director of Research @ DFINITY
Prev. Professor of Cryptography @ UCL, London

Michel Abdalla

Member of Technical Staff

Ph.D. in Cryptography @ UCSD

Advised by Mihir Bellare

President @ International Association for Cryptologic Research (IACR)
Prev. Professor of Cryptography @ ENS, France

Arka Rai Choudhuri

Member of Technical Staff

Ph.D. in Cryptography @ Johns Hopkins University

Advised by Abhishek Jain

Prev: Postdoctoral researcher, NTT Research

Prev: Postdoctoral researcher, UC Berkeley

Research
at Nexus

Scientific research informs everything we do at Nexus. Decades of research at the frontier of computing and zero-knowledge cryptography provides a foundation for our work on the world’s most powerful supercomputer. Our research team “stands on the shoulders of giants” while creating immediate and real-world applications along the road toward building a better Internet.

Nexus Speaker Series

Recent Talks

Research Principles

Nexus is building the world’s most powerful supercomputer. Our latest research findings help push the boundaries of what’s possible with our Nexus zkVM and network.

Our research is informed by three basic principles.

We invent and innovate

We build in public

We learn by doing

research team

Jens Groth

Chief Scientist

Inventor of pairing-based zkSNARKs
Prev. Director of Research @ DFINITY
Prev. Professor of Cryptography @ UCL, London

Michel Abdalla

Member of Technical Staff

Ph.D. in Cryptography @ UCSD

Advised by Mihir Bellare

President @ International Association for Cryptologic Research (IACR)
Prev. Professor of Cryptography @ ENS, France

Arka Rai Choudhuri

Member of Technical Staff

Ph.D. in Cryptography @ Johns Hopkins University

Advised by Abhishek Jain

Prev: Postdoctoral researcher, NTT Research

Prev: Postdoctoral researcher, UC Berkeley

reference

Nexus Speaker
Series

Nexus Speaker Series

Nexus Speaker Series

Carla Ràfols, "FLIP-and-prove R1CS"

Giacomo Fenzi, "STIR (and WHIR), proximity testing and constraint testing"

Hendrik Waldner, "Field-Agnostic SNARKs from Expand-Accumulate Codes"

Helger Lipmaa, "Polymath: Groth16 Is Not The Limit"

Recent Talks

Jens Groth

Devcon 2024, November 12, 2024: The Verifiability Vision

zkSummit12, October 2024: Memory checking in IVC-based zkVMs

BASS EthDenver 2024, March 1st, 2024 (together with Daniel Marin)

Keynote talk at CANS 2024, September 24th, 2024

Arka Rai Choudhuri

Crypto 2021: Non-Interactive Batch Arguments for NP from Standard Assumptions

Publications

Jens Groth

Jens Groth, Victor Shoup: Fast Batched Asynchronous Distributed Key Generation. EUROCRYPT (5) 2024: 370-400.

Jens Groth, Victor Shoup: On the Security of ECDSA with Additive Key Derivation and Presignatures. EUROCRYPT (1) 2022: 365-396.

Jonathan Bootle, Alessandro Chiesa, Jens Groth: Linear-Time Arguments with Sublinear Verification from Tensor Codes. TCC (2) 2020: 19-46.

Jens Groth: On the Size of Pairing-Based Non-interactive Arguments. EUROCRYPT (2) 2016: 305-326.

Arka Rai Choudhuri

Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, Rohit Sinha: SublonK: Sublinear Prover PlonK. Proc. Priv. Enhancing Technol. 2024(3): 314-335 (2024).

Arka Rai Choudhuri Aarushi Goel Aditya Hegde Abhishek Jain: Homomorphic Secret Sharing with Verifiable Evaluation. TCC 2024. 

Maya Farber Brodsky, Arka Rai Choudhuri, Abhishek Jain, Omer Paneth: Monotone-Policy Aggregate Signatures. EUROCRYPT (4) 2024: 168-195.

Arka Rai Choudhuri, Sanjam Garg, Julien Piet, Guru-Vamsi Policharla: Mempool Privacy via Batched Threshold Encryption: Attacks and Defenses. USENIX Security Symposium 2024.

Arka Rai Choudhuri, Sanjam Garg, Abhishek Jain, Zhengzhong Jin, Jiaheng Zhang: Correlation Intractability and SNARGs from Sub-exponential DDH. CRYPTO (4) 2023: 635-668.

Michel Abdalla

Michel Abdalla , Björn Haase , Julia Hesse: CPace, a balanced composable PAKE, Internet Draft

Michel Abdalla, Thorsten Eisenhofer, Eike Kiltz, Sabrina Kunzweiler, Doreen Riepel: Password-Authenticated Key Exchange from Group Actions. CRYPTO (2) 2022: 699-728.

Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu: Algebraic Adversaries in the Universal Composability Framework. ASIACRYPT (3) 2021: 311-341.

Michel Abdalla, Junqing Gong, Hoeteck Wee: Functional Encryption for Attribute-Weighted Sums from k-Lin. CRYPTO (1) 2020: 685-716.

Michel Abdalla, Manuel Barbosa, Tatiana Bradley, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu: Universally Composable Relaxed Password Authenticated Key Exchange. CRYPTO (1) 2020: 278-307.

Awards

Jens Groth

IACR Test-of-Time Award 2023

  • Paper: Efficient Non-interactive Proof Systems for Bilinear Groups

  • Published at Eurocrypt 2008

  • For providing efficient Groth-Sahai proofs that have given rise to many applications including succinct non-interactive arguments.

IACR Test-of-Time Award 2021

  • Paper: Simulation-sound NIZK proofs for a practical language and constant size group signatures

  • Published at Asiacrypt 2006

  • For constructing asymptotically optimal NIZK proofs and group signatures without using random oracles, and paving the way to practical constructions.

Michel Abdalla

PKC Test-of-Time Award 2022

  • Paper: Password-Based Authenticated Key Exchange in the Three-Party Setting

  • Published at PKC 2005

  • For making a significant contribution to the theory and practice of public key cryptography