Samaritan: Linear-time Prover SNARK from New Multilinear Polynomial CommitmentsChaya GaneshSikhar Patranabiset al.2025AsiaCrypt 2025Conference paper
Compute, but Verify: Efficient Multiparty Computation over Authenticated InputsMoumita DuttaChaya Ganeshet al.2024AsiaCrypt 2024Conference paper
Batching-Efficient RAM using Updatable Lookup ArgumentsMoumita DuttaChaya Ganeshet al.2024CCS 2024Conference paper