Profile Details

Create Project

★★★★★

☆☆☆☆☆

USD 125 /hr

★★★★★

☆☆☆☆☆

Hire Dr. Shai L.

South Africa

USD 125 /hr

Public-key Cryptographer | Expert in Zero Knowledge Proofs, Protocols Design & Cryptanalysis

Profile Summary

I am primarily interested in constructing practical, provably secure protocols; both in the post-quantum (isogeny and code-based) and classical (discrete-log-based) setting. My primary focus has been applying modern, succinct generic proof systems (zk-SNARKs) as a building block for efficient post-quantum protocols, such as verifiable random functions, signature schemes and more. My publications appear in top tier cryptographic conferences such as Asiacrypt and ACNS.

Subject Matter Expertise

• ★ Cryptography
• ★ Blockchain Technology
• ★ Technical & Scientific Writing
• ☆ Software Engineering
• ☆ Information Technology
• ☆ Pure Mathematics
• ☆ Number Theory
• ☆ Graph Theory
• ☆ Discrete Mathematics
• ☆ Information Security
• ☆ Cybersecurity
• ☆ Python
• ☆ SOP & Protocol Writing

Services

• Writing
• Research
• Consulting

Writing Technical Writing

Research Fact Checking, Scientific and Technical Research, Systematic Literature Review

Consulting Scientific and Technical Consulting

Work Experience

Graduate Teaching Assistant

The University of Auckland

July 2024 - November 2024

Professional Teaching Fellow

The University of Auckland

March 2024 - July 2024

Research Intern

Brave

July 2023 - October 2023

Education

The University of Auckland

- Present

PhD Mathematics

University of Auckland

February 2022 - April 2025

BSc (Hons.) (Mathematics)

University of Canterbury

February 2019 - December 2021

Certifications

• Certification details not provided.

Publications

JOURNAL ARTICLE

Shai Levin (2025). A Key-Recovery Attack on a Leaky SeaSign Variant . IACR Communications in Cryptology.

BOOK CHAPTER

Shai Levin, Sofia Celi, Joe Rowell (2024). CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness .

Shai Levin, Kelong Cong, Yi-Fu Lai (2023). Efficient Isogeny Proofs Using Generic Techniques .