Skip to content
This repository was archived by the owner on Apr 9, 2024. It is now read-only.

fix(acir): Hide variants of WitnessMapError and export it from package#283

Merged
TomAFrench merged 2 commits intomasterfrom
phated/witness-map-error
May 14, 2023
Merged

fix(acir): Hide variants of WitnessMapError and export it from package#283
TomAFrench merged 2 commits intomasterfrom
phated/witness-map-error

Conversation

@phated
Copy link
Copy Markdown
Contributor

@phated phated commented May 12, 2023

Related issue(s)

Resolves (link to issue)

Description

Summary of changes

When trying to update noir-lang/noir#1267, we tried to map the WitnessMapError to a nargo error, but the type isn't exported so it can't be used to derive. This makes it public to consumers, but also hides the enum values so they can't be pattern matched and cause breaking changes if/when updated.

Dependency additions / changes

(If applicable.)

Test additions / changes

(If applicable.)

Checklist

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt with default settings.
  • I have linked this PR to the issue(s) that it resolves.
  • I have reviewed the changes on GitHub, line by line.
  • I have ensured all changes are covered in the description.

Additional context

(If applicable.)

@phated phated requested a review from TomAFrench May 12, 2023 16:06
@TomAFrench TomAFrench added this pull request to the merge queue May 14, 2023
Merged via the queue into master with commit bbd9ab7 May 14, 2023
@github-actions github-actions Bot mentioned this pull request May 14, 2023
@phated phated deleted the phated/witness-map-error branch May 15, 2023 14:41
TomAFrench added a commit that referenced this pull request May 16, 2023
* master: (49 commits)
  feat(acvm)!: Add CommonReferenceString backend trait (#231)
  fix(acir): Hide variants of WitnessMapError and export it from package (#283)
  feat!: Introduce WitnessMap data structure to avoid leaking internal structure (#252)
  feat!: use struct variants for blackbox function calls (#269)
  chore(acvm)!: Backend trait must implement Debug (#275)
  chore!: remove `OpcodeResolutionError::UnexpectedOpcode` (#274)
  chore(acvm)!: rename `hash_to_field128_security` to `hash_to_field_128_security` (#271)
  feat(acvm)!: update black box solver interfaces to match `pwg:black_box::solve` (#268)
  chore(acir_field): remove unnecessary `to_vec()` (#267)
  chore(acvm)!: expose separate solvers for AND and XOR opcodes (#266)
  feat(acvm)!: Simplification pass for ACIR (#151)
  changes the name of blake to be blakes2s256 (#261)
  update hash functions (#260)
  feat!: Remove `solve` from PWG trait & introduce separate solvers for each blackbox (#257)
  chore: Release 0.11.0 (#250)
  feat(acvm): Add generic error for failing to solve an opcode (#251)
  fix(acir): Fix `Expression` multiplication to correctly handle degree 1 terms (#255)
  chore(acir): organise opcodes definitions (#254)
  chore: remove usage of `insert_witness` with `insert_value` (#253)
  feat: Add Keccak Hash function (#259)
  ...
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants