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/gkr testing #740

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Feat/gkr testing #740

wants to merge 21 commits into from

Commits on Jun 29, 2023

  1. refactor: use same function for hint replacement

    @Tabaie
    Tabaie committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    d0b9a92 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into feat/gkr-testing

    @Tabaie
    Tabaie committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    83ec0af View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. feat: common ReplaceGkrHints function

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    45613f5 View commit details
    Browse the repository at this point in the history

  2. feat: random GKR hint IDs

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    2ca348e View commit details
    Browse the repository at this point in the history

  3. feat: usable placeholder hints for bn254

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    2505c13 View commit details
    Browse the repository at this point in the history

  4. test: ProverSucceeded with GKR (it didn't)

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    68d80a7 View commit details
    Browse the repository at this point in the history

  5. fix: ignore gkr hints when comparing cs's

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    9cfd848 View commit details
    Browse the repository at this point in the history

  6. fix: some basic tests passed

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    a6f446a View commit details
    Browse the repository at this point in the history

  7. refactor: move gkr hint replacement from prover

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    fe5af22 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'refactor/gkr-hint-replace-prvToSlv' into feat/gkr-testing

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    9fc971f View commit details
    Browse the repository at this point in the history

  9. build: generify system.Equal

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    9d44a4d View commit details
    Browse the repository at this point in the history

  10. refactor: move replaceGkrHints into Solve

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    95b7075 View commit details
    Browse the repository at this point in the history

  11. chore: cleanup

    @Tabaie
    Tabaie committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    b0e6edf View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. fix: custom System equal

    @Tabaie
    Tabaie committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    1a60906 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. fix: don't compare CoeffTable.mCoeffs

    @Tabaie
    Tabaie committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    91604d5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into feat/gkr-testing

    @Tabaie
    Tabaie committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    10e137a View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. chore: ignore .raw files

    @Tabaie
    Tabaie committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    418ed00 View commit details
    Browse the repository at this point in the history

  2. build: bump gnark-crypto dependency

    @Tabaie
    Tabaie committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    d2d3f13 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into feat/gkr-testing

    @Tabaie
    Tabaie authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    cb9ba04 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge branch 'master' into feat/gkr-testing

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

  2. style: ConsenSys -> Consensys

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