Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: delete R1CSTransformer #4649

Merged
merged 2 commits into from
Mar 26, 2024
Merged

chore: delete R1CSTransformer #4649

merged 2 commits into from
Mar 26, 2024

Conversation

TomAFrench
Copy link
Member

Description

Problem*

Resolves

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:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@TomAFrench TomAFrench added this pull request to the merge queue Mar 26, 2024
Merged via the queue into master with commit 166e569 Mar 26, 2024
43 checks passed
@TomAFrench TomAFrench deleted the tf/remove-r1cs-transformer branch March 26, 2024 19:51
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 27, 2024
fix: Slice coercions (noir-lang/noir#4640)
chore(ci): add warning sticky comment (noir-lang/noir#4647)
fix(ssa): Fix slice intrinsic handling in the capacity tracker  (noir-lang/noir#4643)
chore: fix versioning of `bn254_blackbox_solver` crate (noir-lang/noir#4638)
chore: fix acvm crates reporting errors as JS packages (noir-lang/noir#4637)
chore: Release Noir(0.26.0) (noir-lang/noir#4526)
chore: convert `BlockExpression` into a standard struct (noir-lang/noir#4623)
chore(github): Improve PR template "document later" checkbox description (noir-lang/noir#4625)
chore: Update integers.md to note support for Fields using `from_integer` (noir-lang/noir#4536)
chore: update docs with function names to match version 0.25.0 specifications (noir-lang/noir#4466)
feat: add specific error for attempting `string[x] = ".."` (noir-lang/noir#4611)
fix(ssa): Use accurate type during SSA AsSlice simplficiation (noir-lang/noir#4610)
TomAFrench added a commit that referenced this pull request Mar 27, 2024
* master:
  chore: delete `R1CSTransformer` (#4649)
  fix: Slice coercions (#4640)
  chore(ci): add warning sticky comment (#4647)
  fix(ssa): Fix slice intrinsic handling in the capacity tracker  (#4643)
  chore: fix versioning of `bn254_blackbox_solver` crate (#4638)
  chore: fix acvm crates reporting errors as JS packages (#4637)
  chore: Release Noir(0.26.0) (#4526)
  chore: convert `BlockExpression` into a standard struct (#4623)
  chore(github): Improve PR template "document later" checkbox description (#4625)
  chore: Update integers.md to note support for Fields using `from_integer` (#4536)
  chore: update docs with function names to match version 0.25.0 specifications (#4466)
  feat: add specific error for attempting `string[x] = ".."` (#4611)
  fix(ssa): Use accurate type during SSA AsSlice simplficiation (#4610)
  feat: Sync from aztec-packages (#4581)
  chore: regression test for #2540 (#4602)
  chore: fix up benchmarking scripts (#4601)
  feat: Add experimental `quote` expression to parser (#4595)
  chore(ci): fix long debugger test times (#4599)
sirasistant added a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 27, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: delete `R1CSTransformer`
(noir-lang/noir#4649)
fix: Slice coercions (noir-lang/noir#4640)
chore(ci): add warning sticky comment
(noir-lang/noir#4647)
fix(ssa): Fix slice intrinsic handling in the capacity tracker
(noir-lang/noir#4643)
chore: fix versioning of `bn254_blackbox_solver` crate
(noir-lang/noir#4638)
chore: fix acvm crates reporting errors as JS packages
(noir-lang/noir#4637)
chore: Release Noir(0.26.0)
(noir-lang/noir#4526)
chore: convert `BlockExpression` into a standard struct
(noir-lang/noir#4623)
chore(github): Improve PR template "document later" checkbox description
(noir-lang/noir#4625)
chore: Update integers.md to note support for Fields using
`from_integer` (noir-lang/noir#4536)
chore: update docs with function names to match version 0.25.0
specifications (noir-lang/noir#4466)
feat: add specific error for attempting `string[x] = ".."`
(noir-lang/noir#4611)
fix(ssa): Use accurate type during SSA AsSlice simplficiation
(noir-lang/noir#4610)
END_COMMIT_OVERRIDE

---------

Co-authored-by: sirasistant <sirasistant@gmail.com>
AztecBot added a commit that referenced this pull request Mar 27, 2024
Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: delete `R1CSTransformer`
(#4649)
fix: Slice coercions (#4640)
chore(ci): add warning sticky comment
(#4647)
fix(ssa): Fix slice intrinsic handling in the capacity tracker
(#4643)
chore: fix versioning of `bn254_blackbox_solver` crate
(#4638)
chore: fix acvm crates reporting errors as JS packages
(#4637)
chore: Release Noir(0.26.0)
(#4526)
chore: convert `BlockExpression` into a standard struct
(#4623)
chore(github): Improve PR template "document later" checkbox description
(#4625)
chore: Update integers.md to note support for Fields using
`from_integer` (#4536)
chore: update docs with function names to match version 0.25.0
specifications (#4466)
feat: add specific error for attempting `string[x] = ".."`
(#4611)
fix(ssa): Use accurate type during SSA AsSlice simplficiation
(#4610)
END_COMMIT_OVERRIDE

---------

Co-authored-by: sirasistant <sirasistant@gmail.com>
sirasistant pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 27, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.32.0</summary>

##
[0.32.0](aztec-package-v0.31.0...aztec-package-v0.32.0)
(2024-03-27)


### Features

* Sequencer checks list of allowed FPCs
([#5310](#5310))
([adf20dc](adf20dc)),
closes
[#5000](#5000)
</details>

<details><summary>barretenberg.js: 0.32.0</summary>

##
[0.32.0](barretenberg.js-v0.31.0...barretenberg.js-v0.32.0)
(2024-03-27)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-cli: 0.32.0</summary>

##
[0.32.0](aztec-cli-v0.31.0...aztec-cli-v0.32.0)
(2024-03-27)


### Miscellaneous

* **aztec-cli:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.32.0</summary>

##
[0.32.0](aztec-packages-v0.31.0...aztec-packages-v0.32.0)
(2024-03-27)


### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](#5395))

### Features

* Add specific error for attempting `string[x] = ".."`
(noir-lang/noir#4611)
([27bd8d3](27bd8d3))
* **avm:** Dynamic gas costs for arithmetic, calldatacopy, and set
([#5473](#5473))
([bbd33fb](bbd33fb))
* **avm:** EQ opcode output u8 and execution
([#5402](#5402))
([3450e24](3450e24)),
closes
[#5290](#5290)
* Benchmark tx size with fee
([#5414](#5414))
([543f8a2](543f8a2)),
closes
[#5403](#5403)
* Brillig typed memory
([#5395](#5395))
([16b0bdd](16b0bdd))
* Sequencer checks list of allowed FPCs
([#5310](#5310))
([adf20dc](adf20dc)),
closes
[#5000](#5000)


### Bug Fixes

* `l1-contracts/bootstrap.sh`
([#5479](#5479))
([f7d1d70](f7d1d70))
* Add FPC to allowlist
([#5464](#5464))
([424960f](424960f))
* **ci:** Fix earthly ctest
([#5424](#5424))
([9cac8a4](9cac8a4))
* Docs example e2e test
([#5456](#5456))
([ae5126a](ae5126a))
* Serial bb builds for mac
([#5462](#5462))
([4317819](4317819))
* Slice coercions (noir-lang/noir#4640)
([27bd8d3](27bd8d3))
* **ssa:** Fix slice intrinsic handling in the capacity tracker
(noir-lang/noir#4643)
([27bd8d3](27bd8d3))
* **ssa:** Use accurate type during SSA AsSlice simplficiation
(noir-lang/noir#4610)
([27bd8d3](27bd8d3))


### Miscellaneous

* Append-only merkle tree generics
([#5355](#5355))
([ef7bf79](ef7bf79))
* **avm:** Deterministic codegen from pil and some renaming
([#5476](#5476))
([ba834a4](ba834a4))
* **avm:** Test cleanup and update yp to allow for zero gas
([#5459](#5459))
([1829741](1829741))
* **avm:** Unify noir macros flow
([#5461](#5461))
([54aee58](54aee58))
* **ci:** Add missing dependency to circleci config
([#5437](#5437))
([753cb78](753cb78))
* **ci:** Add warning sticky comment
(noir-lang/noir#4647)
([27bd8d3](27bd8d3))
* Convert `BlockExpression` into a standard struct
(noir-lang/noir#4623)
([27bd8d3](27bd8d3))
* Delete `R1CSTransformer` (noir-lang/noir#4649)
([27bd8d3](27bd8d3))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](#5426))
([29588e0](29588e0))
* Fix acvm crates reporting errors as JS packages
(noir-lang/noir#4637)
([27bd8d3](27bd8d3))
* Fix versioning of `bn254_blackbox_solver` crate
(noir-lang/noir#4638)
([27bd8d3](27bd8d3))
* **github:** Improve PR template "document later" checkbox description
(noir-lang/noir#4625)
([27bd8d3](27bd8d3))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](#5465))
([ef44674](ef44674))
* Leveraging `Bufferable` in `pedersenHash(...)` and
`sha256ToField(...)`
([#5444](#5444))
([0e0748c](0e0748c))
* Release Noir(0.26.0) (noir-lang/noir#4526)
([27bd8d3](27bd8d3))
* Renaming rand() as unsafe_rand()
([#5457](#5457))
([19ad2bb](19ad2bb)),
closes
[#3746](#3746)
* Replace relative paths to noir-protocol-circuits
([d332ad1](d332ad1))
* Timestamp as u64 instead of a Field
([#5453](#5453))
([d80dbbf](d80dbbf)),
closes
[#5446](#5446)
* Typed encrypted and unencrypted L2 log containers
([#5422](#5422))
([a4d4ee8](a4d4ee8))
* Update docs with function names to match version 0.25.0 specifications
(noir-lang/noir#4466)
([27bd8d3](27bd8d3))
* Update integers.md to note support for Fields using `from_integer`
(noir-lang/noir#4536)
([27bd8d3](27bd8d3))


### Documentation

* **yp:** Spec how bytecode is encoded in class registerer
([#5471](#5471))
([e3bced2](e3bced2))
</details>

<details><summary>barretenberg: 0.32.0</summary>

##
[0.32.0](barretenberg-v0.31.0...barretenberg-v0.32.0)
(2024-03-27)


### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](#5395))

### Features

* **avm:** EQ opcode output u8 and execution
([#5402](#5402))
([3450e24](3450e24)),
closes
[#5290](#5290)
* Brillig typed memory
([#5395](#5395))
([16b0bdd](16b0bdd))


### Bug Fixes

* **ci:** Fix earthly ctest
([#5424](#5424))
([9cac8a4](9cac8a4))
* Serial bb builds for mac
([#5462](#5462))
([4317819](4317819))


### Miscellaneous

* **avm:** Deterministic codegen from pil and some renaming
([#5476](#5476))
([ba834a4](ba834a4))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](#5426))
([29588e0](29588e0))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](#5465))
([ef44674](ef44674))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit that referenced this pull request Mar 27, 2024
🤖 I have created a release *beep* *boop*
---

<details><summary>aztec-package: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-package-v0.31.0...aztec-package-v0.32.0)
(2024-03-27)

### Features

* Sequencer checks list of allowed FPCs
([#5310](AztecProtocol/aztec-packages#5310))
([adf20dc](AztecProtocol/aztec-packages@adf20dc)),
closes
[#5000](AztecProtocol/aztec-packages#5000)
</details>

<details><summary>barretenberg.js: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@barretenberg.js-v0.31.0...barretenberg.js-v0.32.0)
(2024-03-27)

### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-cli: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-cli-v0.31.0...aztec-cli-v0.32.0)
(2024-03-27)

### Miscellaneous

* **aztec-cli:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-packages-v0.31.0...aztec-packages-v0.32.0)
(2024-03-27)

### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))

### Features

* Add specific error for attempting `string[x] = ".."`
(#4611)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **avm:** Dynamic gas costs for arithmetic, calldatacopy, and set
([#5473](AztecProtocol/aztec-packages#5473))
([bbd33fb](AztecProtocol/aztec-packages@bbd33fb))
* **avm:** EQ opcode output u8 and execution
([#5402](AztecProtocol/aztec-packages#5402))
([3450e24](AztecProtocol/aztec-packages@3450e24)),
closes
[#5290](AztecProtocol/aztec-packages#5290)
* Benchmark tx size with fee
([#5414](AztecProtocol/aztec-packages#5414))
([543f8a2](AztecProtocol/aztec-packages@543f8a2)),
closes
[#5403](AztecProtocol/aztec-packages#5403)
* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))
([16b0bdd](AztecProtocol/aztec-packages@16b0bdd))
* Sequencer checks list of allowed FPCs
([#5310](AztecProtocol/aztec-packages#5310))
([adf20dc](AztecProtocol/aztec-packages@adf20dc)),
closes
[#5000](AztecProtocol/aztec-packages#5000)

### Bug Fixes

* `l1-contracts/bootstrap.sh`
([#5479](AztecProtocol/aztec-packages#5479))
([f7d1d70](AztecProtocol/aztec-packages@f7d1d70))
* Add FPC to allowlist
([#5464](AztecProtocol/aztec-packages#5464))
([424960f](AztecProtocol/aztec-packages@424960f))
* **ci:** Fix earthly ctest
([#5424](AztecProtocol/aztec-packages#5424))
([9cac8a4](AztecProtocol/aztec-packages@9cac8a4))
* Docs example e2e test
([#5456](AztecProtocol/aztec-packages#5456))
([ae5126a](AztecProtocol/aztec-packages@ae5126a))
* Serial bb builds for mac
([#5462](AztecProtocol/aztec-packages#5462))
([4317819](AztecProtocol/aztec-packages@4317819))
* Slice coercions (#4640)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **ssa:** Fix slice intrinsic handling in the capacity tracker
(#4643)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **ssa:** Use accurate type during SSA AsSlice simplficiation
(#4610)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))

### Miscellaneous

* Append-only merkle tree generics
([#5355](AztecProtocol/aztec-packages#5355))
([ef7bf79](AztecProtocol/aztec-packages@ef7bf79))
* **avm:** Deterministic codegen from pil and some renaming
([#5476](AztecProtocol/aztec-packages#5476))
([ba834a4](AztecProtocol/aztec-packages@ba834a4))
* **avm:** Test cleanup and update yp to allow for zero gas
([#5459](AztecProtocol/aztec-packages#5459))
([1829741](AztecProtocol/aztec-packages@1829741))
* **avm:** Unify noir macros flow
([#5461](AztecProtocol/aztec-packages#5461))
([54aee58](AztecProtocol/aztec-packages@54aee58))
* **ci:** Add missing dependency to circleci config
([#5437](AztecProtocol/aztec-packages#5437))
([753cb78](AztecProtocol/aztec-packages@753cb78))
* **ci:** Add warning sticky comment
(#4647)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Convert `BlockExpression` into a standard struct
(#4623)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Delete `R1CSTransformer` (#4649)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](AztecProtocol/aztec-packages#5426))
([29588e0](AztecProtocol/aztec-packages@29588e0))
* Fix acvm crates reporting errors as JS packages
(#4637)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Fix versioning of `bn254_blackbox_solver` crate
(#4638)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **github:** Improve PR template "document later" checkbox description
(#4625)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](AztecProtocol/aztec-packages#5465))
([ef44674](AztecProtocol/aztec-packages@ef44674))
* Leveraging `Bufferable` in `pedersenHash(...)` and
`sha256ToField(...)`
([#5444](AztecProtocol/aztec-packages#5444))
([0e0748c](AztecProtocol/aztec-packages@0e0748c))
* Release Noir(0.26.0) (#4526)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Renaming rand() as unsafe_rand()
([#5457](AztecProtocol/aztec-packages#5457))
([19ad2bb](AztecProtocol/aztec-packages@19ad2bb)),
closes
[#3746](AztecProtocol/aztec-packages#3746)
* Replace relative paths to noir-protocol-circuits
([d332ad1](AztecProtocol/aztec-packages@d332ad1))
* Timestamp as u64 instead of a Field
([#5453](AztecProtocol/aztec-packages#5453))
([d80dbbf](AztecProtocol/aztec-packages@d80dbbf)),
closes
[#5446](AztecProtocol/aztec-packages#5446)
* Typed encrypted and unencrypted L2 log containers
([#5422](AztecProtocol/aztec-packages#5422))
([a4d4ee8](AztecProtocol/aztec-packages@a4d4ee8))
* Update docs with function names to match version 0.25.0 specifications
(#4466)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Update integers.md to note support for Fields using `from_integer`
(#4536)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))

### Documentation

* **yp:** Spec how bytecode is encoded in class registerer
([#5471](AztecProtocol/aztec-packages#5471))
([e3bced2](AztecProtocol/aztec-packages@e3bced2))
</details>

<details><summary>barretenberg: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@barretenberg-v0.31.0...barretenberg-v0.32.0)
(2024-03-27)

### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))

### Features

* **avm:** EQ opcode output u8 and execution
([#5402](AztecProtocol/aztec-packages#5402))
([3450e24](AztecProtocol/aztec-packages@3450e24)),
closes
[#5290](AztecProtocol/aztec-packages#5290)
* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))
([16b0bdd](AztecProtocol/aztec-packages@16b0bdd))

### Bug Fixes

* **ci:** Fix earthly ctest
([#5424](AztecProtocol/aztec-packages#5424))
([9cac8a4](AztecProtocol/aztec-packages@9cac8a4))
* Serial bb builds for mac
([#5462](AztecProtocol/aztec-packages#5462))
([4317819](AztecProtocol/aztec-packages@4317819))

### Miscellaneous

* **avm:** Deterministic codegen from pil and some renaming
([#5476](AztecProtocol/aztec-packages#5476))
([ba834a4](AztecProtocol/aztec-packages@ba834a4))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](AztecProtocol/aztec-packages#5426))
([29588e0](AztecProtocol/aztec-packages@29588e0))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](AztecProtocol/aztec-packages#5465))
([ef44674](AztecProtocol/aztec-packages@ef44674))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Mar 27, 2024
noir-lang/noir#4646)

chore: add missing brace to workflow (noir-lang/noir#4654)
chore: delete `R1CSTransformer` (noir-lang/noir#4649)
fix: Slice coercions (noir-lang/noir#4640)
chore(ci): add warning sticky comment (noir-lang/noir#4647)
fix(ssa): Fix slice intrinsic handling in the capacity tracker  (noir-lang/noir#4643)
chore: fix versioning of `bn254_blackbox_solver` crate (noir-lang/noir#4638)
chore: fix acvm crates reporting errors as JS packages (noir-lang/noir#4637)
chore: Release Noir(0.26.0) (noir-lang/noir#4526)
chore: convert `BlockExpression` into a standard struct (noir-lang/noir#4623)
chore(github): Improve PR template "document later" checkbox description (noir-lang/noir#4625)
chore: Update integers.md to note support for Fields using `from_integer` (noir-lang/noir#4536)
chore: update docs with function names to match version 0.25.0 specifications (noir-lang/noir#4466)
feat: add specific error for attempting `string[x] = ".."` (noir-lang/noir#4611)
fix(ssa): Use accurate type during SSA AsSlice simplficiation (noir-lang/noir#4610)
AztecBot added a commit to AztecProtocol/barretenberg that referenced this pull request Mar 28, 2024
🤖 I have created a release *beep* *boop*
---


<details><summary>aztec-package: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-package-v0.31.0...aztec-package-v0.32.0)
(2024-03-27)


### Features

* Sequencer checks list of allowed FPCs
([#5310](AztecProtocol/aztec-packages#5310))
([adf20dc](AztecProtocol/aztec-packages@adf20dc)),
closes
[#5000](AztecProtocol/aztec-packages#5000)
</details>

<details><summary>barretenberg.js: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@barretenberg.js-v0.31.0...barretenberg.js-v0.32.0)
(2024-03-27)


### Miscellaneous

* **barretenberg.js:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-cli: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-cli-v0.31.0...aztec-cli-v0.32.0)
(2024-03-27)


### Miscellaneous

* **aztec-cli:** Synchronize aztec-packages versions
</details>

<details><summary>aztec-packages: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@aztec-packages-v0.31.0...aztec-packages-v0.32.0)
(2024-03-27)


### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))

### Features

* Add specific error for attempting `string[x] = ".."`
(noir-lang/noir#4611)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **avm:** Dynamic gas costs for arithmetic, calldatacopy, and set
([#5473](AztecProtocol/aztec-packages#5473))
([bbd33fb](AztecProtocol/aztec-packages@bbd33fb))
* **avm:** EQ opcode output u8 and execution
([#5402](AztecProtocol/aztec-packages#5402))
([3450e24](AztecProtocol/aztec-packages@3450e24)),
closes
[#5290](AztecProtocol/aztec-packages#5290)
* Benchmark tx size with fee
([#5414](AztecProtocol/aztec-packages#5414))
([543f8a2](AztecProtocol/aztec-packages@543f8a2)),
closes
[#5403](AztecProtocol/aztec-packages#5403)
* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))
([16b0bdd](AztecProtocol/aztec-packages@16b0bdd))
* Sequencer checks list of allowed FPCs
([#5310](AztecProtocol/aztec-packages#5310))
([adf20dc](AztecProtocol/aztec-packages@adf20dc)),
closes
[#5000](AztecProtocol/aztec-packages#5000)


### Bug Fixes

* `l1-contracts/bootstrap.sh`
([#5479](AztecProtocol/aztec-packages#5479))
([f7d1d70](AztecProtocol/aztec-packages@f7d1d70))
* Add FPC to allowlist
([#5464](AztecProtocol/aztec-packages#5464))
([424960f](AztecProtocol/aztec-packages@424960f))
* **ci:** Fix earthly ctest
([#5424](AztecProtocol/aztec-packages#5424))
([9cac8a4](AztecProtocol/aztec-packages@9cac8a4))
* Docs example e2e test
([#5456](AztecProtocol/aztec-packages#5456))
([ae5126a](AztecProtocol/aztec-packages@ae5126a))
* Serial bb builds for mac
([#5462](AztecProtocol/aztec-packages#5462))
([4317819](AztecProtocol/aztec-packages@4317819))
* Slice coercions (noir-lang/noir#4640)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **ssa:** Fix slice intrinsic handling in the capacity tracker
(noir-lang/noir#4643)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **ssa:** Use accurate type during SSA AsSlice simplficiation
(noir-lang/noir#4610)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))


### Miscellaneous

* Append-only merkle tree generics
([#5355](AztecProtocol/aztec-packages#5355))
([ef7bf79](AztecProtocol/aztec-packages@ef7bf79))
* **avm:** Deterministic codegen from pil and some renaming
([#5476](AztecProtocol/aztec-packages#5476))
([ba834a4](AztecProtocol/aztec-packages@ba834a4))
* **avm:** Test cleanup and update yp to allow for zero gas
([#5459](AztecProtocol/aztec-packages#5459))
([1829741](AztecProtocol/aztec-packages@1829741))
* **avm:** Unify noir macros flow
([#5461](AztecProtocol/aztec-packages#5461))
([54aee58](AztecProtocol/aztec-packages@54aee58))
* **ci:** Add missing dependency to circleci config
([#5437](AztecProtocol/aztec-packages#5437))
([753cb78](AztecProtocol/aztec-packages@753cb78))
* **ci:** Add warning sticky comment
(noir-lang/noir#4647)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Convert `BlockExpression` into a standard struct
(noir-lang/noir#4623)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Delete `R1CSTransformer` (noir-lang/noir#4649)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](AztecProtocol/aztec-packages#5426))
([29588e0](AztecProtocol/aztec-packages@29588e0))
* Fix acvm crates reporting errors as JS packages
(noir-lang/noir#4637)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Fix versioning of `bn254_blackbox_solver` crate
(noir-lang/noir#4638)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* **github:** Improve PR template "document later" checkbox description
(noir-lang/noir#4625)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](AztecProtocol/aztec-packages#5465))
([ef44674](AztecProtocol/aztec-packages@ef44674))
* Leveraging `Bufferable` in `pedersenHash(...)` and
`sha256ToField(...)`
([#5444](AztecProtocol/aztec-packages#5444))
([0e0748c](AztecProtocol/aztec-packages@0e0748c))
* Release Noir(0.26.0) (noir-lang/noir#4526)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Renaming rand() as unsafe_rand()
([#5457](AztecProtocol/aztec-packages#5457))
([19ad2bb](AztecProtocol/aztec-packages@19ad2bb)),
closes
[#3746](AztecProtocol/aztec-packages#3746)
* Replace relative paths to noir-protocol-circuits
([d332ad1](AztecProtocol/aztec-packages@d332ad1))
* Timestamp as u64 instead of a Field
([#5453](AztecProtocol/aztec-packages#5453))
([d80dbbf](AztecProtocol/aztec-packages@d80dbbf)),
closes
[#5446](AztecProtocol/aztec-packages#5446)
* Typed encrypted and unencrypted L2 log containers
([#5422](AztecProtocol/aztec-packages#5422))
([a4d4ee8](AztecProtocol/aztec-packages@a4d4ee8))
* Update docs with function names to match version 0.25.0 specifications
(noir-lang/noir#4466)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))
* Update integers.md to note support for Fields using `from_integer`
(noir-lang/noir#4536)
([27bd8d3](AztecProtocol/aztec-packages@27bd8d3))


### Documentation

* **yp:** Spec how bytecode is encoded in class registerer
([#5471](AztecProtocol/aztec-packages#5471))
([e3bced2](AztecProtocol/aztec-packages@e3bced2))
</details>

<details><summary>barretenberg: 0.32.0</summary>

##
[0.32.0](AztecProtocol/aztec-packages@barretenberg-v0.31.0...barretenberg-v0.32.0)
(2024-03-27)


### ⚠ BREAKING CHANGES

* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))

### Features

* **avm:** EQ opcode output u8 and execution
([#5402](AztecProtocol/aztec-packages#5402))
([3450e24](AztecProtocol/aztec-packages@3450e24)),
closes
[#5290](AztecProtocol/aztec-packages#5290)
* Brillig typed memory
([#5395](AztecProtocol/aztec-packages#5395))
([16b0bdd](AztecProtocol/aztec-packages@16b0bdd))


### Bug Fixes

* **ci:** Fix earthly ctest
([#5424](AztecProtocol/aztec-packages#5424))
([9cac8a4](AztecProtocol/aztec-packages@9cac8a4))
* Serial bb builds for mac
([#5462](AztecProtocol/aztec-packages#5462))
([4317819](AztecProtocol/aztec-packages@4317819))


### Miscellaneous

* **avm:** Deterministic codegen from pil and some renaming
([#5476](AztecProtocol/aztec-packages#5476))
([ba834a4](AztecProtocol/aztec-packages@ba834a4))
* Fallback to building barretenberg targets sequentially when RAM
constrained
([#5426](AztecProtocol/aztec-packages#5426))
([29588e0](AztecProtocol/aztec-packages@29588e0))
* Introduce selectors to enable range checks of 8-bit and 16-bit sizes
([#5465](AztecProtocol/aztec-packages#5465))
([ef44674](AztecProtocol/aztec-packages@ef44674))
</details>

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
TomAFrench added a commit that referenced this pull request Apr 3, 2024
# 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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants