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

Tracking PR for the LogUp-GKR integration #302

Open
wants to merge 19 commits into
base: next
Choose a base branch
from
Open

Tracking PR for the LogUp-GKR integration #302

wants to merge 19 commits into from

Commits on Aug 21, 2024

  1. add winter-sumcheck crate with the Sumcheck IOP for LogUp-GKR (#295)

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

Commits on Aug 30, 2024

  1. Implement GKR backend for LogUp-GKR (#296)

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

Commits on Sep 3, 2024

  1. Add support for s-column as part of the support for LogUp-GKR (#297)

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

Commits on Sep 10, 2024

  1. Add support for periodic columns in LogUp-GKR (#307)

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

Commits on Sep 12, 2024

  1. feat: relax constraint degree checks in debug mode (#311)

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

  2. Fix degree checks (#312) 

    * feat: relax constraint degree checks in debug mode
* fix: remove equality test and restore evaluation domain sizes check
    @Al-Kindi-0
    Al-Kindi-0 authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    48a1d6f View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. fix: remove duplicate code and restore domain size check (#313)

    @Al-Kindi-0
    Al-Kindi-0 authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    946a1b5 View commit details
    Browse the repository at this point in the history

  2. Cleanup AirContext (#314)

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

Commits on Sep 17, 2024

  1. Add LogUp-GKR benchmark (#315)

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

Commits on Sep 18, 2024

  1. Parallelize Lagrange constraints evaluation (#317)

    @Al-Kindi-0
    Al-Kindi-0 authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    2713a95 View commit details
    Browse the repository at this point in the history

  2. Optimize bind_least_significant_variable (#319)

    @plafer
    plafer authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    8b95c8a View commit details
    Browse the repository at this point in the history

  3. Add instrumentation (#321)

    @Al-Kindi-0
    Al-Kindi-0 authored Sep 18, 2024
    Configuration menu
    Copy the full SHA
    8f08bd0 View commit details
    Browse the repository at this point in the history

  4. fix: add instrumentation to aux segment (#322)

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

Commits on Sep 20, 2024

  1. fix: fixes multilinear built from a NextRow oracle (#327)

    @plafer
    plafer authored Sep 20, 2024
    Configuration menu
    Copy the full SHA
    3d095e5 View commit details
    Browse the repository at this point in the history

  2. Parallelize input layer generation (#324)

    @Al-Kindi-0
    Al-Kindi-0 authored Sep 20, 2024
    Configuration menu
    Copy the full SHA
    09ed09b View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Fix bug parallel execution of input layer proving (#331)

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

Commits on Sep 27, 2024

  1. Parallelize s-column generation (#326)

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

  2. Improve construction of MLEs from main trace segment (#329)

    @Al-Kindi-0
    Al-Kindi-0 authored Sep 27, 2024
    Configuration menu
    Copy the full SHA
    536fa13 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Reduce degree of sum-check round polynomials (#328)

    @Al-Kindi-0
    Al-Kindi-0 authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    d34e0b1 View commit details
    Browse the repository at this point in the history