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

Add support for s-column as part of the support for LogUp-GKR #297

Merged
merged 58 commits into from
Sep 3, 2024
Merged

Add support for s-column as part of the support for LogUp-GKR #297

merged 58 commits into from
Sep 3, 2024

Commits on Aug 30, 2024

  1. feat: math utilities needed for sum-check protocol

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    29c033a View commit details
    Browse the repository at this point in the history

  2. feat: add sum-check prover and verifier

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0d7fa67 View commit details
    Browse the repository at this point in the history

  3. tests: add sanity tests for utils

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6da91af View commit details
    Browse the repository at this point in the history

  4. feat: use SmallVec

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0dfc229 View commit details
    Browse the repository at this point in the history

  5. feat: add remaining functions for sum-check verifier

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a51a464 View commit details
    Browse the repository at this point in the history

  6. chore: move prover into sub-mod

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    581343d View commit details
    Browse the repository at this point in the history

  7. chore: remove utils mod

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    34807c9 View commit details
    Browse the repository at this point in the history

  8. chore: move logup evaluator trait to separate file

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e610411 View commit details
    Browse the repository at this point in the history

  9. feat: add multi-threading support and simplify input sum-check

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d98407a View commit details
    Browse the repository at this point in the history

  10. feat: add benchmarks and address feedback

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3feaff8 View commit details
    Browse the repository at this point in the history

  11. feat: address feedback and add benchmarks

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0475b4e View commit details
    Browse the repository at this point in the history

  12. feat: add GKR backend for LogUp-GKR

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9bfa423 View commit details
    Browse the repository at this point in the history

  13. chore: remove old way of handling Lagrange kernel

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3576e3f View commit details
    Browse the repository at this point in the history

  14. feat: simplify sum-check for input layer

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d6f0bd4 View commit details
    Browse the repository at this point in the history

  15. feat: add mult-threading to sum-checks and multi-linears

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    5dfed3d View commit details
    Browse the repository at this point in the history

  16. chore: unify serial and concurrent EQ impls

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    b62b31d View commit details
    Browse the repository at this point in the history

  17. fix: formatting

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6a1cc1c View commit details
    Browse the repository at this point in the history

  18. fix: concurrent feature flag

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    70ea9d6 View commit details
    Browse the repository at this point in the history

  19. feat: make query a mut ref in build_query

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d49cdbb View commit details
    Browse the repository at this point in the history

  20. chore: update var names and simplify some structs

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    5f5b189 View commit details
    Browse the repository at this point in the history

  21. chore: rebase

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    49f02a7 View commit details
    Browse the repository at this point in the history

  22. chore: fix rebase against facebook:logup-gkr

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    64c5fde View commit details
    Browse the repository at this point in the history

  23. chore: address feedback

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    843b90d View commit details
    Browse the repository at this point in the history

  24. chore: add dummy GkrLogUp evaluator

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    229d9ed View commit details
    Browse the repository at this point in the history

  25. chore: fix clippy warnings

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    b36eaa3 View commit details
    Browse the repository at this point in the history

  26. chore: address feedback

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    b8dcb35 View commit details
    Browse the repository at this point in the history

  27. chore: loosen the trait bound

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7f9e870 View commit details
    Browse the repository at this point in the history

  28. chore: address feedback 1

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    b5464bd View commit details
    Browse the repository at this point in the history

  29. chore: address feedback 2

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9322da9 View commit details
    Browse the repository at this point in the history

  30. feat: math utilities needed for sum-check protocol

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    1863629 View commit details
    Browse the repository at this point in the history

  31. feat: add sum-check prover and verifier

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    ea3ed02 View commit details
    Browse the repository at this point in the history

  32. tests: add sanity tests for utils

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3ae1ec0 View commit details
    Browse the repository at this point in the history

  33. feat: use SmallVec

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e44894a View commit details
    Browse the repository at this point in the history

  34. feat: add remaining functions for sum-check verifier

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    0613574 View commit details
    Browse the repository at this point in the history

  35. chore: move prover into sub-mod

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    de5eee7 View commit details
    Browse the repository at this point in the history

  36. chore: remove utils mod

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7e3ad84 View commit details
    Browse the repository at this point in the history

  37. chore: remove utils mod

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e03416f View commit details
    Browse the repository at this point in the history

  38. chore: move logup evaluator trait to separate file

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e7a88f6 View commit details
    Browse the repository at this point in the history

  39. feat: add multi-threading support and simplify input sum-check

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e25d49c View commit details
    Browse the repository at this point in the history

  40. feat: add benchmarks and address feedback

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d0c221d View commit details
    Browse the repository at this point in the history

  41. feat: address feedback and add benchmarks

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e779b3e View commit details
    Browse the repository at this point in the history

  42. feat: add GKR backend for LogUp-GKR

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    57793e7 View commit details
    Browse the repository at this point in the history

  43. feat: simplify sum-check for input layer

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7bcf677 View commit details
    Browse the repository at this point in the history

  44. feat: add mult-threading to sum-checks and multi-linears

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3778c88 View commit details
    Browse the repository at this point in the history

  45. chore: unify serial and concurrent EQ impls

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    707ba7a View commit details
    Browse the repository at this point in the history

  46. fix: concurrent feature flag

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    31ab68d View commit details
    Browse the repository at this point in the history

  47. wip: add s-column constraints

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    351e9d9 View commit details
    Browse the repository at this point in the history

  48. feat: add support for s-col and merge it with the that of Lagrange ke… 

    …rnel under LogUp-GKR
    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    a6570ca View commit details
    Browse the repository at this point in the history

  49. chore: rebase and remove conflicts

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    cc5aab7 View commit details
    Browse the repository at this point in the history

  50. chore: rebase

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    344c995 View commit details
    Browse the repository at this point in the history

  51. chore: fix post rebase issues

    @Al-Kindi-0
    Al-Kindi-0 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    4d6514c View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. chore: address feedback 1

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    11ccbff View commit details
    Browse the repository at this point in the history

  2. chore: address feedback 2

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    1503983 View commit details
    Browse the repository at this point in the history

  3. chore: re-organise logup_gkr module

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    1bdb849 View commit details
    Browse the repository at this point in the history

  4. chore: re-organise logup_gkr module

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    431215a View commit details
    Browse the repository at this point in the history

  5. feat: add s-column constraint validation

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    e3b2dd0 View commit details
    Browse the repository at this point in the history

  6. chore: improve doc and remove obsolete file

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b0ca76c View commit details
    Browse the repository at this point in the history

  7. chore: address feeback 3

    @Al-Kindi-0
    Al-Kindi-0 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b547459 View commit details
    Browse the repository at this point in the history