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: Release 0.12.0 #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented Feb 26, 2023

🤖 I have created a release beep boop

root: 0.12.0

0.12.0 (2023-05-08)

⚠ BREAKING CHANGES

  • Remove solve from PWG trait & introduce separate solvers for each blackbox (#257)
  • acvm: Introduce Error type for fallible Backend traits (#248)
  • return Result<OpcodeResolution, OpcodeResolutionError> from solve_range_opcode (#238)
  • acvm: have all black box functions return Result<OpcodeResolution, OpcodeResolutionError> (#237)
  • acvm: implement hash_to_field_128_security (#230)
  • replace MerkleMembership opcode with ComputeMerkleRoot (#233)
  • require Backend to implement Default trait (#223)
  • Make GeneralOptimizer crate visible (#220)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213)
  • organise operator implementations for Expression (#190)
  • acvm: Remove deprecated eth_contract_from_cs from SmartContract trait (#185)
  • acvm: make Backend trait object safe (#180)
  • acir: Read Log Directive (#156)
  • Add initial oracle opcode (#149)
  • acir: Add RAM and ROM opcodes
  • acir: Add a public outputs field (#56)
  • acir: remove Linear struct (#145)
  • acvm: remove prove_with_meta and verify_from_cs from ProofSystemCompiler (#140)
  • acvm: Remove truncate and oddrange directives (#142)
  • acir: rename term_addition to push_addition_term
  • acir: rename term_multiplication to push_multiplication_term (#122)
  • acir: remove UnknownWitness (#123)
  • add block opcode (#114)
  • acvm: switch to accepting public inputs as a map (#96)
  • acvm: add eth_contract_from_vk to `SmartContract
  • update ProofSystemCompiler to not take ownership of keys (#111)
  • update ProofSystemCompiler methods to take &Circuit (#108)
  • acir: make PublicInputs use a BTreeSet rather than Vec (#99)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58)
  • acir: Add keccak256 Opcode (#91)
  • Reorganiser compiler in terms of optimisers and transformers (#88)

Features

  • acir: Add a public outputs field (#56) (5f358a9)
  • acir: Add keccak256 Opcode (#91) (b909146)
  • acir: Add RAM and ROM opcodes (73e9f25)
  • acir: add useful methods from noirc_evaluator onto Expression (#125) (d3d5f89)
  • acir: make PublicInputs use a BTreeSet rather than Vec (#99) (53666b7)
  • acvm: add eth_contract_from_vk to `SmartContract (373c18f)
  • acvm: add eth_contract_from_vk to `SmartContract (#113) (373c18f)
  • acvm: Add generic error for failing to solve an opcode (#251) (bc89528)
  • acvm: have all black box functions return Result&lt;OpcodeResolution, OpcodeResolutionError&gt; (#237) (e8e93fd)
  • acvm: implement hash_to_field_128_security (#230) (198fb69)
  • acvm: Introduce Error type for fallible Backend traits (#248) (45c45f7)
  • acvm: make Backend trait object safe (#180) (fd28657)
  • acvm: switch to accepting public inputs as a map (#96) (f57ba57)
  • add block opcode (#114) (097cfb0)
  • Add initial oracle opcode (#149) (88ee2f8)
  • Add Keccak Hash function (#259) (443c734)
  • Add range opcode optimization (#219) (7abe6e5)
  • ci: Add release workflow (#89) (db8e828)
  • ci: Publish crates upon release (#104) (b265920)
  • implement add_mul on Expression (#207) (f156e18)
  • implement FieldElement::from&lt;bool&gt;() (#203) (476cfa2)
  • Remove solve from PWG trait & introduce separate solvers for each blackbox (#257) (3f3dd74)
  • replace MerkleMembership opcode with ComputeMerkleRoot (#233) (74bfee8)
  • require Backend to implement Default trait (#223) (00282dc)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213) (e877bed)
  • return Result&lt;OpcodeResolution, OpcodeResolutionError&gt; from solve_range_opcode (#238) (15d3c5a)
  • update ProofSystemCompiler methods to take &Circuit (#108) (af56ca9)
  • update ProofSystemCompiler to not take ownership of keys (#111) (39b8a41)
  • Update Arkworks' dependencies on acir_field (#69) (65d6130)

Bug Fixes

  • acir: add bn254 as default feature flag (#240) (e56973d)
  • acir: correctly display expressions with non-unit coefficients (d3d5f89)
  • acir: Fix Expression multiplication to correctly handle degree 1 terms (#255) (e399396)
  • acir: Read Log Directive (#156) (1cc2b7f)
  • add default feature flag to ACVM crate (#245) (455fddb)
  • add default flag to acvm_stdlib (#242) (83b6fa8)
  • Add test for Out of Memory (#188) (c3db985)
  • ci: publish acvm_stdlib before acvm (#117) (ca6defc)
  • ci: Update dependency versions in the workspace file (#103) (9acc266)
  • Clean up Log Directive hex output (#97) (d23c735)
  • prevent bn254 feature flag always being enabled (#225) (82eee6a)
  • pwg: stall instead of fail for unassigned black box (#154) (412a1a6)
  • unwraps if inputs is zero (#171) (10a3bb2)

Miscellaneous Chores

  • acir: remove Linear struct (#145) (bbb6d92)
  • acir: remove UnknownWitness (#123) (9f002c7)
  • acir: rename term_addition to push_addition_term (d389385)
  • acir: rename term_multiplication to push_multiplication_term (#122) (d389385)
  • acvm: remove prove_with_meta and verify_from_cs from ProofSystemCompiler (#140) (35dd181)
  • acvm: Remove deprecated eth_contract_from_cs from SmartContract trait (#185) (ee59c9e)
  • acvm: Remove truncate and oddrange directives (#142) (85dd6e8)
  • Make GeneralOptimizer crate visible (#220) (64bb346)
  • organise operator implementations for Expression (#190) (a619df6)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58) (2427a27)
  • Reorganiser compiler in terms of optimisers and transformers (#88) (9329307)
acir: 0.12.0

0.12.0 (2023-05-08)

⚠ BREAKING CHANGES

  • replace MerkleMembership opcode with ComputeMerkleRoot (#233)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213)
  • organise operator implementations for Expression (#190)
  • acir: Read Log Directive (#156)
  • Add initial oracle opcode (#149)
  • acir: Add RAM and ROM opcodes
  • acir: Add a public outputs field (#56)
  • acir: remove Linear struct (#145)
  • acvm: Remove truncate and oddrange directives (#142)
  • acir: rename term_addition to push_addition_term
  • acir: rename term_multiplication to push_multiplication_term (#122)
  • acir: remove UnknownWitness (#123)
  • add block opcode (#114)
  • acir: make PublicInputs use a BTreeSet rather than Vec (#99)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58)
  • acir: Add keccak256 Opcode (#91)
  • Reorganiser compiler in terms of optimisers and transformers (#88)

Features

  • acir: Add a public outputs field (#56) (5f358a9)
  • acir: Add keccak256 Opcode (#91) (b909146)
  • acir: Add RAM and ROM opcodes (73e9f25)
  • acir: add useful methods from noirc_evaluator onto Expression (#125) (d3d5f89)
  • acir: make PublicInputs use a BTreeSet rather than Vec (#99) (53666b7)
  • add block opcode (#114) (097cfb0)
  • Add initial oracle opcode (#149) (88ee2f8)
  • implement add_mul on Expression (#207) (f156e18)
  • replace MerkleMembership opcode with ComputeMerkleRoot (#233) (74bfee8)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213) (e877bed)

Bug Fixes

  • acir: add bn254 as default feature flag (#240) (e56973d)
  • acir: correctly display expressions with non-unit coefficients (d3d5f89)
  • acir: Fix Expression multiplication to correctly handle degree 1 terms (#255) (e399396)
  • acir: Read Log Directive (#156) (1cc2b7f)
  • Add test for Out of Memory (#188) (c3db985)
  • unwraps if inputs is zero (#171) (10a3bb2)

Miscellaneous Chores

  • acir: remove Linear struct (#145) (bbb6d92)
  • acir: remove UnknownWitness (#123) (9f002c7)
  • acir: rename term_addition to push_addition_term (d389385)
  • acir: rename term_multiplication to push_multiplication_term (#122) (d389385)
  • acvm: Remove truncate and oddrange directives (#142) (85dd6e8)
  • organise operator implementations for Expression (#190) (a619df6)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58) (2427a27)
  • Reorganiser compiler in terms of optimisers and transformers (#88) (9329307)
acir_field: 0.12.0

0.12.0 (2023-05-08)

Features

  • implement FieldElement::from&lt;bool&gt;() (#203) (476cfa2)
  • Update Arkworks' dependencies on acir_field (#69) (65d6130)

Bug Fixes

  • prevent bn254 feature flag always being enabled (#225) (82eee6a)
acvm: 0.12.0

0.12.0 (2023-05-08)

⚠ BREAKING CHANGES

  • Remove solve from PWG trait & introduce separate solvers for each blackbox (#257)
  • acvm: Introduce Error type for fallible Backend traits (#248)
  • return Result<OpcodeResolution, OpcodeResolutionError> from solve_range_opcode (#238)
  • acvm: have all black box functions return Result<OpcodeResolution, OpcodeResolutionError> (#237)
  • acvm: implement hash_to_field_128_security (#230)
  • require Backend to implement Default trait (#223)
  • Make GeneralOptimizer crate visible (#220)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213)
  • organise operator implementations for Expression (#190)
  • acvm: Remove deprecated eth_contract_from_cs from SmartContract trait (#185)
  • acvm: make Backend trait object safe (#180)
  • Add initial oracle opcode (#149)
  • acir: Add RAM and ROM opcodes
  • acir: Add a public outputs field (#56)
  • acvm: remove prove_with_meta and verify_from_cs from ProofSystemCompiler (#140)
  • acvm: Remove truncate and oddrange directives (#142)
  • add block opcode (#114)
  • acvm: switch to accepting public inputs as a map (#96)
  • acvm: add eth_contract_from_vk to `SmartContract
  • update ProofSystemCompiler to not take ownership of keys (#111)
  • update ProofSystemCompiler methods to take &Circuit (#108)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58)
  • Reorganiser compiler in terms of optimisers and transformers (#88)

Features

  • acir: Add a public outputs field (#56) (5f358a9)
  • acir: Add RAM and ROM opcodes (73e9f25)
  • acvm: add eth_contract_from_vk to `SmartContract (373c18f)
  • acvm: add eth_contract_from_vk to `SmartContract (#113) (373c18f)
  • acvm: Add generic error for failing to solve an opcode (#251) (bc89528)
  • acvm: have all black box functions return Result&lt;OpcodeResolution, OpcodeResolutionError&gt; (#237) (e8e93fd)
  • acvm: implement hash_to_field_128_security (#230) (198fb69)
  • acvm: Introduce Error type for fallible Backend traits (#248) (45c45f7)
  • acvm: make Backend trait object safe (#180) (fd28657)
  • acvm: switch to accepting public inputs as a map (#96) (f57ba57)
  • add block opcode (#114) (097cfb0)
  • Add initial oracle opcode (#149) (88ee2f8)
  • Add Keccak Hash function (#259) (443c734)
  • Add range opcode optimization (#219) (7abe6e5)
  • Remove solve from PWG trait & introduce separate solvers for each blackbox (#257) (3f3dd74)
  • require Backend to implement Default trait (#223) (00282dc)
  • return PartialWitnessGeneratorStatus from PartialWitnessGenerator.solve (#213) (e877bed)
  • return Result&lt;OpcodeResolution, OpcodeResolutionError&gt; from solve_range_opcode (#238) (15d3c5a)
  • update ProofSystemCompiler methods to take &Circuit (#108) (af56ca9)
  • update ProofSystemCompiler to not take ownership of keys (#111) (39b8a41)

Bug Fixes

  • add default feature flag to ACVM crate (#245) (455fddb)
  • Clean up Log Directive hex output (#97) (d23c735)
  • prevent bn254 feature flag always being enabled (#225) (82eee6a)
  • pwg: stall instead of fail for unassigned black box (#154) (412a1a6)

Miscellaneous Chores

  • acvm: remove prove_with_meta and verify_from_cs from ProofSystemCompiler (#140) (35dd181)
  • acvm: Remove deprecated eth_contract_from_cs from SmartContract trait (#185) (ee59c9e)
  • acvm: Remove truncate and oddrange directives (#142) (85dd6e8)
  • Make GeneralOptimizer crate visible (#220) (64bb346)
  • organise operator implementations for Expression (#190) (a619df6)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58) (2427a27)
  • Reorganiser compiler in terms of optimisers and transformers (#88) (9329307)
acvm_stdlib: 0.12.0

0.12.0 (2023-05-08)

⚠ BREAKING CHANGES

  • organise operator implementations for Expression (#190)
  • acir: rename term_addition to push_addition_term
  • acir: rename term_multiplication to push_multiplication_term (#122)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58)

Bug Fixes

  • add default flag to acvm_stdlib (#242) (83b6fa8)
  • prevent bn254 feature flag always being enabled (#225) (82eee6a)

Miscellaneous Chores

  • acir: rename term_addition to push_addition_term (d389385)
  • acir: rename term_multiplication to push_multiplication_term (#122) (d389385)
  • organise operator implementations for Expression (#190) (a619df6)
  • refactor ToRadix to ToRadixLe and ToRadixBe (#58) (2427a27)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot changed the title chore: Release 0.6.0 chore: Release 0.12.0 May 8, 2023
@github-actions github-actions bot force-pushed the release-please--branches--master branch from 10a7861 to 23f3776 Compare May 8, 2023 04:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
0 participants