feat: Sync from aztec-packages

.aztec-sync-commit

@@ -1 +1 @@
-2e64428af9525bd8c390931061505f7b48d729a4
+f95de6b498d34e138cd55f88340917c6881eec6b

CONTRIBUTING.md

@@ -196,7 +196,7 @@ yarn docusaurus docs:version <new_version_tag>
 
 This should create a new version by copying the docs folder and the sidebars.js file to the relevant folders, as well as adding this version to versions.json.
 
-You can then open a Pull Request according to the the [PR section](#pull-requests)
+You can then open a Pull Request according to the [PR section](#pull-requests)
 
 ## Changelog
 

Cargo.toml

@@ -111,7 +111,7 @@ chumsky = { git = "https://github.com/jfecher/chumsky", rev = "ad9d312", default
 criterion = "0.5.0"
 # Note that using the "frame-pointer" feature breaks framegraphs on linux
 # https://github.com/tikv/pprof-rs/pull/172
-pprof = { version = "0.13", features = ["flamegraph","criterion"] }
+pprof = { version = "0.13", features = ["flamegraph", "criterion"] }
 
 
 dirs = "4"

acvm-repo/acir/README.md

@@ -146,6 +146,15 @@ Inputs and outputs are similar to SchnorrVerify, except that because we use a di
 Because the Grumpkin scalar field is bigger than the ACIR field, we provide 2 ACIR fields representing the low and high parts of the Grumpkin scalar $a$:
 $a=low+high*2^{128},$ with $low, high < 2^{128}$
 
+**VariableBaseScalarMul**: scalar multiplication with a variable base/input point (P) of the embedded curve
+- input:
+    point_x, point_y representing x and y coordinates of input point P
+    scalar_low, scalar_high are 2 (field , 254), representing the low and high part of the input scalar. For Barretenberg, they must both be less than 128 bits.
+- output: x and y coordinates of $low*P+high*2^{128}*P$, where P is the input point P
+
+Because the Grumpkin scalar field is bigger than the ACIR field, we provide 2 ACIR fields representing the low and high parts of the Grumpkin scalar $a$:
+$a=low+high*2^{128},$ with $low, high < 2^{128}$
+
 **Keccak256**: Computes the Keccak-256 (Ethereum version) of the inputs.
 - inputs: Vector of bytes (FieldElement, 8)
 - outputs: Vector of 32 bytes (FieldElement, 8)

acvm-repo/acir/benches/serialization.rs

@@ -40,6 +40,7 @@ fn sample_program(num_opcodes: usize) -> Program {
             assert_messages: Vec::new(),
             recursive: false,
         }],
+        unconstrained_functions: Vec::new(),
     }
 }