Soowon
1 talk by Soowon
Proof Aggregation using GKR