batch

type Proof struct {
	T            mcl.GT
	GipaKzgProof gipakzg.Proof
}

type Prover struct {
	Prover gipakzg.Prover
	N      uint32 // Product of two 32 bits will be at most 64 bits
	M      uint32 // Product of two 32 bits will be at most 64 bits
	MN     uint64 // In hyperproofs we may have to pad vector A and B. Thus self.N * self.M may not be equal to self.MN

}

type Verifier struct {
	Verifier gipakzg.Verifier
	W        []mcl.G1
	N        uint32 // Be sure to do ceil when padding
	M        uint32
	MN       uint64 // In hyperproofs we may have to pad vector A and B. Thus self.N * self.M may not be equal to self.MN
	B        []mcl.G2
	P        []mcl.G1
	Q        []mcl.G2
}