Skip to content

chore(frontend): Additional assignment and struct constructor tests #10367

Merged
jfecher merged 2 commits intomv/elaborator-assignment-testsfrom
mv/elaborator-assign-tests-2
Nov 4, 2025
Merged

chore(frontend): Additional assignment and struct constructor tests #10367
jfecher merged 2 commits intomv/elaborator-assignment-testsfrom
mv/elaborator-assign-tests-2

Conversation

@vezenovm
Copy link
Contributor

@vezenovm vezenovm commented Nov 4, 2025

Description

Problem*

Work as part of the elaborator group 7a audit

Builds off of #10362

Summary*

Simply adds a few extra unit tests for cases I saw were missing test coverage for elaborator group 7a

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.

@vezenovm vezenovm requested a review from a team November 4, 2025 20:39
@github-actions
Copy link
Contributor

github-actions bot commented Nov 4, 2025

Changes to circuit sizes

Generated at commit: 17e303e085209348c8e24c3fb824a6ca62b5ed22, compared to commit: bc36fc1d90a8c2a790bbd125547928609d56f2ae

🧾 Summary (10% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
function_ref 0 ➖ 0.00% -3 ✅ -3.66%
bench_eddsa_poseidon 0 ➖ 0.00% -1,016 ✅ -4.50%
regression_7744 0 ➖ 0.00% -13 ✅ -11.50%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
regression_struct_array_conditional 68 (0) 0.00% 3,213 (-1) -0.03%
bit_shifts_comptime 51 (0) 0.00% 2,942 (-1) -0.03%
inactive_signed_bitshift 79 (0) 0.00% 2,878 (-1) -0.03%
slice_dynamic_index 804 (0) 0.00% 5,157 (-2) -0.04%
ecdsa_secp256r1_invalid_pub_key_in_inactive_branch 227 (0) 0.00% 71,323 (-37) -0.05%
ecdsa_secp256r1 163 (0) 0.00% 71,259 (-37) -0.05%
ecdsa_secp256r1_3x 487 (0) 0.00% 206,276 (-114) -0.06%
bit_shifts_runtime 467 (0) 0.00% 4,750 (-10) -0.21%
embedded_curve_ops 13 (0) 0.00% 5,350 (-20) -0.37%
ecdsa_secp256k1_invalid_pub_key_in_inactive_branch 227 (0) 0.00% 41,506 (-275) -0.66%
bench_ecdsa_secp256k1 163 (0) 0.00% 41,442 (-275) -0.66%
ecdsa_secp256k1 163 (0) 0.00% 41,442 (-275) -0.66%
regression_5045 11 (0) 0.00% 1,260 (-25) -1.95%
function_ref 25 (0) 0.00% 79 (-3) -3.66%
bench_eddsa_poseidon 17,696 (0) 0.00% 21,586 (-1,016) -4.50%
regression_7744 8 (0) 0.00% 100 (-13) -11.50%

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: 74a0852 Previous: 65a8fb0 Ratio
rollup-block-root-single-tx 0.003 s 0.002 s 1.50
sha512-100-bytes 0.077 s 0.049 s 1.57

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

CC: @TomAFrench

@jfecher jfecher merged commit 31f5162 into mv/elaborator-assignment-tests Nov 4, 2025
105 checks passed
@jfecher jfecher deleted the mv/elaborator-assign-tests-2 branch November 4, 2025 20:55
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: 74a0852 Previous: 65a8fb0 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

@vezenovm vezenovm added this to the Group 7 Audited milestone Nov 7, 2025
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