oeu

test_data/asm/connect_no_witgen.asm

@@ -4,10 +4,10 @@ let root_of_unity: fe = 7277203076849721926;
 /// Returns a 2**n'th root of unity on input n.
 let root_of_unity_for_log_degree: int -> fe = |n| root_of_unity ** (2**(32 - n));
 
-let omega = root_of_unity_for_log_degree(10);
+let omega = root_of_unity_for_log_degree(4);
 let power_of_omega: int -> fe = |k| omega ** k;
 
-machine Empty with degree: 4 {
+machine Empty with degree: 16 {
     // The permutation (0 1) (2 3) (4 5) ...
     let r: col = |i| match i % 2 {
         0 => power_of_omega(i + 1),
@@ -17,9 +17,9 @@ machine Empty with degree: 4 {
     let f: col = |i| i / 2;
     w = f;
 
-    std::check::assert(std::prover::degree() == 1024, || "Degree is not 1024");
-    std::check::assert(omega ** 512 != 1, || "");
-    std::check::assert(omega ** 1024 == 1, || "");
+    std::check::assert(std::prover::degree() == 2**4, || "Degree is not 2**4");
+    std::check::assert(omega ** (2**3) != 1, || "");
+    std::check::assert(omega ** (2**4) == 1, || "");
 
     [ w ] connect [ r ];
 }

test_data/asm/permutations/call_selectors_with_no_permutation.asm

@@ -1,7 +1,7 @@
 mod binary4;
 use binary4::Binary4;
 
-machine Main with degree: 64 {
+machine Main with degree: 128 {
     reg pc[@pc];
     reg X[<=];
     reg Y[<=];