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

Remove redundant range check in rotation gadget #1201

Merged
merged 9 commits into from
Nov 17, 2023
Merged

Remove redundant range check in rotation gadget #1201

merged 9 commits into from
Nov 17, 2023

Commits on Oct 27, 2023

  1. remove excess range check in rot gadget

    @mitschabaude
    mitschabaude committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    ba501f8 View commit details
    Browse the repository at this point in the history

  2. update cs test and json

    @mitschabaude
    mitschabaude committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    c1474ee View commit details
    Browse the repository at this point in the history

  3. fixup bitwise unit test to test equivalence in provable code

    @mitschabaude
    mitschabaude committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    e11cc19 View commit details
    Browse the repository at this point in the history

  4. fill in PR link

    @mitschabaude
    mitschabaude committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    9a58bc7 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge branch 'main' into feature/remove-rot-excess-rc

    @mitschabaude
    mitschabaude committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    3297fb3 View commit details
    Browse the repository at this point in the history

  2. bindings

    @mitschabaude
    mitschabaude committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    d0bf46d View commit details
    Browse the repository at this point in the history

  3. dump vks

    @mitschabaude
    mitschabaude committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    aaf14c2 View commit details
    Browse the repository at this point in the history

  4. changelog

    @mitschabaude
    mitschabaude committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    0bf7eca View commit details
    Browse the repository at this point in the history

  5. adapt test for rot chain layout

    @mitschabaude
    mitschabaude committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    245f847 View commit details
    Browse the repository at this point in the history