Skip to content

Commit 73f24a3

Browse files
committed
chore: delete R1CSTransformer (#4649)
# Description ## Problem\* Resolves <!-- Link to GitHub Issue --> ## Summary\* The R1CS transformer is currently a no-op as the expression width is unbounded and we guarantee that expressions will be at most degree 2 by default. It also looks increasingly likely that the CSAT transformer code will be moved into the acir_gen pass so this is redundant. ## Additional Context ## Documentation\* Check one: - [x] No documentation needed. - [ ] Documentation included in this PR. - [ ] **[For Experimental Features]** Documentation to be submitted in a separate PR. # PR Checklist\* - [x] I have tested the changes locally. - [x] I have formatted the changes with [Prettier](https://prettier.io/) and/or `cargo fmt` on default settings.
1 parent a61ccb0 commit 73f24a3

File tree

2 files changed

+1
-20
lines changed

2 files changed

+1
-20
lines changed

acvm-repo/acvm/src/compiler/transformers/mod.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,8 @@ use acir::{
66
use indexmap::IndexMap;
77

88
mod csat;
9-
mod r1cs;
109

1110
pub(crate) use csat::CSatTransformer;
12-
pub(crate) use r1cs::R1CSTransformer;
1311

1412
use super::{transform_assert_messages, AcirTransformationMap};
1513

@@ -43,8 +41,7 @@ pub(super) fn transform_internal(
4341
) -> (Circuit, Vec<usize>) {
4442
let mut transformer = match &expression_width {
4543
ExpressionWidth::Unbounded => {
46-
let transformer = R1CSTransformer::new(acir);
47-
return (transformer.transform(), acir_opcode_positions);
44+
return (acir, acir_opcode_positions);
4845
}
4946
ExpressionWidth::Bounded { width } => {
5047
let mut csat = CSatTransformer::new(*width);

acvm-repo/acvm/src/compiler/transformers/r1cs.rs

Lines changed: 0 additions & 16 deletions
This file was deleted.

0 commit comments

Comments
 (0)