From 0a3553b10e02374843181901709933975dc36bb4 Mon Sep 17 00:00:00 2001 From: Tom French <15848336+TomAFrench@users.noreply.github.com> Date: Thu, 25 Jan 2024 16:02:37 +0000 Subject: [PATCH] feat: replace single bit range constraints with basic bool gates (#4164) This PR pulls the optimisation made in https://github.com/noir-lang/noir/pull/3234 across into the backend. --- .../proof_system/circuit_builder/ultra_circuit_builder.hpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp index b6e285c984b..2ef60b71cc3 100644 --- a/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp +++ b/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/ultra_circuit_builder.hpp @@ -779,7 +779,9 @@ class UltraCircuitBuilder_ : public CircuitBuilderBase