From 128fa56eb5dce0c9d24380197cf80c98ad7e9a69 Mon Sep 17 00:00:00 2001 From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com> Date: Fri, 27 Sep 2024 08:24:56 +0200 Subject: [PATCH] fix: remove old comment --- air/src/air/context.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/air/src/air/context.rs b/air/src/air/context.rs index ac1d20fae..a4074036a 100644 --- a/air/src/air/context.rs +++ b/air/src/air/context.rs @@ -305,7 +305,6 @@ impl AirContext { let trace_length = self.trace_len(); let transition_divisior_degree = trace_length - self.num_transition_exemptions(); - // we use the identity: ceil(a/b) = (a + b - 1)/b let num_constraint_col = (highest_constraint_degree - transition_divisior_degree).div_ceil(trace_length);