From c937fcc941758d5ed1a7dfec8ed09e3faf7924f6 Mon Sep 17 00:00:00 2001 From: David Palm Date: Fri, 23 Feb 2024 14:23:09 +0100 Subject: [PATCH 1/2] chore: remove conditional compilation for debug_utils --- starky/src/cross_table_lookup.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/starky/src/cross_table_lookup.rs b/starky/src/cross_table_lookup.rs index 26e1576e48..a4b3cef688 100644 --- a/starky/src/cross_table_lookup.rs +++ b/starky/src/cross_table_lookup.rs @@ -1041,12 +1041,10 @@ pub fn verify_cross_table_lookups_circuit< debug_assert!(ctl_zs_openings.iter_mut().all(|iter| iter.next().is_none())); } -/// Debugging module, to assert correctness of the different CTLs of a multi-STARK system, +/// Debugging module used to assert correctness of the different CTLs of a multi-STARK system, /// that can be used during the proof generation process. /// -/// **Note**: this is an expensive check, hence is only available when the `debug_assertions` -/// flag is activated, to not hinder performances with regular `release` build. -#[cfg(debug_assertions)] +/// **Note**: This is an expensive check. pub mod debug_utils { #[cfg(not(feature = "std"))] use alloc::{vec, vec::Vec}; From 3b5336c7b123127fe8e0ebe6324541bca500c772 Mon Sep 17 00:00:00 2001 From: David Palm Date: Fri, 23 Feb 2024 15:25:50 +0100 Subject: [PATCH 2/2] chore: update CHANGELOG --- CHANGELOG.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index e327ab779b..973d29d8c6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,5 +5,10 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). +## Unreleased + +### Changed +Always compile cross_table_lookups::debug_utils ([#1540](https://github.com/0xPolygonZero/plonky2/pull/1540)) + ## [0.2.0] - 2024-02-20 * Initial CHANGELOG tracking.