chore: fix naming and format

abstractor/abstractor.go

@@ -1,3 +1,6 @@
+// Package abstractor defines the abstractor.API. It is based on
+// frontend.API from the gnark library plus `DefineGadget`
+// and `Call` functions to support Gadgets in circuits
 package abstractor
 
 import "github.com/consensys/gnark/frontend"
@@ -6,10 +9,12 @@ type Gadget interface {
 	Call(gadget GadgetDefinition) []frontend.Variable
 }
 
+// GadgetDefinition is the interface to define the circuit of a gadget
 type GadgetDefinition interface {
 	DefineGadget(api API) []frontend.Variable
 }
 
+// API extends frontend.API
 type API interface {
 	frontend.API
 	DefineGadget(gadget GadgetDefinition) Gadget
@@ -18,6 +23,8 @@ type API interface {
 	Call(gadget GadgetDefinition) []frontend.Variable
 }
 
+// The Circuit interface. AbsDefine is the function called
+// to read the circuit implementation from the extractor
 type Circuit interface {
 	frontend.Circuit
 	AbsDefine(api API) error

abstractor/concretizer.go

@@ -1,9 +1,10 @@
 package abstractor
 
 import (
+	"math/big"
+
 	"github.com/consensys/gnark/backend/hint"
 	"github.com/consensys/gnark/frontend"
-	"math/big"
 )
 
 type ConcreteGadget struct {