fix: python circuit_sk script

privacy-scaling-explorations · May 2, 2024 · be73f5e · be73f5e
1 parent 4a06ab4
commit be73f5e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/scripts/circuit_sk.py b/scripts/circuit_sk.py
@@ -271,7 +271,6 @@ def main(args):
     # This corresponds to `add`
     phase_1_eval_at_gamma_constraint_advice_cell_count += 4
 
-
     for i in range(len(ctis)):
         # sanity check. The coefficients of ct0i should be in the range [-(qi-1)/2, (qi-1)/2]
         bound = int((qis[i] - 1) / 2)
@@ -354,6 +353,9 @@ def main(args):
         ai_gamma_assigned = ais_assigned[i].evaluate(gamma)
         ct0i_gamma_assigned = ct0is_assigned[i].evaluate(gamma)
 
+        phase_1_eval_at_gamma_constraint_advice_cell_count += len(ais_assigned[i].coefficients) * 2 - 1
+        phase_1_eval_at_gamma_constraint_advice_cell_count += len(ct0is_assigned[i].coefficients) * 2 - 1
+
         '''
         CIRCUIT - PHASE 1 - CORRECT ENCRYPTION CONSTRAINT
         '''

diff --git a/src/data/sk_enc_4096_2x55_65537.json b/src/data/sk_enc_4096_2x55_65537.json