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: run smart contract verification integration tests inside hardhat #2957

Merged
merged 13 commits into from
Oct 3, 2023

Conversation

TomAFrench
Copy link
Member

@TomAFrench TomAFrench commented Oct 3, 2023

Description

Problem*

Resolves #2933

Summary*

This PR moves the integration test which checks that the generated proofs will be accepted by the verifier smart contracts over to run inside of hardhat. This has the benefit of preventing us from having to spin up a node in a separate terminal.

Documentation

  • This PR requires documentation updates when merged.

    • I will submit a noir-lang/docs PR.
    • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@socket-security
Copy link

New dependencies detected. Learn more about Socket for GitHub ↗︎

Packages Version New capabilities Transitives Size Publisher
toml 3.0.0 filesystem +0 144 kB binarymuse
@nomicfoundation/hardhat-ethers 3.0.4 None +2 334 kB fvictorio
@nomicfoundation/hardhat-chai-matchers 2.0.2 None +8 900 kB fvictorio

@TomAFrench TomAFrench force-pushed the tf/hardhat-integration-test branch from 8414212 to cca529f Compare October 3, 2023 11:14
* master:
  fix: Improve error message when multiplying unit values (#2950)
  chore: Perform lazy initialization inside `noir_js` (#2951)
…ation-test

* tf/reorganize-integration-tests:
  fix: Improve error message when multiplying unit values (#2950)
  chore: Perform lazy initialization inside `noir_js` (#2951)
  chore: update path
Base automatically changed from tf/reorganize-integration-tests to master October 3, 2023 14:05
@TomAFrench TomAFrench marked this pull request as ready for review October 3, 2023 14:35
@TomAFrench TomAFrench requested a review from kobyhallx October 3, 2023 14:43
@kevaundray kevaundray added this pull request to the merge queue Oct 3, 2023
Merged via the queue into master with commit 2cb4749 Oct 3, 2023
26 checks passed
@kevaundray kevaundray deleted the tf/hardhat-integration-test branch October 3, 2023 15:15
TomAFrench added a commit that referenced this pull request Oct 3, 2023
* master: (53 commits)
  feat: Nargo test runtime callstacks and assert messages without string matching (#2953)
  chore: Release Noir(0.16.0) (#2908)
  chore: run smart contract verification integration tests inside hardhat (#2957)
  chore: fix publishing workflows (#2926)
  chore: restructure integration tests (#2954)
  fix: Improve error message when multiplying unit values (#2950)
  chore: Perform lazy initialization inside `noir_js` (#2951)
  chore: Make one input public in simple assertion program (#2949)
  chore: use new JS packages in integration tests (#2938)
  fix(println): Enable printing of arrays/strings >2 in fmt strings  (#2947)
  feat(ssa): Multiple slice mergers (#2753)
  fix: fix should_fail_with (#2940)
  feat: Oracle mocker for nargo test (#2928)
  chore: add linting to new packages (#2937)
  feat: Dynamic indexing of non-homogenous slices (#2883)
  chore: Fix barretenberg noir typescript wrapper (#2922)
  chore(ci): Rename Noir.js test job (#2932)
  feat!: Maintain shape of foreign call arguments (#2935)
  chore: add init method to Noir class for web (#2920)
  chore: bump `reqwest` to 0.11.20 (#2931)
  ...
Sakapoi pushed a commit to Sakapoi/noir_fork that referenced this pull request Oct 19, 2023
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