type AggregateSignatureCircuit struct {
    PublicKeys   [n]bls12377.G2Jac `gnark:",public"` // Public Keys
    hashedMessage bls12377.G1Affine   `gnark:",public"` // The message to be verified
    Signature    bls12377.G1Affine   // Aggregated Signature
}

func (c *AggregateSignatureCircuit) Define(api frontend.API) error {

    var aggPublicKey bls12377.G2Jac
    set_to_unit_g2(&aggPublicKey)
    for _ , pk := range c.PublicKeys {
            aggPublicKey.AddAssign(&pk) // Perform elliptic curve point addition
    }
    var aggPublicKeyAffine bls12377.G2Affine
    aggPublicKeyAffine.FromJacobian(&aggPublicKey)

    left, _ := bls12377.Pair([]bls12377.G1Affine{c.Signature}, []bls12377.G2Affine{g2Jac})
    right, _ := bls12377.Pair([]bls12377.G1Affine{c.hashedMessage}, []bls12377.G2Affine{aggPublicKeyAffine})

    result := 0
    if left.Equal(&right){
        result = 1
    }
    api.AssertIsEqual(result, 1)

    return nil
}

func main() {
    // Instantiate the circuit
    var circuit AggregateSignatureCircuit
    p := profile.Start()
    log.Println("Compiling the circuit...")
    // Compile the circuit
    r1cs, err := frontend.Compile(ecc.BLS12_377.ScalarField(), r1cs.NewBuilder, &circuit)
    if err != nil {
        log.Fatal(err)
    }
    log.Println("Circuit compiled successfully!")
    p.Stop()
    fmt.Println(p.NbConstraints())
	fmt.Println(p.Top())