From b054f66be9c73d4e02dbecdab80874a907f19242 Mon Sep 17 00:00:00 2001 From: kevaundray Date: Thu, 7 Sep 2023 20:47:02 +0100 Subject: [PATCH 1/2] chore!: Add a low and high limb to scalar mul opcode (#532) --- .../circuit/opcodes/black_box_function_call.rs | 10 ++++++---- acir/tests/test_program_serialization.rs | 9 +++++---- acvm/src/pwg/blackbox/fixed_base_scalar_mul.rs | 8 +++++--- acvm/src/pwg/blackbox/mod.rs | 4 ++-- acvm/tests/solver.rs | 3 ++- acvm_js/test/shared/fixed_base_scalar_mul.ts | 7 +++---- blackbox_solver/src/barretenberg/mod.rs | 5 +++-- .../src/barretenberg/wasm/scalar_mul.rs | 16 ++++++++++++---- blackbox_solver/src/lib.rs | 3 ++- brillig/src/black_box.rs | 4 ++-- brillig_vm/src/black_box.rs | 7 ++++--- brillig_vm/src/lib.rs | 3 ++- 12 files changed, 48 insertions(+), 31 deletions(-) diff --git a/acir/src/circuit/opcodes/black_box_function_call.rs b/acir/src/circuit/opcodes/black_box_function_call.rs index 827f15c31..b2ca0440b 100644 --- a/acir/src/circuit/opcodes/black_box_function_call.rs +++ b/acir/src/circuit/opcodes/black_box_function_call.rs @@ -72,7 +72,8 @@ pub enum BlackBoxFuncCall { output: Witness, }, FixedBaseScalarMul { - input: FunctionInput, + low: FunctionInput, + high: FunctionInput, outputs: (Witness, Witness), }, Keccak256 { @@ -160,7 +161,8 @@ impl BlackBoxFuncCall { output: Witness(0), }, BlackBoxFunc::FixedBaseScalarMul => BlackBoxFuncCall::FixedBaseScalarMul { - input: FunctionInput::dummy(), + low: FunctionInput::dummy(), + high: FunctionInput::dummy(), outputs: (Witness(0), Witness(0)), }, BlackBoxFunc::Keccak256 => { @@ -210,8 +212,8 @@ impl BlackBoxFuncCall { BlackBoxFuncCall::AND { lhs, rhs, .. } | BlackBoxFuncCall::XOR { lhs, rhs, .. } => { vec![*lhs, *rhs] } - BlackBoxFuncCall::FixedBaseScalarMul { input, .. } - | BlackBoxFuncCall::RANGE { input } => vec![*input], + BlackBoxFuncCall::FixedBaseScalarMul { low, high, .. } => vec![*low, *high], + BlackBoxFuncCall::RANGE { input } => vec![*input], BlackBoxFuncCall::SchnorrVerify { public_key_x, public_key_y, diff --git a/acir/tests/test_program_serialization.rs b/acir/tests/test_program_serialization.rs index 6d69a1392..e8bd066e6 100644 --- a/acir/tests/test_program_serialization.rs +++ b/acir/tests/test_program_serialization.rs @@ -60,7 +60,8 @@ fn addition_circuit() { #[test] fn fixed_base_scalar_mul_circuit() { let fixed_base_scalar_mul = Opcode::BlackBoxFuncCall(BlackBoxFuncCall::FixedBaseScalarMul { - input: FunctionInput { witness: Witness(1), num_bits: FieldElement::max_num_bits() }, + low: FunctionInput { witness: Witness(1), num_bits: FieldElement::max_num_bits() }, + high: FunctionInput { witness: Witness(1), num_bits: FieldElement::max_num_bits() }, outputs: (Witness(2), Witness(3)), }); @@ -76,9 +77,9 @@ fn fixed_base_scalar_mul_circuit() { circuit.write(&mut bytes).unwrap(); let expected_serialization: Vec = vec![ - 31, 139, 8, 0, 0, 0, 0, 0, 0, 255, 93, 137, 91, 10, 0, 0, 4, 4, 215, 227, 203, 253, 207, - 43, 132, 146, 169, 105, 106, 87, 1, 16, 154, 170, 77, 61, 229, 84, 222, 191, 240, 169, 156, - 61, 0, 36, 111, 164, 5, 80, 0, 0, 0, + 31, 139, 8, 0, 0, 0, 0, 0, 0, 255, 93, 202, 65, 10, 0, 64, 8, 2, 64, 183, 246, 212, 255, + 223, 27, 21, 21, 72, 130, 12, 136, 31, 192, 67, 167, 180, 209, 73, 201, 234, 249, 109, 132, + 84, 218, 3, 23, 46, 165, 61, 88, 0, 0, 0, ]; assert_eq!(bytes, expected_serialization) diff --git a/acvm/src/pwg/blackbox/fixed_base_scalar_mul.rs b/acvm/src/pwg/blackbox/fixed_base_scalar_mul.rs index 6ace112e6..975025971 100644 --- a/acvm/src/pwg/blackbox/fixed_base_scalar_mul.rs +++ b/acvm/src/pwg/blackbox/fixed_base_scalar_mul.rs @@ -11,12 +11,14 @@ use crate::{ pub(super) fn fixed_base_scalar_mul( backend: &impl BlackBoxFunctionSolver, initial_witness: &mut WitnessMap, - input: FunctionInput, + low: FunctionInput, + high: FunctionInput, outputs: (Witness, Witness), ) -> Result<(), OpcodeResolutionError> { - let scalar = witness_to_value(initial_witness, input.witness)?; + let low = witness_to_value(initial_witness, low.witness)?; + let high = witness_to_value(initial_witness, high.witness)?; - let (pub_x, pub_y) = backend.fixed_base_scalar_mul(scalar)?; + let (pub_x, pub_y) = backend.fixed_base_scalar_mul(low, high)?; insert_value(&outputs.0, pub_x, initial_witness)?; insert_value(&outputs.1, pub_y, initial_witness)?; diff --git a/acvm/src/pwg/blackbox/mod.rs b/acvm/src/pwg/blackbox/mod.rs index f224ce0e6..0e8ed2bc5 100644 --- a/acvm/src/pwg/blackbox/mod.rs +++ b/acvm/src/pwg/blackbox/mod.rs @@ -148,8 +148,8 @@ pub(crate) fn solve( message, *output, ), - BlackBoxFuncCall::FixedBaseScalarMul { input, outputs } => { - fixed_base_scalar_mul(backend, initial_witness, *input, *outputs) + BlackBoxFuncCall::FixedBaseScalarMul { low, high, outputs } => { + fixed_base_scalar_mul(backend, initial_witness, *low, *high, *outputs) } BlackBoxFuncCall::RecursiveAggregation { output_aggregation_object, .. } => { // Solve the output of the recursive aggregation to zero to prevent missing assignment errors diff --git a/acvm/tests/solver.rs b/acvm/tests/solver.rs index ce13ff268..de5c53ce6 100644 --- a/acvm/tests/solver.rs +++ b/acvm/tests/solver.rs @@ -38,7 +38,8 @@ impl BlackBoxFunctionSolver for StubbedBackend { } fn fixed_base_scalar_mul( &self, - _input: &FieldElement, + _low: &FieldElement, + _high: &FieldElement, ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError> { panic!("Path not trodden by this test") } diff --git a/acvm_js/test/shared/fixed_base_scalar_mul.ts b/acvm_js/test/shared/fixed_base_scalar_mul.ts index 4ab05544f..a1fd36d71 100644 --- a/acvm_js/test/shared/fixed_base_scalar_mul.ts +++ b/acvm_js/test/shared/fixed_base_scalar_mul.ts @@ -1,10 +1,9 @@ // See `fixed_base_scalar_mul_circuit` integration test in `acir/tests/test_program_serialization.rs`. export const bytecode = Uint8Array.from([ - 31, 139, 8, 0, 0, 0, 0, 0, 0, 255, 93, 137, 91, 10, 0, 0, 4, 4, 215, 227, 203, - 253, 207, 43, 132, 146, 169, 105, 106, 87, 1, 16, 154, 170, 77, 61, 229, 84, - 222, 191, 240, 169, 156, 61, 0, 36, 111, 164, 5, 80, 0, 0, 0, + 31, 139, 8, 0, 0, 0, 0, 0, 0, 255, 93, 202, 65, 10, 0, 64, 8, 2, 64, 183, 246, + 212, 255, 223, 27, 21, 21, 72, 130, 12, 136, 31, 192, 67, 167, 180, 209, 73, + 201, 234, 249, 109, 132, 84, 218, 3, 23, 46, 165, 61, 88, 0, 0, 0, ]); - export const initialWitnessMap = new Map([ [1, "0x0000000000000000000000000000000000000000000000000000000000000001"], ]); diff --git a/blackbox_solver/src/barretenberg/mod.rs b/blackbox_solver/src/barretenberg/mod.rs index 875a995ff..1058d5afb 100644 --- a/blackbox_solver/src/barretenberg/mod.rs +++ b/blackbox_solver/src/barretenberg/mod.rs @@ -71,10 +71,11 @@ impl BlackBoxFunctionSolver for BarretenbergSolver { fn fixed_base_scalar_mul( &self, - input: &FieldElement, + low: &FieldElement, + high: &FieldElement, ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError> { #[allow(deprecated)] - self.blackbox_vendor.fixed_base(input).map_err(|err| { + self.blackbox_vendor.fixed_base(low, high).map_err(|err| { BlackBoxResolutionError::Failed(BlackBoxFunc::FixedBaseScalarMul, err.to_string()) }) } diff --git a/blackbox_solver/src/barretenberg/wasm/scalar_mul.rs b/blackbox_solver/src/barretenberg/wasm/scalar_mul.rs index 1a9f5b060..008eaa1d2 100644 --- a/blackbox_solver/src/barretenberg/wasm/scalar_mul.rs +++ b/blackbox_solver/src/barretenberg/wasm/scalar_mul.rs @@ -3,14 +3,22 @@ use acir::FieldElement; use super::{Barretenberg, Error, FIELD_BYTES}; pub(crate) trait ScalarMul { - fn fixed_base(&self, input: &FieldElement) -> Result<(FieldElement, FieldElement), Error>; + fn fixed_base( + &self, + low: &FieldElement, + high: &FieldElement, + ) -> Result<(FieldElement, FieldElement), Error>; } impl ScalarMul for Barretenberg { - fn fixed_base(&self, input: &FieldElement) -> Result<(FieldElement, FieldElement), Error> { + fn fixed_base( + &self, + low: &FieldElement, + _high: &FieldElement, + ) -> Result<(FieldElement, FieldElement), Error> { let lhs_ptr: usize = 0; let result_ptr: usize = lhs_ptr + FIELD_BYTES; - self.transfer_to_heap(&input.to_be_bytes(), lhs_ptr); + self.transfer_to_heap(&low.to_be_bytes(), lhs_ptr); self.call_multiple("compute_public_key", vec![&lhs_ptr.into(), &result_ptr.into()])?; @@ -34,7 +42,7 @@ mod test { let barretenberg = Barretenberg::new(); let input = FieldElement::one(); - let res = barretenberg.fixed_base(&input)?; + let res = barretenberg.fixed_base(&input, &FieldElement::zero())?; let x = "0000000000000000000000000000000000000000000000000000000000000001"; let y = "0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c"; diff --git a/blackbox_solver/src/lib.rs b/blackbox_solver/src/lib.rs index 251b9f0d3..6a5847338 100644 --- a/blackbox_solver/src/lib.rs +++ b/blackbox_solver/src/lib.rs @@ -44,7 +44,8 @@ pub trait BlackBoxFunctionSolver { ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError>; fn fixed_base_scalar_mul( &self, - input: &FieldElement, + low: &FieldElement, + high: &FieldElement, ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError>; } diff --git a/brillig/src/black_box.rs b/brillig/src/black_box.rs index 3e51158a4..be858a43c 100644 --- a/brillig/src/black_box.rs +++ b/brillig/src/black_box.rs @@ -43,6 +43,6 @@ pub enum BlackBoxOp { }, /// Calculates a Pedersen commitment to the inputs. Pedersen { inputs: HeapVector, domain_separator: RegisterIndex, output: HeapArray }, - /// Performs scalar multiplication over the embedded curve on which [`FieldElement`][acir_field::FieldElement] is defined. - FixedBaseScalarMul { input: RegisterIndex, result: HeapArray }, + /// Performs scalar multiplication over the embedded curve. + FixedBaseScalarMul { low: RegisterIndex, high: RegisterIndex, result: HeapArray }, } diff --git a/brillig_vm/src/black_box.rs b/brillig_vm/src/black_box.rs index 8f3cdbb6c..5eb2b0abd 100644 --- a/brillig_vm/src/black_box.rs +++ b/brillig_vm/src/black_box.rs @@ -140,9 +140,10 @@ pub(crate) fn evaluate_black_box( registers.set(*result, verified.into()); Ok(()) } - BlackBoxOp::FixedBaseScalarMul { input, result } => { - let input = registers.get(*input).to_field(); - let (x, y) = solver.fixed_base_scalar_mul(&input)?; + BlackBoxOp::FixedBaseScalarMul { low, high, result } => { + let low = registers.get(*low).to_field(); + let high = registers.get(*high).to_field(); + let (x, y) = solver.fixed_base_scalar_mul(&low, &high)?; memory.write_slice(registers.get(result.pointer).to_usize(), &[x.into(), y.into()]); Ok(()) } diff --git a/brillig_vm/src/lib.rs b/brillig_vm/src/lib.rs index af95abdf2..cd614d762 100644 --- a/brillig_vm/src/lib.rs +++ b/brillig_vm/src/lib.rs @@ -410,7 +410,8 @@ impl BlackBoxFunctionSolver for DummyBlackBoxSolver { } fn fixed_base_scalar_mul( &self, - _input: &FieldElement, + _low: &FieldElement, + _high: &FieldElement, ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError> { Ok((4_u128.into(), 5_u128.into())) } From d40a10ea3c3c24063903437816b73207d9d5638f Mon Sep 17 00:00:00 2001 From: kevaundray Date: Thu, 7 Sep 2023 21:17:11 +0100 Subject: [PATCH 2/2] chore: Release 0.26.0 (#533) --- .release-please-manifest.json | 18 +++++++++--------- CHANGELOG.md | 11 +++++++++++ Cargo.lock | 16 ++++++++-------- Cargo.toml | 10 +++++----- acir/CHANGELOG.md | 11 +++++++++++ acir/Cargo.toml | 2 +- acir_field/CHANGELOG.md | 7 +++++++ acir_field/Cargo.toml | 2 +- acvm/CHANGELOG.md | 18 ++++++++++++++++++ acvm/Cargo.toml | 4 ++-- acvm_js/CHANGELOG.md | 18 ++++++++++++++++++ acvm_js/Cargo.toml | 4 ++-- acvm_js/package.json | 2 +- blackbox_solver/CHANGELOG.md | 11 +++++++++++ blackbox_solver/Cargo.toml | 2 +- brillig/CHANGELOG.md | 11 +++++++++++ brillig/Cargo.toml | 2 +- brillig_vm/CHANGELOG.md | 11 +++++++++++ brillig_vm/Cargo.toml | 2 +- stdlib/CHANGELOG.md | 7 +++++++ stdlib/Cargo.toml | 2 +- 21 files changed, 138 insertions(+), 33 deletions(-) diff --git a/.release-please-manifest.json b/.release-please-manifest.json index 42acf9787..98bec06b4 100644 --- a/.release-please-manifest.json +++ b/.release-please-manifest.json @@ -1,11 +1,11 @@ { - ".": "0.25.0", - "acir": "0.25.0", - "acir_field": "0.25.0", - "acvm": "0.25.0", - "acvm_js": "0.25.0", - "stdlib": "0.25.0", - "brillig": "0.25.0", - "brillig_vm": "0.25.0", - "blackbox_solver": "0.25.0" + ".": "0.26.0", + "acir": "0.26.0", + "acir_field": "0.26.0", + "acvm": "0.26.0", + "acvm_js": "0.26.0", + "stdlib": "0.26.0", + "brillig": "0.26.0", + "brillig_vm": "0.26.0", + "blackbox_solver": "0.26.0" } diff --git a/CHANGELOG.md b/CHANGELOG.md index 947b4381b..96053d050 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,17 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). +## [0.26.0](https://github.com/noir-lang/acvm/compare/root-v0.25.0...root-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + ## [0.25.0](https://github.com/noir-lang/acvm/compare/root-v0.24.1...root-v0.25.0) (2023-09-04) diff --git a/Cargo.lock b/Cargo.lock index 2b256c3f8..8bf7a0e83 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -4,7 +4,7 @@ version = 3 [[package]] name = "acir" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir_field", "bincode", @@ -20,7 +20,7 @@ dependencies = [ [[package]] name = "acir_field" -version = "0.25.0" +version = "0.26.0" dependencies = [ "ark-bls12-381", "ark-bn254", @@ -33,7 +33,7 @@ dependencies = [ [[package]] name = "acvm" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir", "acvm_blackbox_solver", @@ -50,7 +50,7 @@ dependencies = [ [[package]] name = "acvm_blackbox_solver" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir", "blake2", @@ -72,7 +72,7 @@ dependencies = [ [[package]] name = "acvm_js" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acvm", "build-data", @@ -92,7 +92,7 @@ dependencies = [ [[package]] name = "acvm_stdlib" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir", ] @@ -400,7 +400,7 @@ dependencies = [ [[package]] name = "brillig" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir_field", "serde", @@ -408,7 +408,7 @@ dependencies = [ [[package]] name = "brillig_vm" -version = "0.25.0" +version = "0.26.0" dependencies = [ "acir", "acvm_blackbox_solver", diff --git a/Cargo.toml b/Cargo.toml index 26d7ea006..bc246397b 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -11,11 +11,11 @@ rust-version = "1.66" repository = "https://github.com/noir-lang/acvm/" [workspace.dependencies] -acir = { version = "0.25.0", path = "acir", default-features = false } -acir_field = { version = "0.25.0", path = "acir_field", default-features = false } -stdlib = { package = "acvm_stdlib", version = "0.25.0", path = "stdlib", default-features = false } -brillig = { version = "0.25.0", path = "brillig", default-features = false } -blackbox_solver = { package = "acvm_blackbox_solver", version = "0.25.0", path = "blackbox_solver", default-features = false } +acir = { version = "0.26.0", path = "acir", default-features = false } +acir_field = { version = "0.26.0", path = "acir_field", default-features = false } +stdlib = { package = "acvm_stdlib", version = "0.26.0", path = "stdlib", default-features = false } +brillig = { version = "0.26.0", path = "brillig", default-features = false } +blackbox_solver = { package = "acvm_blackbox_solver", version = "0.26.0", path = "blackbox_solver", default-features = false } bincode = "1.3.3" diff --git a/acir/CHANGELOG.md b/acir/CHANGELOG.md index 3e9e92b37..e9a471ab9 100644 --- a/acir/CHANGELOG.md +++ b/acir/CHANGELOG.md @@ -1,5 +1,16 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acir-v0.25.0...acir-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acir-v0.24.1...acir-v0.25.0) (2023-09-04) diff --git a/acir/Cargo.toml b/acir/Cargo.toml index a9000cd1f..2e82088b1 100644 --- a/acir/Cargo.toml +++ b/acir/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acir" description = "ACIR is the IR that the VM processes, it is analogous to LLVM IR" -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true diff --git a/acir_field/CHANGELOG.md b/acir_field/CHANGELOG.md index e0d6bfc76..867d19f93 100644 --- a/acir_field/CHANGELOG.md +++ b/acir_field/CHANGELOG.md @@ -1,5 +1,12 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acir_field-v0.25.0...acir_field-v0.26.0) (2023-09-07) + + +### Miscellaneous Chores + +* **acir_field:** Synchronize acvm versions + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acir_field-v0.24.1...acir_field-v0.25.0) (2023-09-04) diff --git a/acir_field/Cargo.toml b/acir_field/Cargo.toml index af12a0998..bf7f9fda8 100644 --- a/acir_field/Cargo.toml +++ b/acir_field/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acir_field" description = "The field implementation being used by ACIR." -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true diff --git a/acvm/CHANGELOG.md b/acvm/CHANGELOG.md index 2f5cdcb34..747cc713f 100644 --- a/acvm/CHANGELOG.md +++ b/acvm/CHANGELOG.md @@ -1,5 +1,23 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acvm-v0.25.0...acvm-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * brillig_vm bumped from 0.25.0 to 0.26.0 + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acvm-v0.24.1...acvm-v0.25.0) (2023-09-04) diff --git a/acvm/Cargo.toml b/acvm/Cargo.toml index aeaa6fc4b..c3a8cafbc 100644 --- a/acvm/Cargo.toml +++ b/acvm/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acvm" description = "The virtual machine that processes ACIR given a backend/proof system." -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true @@ -17,7 +17,7 @@ thiserror.workspace = true acir.workspace = true stdlib.workspace = true -brillig_vm = { version = "0.25.0", path = "../brillig_vm", default-features = false } +brillig_vm = { version = "0.26.0", path = "../brillig_vm", default-features = false } blackbox_solver.workspace = true indexmap = "1.7.0" diff --git a/acvm_js/CHANGELOG.md b/acvm_js/CHANGELOG.md index 71dd2e961..04a069178 100644 --- a/acvm_js/CHANGELOG.md +++ b/acvm_js/CHANGELOG.md @@ -1,5 +1,23 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acvm_js-v0.25.0...acvm_js-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + + +### Dependencies + +* The following workspace dependencies were updated + * dependencies + * acvm bumped from 0.25.0 to 0.26.0 + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acvm_js-v0.24.1...acvm_js-v0.25.0) (2023-09-04) diff --git a/acvm_js/Cargo.toml b/acvm_js/Cargo.toml index bf81584ff..655b33df5 100644 --- a/acvm_js/Cargo.toml +++ b/acvm_js/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acvm_js" description = "Typescript wrapper around the ACVM allowing execution of ACIR code" -version = "0.25.0" # x-release-please-version +version = "0.26.0" # x-release-please-version authors.workspace = true edition.workspace = true license.workspace = true @@ -17,7 +17,7 @@ crate-type = ["cdylib"] cfg-if = "1.0.0" [target.'cfg(target_arch = "wasm32")'.dependencies] -acvm = { version = "0.25.0", path = "../acvm", default-features = false } +acvm = { version = "0.26.0", path = "../acvm", default-features = false } wasm-bindgen = { version = "0.2.87", features = ["serde-serialize"] } wasm-bindgen-futures = "0.4.36" serde = { version = "1.0.136", features = ["derive"] } diff --git a/acvm_js/package.json b/acvm_js/package.json index eb40967dc..e8eb6d669 100644 --- a/acvm_js/package.json +++ b/acvm_js/package.json @@ -1,6 +1,6 @@ { "name": "@noir-lang/acvm_js", - "version": "0.25.0", + "version": "0.26.0", "private": true, "repository": { "type": "git", diff --git a/blackbox_solver/CHANGELOG.md b/blackbox_solver/CHANGELOG.md index 773dac21b..41b96ace0 100644 --- a/blackbox_solver/CHANGELOG.md +++ b/blackbox_solver/CHANGELOG.md @@ -1,5 +1,16 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acvm_blackbox_solver-v0.25.0...acvm_blackbox_solver-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acvm_blackbox_solver-v0.24.1...acvm_blackbox_solver-v0.25.0) (2023-09-04) diff --git a/blackbox_solver/Cargo.toml b/blackbox_solver/Cargo.toml index fed039366..275c4dd95 100644 --- a/blackbox_solver/Cargo.toml +++ b/blackbox_solver/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acvm_blackbox_solver" description = "A solver for the blackbox functions found in ACIR and Brillig" -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true diff --git a/brillig/CHANGELOG.md b/brillig/CHANGELOG.md index 293e75b91..ccb971ba8 100644 --- a/brillig/CHANGELOG.md +++ b/brillig/CHANGELOG.md @@ -1,5 +1,16 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/brillig-v0.25.0...brillig-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + ## [0.25.0](https://github.com/noir-lang/acvm/compare/brillig-v0.24.1...brillig-v0.25.0) (2023-09-04) diff --git a/brillig/Cargo.toml b/brillig/Cargo.toml index cde0a510f..d26a21658 100644 --- a/brillig/Cargo.toml +++ b/brillig/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "brillig" description = "Brillig is the bytecode ACIR uses for non-determinism." -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true diff --git a/brillig_vm/CHANGELOG.md b/brillig_vm/CHANGELOG.md index 91db04afa..2f2bc21b2 100644 --- a/brillig_vm/CHANGELOG.md +++ b/brillig_vm/CHANGELOG.md @@ -1,5 +1,16 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/brillig_vm-v0.25.0...brillig_vm-v0.26.0) (2023-09-07) + + +### ⚠ BREAKING CHANGES + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) + +### Miscellaneous Chores + +* Add a low and high limb to scalar mul opcode ([#532](https://github.com/noir-lang/acvm/issues/532)) ([b054f66](https://github.com/noir-lang/acvm/commit/b054f66be9c73d4e02dbecdab80874a907f19242)) + ## [0.25.0](https://github.com/noir-lang/acvm/compare/brillig_vm-v0.24.1...brillig_vm-v0.25.0) (2023-09-04) diff --git a/brillig_vm/Cargo.toml b/brillig_vm/Cargo.toml index 6c06fcfe5..575554219 100644 --- a/brillig_vm/Cargo.toml +++ b/brillig_vm/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "brillig_vm" description = "The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM" -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true diff --git a/stdlib/CHANGELOG.md b/stdlib/CHANGELOG.md index 87c8846ff..04e50fb20 100644 --- a/stdlib/CHANGELOG.md +++ b/stdlib/CHANGELOG.md @@ -1,5 +1,12 @@ # Changelog +## [0.26.0](https://github.com/noir-lang/acvm/compare/acvm_stdlib-v0.25.0...acvm_stdlib-v0.26.0) (2023-09-07) + + +### Miscellaneous Chores + +* **acvm_stdlib:** Synchronize acvm versions + ## [0.25.0](https://github.com/noir-lang/acvm/compare/acvm_stdlib-v0.24.1...acvm_stdlib-v0.25.0) (2023-09-04) diff --git a/stdlib/Cargo.toml b/stdlib/Cargo.toml index ddd5cfdf9..28fd418c9 100644 --- a/stdlib/Cargo.toml +++ b/stdlib/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "acvm_stdlib" description = "The ACVM standard library." -version = "0.25.0" +version = "0.26.0" authors.workspace = true edition.workspace = true license.workspace = true