From 1893c05e25a903fe2efab2aa75cd11f7666649e3 Mon Sep 17 00:00:00 2001 From: TomAFrench Date: Tue, 26 Mar 2024 19:12:08 +0000 Subject: [PATCH 1/2] chore: delete `R1CSTransformer` --- acvm-repo/acvm/src/compiler/transformers/mod.rs | 4 +--- acvm-repo/acvm/src/compiler/transformers/r1cs.rs | 16 ---------------- 2 files changed, 1 insertion(+), 19 deletions(-) delete mode 100644 acvm-repo/acvm/src/compiler/transformers/r1cs.rs diff --git a/acvm-repo/acvm/src/compiler/transformers/mod.rs b/acvm-repo/acvm/src/compiler/transformers/mod.rs index 2e549854521..77ae1ab9c8b 100644 --- a/acvm-repo/acvm/src/compiler/transformers/mod.rs +++ b/acvm-repo/acvm/src/compiler/transformers/mod.rs @@ -9,7 +9,6 @@ mod csat; mod r1cs; pub(crate) use csat::CSatTransformer; -pub(crate) use r1cs::R1CSTransformer; use super::{transform_assert_messages, AcirTransformationMap}; @@ -43,8 +42,7 @@ pub(super) fn transform_internal( ) -> (Circuit, Vec) { let mut transformer = match &expression_width { ExpressionWidth::Unbounded => { - let transformer = R1CSTransformer::new(acir); - return (transformer.transform(), acir_opcode_positions); + return (acir, acir_opcode_positions); } ExpressionWidth::Bounded { width } => { let mut csat = CSatTransformer::new(*width); diff --git a/acvm-repo/acvm/src/compiler/transformers/r1cs.rs b/acvm-repo/acvm/src/compiler/transformers/r1cs.rs deleted file mode 100644 index 3bdd29c9c53..00000000000 --- a/acvm-repo/acvm/src/compiler/transformers/r1cs.rs +++ /dev/null @@ -1,16 +0,0 @@ -use acir::circuit::Circuit; - -/// Currently a "noop" transformer. -pub(crate) struct R1CSTransformer { - acir: Circuit, -} - -impl R1CSTransformer { - pub(crate) fn new(acir: Circuit) -> Self { - Self { acir } - } - // TODO: We could possibly make sure that all polynomials are at most degree-2 - pub(crate) fn transform(self) -> Circuit { - self.acir - } -} From e8cdd8c11660db33f87df6abb4a829a0ce8d2d50 Mon Sep 17 00:00:00 2001 From: TomAFrench Date: Tue, 26 Mar 2024 19:22:40 +0000 Subject: [PATCH 2/2] chore: fmt --- acvm-repo/acvm/src/compiler/transformers/mod.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/acvm-repo/acvm/src/compiler/transformers/mod.rs b/acvm-repo/acvm/src/compiler/transformers/mod.rs index 77ae1ab9c8b..18f49c154f1 100644 --- a/acvm-repo/acvm/src/compiler/transformers/mod.rs +++ b/acvm-repo/acvm/src/compiler/transformers/mod.rs @@ -6,7 +6,6 @@ use acir::{ use indexmap::IndexMap; mod csat; -mod r1cs; pub(crate) use csat::CSatTransformer;