Katerina Sotiraki
Katerina Sotiraki co-authored Sumcheck Arguments and Their Applications, research that develops a common framework for succinct cryptographic arguments across several mathematical settings. The work applies sumcheck protocols to commitment schemes over modules and derives succinct arguments for satisfiability problems over rings. Sotiraki also co-authored research on lattice-based succinct arguments for NP with polylogarithmic-time verification.