refactor: pvss migration [skip-line-limit]

.github/workflows/ci.yml

@@ -588,18 +588,10 @@ jobs:
           toolchain: ${{ env.NOIR_TOOLCHAIN }}
 
       - name: Check formatting
-        working-directory: ./circuits
-        run: nargo fmt --check
-
-      - name: Compile Noir circuits
-        working-directory: ./circuits
-        run: |
-          nargo compile --workspace
+        run: ./scripts/lint-circuits.sh
 
       - name: Test Noir circuits
-        working-directory: ./circuits
-        run: |
-          nargo test --workspace
+        run: ./scripts/test-circuits.sh
 
       - name: Upload circuit artifacts
         uses: actions/upload-artifact@v4

circuits/bin/aggregation/fold/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "fold"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/fold/src/main.nr

@@ -0,0 +1,25 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; 2],
+    commitments: pub [Field; 2],
+    key_hash: Field,
+) -> pub Field {
+    verify_ultrahonk_proof(verification_key, proofs[0], [commitments[0]], key_hash);
+    verify_ultrahonk_proof(verification_key, proofs[1], [commitments[1]], key_hash);
+
+    let mut commitments_vec = Vec::new();
+
+    commitments_vec.push(commitments[0]);
+    commitments_vec.push(commitments[1]);
+
+    compute_aggregation_commitment(commitments_vec)
+}

circuits/bin/aggregation/insecure/Nargo.toml

@@ -0,0 +1,10 @@
+[workspace]
+members = [
+    "pk_trbfv_wrapper",
+    "verify_shares_trbfv_wrapper",
+    "enc_bfv_wrapper",
+    "dec_bfv_wrapper",
+    "pk_agg_trbfv_wrapper",
+    "dec_share_trbfv_wrapper",
+    "dec_shares_agg_trbfv_wrapper",
+]

circuits/bin/aggregation/insecure/dec_bfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "dec_bfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/dec_bfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 2;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 11;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/dec_share_trbfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "dec_share_trbfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/dec_share_trbfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 1;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 3074;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/dec_shares_agg_trbfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "dec_shares_agg_trbfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/dec_shares_agg_trbfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 1;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 563;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/enc_bfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "enc_bfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/enc_bfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 2;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 1026;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/pk_agg_trbfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "pk_agg_trbfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/pk_agg_trbfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 1;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 6;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/pk_trbfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "pk_trbfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/pk_trbfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 1;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 1027;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}

circuits/bin/aggregation/insecure/verify_shares_trbfv_wrapper/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "verify_shares_trbfv_wrapper"
+type = "bin"
+authors = ["Gnosis Guild / Enclave"]
+version = "1.0.0-beta.15"
+
+[dependencies]
+lib = { path = "../../../../lib" }
+bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }

circuits/bin/aggregation/insecure/verify_shares_trbfv_wrapper/src/main.nr

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: LGPL-3.0-only
+//
+// This file is provided WITHOUT ANY WARRANTY;
+// without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.
+
+use bb_proof_verification::{UltraHonkProof, UltraHonkVerificationKey, verify_ultrahonk_proof};
+use lib::math::commitments::compute_aggregation_commitment;
+
+// Number of proofs.
+pub global N_PROOFS: u32 = 2;
+/// Number of public inputs/outputs per proof.
+pub global N_PUBLIC_INPUTS: u32 = 11;
+
+fn main(
+    verification_key: UltraHonkVerificationKey,
+    proofs: [UltraHonkProof; N_PROOFS],
+    public_inputs: pub [[Field; N_PUBLIC_INPUTS]; N_PROOFS],
+    key_hash: Field,
+) -> pub Field {
+    for i in 0..N_PROOFS {
+        verify_ultrahonk_proof(verification_key, proofs[i], public_inputs[i], key_hash);
+    }
+
+    let mut aggregated_public_inputs = Vec::new();
+
+    for i in 0..N_PROOFS {
+        for j in 0..N_PUBLIC_INPUTS {
+            aggregated_public_inputs.push(public_inputs[i][j]);
+        }
+    }
+
+    compute_aggregation_commitment(aggregated_public_inputs)
+}