苏杭 | Hang Su
Cryptography Research and Engineering, Polyhedra
Email: hs2nu@virginia.edu
Github: tonyfloatersu
Blog: Nomad Note
[CV, Google Scholar]
Research Interest
Cryptography, Computer Security, Theoretical Computer Science (in general aspect).
Education
- M.S., Computer Science, University of Virginia, Sept., 2019 - May., 2021
- Thesis: Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices
- Thesis Advisor: David J. Wu
- B.S., Electrical and Computer Engineering, Shanghai Jiao Tong University, Sept., 2015 - Aug., 2019
Publications
[1] Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices
Yuval Ishai, Hang Su, and David J. Wu. In ACM CCS 2021.
[Paper (ePrint Version)] [Sample Implementation]
Research Experience
Research Assistant advised by David J. Wu at University of Virginia, Jan., 2020 - May., 2021
Research Topic: Lattice-based Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARK).
- Implemented a lattice-based zkSNARK with smaller parameters from MLWE assumption.
- Obtained 10.3x smaller proof size than previous post-quantum candidates.
- Achieved 42.1x smaller proof size and 60.2x faster prover time than prior lattice-based candidates, with a much higher level of soundness.
- Published a first-authored full length paper at ACM CCS 2021, Seoul, South Korea.
Industry Experience
Cryptography Engineer, Polyhedra, Oct., 2024 - present
Cryptography Researcher, Cysic Labs., Oct., 2023 - Oct., 2024
Software Engineer, Algorand Inc., Jul., 2021 - Sept., 2023
Github: ahangsu
Worked with the smart contract team on Algorand Virtual Machine (AVM) programmability and safety.
- Provided the first prototype of Application Binary Interface (ABI) for smart contract interoperability.
- Developed features and integrated Behavior Driven Development (BDD) tests for SDKs.
- Designed and implemented PyTeal library for smart contract development.
- Lead the development for the Simulation Endpoint:
- Allows a local node to simulate transactions without committing them to the network.
- Exports fine-grained opcode-by-opcode execution traces for invoked smart contracts.
- Improves live chain data querying flexibility by utilizing TEAL as a query language.
- Prototyped a brand new smart contract debugger by taking advantage of the Simulation Endpoint.
Notes
Sometimes, I will post notes taken for some courses / papers:
- Leakage Resilient Secret Sharing Notes (notes taken from [BDIR19], more LRSS paper note TBD)
- CS 395 T: Topics in Cryptography (Lattice) - Spring 2022 (note taken from Spring 2022)
- CSC 294 Foundations of Probabilistic Proofs - Fall 2020 (note taken in Fall 2022)
- Papers, TLDR - describing papers’ ideas in a TLDR style
MISC
I have many awesome friends over the years, and you may find their stuffs interesting: