From dbb555830578dab36c8aa30bfe259b9224d4cced Mon Sep 17 00:00:00 2001 From: 0xjei Date: Tue, 7 Apr 2026 16:51:12 +0200 Subject: [PATCH] add benches for secure and insecure --- circuits/benchmarks/config.json | 1 + .../benchmarks/results_insecure/report.md | 240 +++++++------- circuits/benchmarks/results_secure/report.md | 292 ++++++++++-------- 3 files changed, 285 insertions(+), 248 deletions(-) diff --git a/circuits/benchmarks/config.json b/circuits/benchmarks/config.json index 6bedcf83fb..7b1371cac7 100644 --- a/circuits/benchmarks/config.json +++ b/circuits/benchmarks/config.json @@ -6,6 +6,7 @@ "dkg/e_sm_share_computation", "dkg/share_encryption", "dkg/share_decryption", + "threshold/user_data_encryption", "threshold/user_data_encryption_ct0", "threshold/user_data_encryption_ct1", "threshold/pk_generation", diff --git a/circuits/benchmarks/results_insecure/report.md b/circuits/benchmarks/results_insecure/report.md index d9ee9cf18d..b34e927ef6 100644 --- a/circuits/benchmarks/results_insecure/report.md +++ b/circuits/benchmarks/results_insecure/report.md @@ -1,9 +1,9 @@ # Enclave ZK Circuit Benchmarks -**Generated:** 2026-02-17 15:08:16 UTC +**Generated:** 2026-04-07 13:56:44 UTC -**Git Branch:** `configs/fixqmt` -**Git Commit:** `689e56cb90251b34e67af87cb7abfed03bedcd1c` +**Git Branch:** `main` +**Git Commit:** `bae26bfb4e0d6673bff4783c4942384dfbef5a08` --- @@ -15,43 +15,45 @@ | Circuit | Compile | Execute | Prove | Verify | | ---------------------- | ------- | ------- | ------ | ------ | -| e_sm_share_computation | 3.29 s | 0.54 s | 1.63 s | 0.03 s | -| pk | 0.33 s | 0.26 s | 0.12 s | 0.02 s | -| share_decryption | 0.71 s | 0.29 s | 0.23 s | 0.02 s | -| share_encryption | 1.99 s | 0.43 s | 0.62 s | 0.03 s | -| sk_share_computation | 3.18 s | 0.51 s | 1.62 s | 0.02 s | +| e_sm_share_computation | 0.34 s | 0.49 s | 0.89 s | 0.02 s | +| pk | 0.30 s | 0.31 s | 0.12 s | 0.02 s | +| share_decryption | 0.32 s | 0.39 s | 0.51 s | 0.02 s | +| share_encryption | 0.33 s | 0.48 s | 0.60 s | 0.03 s | +| sk_share_computation | 0.33 s | 0.45 s | 0.81 s | 0.02 s | #### Size & Circuit Metrics | Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | | ---------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | -| e_sm_share_computation | 90956 | 328.74K | 1.39 MB | 477.88 KB | 3.59 KB | 15.88 KB | -| pk | 344 | 6.85K | 87.84 KB | 29.08 KB | 3.59 KB | 15.88 KB | -| share_decryption | 3093 | 28.72K | 158.27 KB | 148.90 KB | 3.59 KB | 15.88 KB | -| share_encryption | 47758 | 127.69K | 798.14 KB | 512.29 KB | 3.59 KB | 15.88 KB | -| sk_share_computation | 90827 | 326.14K | 1.38 MB | 463.75 KB | 3.59 KB | 15.88 KB | +| e_sm_share_computation | 75649 | 198.35K | 1.16 MB | 222.06 KB | 3.59 KB | 15.88 KB | +| pk | 344 | 6.85K | 90.54 KB | 29.07 KB | 3.59 KB | 15.88 KB | +| share_decryption | 28577 | 92.52K | 538.83 KB | 151.95 KB | 3.59 KB | 15.88 KB | +| share_encryption | 47758 | 127.05K | 802.98 KB | 512.11 KB | 3.59 KB | 15.88 KB | +| sk_share_computation | 56018 | 142.62K | 936.72 KB | 165.20 KB | 3.59 KB | 15.88 KB | ### Threshold #### Timing Metrics -| Circuit | Compile | Execute | Prove | Verify | -| -------------------------------- | ------- | ------- | ------ | ------ | -| decrypted_shares_aggregation_mod | 0.54 s | 0.32 s | 0.47 s | 0.03 s | -| pk_aggregation | 1.45 s | 0.43 s | 0.88 s | 0.02 s | -| pk_generation | 1.24 s | 0.37 s | 0.50 s | 0.03 s | -| share_decryption | 1.18 s | 0.37 s | 0.52 s | 0.03 s | -| user_data_encryption | 2.01 s | 0.47 s | 0.61 s | 0.02 s | +| Circuit | Compile | Execute | Prove | Verify | +| ---------------------------- | ------- | ------- | ------ | ------ | +| decrypted_shares_aggregation | 0.33 s | 0.58 s | 0.51 s | 0.02 s | +| pk_aggregation | 0.34 s | 0.45 s | 0.83 s | 0.02 s | +| pk_generation | 0.32 s | 0.40 s | 0.35 s | 0.02 s | +| share_decryption | 0.32 s | 0.43 s | 0.52 s | 0.03 s | +| user_data_encryption_ct0 | 0.32 s | 0.41 s | 0.33 s | 0.03 s | +| user_data_encryption_ct1 | 0.32 s | 0.39 s | 0.32 s | 0.03 s | #### Size & Circuit Metrics -| Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | -| -------------------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | -| decrypted_shares_aggregation_mod | 31544 | 80.74K | 509.84 KB | 77.50 KB | 3.59 KB | 15.88 KB | -| pk_aggregation | 47817 | 169.89K | 884.11 KB | 360.70 KB | 3.59 KB | 15.88 KB | -| pk_generation | 30019 | 65.61K | 542.16 KB | 446.98 KB | 3.59 KB | 15.88 KB | -| share_decryption | 22378 | 74.21K | 460.26 KB | 494.32 KB | 3.59 KB | 15.88 KB | -| user_data_encryption | 56601 | 106.72K | 847.53 KB | 691.33 KB | 3.59 KB | 15.88 KB | +| Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | +| ---------------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | +| decrypted_shares_aggregation | 41673 | 104.27K | 1.12 MB | 111.14 KB | 3.59 KB | 15.88 KB | +| pk_aggregation | 48950 | 151.72K | 837.49 KB | 259.79 KB | 3.59 KB | 15.88 KB | +| pk_generation | 27737 | 57.82K | 501.25 KB | 348.73 KB | 3.59 KB | 15.88 KB | +| share_decryption | 22486 | 75.12K | 466.54 KB | 498.22 KB | 3.59 KB | 15.88 KB | +| user_data_encryption_ct0 | 27573 | 53.73K | 500.84 KB | 358.40 KB | 3.59 KB | 15.88 KB | +| user_data_encryption_ct1 | 21399 | 46.27K | 421.51 KB | 325.19 KB | 3.59 KB | 15.88 KB | ### Config @@ -73,15 +75,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 3.29 s | -| **Execution** | 0.54 s | -| **VK Generation** | 0.64 s | -| **Proof Generation** | 1.63 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "90956" | -| **Total Gates** | "328743" | -| **Circuit Size** | 1.39 MB | -| **Witness Size** | 477.88 KB | +| **Compilation** | 0.34 s | +| **Execution** | 0.49 s | +| **VK Generation** | 0.38 s | +| **Proof Generation** | 0.89 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "75649" | +| **Total Gates** | "198355" | +| **Circuit Size** | 1.16 MB | +| **Witness Size** | 222.06 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -89,15 +91,15 @@ | Metric | Value | | -------------------- | -------- | -| **Compilation** | 0.33 s | -| **Execution** | 0.26 s | +| **Compilation** | 0.30 s | +| **Execution** | 0.31 s | | **VK Generation** | 0.05 s | | **Proof Generation** | 0.12 s | | **Verification** | 0.02 s | | **ACIR Opcodes** | "344" | -| **Total Gates** | "6846" | -| **Circuit Size** | 87.84 KB | -| **Witness Size** | 29.08 KB | +| **Total Gates** | "6847" | +| **Circuit Size** | 90.54 KB | +| **Witness Size** | 29.07 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -105,15 +107,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 0.71 s | -| **Execution** | 0.29 s | -| **VK Generation** | 0.09 s | -| **Proof Generation** | 0.23 s | +| **Compilation** | 0.32 s | +| **Execution** | 0.39 s | +| **VK Generation** | 0.20 s | +| **Proof Generation** | 0.51 s | | **Verification** | 0.02 s | -| **ACIR Opcodes** | "3093" | -| **Total Gates** | "28720" | -| **Circuit Size** | 158.27 KB | -| **Witness Size** | 148.90 KB | +| **ACIR Opcodes** | "28577" | +| **Total Gates** | "92515" | +| **Circuit Size** | 538.83 KB | +| **Witness Size** | 151.95 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -121,15 +123,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 1.99 s | -| **Execution** | 0.43 s | -| **VK Generation** | 0.26 s | -| **Proof Generation** | 0.62 s | +| **Compilation** | 0.33 s | +| **Execution** | 0.48 s | +| **VK Generation** | 0.25 s | +| **Proof Generation** | 0.60 s | | **Verification** | 0.03 s | | **ACIR Opcodes** | "47758" | -| **Total Gates** | "127691" | -| **Circuit Size** | 798.14 KB | -| **Witness Size** | 512.29 KB | +| **Total Gates** | "127047" | +| **Circuit Size** | 802.98 KB | +| **Witness Size** | 512.11 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -137,33 +139,33 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 3.18 s | -| **Execution** | 0.51 s | -| **VK Generation** | 0.60 s | -| **Proof Generation** | 1.62 s | +| **Compilation** | 0.33 s | +| **Execution** | 0.45 s | +| **VK Generation** | 0.28 s | +| **Proof Generation** | 0.81 s | | **Verification** | 0.02 s | -| **ACIR Opcodes** | "90827" | -| **Total Gates** | "326138" | -| **Circuit Size** | 1.38 MB | -| **Witness Size** | 463.75 KB | +| **ACIR Opcodes** | "56018" | +| **Total Gates** | "142625" | +| **Circuit Size** | 936.72 KB | +| **Witness Size** | 165.20 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | ### Threshold -#### decrypted_shares_aggregation_mod +#### decrypted_shares_aggregation | Metric | Value | | -------------------- | --------- | -| **Compilation** | 0.54 s | -| **Execution** | 0.32 s | -| **VK Generation** | 0.19 s | -| **Proof Generation** | 0.47 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "31544" | -| **Total Gates** | "80740" | -| **Circuit Size** | 509.84 KB | -| **Witness Size** | 77.50 KB | +| **Compilation** | 0.33 s | +| **Execution** | 0.58 s | +| **VK Generation** | 0.23 s | +| **Proof Generation** | 0.51 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "41673" | +| **Total Gates** | "104273" | +| **Circuit Size** | 1.12 MB | +| **Witness Size** | 111.14 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -171,15 +173,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 1.45 s | -| **Execution** | 0.43 s | -| **VK Generation** | 0.35 s | -| **Proof Generation** | 0.88 s | +| **Compilation** | 0.34 s | +| **Execution** | 0.45 s | +| **VK Generation** | 0.30 s | +| **Proof Generation** | 0.83 s | | **Verification** | 0.02 s | -| **ACIR Opcodes** | "47817" | -| **Total Gates** | "169890" | -| **Circuit Size** | 884.11 KB | -| **Witness Size** | 360.70 KB | +| **ACIR Opcodes** | "48950" | +| **Total Gates** | "151717" | +| **Circuit Size** | 837.49 KB | +| **Witness Size** | 259.79 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -187,15 +189,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 1.24 s | -| **Execution** | 0.37 s | -| **VK Generation** | 0.17 s | -| **Proof Generation** | 0.50 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "30019" | -| **Total Gates** | "65606" | -| **Circuit Size** | 542.16 KB | -| **Witness Size** | 446.98 KB | +| **Compilation** | 0.32 s | +| **Execution** | 0.40 s | +| **VK Generation** | 0.14 s | +| **Proof Generation** | 0.35 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "27737" | +| **Total Gates** | "57818" | +| **Circuit Size** | 501.25 KB | +| **Witness Size** | 348.73 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -203,31 +205,47 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 1.18 s | -| **Execution** | 0.37 s | +| **Compilation** | 0.32 s | +| **Execution** | 0.43 s | | **VK Generation** | 0.17 s | | **Proof Generation** | 0.52 s | | **Verification** | 0.03 s | -| **ACIR Opcodes** | "22378" | -| **Total Gates** | "74214" | -| **Circuit Size** | 460.26 KB | -| **Witness Size** | 494.32 KB | +| **ACIR Opcodes** | "22486" | +| **Total Gates** | "75125" | +| **Circuit Size** | 466.54 KB | +| **Witness Size** | 498.22 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | -#### user_data_encryption +#### user_data_encryption_ct0 | Metric | Value | | -------------------- | --------- | -| **Compilation** | 2.01 s | -| **Execution** | 0.47 s | -| **VK Generation** | 0.24 s | -| **Proof Generation** | 0.61 s | -| **Verification** | 0.02 s | -| **ACIR Opcodes** | "56601" | -| **Total Gates** | "106725" | -| **Circuit Size** | 847.53 KB | -| **Witness Size** | 691.33 KB | +| **Compilation** | 0.32 s | +| **Execution** | 0.41 s | +| **VK Generation** | 0.13 s | +| **Proof Generation** | 0.33 s | +| **Verification** | 0.03 s | +| **ACIR Opcodes** | "27573" | +| **Total Gates** | "53732" | +| **Circuit Size** | 500.84 KB | +| **Witness Size** | 358.40 KB | +| **VK Size** | 3.59 KB | +| **Proof Size** | 15.88 KB | + +#### user_data_encryption_ct1 + +| Metric | Value | +| -------------------- | --------- | +| **Compilation** | 0.32 s | +| **Execution** | 0.39 s | +| **VK Generation** | 0.12 s | +| **Proof Generation** | 0.32 s | +| **Verification** | 0.03 s | +| **ACIR Opcodes** | "21399" | +| **Total Gates** | "46270" | +| **Circuit Size** | 421.51 KB | +| **Witness Size** | 325.19 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -245,7 +263,7 @@ ### Software -- **Nargo Version:** nargo version = 1.0.0-beta.15 noirc version = - 1.0.0-beta.15+83245db91dcf63420ef4bcbbd85b98f397fee663 (git version hash: - 83245db91dcf63420ef4bcbbd85b98f397fee663, is dirty: false) -- **Barretenberg Version:** 3.0.0-nightly.20251104 +- **Nargo Version:** nargo version = 1.0.0-beta.16 noirc version = + 1.0.0-beta.16+2d46fca7203545cbbfb31a0d0328de6c10a8db95 (git version hash: + 2d46fca7203545cbbfb31a0d0328de6c10a8db95, is dirty: false) +- **Barretenberg Version:** 3.0.0-nightly.20260102 diff --git a/circuits/benchmarks/results_secure/report.md b/circuits/benchmarks/results_secure/report.md index 1e73073390..b0fc5ad57d 100644 --- a/circuits/benchmarks/results_secure/report.md +++ b/circuits/benchmarks/results_secure/report.md @@ -1,9 +1,9 @@ # Enclave ZK Circuit Benchmarks -**Generated:** 2026-02-13 14:38:47 UTC +**Generated:** 2026-04-07 14:49:11 UTC -**Git Branch:** `ref/circuits-comp` -**Git Commit:** `2403461592f5c628cb22b493586995f79bb698e1` +**Git Branch:** `main` +**Git Commit:** `bae26bfb4e0d6673bff4783c4942384dfbef5a08` --- @@ -15,43 +15,45 @@ | Circuit | Compile | Execute | Prove | Verify | | ---------------------- | -------- | ------- | ------- | ------ | -| e_sm_share_computation | 1.94 s | 9.97 s | 38.67 s | 0.03 s | -| pk | 0.26 s | 0.47 s | 1.00 s | 0.02 s | -| share_decryption | 45.18 s | 1.90 s | 5.71 s | 0.02 s | -| share_encryption | 462.32 s | 5.14 s | 11.85 s | 0.09 s | -| sk_share_computation | 1.80 s | 9.05 s | 37.63 s | 0.03 s | +| e_sm_share_computation | 430.82 s | 7.67 s | 22.45 s | 0.03 s | +| pk | 12.68 s | 0.54 s | 1.05 s | 0.03 s | +| share_decryption | 164.72 s | 3.66 s | 10.81 s | 0.02 s | +| share_encryption | 538.42 s | 5.06 s | 11.41 s | 0.09 s | +| sk_share_computation | 176.93 s | 5.53 s | 20.02 s | 0.03 s | #### Size & Circuit Metrics | Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | | ---------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | -| e_sm_share_computation | 2949141 | 11.54M | 39.14 MB | 17.63 MB | 3.59 KB | 15.88 KB | -| pk | 10925 | 215.80K | 442.45 KB | 952.12 KB | 3.59 KB | 15.88 KB | -| share_decryption | 81950 | 1.33M | 2.65 MB | 5.57 MB | 3.59 KB | 15.88 KB | -| share_encryption | 1151876 | 3.20M | 14.36 MB | 14.19 MB | 3.59 KB | 15.88 KB | -| sk_share_computation | 2905804 | 10.72M | 38.25 MB | 15.36 MB | 3.59 KB | 15.88 KB | +| e_sm_share_computation | 2468542 | 7.39M | 31.59 MB | 10.11 MB | 3.59 KB | 15.88 KB | +| pk | 10925 | 215.80K | 445.36 KB | 952.11 KB | 3.59 KB | 15.88 KB | +| share_decryption | 928446 | 3.13M | 12.72 MB | 5.89 MB | 3.59 KB | 15.88 KB | +| share_encryption | 1151876 | 3.19M | 14.37 MB | 14.19 MB | 3.59 KB | 15.88 KB | +| sk_share_computation | 1802613 | 4.90M | 23.37 MB | 6.12 MB | 3.59 KB | 15.88 KB | ### Threshold #### Timing Metrics -| Circuit | Compile | Execute | Prove | Verify | -| ------------------------------- | -------- | ------- | ------- | ------ | -| decrypted_shares_aggregation_bn | 1.40 s | 0.73 s | 0.89 s | 0.03 s | -| pk_aggregation | 153.74 s | 7.90 s | 21.98 s | 0.03 s | -| pk_generation | 419.13 s | 4.95 s | 22.79 s | 0.10 s | -| share_decryption | 520.26 s | 6.24 s | 13.80 s | 0.17 s | -| user_data_encryption | 434.14 s | 7.88 s | 15.04 s | 0.03 s | +| Circuit | Compile | Execute | Prove | Verify | +| ---------------------------- | -------- | ------- | ------- | ------ | +| decrypted_shares_aggregation | 1.50 s | 0.70 s | 0.81 s | 0.02 s | +| pk_aggregation | 126.53 s | 6.07 s | 20.04 s | 0.02 s | +| pk_generation | 379.45 s | 4.07 s | 10.93 s | 0.02 s | +| share_decryption | 478.26 s | 4.89 s | 11.28 s | 0.16 s | +| user_data_encryption_ct0 | 118.00 s | 4.30 s | 6.61 s | 0.02 s | +| user_data_encryption_ct1 | 90.37 s | 3.54 s | 6.04 s | 0.03 s | #### Size & Circuit Metrics -| Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | -| ------------------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | -| decrypted_shares_aggregation_bn | 61568 | 154.96K | 1.29 MB | 194.16 KB | 3.59 KB | 15.88 KB | -| pk_aggregation | 1572875 | 6.13M | 23.79 MB | 14.66 MB | 3.59 KB | 15.88 KB | -| pk_generation | 948955 | 3.49M | 12.31 MB | 16.86 MB | 3.59 KB | 15.88 KB | -| share_decryption | 1012104 | 3.54M | 12.98 MB | 19.20 MB | 3.59 KB | 15.88 KB | -| user_data_encryption | 1684299 | 4.02M | 20.75 MB | 23.82 MB | 3.59 KB | 15.88 KB | +| Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | +| ---------------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | +| decrypted_shares_aggregation | 59327 | 149.69K | 1.36 MB | 201.40 KB | 3.59 KB | 15.88 KB | +| pk_aggregation | 1594721 | 5.28M | 21.95 MB | 10.22 MB | 3.59 KB | 15.88 KB | +| pk_generation | 854628 | 3.09M | 11.22 MB | 12.89 MB | 3.59 KB | 15.88 KB | +| share_decryption | 750193 | 3.02M | 10.43 MB | 18.04 MB | 3.59 KB | 15.88 KB | +| user_data_encryption_ct0 | 783630 | 1.91M | 10.13 MB | 12.55 MB | 3.59 KB | 15.88 KB | +| user_data_encryption_ct1 | 647104 | 1.61M | 8.36 MB | 10.42 MB | 3.59 KB | 15.88 KB | ### Config @@ -59,13 +61,13 @@ | Circuit | Compile | Execute | Prove | Verify | | ----------------------- | ------- | ------- | ------ | ------ | -| validate_secure_configs | 0.26 s | 0.26 s | 0.05 s | 0.02 s | +| validate_secure_configs | 0.31 s | 0.31 s | 0.00 s | 0.00 s | #### Size & Circuit Metrics | Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | | ----------------------- | ------- | ----- | ------------ | ------- | ------- | ---------- | -| validate_secure_configs | 0 | 54 | 568 B | 23 B | 3.59 KB | 15.88 KB | +| validate_secure_configs | 0 | 0 | 21.09 KB | 0 B | 0 B | 0 B | ## Circuit Details @@ -73,33 +75,33 @@ #### e_sm_share_computation -| Metric | Value | -| -------------------- | ---------- | -| **Compilation** | 1.94 s | -| **Execution** | 9.97 s | -| **VK Generation** | 16.31 s | -| **Proof Generation** | 38.67 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "2949141" | -| **Total Gates** | "11539441" | -| **Circuit Size** | 39.14 MB | -| **Witness Size** | 17.63 MB | -| **VK Size** | 3.59 KB | -| **Proof Size** | 15.88 KB | +| Metric | Value | +| -------------------- | --------- | +| **Compilation** | 430.82 s | +| **Execution** | 7.67 s | +| **VK Generation** | 10.77 s | +| **Proof Generation** | 22.45 s | +| **Verification** | 0.03 s | +| **ACIR Opcodes** | "2468542" | +| **Total Gates** | "7387206" | +| **Circuit Size** | 31.59 MB | +| **Witness Size** | 10.11 MB | +| **VK Size** | 3.59 KB | +| **Proof Size** | 15.88 KB | #### pk | Metric | Value | | -------------------- | --------- | -| **Compilation** | 0.26 s | -| **Execution** | 0.47 s | -| **VK Generation** | 0.34 s | -| **Proof Generation** | 1.00 s | -| **Verification** | 0.02 s | +| **Compilation** | 12.68 s | +| **Execution** | 0.54 s | +| **VK Generation** | 0.39 s | +| **Proof Generation** | 1.05 s | +| **Verification** | 0.03 s | | **ACIR Opcodes** | "10925" | -| **Total Gates** | "215803" | -| **Circuit Size** | 442.45 KB | -| **Witness Size** | 952.12 KB | +| **Total Gates** | "215804" | +| **Circuit Size** | 445.36 KB | +| **Witness Size** | 952.11 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -107,15 +109,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 45.18 s | -| **Execution** | 1.90 s | -| **VK Generation** | 1.92 s | -| **Proof Generation** | 5.71 s | +| **Compilation** | 164.72 s | +| **Execution** | 3.66 s | +| **VK Generation** | 4.53 s | +| **Proof Generation** | 10.81 s | | **Verification** | 0.02 s | -| **ACIR Opcodes** | "81950" | -| **Total Gates** | "1327693" | -| **Circuit Size** | 2.65 MB | -| **Witness Size** | 5.57 MB | +| **ACIR Opcodes** | "928446" | +| **Total Gates** | "3127021" | +| **Circuit Size** | 12.72 MB | +| **Witness Size** | 5.89 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -123,49 +125,49 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 462.32 s | -| **Execution** | 5.14 s | -| **VK Generation** | 5.26 s | -| **Proof Generation** | 11.85 s | +| **Compilation** | 538.42 s | +| **Execution** | 5.06 s | +| **VK Generation** | 4.67 s | +| **Proof Generation** | 11.41 s | | **Verification** | 0.09 s | | **ACIR Opcodes** | "1151876" | -| **Total Gates** | "3204716" | -| **Circuit Size** | 14.36 MB | +| **Total Gates** | "3194472" | +| **Circuit Size** | 14.37 MB | | **Witness Size** | 14.19 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | #### sk_share_computation -| Metric | Value | -| -------------------- | ---------- | -| **Compilation** | 1.80 s | -| **Execution** | 9.05 s | -| **VK Generation** | 15.19 s | -| **Proof Generation** | 37.63 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "2905804" | -| **Total Gates** | "10718698" | -| **Circuit Size** | 38.25 MB | -| **Witness Size** | 15.36 MB | -| **VK Size** | 3.59 KB | -| **Proof Size** | 15.88 KB | +| Metric | Value | +| -------------------- | --------- | +| **Compilation** | 176.93 s | +| **Execution** | 5.53 s | +| **VK Generation** | 7.86 s | +| **Proof Generation** | 20.02 s | +| **Verification** | 0.03 s | +| **ACIR Opcodes** | "1802613" | +| **Total Gates** | "4903487" | +| **Circuit Size** | 23.37 MB | +| **Witness Size** | 6.12 MB | +| **VK Size** | 3.59 KB | +| **Proof Size** | 15.88 KB | ### Threshold -#### decrypted_shares_aggregation_bn +#### decrypted_shares_aggregation | Metric | Value | | -------------------- | --------- | -| **Compilation** | 1.40 s | -| **Execution** | 0.73 s | -| **VK Generation** | 0.35 s | -| **Proof Generation** | 0.89 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "61568" | -| **Total Gates** | "154955" | -| **Circuit Size** | 1.29 MB | -| **Witness Size** | 194.16 KB | +| **Compilation** | 1.50 s | +| **Execution** | 0.70 s | +| **VK Generation** | 0.32 s | +| **Proof Generation** | 0.81 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "59327" | +| **Total Gates** | "149687" | +| **Circuit Size** | 1.36 MB | +| **Witness Size** | 201.40 KB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -173,15 +175,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 153.74 s | -| **Execution** | 7.90 s | -| **VK Generation** | 9.48 s | -| **Proof Generation** | 21.98 s | -| **Verification** | 0.03 s | -| **ACIR Opcodes** | "1572875" | -| **Total Gates** | "6130710" | -| **Circuit Size** | 23.79 MB | -| **Witness Size** | 14.66 MB | +| **Compilation** | 126.53 s | +| **Execution** | 6.07 s | +| **VK Generation** | 8.17 s | +| **Proof Generation** | 20.04 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "1594721" | +| **Total Gates** | "5284183" | +| **Circuit Size** | 21.95 MB | +| **Witness Size** | 10.22 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -189,15 +191,15 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 419.13 s | -| **Execution** | 4.95 s | -| **VK Generation** | 5.33 s | -| **Proof Generation** | 22.79 s | -| **Verification** | 0.10 s | -| **ACIR Opcodes** | "948955" | -| **Total Gates** | "3485220" | -| **Circuit Size** | 12.31 MB | -| **Witness Size** | 16.86 MB | +| **Compilation** | 379.45 s | +| **Execution** | 4.07 s | +| **VK Generation** | 4.17 s | +| **Proof Generation** | 10.93 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "854628" | +| **Total Gates** | "3088306" | +| **Circuit Size** | 11.22 MB | +| **Witness Size** | 12.89 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -205,31 +207,47 @@ | Metric | Value | | -------------------- | --------- | -| **Compilation** | 520.26 s | -| **Execution** | 6.24 s | -| **VK Generation** | 6.06 s | -| **Proof Generation** | 13.80 s | -| **Verification** | 0.17 s | -| **ACIR Opcodes** | "1012104" | -| **Total Gates** | "3543998" | -| **Circuit Size** | 12.98 MB | -| **Witness Size** | 19.20 MB | +| **Compilation** | 478.26 s | +| **Execution** | 4.89 s | +| **VK Generation** | 4.24 s | +| **Proof Generation** | 11.28 s | +| **Verification** | 0.16 s | +| **ACIR Opcodes** | "750193" | +| **Total Gates** | "3022296" | +| **Circuit Size** | 10.43 MB | +| **Witness Size** | 18.04 MB | +| **VK Size** | 3.59 KB | +| **Proof Size** | 15.88 KB | + +#### user_data_encryption_ct0 + +| Metric | Value | +| -------------------- | --------- | +| **Compilation** | 118.00 s | +| **Execution** | 4.30 s | +| **VK Generation** | 2.84 s | +| **Proof Generation** | 6.61 s | +| **Verification** | 0.02 s | +| **ACIR Opcodes** | "783630" | +| **Total Gates** | "1911547" | +| **Circuit Size** | 10.13 MB | +| **Witness Size** | 12.55 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | -#### user_data_encryption +#### user_data_encryption_ct1 | Metric | Value | | -------------------- | --------- | -| **Compilation** | 434.14 s | -| **Execution** | 7.88 s | -| **VK Generation** | 6.55 s | -| **Proof Generation** | 15.04 s | +| **Compilation** | 90.37 s | +| **Execution** | 3.54 s | +| **VK Generation** | 2.43 s | +| **Proof Generation** | 6.04 s | | **Verification** | 0.03 s | -| **ACIR Opcodes** | "1684299" | -| **Total Gates** | "4021683" | -| **Circuit Size** | 20.75 MB | -| **Witness Size** | 23.82 MB | +| **ACIR Opcodes** | "647104" | +| **Total Gates** | "1607045" | +| **Circuit Size** | 8.36 MB | +| **Witness Size** | 10.42 MB | | **VK Size** | 3.59 KB | | **Proof Size** | 15.88 KB | @@ -239,17 +257,17 @@ | Metric | Value | | -------------------- | -------- | -| **Compilation** | 0.26 s | -| **Execution** | 0.26 s | -| **VK Generation** | 0.03 s | -| **Proof Generation** | 0.05 s | -| **Verification** | 0.02 s | +| **Compilation** | 0.31 s | +| **Execution** | 0.31 s | +| **VK Generation** | 0.00 s | +| **Proof Generation** | 0.00 s | +| **Verification** | 0.00 s | | **ACIR Opcodes** | "0" | -| **Total Gates** | "54" | -| **Circuit Size** | 568 B | -| **Witness Size** | 23 B | -| **VK Size** | 3.59 KB | -| **Proof Size** | 15.88 KB | +| **Total Gates** | "0" | +| **Circuit Size** | 21.09 KB | +| **Witness Size** | 0 B | +| **VK Size** | 0 B | +| **Proof Size** | 0 B | ## System Information @@ -263,7 +281,7 @@ ### Software -- **Nargo Version:** nargo version = 1.0.0-beta.15 noirc version = - 1.0.0-beta.15+83245db91dcf63420ef4bcbbd85b98f397fee663 (git version hash: - 83245db91dcf63420ef4bcbbd85b98f397fee663, is dirty: false) -- **Barretenberg Version:** 3.0.0-nightly.20251104 +- **Nargo Version:** nargo version = 1.0.0-beta.16 noirc version = + 1.0.0-beta.16+2d46fca7203545cbbfb31a0d0328de6c10a8db95 (git version hash: + 2d46fca7203545cbbfb31a0d0328de6c10a8db95, is dirty: false) +- **Barretenberg Version:** 3.0.0-nightly.20260102