Research focus
About the research
Can cryptographic proofs scale to verify large model computations without revealing model parameters?
Read the full research overview
The group develops succinct zero-knowledge and folding-based SNARK constructions to reduce proof size and verification cost for large computations. Researchers design homomorphic and lattice-based encryption schemes and residue-number-system techniques to enable arithmetic on encrypted large integers. They prototype verifiable computation and authenticated-data systems for scalable image and web security, combining IOPs and accumulators to enable integrity checks at scale. The lab evaluates web, mobile, and blockchain security, producing protocols for privacy-preserving airdrops and accountable threshold signatures.
Selected publications
Publication highlights haven’t been added. Explore the official research profile ↗
People & alumni
Team details haven’t been added. See the lab’s website for its current members.
Alumni details haven’t been added. Check the lab’s official website.
Sources & listing information
Find Research Labs maintains this page using public sources. The faculty member, lab, and university have not claimed or approved this listing. Listing a lab does not indicate endorsement, partnership, or a recruiting opportunity.
Request a correction or removal ↗ · About directory listings