GKR Circuits like SNARK Circuits #1511
Description
A GKR circuit should be defined in more or less the same way as a gnark circuit:
A struct that implements Define(*gkrapi.API) error.
All input variables would thus have names by default, making debugging easier.
It would also do away with the confusing gkr.Variable type.