Skip to content

Commit

Permalink
updates for latest
Browse files Browse the repository at this point in the history
  • Loading branch information
phated committed May 15, 2023
1 parent d22be54 commit b71f690
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -54,4 +54,4 @@ wasm-bindgen-test = "0.3.33"

[patch.crates-io]
acvm = { package = "acvm", git = "https://github.com/noir-lang/acvm", rev = "a83333b9e270dfcfd40a36271896840ec0201bc4" }
acvm-backend-barretenberg = { git = "https://github.com/noir-lang/acvm-backend-barretenberg", rev = "98d0148c71ef59549bca7082b0180c6cc20fb7e6" }
acvm-backend-barretenberg = { git = "https://github.com/noir-lang/acvm-backend-barretenberg", rev = "a97dc35affc33db015a0f84f7e0e22dd143ac558" }
4 changes: 2 additions & 2 deletions crates/noirc_evaluator/src/ssa/acir_gen/constraints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -565,13 +565,13 @@ pub(crate) fn evaluate_constant_modulo(
//1. Generate witnesses b,c
let b_witness = evaluator.add_witness_to_cs();
let c_witness = evaluator.add_witness_to_cs();
evaluator.push_opcode(AcirOpcode::Directive(Directive::Quotient {
evaluator.push_opcode(AcirOpcode::Directive(Directive::Quotient(QuotientDirective {
a: lhs.clone(),
b: modulus_exp.clone(),
q: c_witness,
r: b_witness,
predicate: None,
}));
})));
bound_constraint_with_offset(
&Expression::from(b_witness),
&modulus_exp,
Expand Down
6 changes: 3 additions & 3 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit b71f690

Please sign in to comment.