Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Computer science, Mathematical proof, Hash function, Theoretical computer science, Gas meter prover, and Encryption.
PPAD is as Hard as LWE and Iterated Squaring
Fiat-Shamir: from practice to theory
Towards Non-Interactive Zero-Knowledge for NP from LWE
Statistical Difference Beyond the Polarizing Regime
New Constructions of Reusable Designated-Verifier NIZKs
Fiat-Shamir and Correlation Intractability from Strong KDM-Secure Encryption
Multi-Collision Resistant Hash Functions and Their Applications
Efficient Batch Verification for UP
From Laconic Zero-Knowledge to Public-Key Cryptography
From Obfuscation to the Security of Fiat-Shamir for Proofs
Distinguisher-Dependent Simulation in Two Rounds and its Applications
Constant-round interactive proofs for delegating computation
Spooky Encryption and Its Applications
Non-interactive proofs of proximity