TomAFrench · github-actions · May 8, 2023
diff --git a/.release-please-manifest.json b/.release-please-manifest.json
@@ -1 +1 @@
-{".":"0.11.0","acir":"0.11.0","acir_field":"0.11.0","acvm":"0.11.0","stdlib":"0.11.0"}
+{".":"0.12.0","acir":"0.12.0","acir_field":"0.12.0","acvm":"0.12.0","stdlib":"0.12.0"}
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,107 @@ 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.12.0](https://github.com/TomAFrench/acvm/compare/root-v0.11.0...root-v0.12.0) (2023-05-08)
+
+
+### ⚠ BREAKING CHANGES
+
+* Remove `solve` from PWG trait & introduce separate solvers for each blackbox ([#257](https://github.com/TomAFrench/acvm/issues/257))
+* **acvm:** Introduce Error type for fallible Backend traits ([#248](https://github.com/TomAFrench/acvm/issues/248))
+* return `Result<OpcodeResolution, OpcodeResolutionError>` from `solve_range_opcode` ([#238](https://github.com/TomAFrench/acvm/issues/238))
+* **acvm:** have all black box functions return `Result<OpcodeResolution, OpcodeResolutionError>` ([#237](https://github.com/TomAFrench/acvm/issues/237))
+* **acvm:** implement `hash_to_field_128_security` ([#230](https://github.com/TomAFrench/acvm/issues/230))
+* replace `MerkleMembership` opcode with `ComputeMerkleRoot` ([#233](https://github.com/TomAFrench/acvm/issues/233))
+* require `Backend` to implement `Default` trait ([#223](https://github.com/TomAFrench/acvm/issues/223))
+* Make GeneralOptimizer crate visible ([#220](https://github.com/TomAFrench/acvm/issues/220))
+* return `PartialWitnessGeneratorStatus` from `PartialWitnessGenerator.solve` ([#213](https://github.com/TomAFrench/acvm/issues/213))
+* organise operator implementations for Expression ([#190](https://github.com/TomAFrench/acvm/issues/190))
+* **acvm:** Remove deprecated eth_contract_from_cs from SmartContract trait ([#185](https://github.com/TomAFrench/acvm/issues/185))
+* **acvm:** make `Backend` trait object safe ([#180](https://github.com/TomAFrench/acvm/issues/180))
+* **acir:** Read Log Directive ([#156](https://github.com/TomAFrench/acvm/issues/156))
+* Add initial oracle opcode ([#149](https://github.com/TomAFrench/acvm/issues/149))
+* **acir:** Add RAM and ROM opcodes
+* **acir:** Add a public outputs field ([#56](https://github.com/TomAFrench/acvm/issues/56))
+* **acir:** remove `Linear` struct ([#145](https://github.com/TomAFrench/acvm/issues/145))
+* **acvm:** remove `prove_with_meta` and `verify_from_cs` from `ProofSystemCompiler` ([#140](https://github.com/TomAFrench/acvm/issues/140))
+* **acvm:** Remove truncate and oddrange directives ([#142](https://github.com/TomAFrench/acvm/issues/142))
+* **acir:** rename `term_addition` to `push_addition_term`
+* **acir:** rename `term_multiplication` to `push_multiplication_term` ([#122](https://github.com/TomAFrench/acvm/issues/122))
+* **acir:** remove `UnknownWitness` ([#123](https://github.com/TomAFrench/acvm/issues/123))
+* add block opcode ([#114](https://github.com/TomAFrench/acvm/issues/114))
+* **acvm:** switch to accepting public inputs as a map ([#96](https://github.com/TomAFrench/acvm/issues/96))
+* **acvm:** add `eth_contract_from_vk` to `SmartContract
+* update `ProofSystemCompiler` to not take ownership of keys ([#111](https://github.com/TomAFrench/acvm/issues/111))
+* update `ProofSystemCompiler` methods to take `&Circuit` ([#108](https://github.com/TomAFrench/acvm/issues/108))
+* **acir:** make PublicInputs use a BTreeSet rather than Vec ([#99](https://github.com/TomAFrench/acvm/issues/99))
+* refactor ToRadix to ToRadixLe and ToRadixBe ([#58](https://github.com/TomAFrench/acvm/issues/58))
+* **acir:** Add keccak256 Opcode ([#91](https://github.com/TomAFrench/acvm/issues/91))
+* Reorganiser compiler in terms of optimisers and transformers ([#88](https://github.com/TomAFrench/acvm/issues/88))
+
+### Features
+
+* **acir:** Add a public outputs field ([#56](https://github.com/TomAFrench/acvm/issues/56)) ([5f358a9](https://github.com/TomAFrench/acvm/commit/5f358a97aaa81d87956e182cd8a6d60de75f9752))
+* **acir:** Add keccak256 Opcode ([#91](https://github.com/TomAFrench/acvm/issues/91)) ([b909146](https://github.com/TomAFrench/acvm/commit/b9091461e199bacdd073cc9b31f03dade0b4fb2d))
+* **acir:** Add RAM and ROM opcodes ([73e9f25](https://github.com/TomAFrench/acvm/commit/73e9f25dd87b2ca91245e93d2445eadc0f522fac))
+* **acir:** add useful methods from `noirc_evaluator` onto `Expression` ([#125](https://github.com/TomAFrench/acvm/issues/125)) ([d3d5f89](https://github.com/TomAFrench/acvm/commit/d3d5f8917482ce5649602695829862a5df4ea712))
+* **acir:** make PublicInputs use a BTreeSet rather than Vec ([#99](https://github.com/TomAFrench/acvm/issues/99)) ([53666b7](https://github.com/TomAFrench/acvm/commit/53666b782d89c65cd755f9e4ded2c9cf5a141e46))
+* **acvm:** add `eth_contract_from_vk` to `SmartContract ([373c18f](https://github.com/TomAFrench/acvm/commit/373c18fc05edf673cfec9e8bbb78bd7d7514999e))
+* **acvm:** add `eth_contract_from_vk` to `SmartContract ([#113](https://github.com/TomAFrench/acvm/issues/113)) ([373c18f](https://github.com/TomAFrench/acvm/commit/373c18fc05edf673cfec9e8bbb78bd7d7514999e))
+* **acvm:** Add generic error for failing to solve an opcode ([#251](https://github.com/TomAFrench/acvm/issues/251)) ([bc89528](https://github.com/TomAFrench/acvm/commit/bc8952820de610e585d505decfac6e590bbb1a35))
+* **acvm:** have all black box functions return `Result&lt;OpcodeResolution, OpcodeResolutionError&gt;` ([#237](https://github.com/TomAFrench/acvm/issues/237)) ([e8e93fd](https://github.com/TomAFrench/acvm/commit/e8e93fda0db18f0d266dd1aacbb53ec787992dc9))
+* **acvm:** implement `hash_to_field_128_security` ([#230](https://github.com/TomAFrench/acvm/issues/230)) ([198fb69](https://github.com/TomAFrench/acvm/commit/198fb69e90a5ed3c0a8716d888b4dc6c2f9b18aa))
+* **acvm:** Introduce Error type for fallible Backend traits ([#248](https://github.com/TomAFrench/acvm/issues/248)) ([45c45f7](https://github.com/TomAFrench/acvm/commit/45c45f7cdb79c3ccb0373ca0e698b282d4dabc39))
+* **acvm:** make `Backend` trait object safe ([#180](https://github.com/TomAFrench/acvm/issues/180)) ([fd28657](https://github.com/TomAFrench/acvm/commit/fd28657426260ce3c53517b75a27eb5c4a74e234))
+* **acvm:** switch to accepting public inputs as a map ([#96](https://github.com/TomAFrench/acvm/issues/96)) ([f57ba57](https://github.com/TomAFrench/acvm/commit/f57ba57c2bb2597edf2b02fb1321c69cf11993ee))
+* add block opcode ([#114](https://github.com/TomAFrench/acvm/issues/114)) ([097cfb0](https://github.com/TomAFrench/acvm/commit/097cfb069291705ddb4bf1fca77ddcef21dbbd08))
+* Add initial oracle opcode ([#149](https://github.com/TomAFrench/acvm/issues/149)) ([88ee2f8](https://github.com/TomAFrench/acvm/commit/88ee2f89f37abf5dd1d9f91b4d2eed44dc651348))
+* Add Keccak Hash function ([#259](https://github.com/TomAFrench/acvm/issues/259)) ([443c734](https://github.com/TomAFrench/acvm/commit/443c73482eeef6cc42a1a254bf0d7706698ee353))
+* Add range opcode optimization ([#219](https://github.com/TomAFrench/acvm/issues/219)) ([7abe6e5](https://github.com/TomAFrench/acvm/commit/7abe6e5f6d6fea379c3748a910afd00db066eb45))
+* **ci:** Add release workflow ([#89](https://github.com/TomAFrench/acvm/issues/89)) ([db8e828](https://github.com/TomAFrench/acvm/commit/db8e828341f59241ef7f437c908277fb8fbca9e3))
+* **ci:** Publish crates upon release ([#104](https://github.com/TomAFrench/acvm/issues/104)) ([b265920](https://github.com/TomAFrench/acvm/commit/b265920bc1b0c776d20326a0b74fc635c22af4b9))
+* implement `add_mul` on `Expression` ([#207](https://github.com/TomAFrench/acvm/issues/207)) ([f156e18](https://github.com/TomAFrench/acvm/commit/f156e18cf7a0f1a99bbe1683b8e75fec8325e6dd))
+* implement `FieldElement::from&lt;bool&gt;()` ([#203](https://github.com/TomAFrench/acvm/issues/203)) ([476cfa2](https://github.com/TomAFrench/acvm/commit/476cfa247fddb515c64c2801c6868357c9375294))
+* Remove `solve` from PWG trait & introduce separate solvers for each blackbox ([#257](https://github.com/TomAFrench/acvm/issues/257)) ([3f3dd74](https://github.com/TomAFrench/acvm/commit/3f3dd7460b27ab06b55dfc3fe5dd733f08e30a9f))
+* replace `MerkleMembership` opcode with `ComputeMerkleRoot` ([#233](https://github.com/TomAFrench/acvm/issues/233)) ([74bfee8](https://github.com/TomAFrench/acvm/commit/74bfee80e0ff0d205aee1eea548c97ade8bd0e41))
+* require `Backend` to implement `Default` trait ([#223](https://github.com/TomAFrench/acvm/issues/223)) ([00282dc](https://github.com/TomAFrench/acvm/commit/00282dc5e2b03947bf709a088d829f3e0ba80eed))
+* return `PartialWitnessGeneratorStatus` from `PartialWitnessGenerator.solve` ([#213](https://github.com/TomAFrench/acvm/issues/213)) ([e877bed](https://github.com/TomAFrench/acvm/commit/e877bed2cca76bd486e9bed66b4230e65a01f0a2))
+* return `Result&lt;OpcodeResolution, OpcodeResolutionError&gt;` from `solve_range_opcode` ([#238](https://github.com/TomAFrench/acvm/issues/238)) ([15d3c5a](https://github.com/TomAFrench/acvm/commit/15d3c5a9be2dd92f266fcb7e672da17cada9fec5))
+* update `ProofSystemCompiler` methods to take `&Circuit` ([#108](https://github.com/TomAFrench/acvm/issues/108)) ([af56ca9](https://github.com/TomAFrench/acvm/commit/af56ca9da06068c650c66e76bfd09e65eb0ec213))
+* update `ProofSystemCompiler` to not take ownership of keys ([#111](https://github.com/TomAFrench/acvm/issues/111)) ([39b8a41](https://github.com/TomAFrench/acvm/commit/39b8a41293e567971f700f61103852cb987a8d16))
+* Update Arkworks' dependencies on `acir_field` ([#69](https://github.com/TomAFrench/acvm/issues/69)) ([65d6130](https://github.com/TomAFrench/acvm/commit/65d61307a12f25e04afad2d50e4c4db5ce97dd8c))
+
+
+### Bug Fixes
+
+* **acir:** add `bn254` as default feature flag ([#240](https://github.com/TomAFrench/acvm/issues/240)) ([e56973d](https://github.com/TomAFrench/acvm/commit/e56973d8dc1745fe9bb844ec8347acd4d836d42f))
+* **acir:** correctly display expressions with non-unit coefficients ([d3d5f89](https://github.com/TomAFrench/acvm/commit/d3d5f8917482ce5649602695829862a5df4ea712))
+* **acir:** Fix `Expression` multiplication to correctly handle degree 1 terms ([#255](https://github.com/TomAFrench/acvm/issues/255)) ([e399396](https://github.com/TomAFrench/acvm/commit/e399396f7e06deb6b831517af17018607df3f252))
+* **acir:** Read Log Directive ([#156](https://github.com/TomAFrench/acvm/issues/156)) ([1cc2b7f](https://github.com/TomAFrench/acvm/commit/1cc2b7f2179cecc338fe0def72bb2dd17eaed0cd))
+* add default feature flag to ACVM crate ([#245](https://github.com/TomAFrench/acvm/issues/245)) ([455fddb](https://github.com/TomAFrench/acvm/commit/455fddbc19af81cb01d54e29cad199691e1a1d98))
+* add default flag to `acvm_stdlib` ([#242](https://github.com/TomAFrench/acvm/issues/242)) ([83b6fa8](https://github.com/TomAFrench/acvm/commit/83b6fa8302569add7e3ac8481b2fd2a6a1ff3576))
+* Add test for Out of Memory  ([#188](https://github.com/TomAFrench/acvm/issues/188)) ([c3db985](https://github.com/TomAFrench/acvm/commit/c3db985893e7e59ea04005bb3a57eda5c6ce28c7))
+* **ci:** publish acvm_stdlib before acvm ([#117](https://github.com/TomAFrench/acvm/issues/117)) ([ca6defc](https://github.com/TomAFrench/acvm/commit/ca6defc9bb5f51241b2fc4d9cd732f9678b4688f))
+* **ci:** Update dependency versions in the workspace file ([#103](https://github.com/TomAFrench/acvm/issues/103)) ([9acc266](https://github.com/TomAFrench/acvm/commit/9acc266c7dc5a6ad2fa9c466cc82cb81d984b7ed))
+* Clean up Log Directive hex output  ([#97](https://github.com/TomAFrench/acvm/issues/97)) ([d23c735](https://github.com/TomAFrench/acvm/commit/d23c7352523ffb42f3e8f4229b61f9803ab78a7e))
+* prevent `bn254` feature flag always being enabled ([#225](https://github.com/TomAFrench/acvm/issues/225)) ([82eee6a](https://github.com/TomAFrench/acvm/commit/82eee6ab08ae480f04904ca8571fd88f4466c000))
+* **pwg:** stall instead of fail for unassigned black box ([#154](https://github.com/TomAFrench/acvm/issues/154)) ([412a1a6](https://github.com/TomAFrench/acvm/commit/412a1a60b434bef53e12d37c3b2bb3d51a317994))
+* unwraps if inputs is zero ([#171](https://github.com/TomAFrench/acvm/issues/171)) ([10a3bb2](https://github.com/TomAFrench/acvm/commit/10a3bb2a9930ccf422b3f08227aae07775686860))
+
+
+### Miscellaneous Chores
+
+* **acir:** remove `Linear` struct ([#145](https://github.com/TomAFrench/acvm/issues/145)) ([bbb6d92](https://github.com/TomAFrench/acvm/commit/bbb6d92e25c43dd33b12f5fcd639fc9ad2a9c9d8))
+* **acir:** remove `UnknownWitness` ([#123](https://github.com/TomAFrench/acvm/issues/123)) ([9f002c7](https://github.com/TomAFrench/acvm/commit/9f002c7b49a5cf222d4a01732cc4917a47690863))
+* **acir:** rename `term_addition` to `push_addition_term` ([d389385](https://github.com/TomAFrench/acvm/commit/d38938542851a97dc01727438391e6a65e44c689))
+* **acir:** rename `term_multiplication` to `push_multiplication_term` ([#122](https://github.com/TomAFrench/acvm/issues/122)) ([d389385](https://github.com/TomAFrench/acvm/commit/d38938542851a97dc01727438391e6a65e44c689))
+* **acvm:** remove `prove_with_meta` and `verify_from_cs` from `ProofSystemCompiler` ([#140](https://github.com/TomAFrench/acvm/issues/140)) ([35dd181](https://github.com/TomAFrench/acvm/commit/35dd181102203df17eef510666b327ef41f4b036))
+* **acvm:** Remove deprecated eth_contract_from_cs from SmartContract trait ([#185](https://github.com/TomAFrench/acvm/issues/185)) ([ee59c9e](https://github.com/TomAFrench/acvm/commit/ee59c9efe9a54ff6b97e4daaebf64f3e327e97d9))
+* **acvm:** Remove truncate and oddrange directives ([#142](https://github.com/TomAFrench/acvm/issues/142)) ([85dd6e8](https://github.com/TomAFrench/acvm/commit/85dd6e85bfba85bfb97651f7e30e1f75deb986d5))
+* Make GeneralOptimizer crate visible ([#220](https://github.com/TomAFrench/acvm/issues/220)) ([64bb346](https://github.com/TomAFrench/acvm/commit/64bb346524428a0ce196826ea1e5ccde08ad6201))
+* organise operator implementations for Expression ([#190](https://github.com/TomAFrench/acvm/issues/190)) ([a619df6](https://github.com/TomAFrench/acvm/commit/a619df614bbb9b2518b788b42a7553b069823a0f))
+* refactor ToRadix to ToRadixLe and ToRadixBe ([#58](https://github.com/TomAFrench/acvm/issues/58)) ([2427a27](https://github.com/TomAFrench/acvm/commit/2427a275048e598c6d651cce8348a4c55148f235))
+* Reorganiser compiler in terms of optimisers and transformers ([#88](https://github.com/TomAFrench/acvm/issues/88)) ([9329307](https://github.com/TomAFrench/acvm/commit/9329307e054de202cfc55207162ad952b70d515e))
+
 ## [0.11.0](https://github.com/noir-lang/acvm/compare/root-v0.10.3...root-v0.11.0) (2023-05-04)
 
 

diff --git a/Cargo.toml b/Cargo.toml
@@ -9,9 +9,9 @@ license = "MIT"
 rust-version = "1.66"
 
 [workspace.dependencies]
-acir = { version = "0.11.0", path = "acir", default-features = false }
-acir_field = { version = "0.11.0", path = "acir_field", default-features = false }
-stdlib = { package = "acvm_stdlib", version = "0.11.0", path = "stdlib", default-features = false }
+acir = { version = "0.12.0", path = "acir", default-features = false }
+acir_field = { version = "0.12.0", path = "acir_field", default-features = false }
+stdlib = { package = "acvm_stdlib", version = "0.12.0", path = "stdlib", default-features = false }
 
 num-bigint = "0.4"
 num-traits = "0.2"