Merge pull request #51 from worldcoin/dcbuild3r/deletion_trusted_setu…

…p_fix

PRO-441: fix trusted setup import for deletion circuits

prover/deletion_circuit.go

@@ -4,7 +4,9 @@ import (
 	"fmt"
 	"worldcoin/gnark-mbu/prover/keccak"
 
+	"github.com/consensys/gnark-crypto/ecc"
 	"github.com/consensys/gnark/frontend"
+	"github.com/consensys/gnark/frontend/cs/r1cs"
 	"github.com/reilabs/gnark-lean-extractor/v2/abstractor"
 )
 
@@ -68,3 +70,35 @@ func (circuit *DeletionMbuCircuit) Define(api frontend.API) error {
 
 	return nil
 }
+
+func ImportDeletionSetup(treeDepth uint32, batchSize uint32, pkPath string, vkPath string) (*ProvingSystem, error) {
+	proofs := make([][]frontend.Variable, batchSize)
+	for i := 0; i < int(batchSize); i++ {
+		proofs[i] = make([]frontend.Variable, treeDepth)
+	}
+	circuit := DeletionMbuCircuit{
+		Depth:           int(treeDepth),
+		BatchSize:       int(batchSize),
+		DeletionIndices: make([]frontend.Variable, batchSize),
+		IdComms:         make([]frontend.Variable, batchSize),
+		MerkleProofs:    proofs,
+	}
+	ccs, err := frontend.Compile(ecc.BN254.ScalarField(), r1cs.NewBuilder, &circuit)
+	if err != nil {
+		return nil, err
+	}
+
+	pk, err := LoadProvingKey(pkPath)
+
+	if err != nil {
+		return nil, err
+	}
+
+	vk, err := LoadVerifyingKey(vkPath)
+
+	if err != nil {
+		return nil, err
+	}
+
+	return &ProvingSystem{treeDepth, batchSize, pk, vk, ccs}, nil
+}

prover/deletion_proving_system.go

@@ -143,34 +143,3 @@ func (ps *ProvingSystem) VerifyDeletion(inputHash big.Int, proof *Proof) error {
 	}
 	return groth16.Verify(proof.Proof, ps.VerifyingKey, witness)
 }
-
-func ImportDeletionSetup(treeDepth uint32, batchSize uint32, pkPath string, vkPath string) (*ProvingSystem, error) {
-	proofs := make([][]frontend.Variable, batchSize)
-	for i := 0; i < int(batchSize); i++ {
-		proofs[i] = make([]frontend.Variable, treeDepth)
-	}
-	circuit := DeletionMbuCircuit{
-		Depth:        int(treeDepth),
-		BatchSize:    int(batchSize),
-		IdComms:      make([]frontend.Variable, batchSize),
-		MerkleProofs: proofs,
-	}
-	ccs, err := frontend.Compile(ecc.BN254.ScalarField(), r1cs.NewBuilder, &circuit)
-	if err != nil {
-		return nil, err
-	}
-
-	pk, err := LoadProvingKey(pkPath)
-
-	if err != nil {
-		return nil, err
-	}
-
-	vk, err := LoadVerifyingKey(vkPath)
-
-	if err != nil {
-		return nil, err
-	}
-
-	return &ProvingSystem{treeDepth, batchSize, pk, vk, ccs}, nil
-}