**Speaker**: Carlos Pérez (PSE) **Abstract**: We've seen that GKR has greatly improved some protocols like LogUp. And it's a core part of others like Lasso. Seeing the potential that GKR has and it's great points, could we find ways to have a fine-tuned wiring argument & lookup argument so that GKR has chances to become the NEW proving system by excellence? Or should we keep with Halo2 & Plonky2/3 as the industry standards for more time? **Slides:** TBD **Video**: TBD