Samaritan: Linear-time Prover SNARK from New Multilinear Polynomial CommitmentsChaya GaneshSikhar Patranabiset al.2025AsiaCrypt 2025
Compute, but Verify: Efficient Multiparty Computation over Authenticated InputsMoumita DuttaChaya Ganeshet al.2024AsiaCrypt 2024