fix euclidean algorithm for circuits

FrancoGiachetta · FrancoGiachetta · commit 12aebda1331e · 2025-10-22T17:03:53.000-03:00
diff --git a/src/metadata/runtime_bindings.rs b/src/metadata/runtime_bindings.rs
@@ -262,7 +262,7 @@ impl RuntimeBindingsMeta {
     where
         'c: 'a,
     {
-        let integer_type = IntegerType::new(context, 512).into();
+        let integer_type = IntegerType::new(context, 768).into();
         let func_symbol = RuntimeBinding::CircuitExtendedEuclideanAlgorithm.symbol();
         if self
             .active_map

Original file line number	Diff line number	Diff line change
`@@ -262,7 +262,7 @@ impl RuntimeBindingsMeta {`
`262`	`262`	`where`
`263`	`263`	`'c: 'a,`
`264`	`264`	`{`
`265`		`- let integer_type = IntegerType::new(context, 512).into();`
	`265`	`+ let integer_type = IntegerType::new(context, 768).into();`
`266`	`266`	`let func_symbol = RuntimeBinding::CircuitExtendedEuclideanAlgorithm.symbol();`
`267`	`267`	`if self`
`268`	`268`	`.active_map`