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

o1vm/mips: use batch_inversion for the witness generation #2813

Merged
merged 15 commits into from
Nov 25, 2024
Merged

o1vm/mips: use batch_inversion for the witness generation #2813

merged 15 commits into from
Nov 25, 2024

Commits on Nov 21, 2024

  1. o1vm/mips: introduce scratch_state_inverse 

    These fields will be used to keep track of the elements that should be inverted
while generating the proof.
    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    7f2d2fe View commit details
    Browse the repository at this point in the history

  2. o1vm/MIPS: intro a new column to keep track of values to be inverted

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    ff73fa2 View commit details
    Browse the repository at this point in the history

  3. o1vm/mips/witness: introduce and call reset_scratch_state_inverse

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    52d5cd9 View commit details
    Browse the repository at this point in the history

  4. o1vm/mips/constraints: reset scratch state idx inverse

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    f108bf2 View commit details
    Browse the repository at this point in the history

  5. o1vm/mips: introduce scratch_inverse in the proof

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    8f37429 View commit details
    Browse the repository at this point in the history

  6. o1vm/mips: use alloc_scratch_inverse for the inverse

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    acc0253 View commit details
    Browse the repository at this point in the history

  7. o1vm/column: increase the total number of columns incl. inverses

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    da3f830 View commit details
    Browse the repository at this point in the history

  8. o1vm/column: add error message when assert is false

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    dcf661c View commit details
    Browse the repository at this point in the history

  9. o1vm/mips: simplify by removing unused variable

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    ac0380b View commit details
    Browse the repository at this point in the history

  10. o1vm/pickles: improve error message when panicking when picking col

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    a934839 View commit details
    Browse the repository at this point in the history

  11. o1vm/pickles: incl scratch_size_inverse selection in get_all_columns

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    c65b14a View commit details
    Browse the repository at this point in the history

  12. o1vm/pickles: regtest reg. arkworks batch inversion 

    Checking as a regression tests that the batch inversion works with zeroes
    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    3071eab View commit details
    Browse the repository at this point in the history

  13. o1vm/pickles: add scratch_state_inverse in the proof inputs

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    f4b52a7 View commit details
    Browse the repository at this point in the history

  14. o1vm/mips: allocate correctly the inverse column

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    be87dce View commit details
    Browse the repository at this point in the history

  15. o1vm/mips: fix tests related to the new inverse scratch state

    @dannywillems
    dannywillems committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    a11a350 View commit details
    Browse the repository at this point in the history