From 4fba940d5e673b9b8b5c2559eceb410ce8ff7572 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 25 Jul 2024 20:45:42 +0200 Subject: [PATCH] oeu --- test_data/asm/connect_no_witgen.asm | 10 +++++----- .../call_selectors_with_no_permutation.asm | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/test_data/asm/connect_no_witgen.asm b/test_data/asm/connect_no_witgen.asm index 9ea9487fd..3ba8846d0 100644 --- a/test_data/asm/connect_no_witgen.asm +++ b/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 ]; } \ No newline at end of file diff --git a/test_data/asm/permutations/call_selectors_with_no_permutation.asm b/test_data/asm/permutations/call_selectors_with_no_permutation.asm index e6ddec261..1ac23eb27 100644 --- a/test_data/asm/permutations/call_selectors_with_no_permutation.asm +++ b/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[<=];