Srinath SettySrinath Setty co-authored Nova, a proof system using folding schemes for incrementally verifiable computation.3 talks by Srinath SettyEpisode 277 - Nova and Beyond with Srinath SettyzkStudyClub: Supernova (Srinath Setty - MS Research)zkStudyClub - Quarks