From c189a14627e4ab9ff44b6039efb4e5228c070568 Mon Sep 17 00:00:00 2001 From: Rumata888 Date: Thu, 8 Jun 2023 18:34:24 +0000 Subject: [PATCH] Added a TODO --- .../barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp b/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp index c1bafbaa61..3f72a95196 100644 --- a/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp +++ b/cpp/src/barretenberg/stdlib/primitives/bigfield/bigfield_impl.hpp @@ -1666,6 +1666,7 @@ template void bigfield::assert_is_in_field() cons template void bigfield::assert_less_than(const uint256_t& upper_limit) const { + // TODO(kesha): Merge this with assert_is_in_field // Warning: this assumes we have run circuit construction at least once in debug mode where large non reduced // constants are allowed via ASSERT if (is_constant()) {