M parsers/parsers.go → parsers/parsers.go

@@ -34,7 +34,6 @@ HExps      [][]string          `json:"hExps"`
 	DomainSize int                 `json:"domainSize"`
 	PolsA      []map[string]string `json:"polsA"`
 	PolsB      []map[string]string `json:"polsB"`
-	PolsC      []map[string]string `json:"polsC"`
 }
 
 // WitnessString contains the Witness in string representation
@@ -146,10 +145,6 @@ if err != nil {
 		return nil, err
 	}
 	p.PolsB, err = polsStringToBigInt(ps.PolsB)
-	if err != nil {
-		return nil, err
-	}
-	p.PolsC, err = polsStringToBigInt(ps.PolsC)
 	if err != nil {
 		return nil, err
 	}

M prover/prover.go → prover/prover.go

@@ -13,36 +13,6 @@ "github.com/iden3/go-iden3-crypto/utils"
 	//"fmt"
 )
 
-// Proof is the data structure of the Groth16 zkSNARK proof
-type Proof struct {
-	A *bn256.G1
-	B *bn256.G2
-	C *bn256.G1
-}
-
-// Pk holds the data structure of the ProvingKey
-type Pk struct {
-	A          []*bn256.G1
-	B2         []*bn256.G2
-	B1         []*bn256.G1
-	C          []*bn256.G1
-	NVars      int
-	NPublic    int
-	VkAlpha1   *bn256.G1
-	VkDelta1   *bn256.G1
-	VkBeta1    *bn256.G1
-	VkBeta2    *bn256.G2
-	VkDelta2   *bn256.G2
-	HExps      []*bn256.G1
-	DomainSize int
-	PolsA      []map[int]*big.Int
-	PolsB      []map[int]*big.Int
-	PolsC      []map[int]*big.Int
-}
-
-// Witness contains the witness
-type Witness []*big.Int
-
 // Group Size
 const (
 	GSIZE = 6

M types/types.go → types/types.go

@@ -83,7 +83,6 @@ HExps      []*bn256.G1
 	DomainSize int
 	PolsA      []map[int]*big.Int
 	PolsB      []map[int]*big.Int
-	PolsC      []map[int]*big.Int
 }
 
 // Witness contains the witness