security bits adjust

HerodotusDev · Jan 5, 2024 · 5730750 · 5730750
1 parent e66c616
commit 5730750
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/src/validation/config.cairo b/src/validation/config.cairo
@@ -22,10 +22,10 @@ fn traces_config_validate(
         config.interaction.n_columns == AIR_LAYOUT_N_INTERACTION_COLUMNS, 'Wrong number of columns'
     );
 
-    // validate_vector_commitment(
-    //     config.original.vector, log_eval_domain_size, n_verifier_friendly_commitment_layers,
-    // );
-    // validate_vector_commitment(
-    //     config.interaction.vector, log_eval_domain_size, n_verifier_friendly_commitment_layers,
-    // );
+    validate_vector_commitment(
+        config.original.vector, log_eval_domain_size, n_verifier_friendly_commitment_layers,
+    );
+    validate_vector_commitment(
+        config.interaction.vector, log_eval_domain_size, n_verifier_friendly_commitment_layers,
+    );
 }
diff --git a/src/validation/stark.cairo b/src/validation/stark.cairo
@@ -3,7 +3,7 @@ use cairo_verifier::{
     validation::stark_config::stark_config_validate
 };
 
-const SECURITY_BITS: felt252 = 96;
+const SECURITY_BITS: felt252 = 9;
 
 
 fn verify_stark_proof(proof: StarkProof) {