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

feat(subprotocols): multilinear sumcheck #739

Draft
wants to merge 21 commits into
base: main
Choose a base branch
from
Draft

feat(subprotocols): multilinear sumcheck #739

wants to merge 21 commits into from

Commits on Mar 1, 2024

  1. add ops and rest of multilinear functions

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    acac4d4 View commit details
    Browse the repository at this point in the history

  2. finish test and add error infra

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    1fd506f View commit details
    Browse the repository at this point in the history

  3. add sparse multlinear

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8f86fd2 View commit details
    Browse the repository at this point in the history

  4. Math: Implement subfield logic (lambdaclass#709) 

    * add subfield trait

* implement IsSubfieldOf for Degree2ExtensionField struct in BLS12381

* fix mul

* avoid using field elements in issubfield impl. Add tests

* clippy and fmt

* simplify trait bounds

* add explicit type

* change iter to into_iter

* fix metal code

* remove explicit type
    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    307e0cf View commit details
    Browse the repository at this point in the history

  5. transcript modifications finish poly_single impl

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    3cdce15 View commit details
    Browse the repository at this point in the history

  6. add prove_quad

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    2486ad4 View commit details
    Browse the repository at this point in the history

  7. impl error

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    9317b1d View commit details
    Browse the repository at this point in the history

  8. progress

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    5f1d6b0 View commit details
    Browse the repository at this point in the history

  9. fix

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8396313 View commit details
    Browse the repository at this point in the history

  10. fix impl

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    97dc4e9 View commit details
    Browse the repository at this point in the history

  11. finish impl

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    1cb7807 View commit details
    Browse the repository at this point in the history

  12. fmt

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    d7b497c View commit details
    Browse the repository at this point in the history

  13. merge

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    86a3ab2 View commit details
    Browse the repository at this point in the history

  14. merge fixes

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    e4b8eb0 View commit details
    Browse the repository at this point in the history

  15. fixes + fmt

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    e2582ba View commit details
    Browse the repository at this point in the history

  16. append polynomial

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    ab506f4 View commit details
    Browse the repository at this point in the history

  17. fixes var names

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    7e3834b View commit details
    Browse the repository at this point in the history

  18. rm poly from proof switch to passing in num_vars

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    1c28d84 View commit details
    Browse the repository at this point in the history

  19. update transcript

    @PatStiles
    PatStiles committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    b513a20 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Merge branch 'main' into feat/multilinear_sumcheck

    @diegokingston
    diegokingston authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    9c3dde1 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Merge branch 'main' into feat/multilinear_sumcheck

    @diegokingston
    diegokingston authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    e70098c View commit details
    Browse the repository at this point in the history