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.

Sign up for GitHub

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

Jump to bottom

chore: add solidity verifier workflow #2749

Merged
merged 114 commits into from
Sep 26, 2023
Merged

chore: add solidity verifier workflow #2749

merged 114 commits into from
Sep 26, 2023

Commits on Sep 19, 2023

  1. Add solidity verifier workflow

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    9de0268 View commit details
    Browse the repository at this point in the history

  2. Fix install nargo step

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    bd694b3 View commit details
    Browse the repository at this point in the history

  3. Fix noirup

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    02a6bab View commit details
    Browse the repository at this point in the history

  4. Run nargo -v

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    f0d93d0 View commit details
    Browse the repository at this point in the history

  5. Fix nargo binary path

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    9de8e88 View commit details
    Browse the repository at this point in the history

  6. codegen-verifier for contracts

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    5ba830b View commit details
    Browse the repository at this point in the history

  7. Fix path

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    489fe64 View commit details
    Browse the repository at this point in the history

  8. Fix path

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    2b8b84b View commit details
    Browse the repository at this point in the history

  9. Try fix

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    865a8db View commit details
    Browse the repository at this point in the history

  10. Fix nargo

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    239efc7 View commit details
    Browse the repository at this point in the history

  11. Fix codegen-verifier

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    32aaed7 View commit details
    Browse the repository at this point in the history

  12. Fix forge init

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    c60af0c View commit details
    Browse the repository at this point in the history

  13. Fix init forge

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    13f76c9 View commit details
    Browse the repository at this point in the history

  14. Forge build

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    b6593c3 View commit details
    Browse the repository at this point in the history

  15. Replace macos for ubuntu

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    3ae69ae View commit details
    Browse the repository at this point in the history

  16. Fix for ubuntu

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    bcce077 View commit details
    Browse the repository at this point in the history

  17. Move .bashrc

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    fe069ac View commit details
    Browse the repository at this point in the history

  18. Try fixes

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    a40625d View commit details
    Browse the repository at this point in the history

  19. Add git config

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    7e76880 View commit details
    Browse the repository at this point in the history

  20. Fix nargo

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    6317c38 View commit details
    Browse the repository at this point in the history

  21. Fixes

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    2f95c2a View commit details
    Browse the repository at this point in the history

  22. Fix copy

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    93cdb97 View commit details
    Browse the repository at this point in the history

  23. Add deploy

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    ac0c6c2 View commit details
    Browse the repository at this point in the history

  24. Enable double_verify_proof

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    1e192fc View commit details
    Browse the repository at this point in the history

  25. Add mnemonic

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    0f680a2 View commit details
    Browse the repository at this point in the history

  26. Remove output

    @jonybur
    jonybur committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    ba247ed View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. Add test for solidity verifier

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    62b0725 View commit details
    Browse the repository at this point in the history

  2. Comment unused code

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    e21327a View commit details
    Browse the repository at this point in the history

  3. Log out address

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    2e6940b View commit details
    Browse the repository at this point in the history

  4. Run full test

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    ead7b4c View commit details
    Browse the repository at this point in the history

  5. Fix test run

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    5f186c5 View commit details
    Browse the repository at this point in the history

  6. Fix integration test run

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    25b8c1e View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' of github.com:noir-lang/noir into jb-test-solid… 

    …ity-verifier
    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    f3dc070 View commit details
    Browse the repository at this point in the history

  8. Fix bad import

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    00d2461 View commit details
    Browse the repository at this point in the history

  9. Fix lint

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    b3492c0 View commit details
    Browse the repository at this point in the history

  10. Import contract correctly

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    5a27616 View commit details
    Browse the repository at this point in the history

  11. Inject contract address

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    b8888a1 View commit details
    Browse the repository at this point in the history

  12. Fix injection

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    74d8008 View commit details
    Browse the repository at this point in the history

  13. Fix var name

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    ff9c292 View commit details
    Browse the repository at this point in the history

  14. Fix var name test side

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    d4244e9 View commit details
    Browse the repository at this point in the history

  15. Uncomment setup, comment double_verify

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    040c991 View commit details
    Browse the repository at this point in the history

  16. Remove walletPath

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    6ebf880 View commit details
    Browse the repository at this point in the history

  17. Fix import

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    3b8fd45 View commit details
    Browse the repository at this point in the history

  18. Rename function

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    71d94c3 View commit details
    Browse the repository at this point in the history

  19. ABI debug

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    825cb8d View commit details
    Browse the repository at this point in the history

  20. Debug

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    530fa8f View commit details
    Browse the repository at this point in the history

  21. Fix verify

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    fb40df1 View commit details
    Browse the repository at this point in the history

  22. Slice for verify

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    99c0668 View commit details
    Browse the repository at this point in the history

  23. Pass no public input

    @jonybur
    jonybur committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    3147b72 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. Fix nargo

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    25eaca8 View commit details
    Browse the repository at this point in the history

  2. Add nargo to PATH

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    0c26bb8 View commit details
    Browse the repository at this point in the history

  3. Separate build-nargo step

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    ff9b7fe View commit details
    Browse the repository at this point in the history

  4. Test nargo_binary

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    837d93e View commit details
    Browse the repository at this point in the history

  5. Use nargo by name

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    96c5542 View commit details
    Browse the repository at this point in the history

  6. Enable double_verify

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    d0797c6 View commit details
    Browse the repository at this point in the history

  7. Separate build stages

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    d368969 View commit details
    Browse the repository at this point in the history

  8. Fix dv verify

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    1471d01 View commit details
    Browse the repository at this point in the history

  9. Fix lint

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    af5bd01 View commit details
    Browse the repository at this point in the history

  10. Fix download path for noir_wasm

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    f9f7e32 View commit details
    Browse the repository at this point in the history

  11. Output error

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    0ee3cc6 View commit details
    Browse the repository at this point in the history

  12. Revert split build stages

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    a977886 View commit details
    Browse the repository at this point in the history

  13. Fix nargo

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    13dfbdc View commit details
    Browse the repository at this point in the history

  14. Revert

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    e2e18e6 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'master' of github.com:noir-lang/noir into jb-test-solid… 

    …ity-verifier
    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    097f601 View commit details
    Browse the repository at this point in the history

  16. Update yarn lock

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    b1f2286 View commit details
    Browse the repository at this point in the history

  17. Name action

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    524d89b View commit details
    Browse the repository at this point in the history

  18. Fix

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    387091c View commit details
    Browse the repository at this point in the history

  19. Prettier

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    89abeb8 View commit details
    Browse the repository at this point in the history

  20. Comment test case

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    1f039a9 View commit details
    Browse the repository at this point in the history

  21. Uncomment test

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    70e1c60 View commit details
    Browse the repository at this point in the history

  22. Bump bb.js

    @jonybur
    jonybur committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    e14b15c View commit details
    Browse the repository at this point in the history

  23. fix: make proof non-recursive

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    9ab73cb View commit details
    Browse the repository at this point in the history

  24. chore: remove wrapping layer around public inputs

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    00ffd6d View commit details
    Browse the repository at this point in the history

  25. chore: update runners

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    bdcdb82 View commit details
    Browse the repository at this point in the history

  26. chore: add better error message for failing proof

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    46e242b View commit details
    Browse the repository at this point in the history

  27. chore: go back down to small runners

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    8488121 View commit details
    Browse the repository at this point in the history

  28. chore: turn off double_verify_proof testcase

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    6e992ca View commit details
    Browse the repository at this point in the history

  29. chore: linter

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    2e2607c View commit details
    Browse the repository at this point in the history

  30. chore: linter fix

    @TomAFrench
    TomAFrench committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    813af9e View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    536e0f1 View commit details
    Browse the repository at this point in the history

  2. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    1449f9f View commit details
    Browse the repository at this point in the history

  3. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    6a8c31e View commit details
    Browse the repository at this point in the history

  4. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    7b037a4 View commit details
    Browse the repository at this point in the history

  5. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    386b138 View commit details
    Browse the repository at this point in the history

  6. Update .github/workflows/test-integration.yml

    @TomAFrench
    TomAFrench authored Sep 22, 2023
    Configuration menu
    Copy the full SHA
    44d5c68 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. Clean up workflow

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    24bdc76 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:noir-lang/noir into jb-test-solid… 

    …ity-verifier
    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    1f83cff View commit details
    Browse the repository at this point in the history

  3. Set up addresses in external file

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    dd59f71 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' of github.com:noir-lang/noir into jb-test-solid… 

    …ity-verifier
    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    f923b24 View commit details
    Browse the repository at this point in the history

  5. Log out address

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    f689677 View commit details
    Browse the repository at this point in the history

  6. Lint test

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    4a6a82a View commit details
    Browse the repository at this point in the history

  7. Remove log

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    bbcf391 View commit details
    Browse the repository at this point in the history

  8. Update .github/workflows/test-integration.yml 

    Co-authored-by: Tom French <[email protected]>
    @jonybur @TomAFrench
    jonybur and TomAFrench authored Sep 25, 2023
    Configuration menu
    Copy the full SHA
    1c8e3db View commit details
    Browse the repository at this point in the history

  9. Replace dv with main circuit

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    f9fa839 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'jb-test-solidity-verifier' of github.com:noir-lang/noir… 

    … into jb-test-solidity-verifier
    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    bb5da59 View commit details
    Browse the repository at this point in the history

  11. Lint test

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    d01f8b0 View commit details
    Browse the repository at this point in the history

  12. Use json output for addresses

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    35e3084 View commit details
    Browse the repository at this point in the history

  13. Lint fix

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    77b4fce View commit details
    Browse the repository at this point in the history

  14. Fix public inputs length

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    ff92891 View commit details
    Browse the repository at this point in the history

  15. Output debug values

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    c4827fc View commit details
    Browse the repository at this point in the history

  16. Fix path

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    5fc1dc1 View commit details
    Browse the repository at this point in the history

  17. Disable second test

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    72ace48 View commit details
    Browse the repository at this point in the history

  18. Set up workflow running condition

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    fe3eb79 View commit details
    Browse the repository at this point in the history

  19. Readd second test

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    33857ca View commit details
    Browse the repository at this point in the history

  20. Console log result

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    6199f43 View commit details
    Browse the repository at this point in the history

  21. Changes for merging

    @jonybur
    jonybur committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    5c8f97b View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. Change [Uint8Array] to Uint8Array[]

    @jonybur
    jonybur committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    b7ac6f7 View commit details
    Browse the repository at this point in the history

  2. Modify publicsInput length

    @jonybur
    jonybur committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    f1d3602 View commit details
    Browse the repository at this point in the history

  3. Update compile_prove_verify.test.ts

    @TomAFrench
    TomAFrench authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    61f3f14 View commit details
    Browse the repository at this point in the history

  4. Update compile_prove_verify.test.ts

    @TomAFrench
    TomAFrench authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    5400eb7 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into jb-test-solidity-verifier 

    * master: (28 commits)
  chore: add `CRS` directory to gitignore (#2852)
  chore: add initial version of `Backend` interface for `noir_js` (#2851)
  chore(errors): Refactor errors representation in compiler (#2760)
  chore(ci): run `noir_js` tests in CI (#2843)
  chore(noir_js)!: Rename inner and outer proof methods (#2845)
  chore: remove unnecessary `AcirValue`s (#2823)
  fix: Conditionally run the "Create or Update PR" step in acir artifacts rebuild workflow (#2849)
  fix: lack of cjs package version (#2848)
  chore: delete unnecessary nix files (#2840)
  chore!: `generateWitness` now returns a serialized witness file (#2842)
  chore: fix `acvm_js` linting and tests (#2834)
  feat: remove redundant predicate from brillig quotients (#2784)
  chore: Fix dependencies in acvm_js and remove local lock file (#2833)
  chore: add acvm_js to integration build
  chore: update discord link (#2831)
  chore: discard changes in nargo directory
  chore: Update ACIR artifacts (#2810)
  chore: yarn install
  chore: Remove acvm tracking workflow (#2829)
  add acvm_js to workspace
  ...
    @TomAFrench
    TomAFrench committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    ec01bfc View commit details
    Browse the repository at this point in the history

  6. chore: fix linter

    @TomAFrench
    TomAFrench committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    5ac123b View commit details
    Browse the repository at this point in the history

  7. Set up schedule and dispatch

    @jonybur
    jonybur committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    7ff4b94 View commit details
    Browse the repository at this point in the history

  8. chore: install JS dependencies on github runner

    @TomAFrench
    TomAFrench committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    10b6ed1 View commit details
    Browse the repository at this point in the history