Skip to content

Conversation

guipublic
Copy link
Contributor

@guipublic guipublic commented Sep 1, 2025

Description

Problem*

Resolves #9696

Summary*

Brillig and comptime interpreter check for bit shift overflows

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.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 115e0c8 Previous: 8fd9446 Ratio
test_report_zkpassport_noir-ecdsa_ 3 s 2 s 1.50

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@aakoshh
Copy link
Contributor

aakoshh commented Sep 1, 2025

Should I create a separate issue for why comptime returns the lhs instead of an overflow in the examples of the ticket?

@guipublic
Copy link
Contributor Author

Should I create a separate issue for why comptime returns the lhs instead of an overflow in the examples of the ticket?

No need, I can look at the comptime case as well within the same issue.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: aa56321 Previous: a869373 Ratio
private-kernel-inner 0.02 s 0.015 s 1.33

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 34f6c16 Previous: fe1ce1d Ratio
rollup-block-root-single-tx 264 s 205 s 1.29

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@TomAFrench TomAFrench added this pull request to the merge queue Sep 8, 2025
Merged via the queue into master with commit e9f2016 Sep 8, 2025
122 checks passed
@TomAFrench TomAFrench deleted the gd/issue_9696 branch September 8, 2025 15:40
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.

Strange shifting errors and results: Attempted to shift by 0 bits on a type of bit size 8
3 participants