YACL Talk | Nov 28, 11:00am | Alireza Shirzad, UPenn - IronDict: Transparent Dictionaries from Polynomial Commitments
Aviv Yaish
Alireza Shirzad, UPenn - IronDict: Transparent Dictionaries from Polynomial Commitments
Abstract: We present IronDict, a transparent dictionary construction based on polynomial commitment schemes. Transparent dictionaries enable an untrusted server to maintain a mutable dictionary and provably serve clients lookup queries. A major open challenge is supporting efficient auditing by lightweight clients. Previous solutions either incurred high server costs (limiting throughput) or high client lookup verification costs, hindering them from modern messaging key transparency deployments with billions of users. Our construction makes black-box use of a generic multilinear polynomial commitment scheme and inherits its security notions, i.e. binding and zero-knowledge. We implement our construction with the recent KZH scheme and find that a dictionary with billion entries can be verified on a consumer-grade laptop in 35ms, a 300x improvement over the state of the art, while also achieving 150,000x smaller proofs (8KB). In addition, our construction ensures perfect privacy with concretely efficient costs for both the client and the server. We also show fast-forwarding techniques based on incremental verifiable computation (IVC) and checkpoints to enable even faster client auditing.
Link: https://ia.cr/2025/1580
Bio: Alireza Shirzad is a PhD student at Penn advised by Dr. Pratyush Mishra. He is primarily interested in the theory and application of proof systems. Before coming to Penn, He obtained his Master’s degree in Secure communications and Cryptography in 2023 and a bachelor’s degree in Electrical Engineering in 2021 from Sharif University of Technology.
Livestream: https://yale.zoom.us/j/92678913996?pwd=DDM61mbgozlXO3bIpt6Q75SrYDL209.1