type Circuit struct {
// tagging a variable is optional// default uses variable name and secret visibility. X frontend.Variable `gnark:",public"`
Y frontend.Variable `gnark:",public"`
E frontend.Variable}
Circuit y == x**e
only the bitSize least significant bits of e are used