|
1 | 1 | # PVSS Circuit Benchmarks |
2 | 2 |
|
3 | | -**Generated:** 2025-12-19 17:02:59 UTC |
| 3 | +**Generated:** 2025-12-23 10:56:51 UTC |
4 | 4 |
|
5 | 5 | **Git Branch:** `connect-circuits` |
6 | | -**Git Commit:** `0589d25d597a8fb2f69d8752299ca89583ae60f7` |
| 6 | +**Git Commit:** `6344438a2bba0b63981fe97ff5919d838b21ae98` |
7 | 7 |
|
8 | 8 | --- |
9 | 9 |
|
|
13 | 13 |
|
14 | 14 | | Circuit | Compile | Execute | Prove | Verify | Status | |
15 | 15 | | -------------------- | ------- | ------- | ------ | ------ | ------ | |
16 | | -| dec_bfv | 46.05 s | 2.26 s | 6.09 s | 0.03 s | ✅ | |
17 | | -| dec_shares_agg_trbfv | 0.27 s | 0.27 s | 0.13 s | 0.02 s | ✅ | |
18 | | -| dec_share_trbfv | 2.21 s | 0.43 s | 0.62 s | 0.02 s | ✅ | |
19 | | -| enc_bfv | 1.53 s | 0.40 s | 0.55 s | 0.02 s | ✅ | |
20 | | -| enc_trbfv | 2.12 s | 0.52 s | 0.59 s | 0.02 s | ✅ | |
21 | | -| pk_bfv | 0.65 s | 0.30 s | 0.22 s | 0.02 s | ✅ | |
22 | | -| pk_trbfv | 0.95 s | 0.36 s | 0.32 s | 0.02 s | ✅ | |
23 | | -| verify_shares_trbfv | 2.69 s | 0.54 s | 1.60 s | 0.02 s | ✅ | |
| 16 | +| dec_bfv | 45.33 s | 2.23 s | 5.75 s | 0.02 s | ✅ | |
| 17 | +| dec_shares_agg_trbfv | 0.29 s | 0.26 s | 0.13 s | 0.02 s | ✅ | |
| 18 | +| dec_share_trbfv | 2.12 s | 0.41 s | 0.61 s | 0.02 s | ✅ | |
| 19 | +| enc_bfv | 2.22 s | 0.47 s | 0.86 s | 0.02 s | ✅ | |
| 20 | +| enc_trbfv | 1.93 s | 0.48 s | 0.58 s | 0.02 s | ✅ | |
| 21 | +| pk_bfv | 0.64 s | 0.34 s | 0.22 s | 0.03 s | ✅ | |
| 22 | +| pk_trbfv | 0.93 s | 0.35 s | 0.33 s | 0.02 s | ✅ | |
| 23 | +| verify_shares_trbfv | 2.62 s | 0.53 s | 1.60 s | 0.02 s | ✅ | |
24 | 24 |
|
25 | 25 | ### Size & Circuit Metrics |
26 | 26 |
|
27 | 27 | | Circuit | Opcodes | Gates | Circuit Size | Witness | VK Size | Proof Size | |
28 | 28 | | -------------------- | ------- | ------- | ------------ | --------- | ------- | ---------- | |
29 | 29 | | dec_bfv | 603086 | 1.53M | 8.92 MB | 3.76 MB | 3.59 KB | 15.88 KB | |
30 | | -| dec_shares_agg_trbfv | 2744 | 9.37K | 93.65 KB | 6.48 KB | 3.59 KB | 15.88 KB | |
31 | | -| dec_share_trbfv | 32836 | 125.96K | 568.14 KB | 605.49 KB | 3.59 KB | 15.88 KB | |
32 | | -| enc_bfv | 33932 | 91.05K | 561.93 KB | 475.51 KB | 3.59 KB | 15.88 KB | |
33 | | -| enc_trbfv | 56590 | 106.70K | 836.46 KB | 706.28 KB | 3.59 KB | 15.88 KB | |
34 | | -| pk_bfv | 14662 | 29.09K | 325.72 KB | 204.41 KB | 3.59 KB | 15.88 KB | |
| 30 | +| dec_shares_agg_trbfv | 2744 | 9.37K | 93.84 KB | 6.51 KB | 3.59 KB | 15.88 KB | |
| 31 | +| dec_share_trbfv | 32836 | 125.96K | 568.14 KB | 605.43 KB | 3.59 KB | 15.88 KB | |
| 32 | +| enc_bfv | 48324 | 136.88K | 790.60 KB | 532.61 KB | 3.59 KB | 15.88 KB | |
| 33 | +| enc_trbfv | 56590 | 106.70K | 836.46 KB | 706.73 KB | 3.59 KB | 15.88 KB | |
| 34 | +| pk_bfv | 14662 | 29.09K | 325.72 KB | 204.32 KB | 3.59 KB | 15.88 KB | |
35 | 35 | | pk_trbfv | 25142 | 44.36K | 463.89 KB | 384.28 KB | 3.59 KB | 15.88 KB | |
36 | | -| verify_shares_trbfv | 92875 | 336.94K | 1.49 MB | 467.27 KB | 3.59 KB | 15.88 KB | |
| 36 | +| verify_shares_trbfv | 92875 | 336.94K | 1.49 MB | 467.35 KB | 3.59 KB | 15.88 KB | |
37 | 37 |
|
38 | 38 | ## Circuit Details |
39 | 39 |
|
40 | 40 | ### dec_bfv |
41 | 41 |
|
42 | 42 | | Metric | Value | |
43 | 43 | | -------------------- | -------- | |
44 | | -| **Compilation** | 46.05 s | |
45 | | -| **Execution** | 2.26 s | |
46 | | -| **VK Generation** | 2.75 s | |
47 | | -| **Proof Generation** | 6.09 s | |
48 | | -| **Verification** | 0.03 s | |
| 44 | +| **Compilation** | 45.33 s | |
| 45 | +| **Execution** | 2.23 s | |
| 46 | +| **VK Generation** | 2.62 s | |
| 47 | +| **Proof Generation** | 5.75 s | |
| 48 | +| **Verification** | 0.02 s | |
49 | 49 | | **ACIR Opcodes** | 603086 | |
50 | 50 | | **Total Gates** | 1532968 | |
51 | 51 | | **Circuit Size** | 8.92 MB | |
|
57 | 57 |
|
58 | 58 | | Metric | Value | |
59 | 59 | | -------------------- | --------- | |
60 | | -| **Compilation** | 2.21 s | |
61 | | -| **Execution** | 0.43 s | |
62 | | -| **VK Generation** | 0.24 s | |
63 | | -| **Proof Generation** | 0.62 s | |
| 60 | +| **Compilation** | 2.12 s | |
| 61 | +| **Execution** | 0.41 s | |
| 62 | +| **VK Generation** | 0.23 s | |
| 63 | +| **Proof Generation** | 0.61 s | |
64 | 64 | | **Verification** | 0.02 s | |
65 | 65 | | **ACIR Opcodes** | 32836 | |
66 | 66 | | **Total Gates** | 125960 | |
67 | 67 | | **Circuit Size** | 568.14 KB | |
68 | | -| **Witness Size** | 605.49 KB | |
| 68 | +| **Witness Size** | 605.43 KB | |
69 | 69 | | **VK Size** | 3.59 KB | |
70 | 70 | | **Proof Size** | 15.88 KB | |
71 | 71 |
|
72 | 72 | ### dec_shares_agg_trbfv |
73 | 73 |
|
74 | 74 | | Metric | Value | |
75 | 75 | | -------------------- | -------- | |
76 | | -| **Compilation** | 0.27 s | |
77 | | -| **Execution** | 0.27 s | |
| 76 | +| **Compilation** | 0.29 s | |
| 77 | +| **Execution** | 0.26 s | |
78 | 78 | | **VK Generation** | 0.05 s | |
79 | 79 | | **Proof Generation** | 0.13 s | |
80 | 80 | | **Verification** | 0.02 s | |
81 | 81 | | **ACIR Opcodes** | 2744 | |
82 | 82 | | **Total Gates** | 9373 | |
83 | | -| **Circuit Size** | 93.65 KB | |
84 | | -| **Witness Size** | 6.48 KB | |
| 83 | +| **Circuit Size** | 93.84 KB | |
| 84 | +| **Witness Size** | 6.51 KB | |
85 | 85 | | **VK Size** | 3.59 KB | |
86 | 86 | | **Proof Size** | 15.88 KB | |
87 | 87 |
|
88 | 88 | ### enc_bfv |
89 | 89 |
|
90 | 90 | | Metric | Value | |
91 | 91 | | -------------------- | --------- | |
92 | | -| **Compilation** | 1.53 s | |
93 | | -| **Execution** | 0.40 s | |
94 | | -| **VK Generation** | 0.19 s | |
95 | | -| **Proof Generation** | 0.55 s | |
| 92 | +| **Compilation** | 2.22 s | |
| 93 | +| **Execution** | 0.47 s | |
| 94 | +| **VK Generation** | 0.29 s | |
| 95 | +| **Proof Generation** | 0.86 s | |
96 | 96 | | **Verification** | 0.02 s | |
97 | | -| **ACIR Opcodes** | 33932 | |
98 | | -| **Total Gates** | 91051 | |
99 | | -| **Circuit Size** | 561.93 KB | |
100 | | -| **Witness Size** | 475.51 KB | |
| 97 | +| **ACIR Opcodes** | 48324 | |
| 98 | +| **Total Gates** | 136876 | |
| 99 | +| **Circuit Size** | 790.60 KB | |
| 100 | +| **Witness Size** | 532.61 KB | |
101 | 101 | | **VK Size** | 3.59 KB | |
102 | 102 | | **Proof Size** | 15.88 KB | |
103 | 103 |
|
104 | 104 | ### enc_trbfv |
105 | 105 |
|
106 | 106 | | Metric | Value | |
107 | 107 | | -------------------- | --------- | |
108 | | -| **Compilation** | 2.12 s | |
109 | | -| **Execution** | 0.52 s | |
110 | | -| **VK Generation** | 0.23 s | |
111 | | -| **Proof Generation** | 0.59 s | |
| 108 | +| **Compilation** | 1.93 s | |
| 109 | +| **Execution** | 0.48 s | |
| 110 | +| **VK Generation** | 0.22 s | |
| 111 | +| **Proof Generation** | 0.58 s | |
112 | 112 | | **Verification** | 0.02 s | |
113 | 113 | | **ACIR Opcodes** | 56590 | |
114 | 114 | | **Total Gates** | 106699 | |
115 | 115 | | **Circuit Size** | 836.46 KB | |
116 | | -| **Witness Size** | 706.28 KB | |
| 116 | +| **Witness Size** | 706.73 KB | |
117 | 117 | | **VK Size** | 3.59 KB | |
118 | 118 | | **Proof Size** | 15.88 KB | |
119 | 119 |
|
120 | 120 | ### pk_bfv |
121 | 121 |
|
122 | 122 | | Metric | Value | |
123 | 123 | | -------------------- | --------- | |
124 | | -| **Compilation** | 0.65 s | |
125 | | -| **Execution** | 0.30 s | |
| 124 | +| **Compilation** | 0.64 s | |
| 125 | +| **Execution** | 0.34 s | |
126 | 126 | | **VK Generation** | 0.09 s | |
127 | 127 | | **Proof Generation** | 0.22 s | |
128 | | -| **Verification** | 0.02 s | |
| 128 | +| **Verification** | 0.03 s | |
129 | 129 | | **ACIR Opcodes** | 14662 | |
130 | 130 | | **Total Gates** | 29095 | |
131 | 131 | | **Circuit Size** | 325.72 KB | |
132 | | -| **Witness Size** | 204.41 KB | |
| 132 | +| **Witness Size** | 204.32 KB | |
133 | 133 | | **VK Size** | 3.59 KB | |
134 | 134 | | **Proof Size** | 15.88 KB | |
135 | 135 |
|
136 | 136 | ### pk_trbfv |
137 | 137 |
|
138 | 138 | | Metric | Value | |
139 | 139 | | -------------------- | --------- | |
140 | | -| **Compilation** | 0.95 s | |
141 | | -| **Execution** | 0.36 s | |
142 | | -| **VK Generation** | 0.13 s | |
143 | | -| **Proof Generation** | 0.32 s | |
| 140 | +| **Compilation** | 0.93 s | |
| 141 | +| **Execution** | 0.35 s | |
| 142 | +| **VK Generation** | 0.14 s | |
| 143 | +| **Proof Generation** | 0.33 s | |
144 | 144 | | **Verification** | 0.02 s | |
145 | 145 | | **ACIR Opcodes** | 25142 | |
146 | 146 | | **Total Gates** | 44362 | |
|
153 | 153 |
|
154 | 154 | | Metric | Value | |
155 | 155 | | -------------------- | --------- | |
156 | | -| **Compilation** | 2.69 s | |
157 | | -| **Execution** | 0.54 s | |
158 | | -| **VK Generation** | 0.62 s | |
| 156 | +| **Compilation** | 2.62 s | |
| 157 | +| **Execution** | 0.53 s | |
| 158 | +| **VK Generation** | 0.61 s | |
159 | 159 | | **Proof Generation** | 1.60 s | |
160 | 160 | | **Verification** | 0.02 s | |
161 | 161 | | **ACIR Opcodes** | 92875 | |
162 | 162 | | **Total Gates** | 336936 | |
163 | 163 | | **Circuit Size** | 1.49 MB | |
164 | | -| **Witness Size** | 467.27 KB | |
| 164 | +| **Witness Size** | 467.35 KB | |
165 | 165 | | **VK Size** | 3.59 KB | |
166 | 166 | | **Proof Size** | 15.88 KB | |
167 | 167 |
|
|
0 commit comments