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

fix: implement as_field and from_field in the interpreter #6829

Merged
merged 1 commit into from
Dec 16, 2024

Conversation

asterite
Copy link
Collaborator

Description

Problem

Resolves #6828

Summary

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

Changes to Brillig bytecode sizes

Generated at commit: 98fbee14a8036cab1e2b9ca61fecfee524953d03, compared to commit: 920bf75b9e62237b0fda94a0e56671a608eee3e2

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
sha256_regression -3 ✅ -0.04%

Full diff report 👇
Program Brillig opcodes (+/-) %
sha256_regression 6,917 (-3) -0.04%

Copy link
Contributor

Changes to number of Brillig opcodes executed

Generated at commit: 98fbee14a8036cab1e2b9ca61fecfee524953d03, compared to commit: 920bf75b9e62237b0fda94a0e56671a608eee3e2

🧾 Summary (10% most significant diffs)

Program Brillig opcodes (+/-) %
sha256_regression -3 ✅ -0.00%

Full diff report 👇
Program Brillig opcodes (+/-) %
sha256_regression 118,704 (-3) -0.00%

Copy link
Contributor

Peak Memory Sample

Program Peak Memory
keccak256 78.15M
workspace 122.61M
regression_4709 423.26M
ram_blowup_regression 1.58G
private-kernel-tail 206.67M
private-kernel-reset 720.25M
private-kernel-inner 291.85M
parity-root 171.68M

Copy link
Contributor

Compilation Sample

Program Compilation Time %
sha256_regression 0m1.366s -7%
regression_4709 0m0.821s -4%
ram_blowup_regression 0m14.451s -3%
rollup-base-public 3m25.889s -3%
rollup-base-private 3m1.736s -5%
private-kernel-tail 0m1.164s -4%
private-kernel-reset 0m8.666s 16%
private-kernel-inner 0m2.532s 1%
parity-root 0m0.883s -5%
noir-contracts 2m54.057s 10%

@asterite asterite requested a review from a team December 16, 2024 21:34
@TomAFrench TomAFrench added this pull request to the merge queue Dec 16, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 16, 2024
@TomAFrench TomAFrench added this pull request to the merge queue Dec 16, 2024
Merged via the queue into master with commit f037c36 Dec 16, 2024
64 checks passed
@TomAFrench TomAFrench deleted the ab/comptime-as_field-from_field branch December 16, 2024 22:28
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Dec 17, 2024
…eter (noir-lang/noir#6829)

chore: Use Vec for callstacks (noir-lang/noir#6821)
feat: replace `eval_global_as_array_length` with type/interpreter evaluation (noir-lang/noir#6469)
chore: refactor `DataFlowGraph.insert_instruction_and_results` (noir-lang/noir#6823)
chore(docs): updating noirjs tutorial for 1.0.0 (noir-lang/noir#6792)
feat: Sync from aztec-packages (noir-lang/noir#6824)
chore: Have rust-analyzer use the stable toolchain (noir-lang/noir#6825)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Dec 18, 2024
…r#6810)

chore: move constant creation out of loop (noir-lang/noir#6836)
fix: implement `as_field` and `from_field` in the interpreter (noir-lang/noir#6829)
chore: Use Vec for callstacks (noir-lang/noir#6821)
feat: replace `eval_global_as_array_length` with type/interpreter evaluation (noir-lang/noir#6469)
chore: refactor `DataFlowGraph.insert_instruction_and_results` (noir-lang/noir#6823)
chore(docs): updating noirjs tutorial for 1.0.0 (noir-lang/noir#6792)
feat: Sync from aztec-packages (noir-lang/noir#6824)
chore: Have rust-analyzer use the stable toolchain (noir-lang/noir#6825)
AztecBot added a commit to AztecProtocol/aztec-packages that referenced this pull request Dec 18, 2024
chore: move constant creation out of loop (noir-lang/noir#6836)
fix: implement `as_field` and `from_field` in the interpreter (noir-lang/noir#6829)
chore: Use Vec for callstacks (noir-lang/noir#6821)
feat: replace `eval_global_as_array_length` with type/interpreter evaluation (noir-lang/noir#6469)
chore: refactor `DataFlowGraph.insert_instruction_and_results` (noir-lang/noir#6823)
chore(docs): updating noirjs tutorial for 1.0.0 (noir-lang/noir#6792)
feat: Sync from aztec-packages (noir-lang/noir#6824)
chore: Have rust-analyzer use the stable toolchain (noir-lang/noir#6825)
TomAFrench added a commit that referenced this pull request Dec 18, 2024
* master:
  fix: detect cycles in globals (#6859)
  chore(ci): Execution time report (#6827)
  chore(ci): Add non determinism check and fixes (#6847)
  chore(docs): updating the solidity contract how-to guide (#6804)
  fix: double alias in path (#6855)
  feat: configurable external check failures (#6810)
  chore: move constant creation out of loop (#6836)
  fix: implement `as_field` and `from_field` in the interpreter (#6829)
  chore: Use Vec for callstacks (#6821)
  feat: replace `eval_global_as_array_length` with type/interpreter evaluation (#6469)
  chore: refactor `DataFlowGraph.insert_instruction_and_results` (#6823)
  chore(docs): updating noirjs tutorial for 1.0.0 (#6792)
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.

as_field and from_field are not implemented in the interpreter
2 participants