GKR works by performing recursive proof aggregation through a series of sumchecks, a method that simplifies complex ...