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 api #443

Merged
merged 81 commits into from
Jun 28, 2023
Merged

Feat/gkr api #443

merged 81 commits into from
Jun 28, 2023

Commits on Dec 20, 2022

  1. refactor: no non-mont on bls12-377

    @Tabaie
    Tabaie committed Dec 20, 2022
    1 Configuration menu
    Copy the full SHA
    46079a3 View commit details
    Browse the repository at this point in the history

  2. refactor: groth16 backend tests pass

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    0ff8bd5 View commit details
    Browse the repository at this point in the history

  3. refactor: MSM takes Montgomery only - Plonk

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    f515c8c View commit details
    Browse the repository at this point in the history

  4. fix:ToBigIntRegular => BigInt

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    401993c View commit details
    Browse the repository at this point in the history

  5. fix: more ToBigIntRegular => BigInt

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    5d56b7a View commit details
    Browse the repository at this point in the history

  6. feat: experiments with solving

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    3da7cf7 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'refactor/no-mont-method' into feat/gkr-api

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    9f83d5d View commit details
    Browse the repository at this point in the history

  8. Merge branch 'develop' into feat/gkr-api

    @Tabaie
    Tabaie committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    f042372 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. chore: some efforts from before christmas break

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

  2. refactor: all in one package

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

  3. feat: development done for bn254. to test and generify

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

Commits on Jan 5, 2023

  1. test: fails. pointer issue

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

  2. feat: "generic" top sort

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

Commits on Jan 6, 2023

  1. refactor: improved, simplified solver; compiler to match

    @Tabaie
    Tabaie committed Jan 6, 2023
    Configuration menu
    Copy the full SHA
    8bdbca7 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2023

  1. refactor: use mostly no-ptr data. better information silos

    @Tabaie
    Tabaie committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    41cb30d View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. fix: inconsistencies re assignments alignment

    @Tabaie
    Tabaie committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    743633b View commit details
    Browse the repository at this point in the history

  2. feat: simple compilation test passes

    @Tabaie
    Tabaie committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    3938c2c View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. test: solver error found

    @Tabaie
    Tabaie committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    cae4b07 View commit details
    Browse the repository at this point in the history

  2. fix: solving works on the simplest example

    @Tabaie
    Tabaie committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    0fbf163 View commit details
    Browse the repository at this point in the history

  3. test: with dependency. err: inputs are modified

    @Tabaie
    Tabaie committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    4087f5f View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

  1. fix: solver works. prover doesn't. possibly deeper gkr issue

    @Tabaie
    Tabaie committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    defabf6 View commit details
    Browse the repository at this point in the history

  2. bench: merkle tree

    @Tabaie
    Tabaie committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    6097684 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2023

  1. refactor: hint-lite, has import cycle

    @Tabaie
    Tabaie committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    5acf5cb View commit details
    Browse the repository at this point in the history

  2. fix: import cycle

    @Tabaie
    Tabaie committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    d4b924b View commit details
    Browse the repository at this point in the history

  3. test: basic permutation tests passing

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

  4. test: end-to-end: can't use test engine (for now)

    @Tabaie
    Tabaie committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    41a1615 View commit details
    Browse the repository at this point in the history

  5. fix: propagating gkrInfo

    @Tabaie
    Tabaie committed Jan 18, 2023
    Configuration menu
    Copy the full SHA
    6d041ea View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2023

  1. test: "doubling" circuit passes

    @Tabaie
    Tabaie committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    fc82d97 View commit details
    Browse the repository at this point in the history

  2. fix: race condition

    @Tabaie
    Tabaie committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    97a2001 View commit details
    Browse the repository at this point in the history

  3. test: with dependency

    @Tabaie
    Tabaie committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    e8ed957 View commit details
    Browse the repository at this point in the history

  4. fix: small mimc test

    @Tabaie
    Tabaie committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    1fe140a View commit details
    Browse the repository at this point in the history

  5. bench: gkr inefficient

    @Tabaie
    Tabaie committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    9105cba View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. feat: support more operations

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    80136cb View commit details
    Browse the repository at this point in the history

  2. fix: minor stuff, some code generation

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    7f494a2 View commit details
    Browse the repository at this point in the history

  3. feat: codegen

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    0792b1e View commit details
    Browse the repository at this point in the history

  4. feat: yet more codegen

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    7f995ae View commit details
    Browse the repository at this point in the history

  5. fix: no gkr for tinyfield

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    0470d22 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'develop' into feat/gkr-api

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

  7. fix: no defineGkrHints for tinyfield and more

    @Tabaie
    Tabaie committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    b607cca View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2023

  1. fix: mod tidy

    @Tabaie
    Tabaie committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    37d5aaa View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2023

  1. Merge branch 'develop' into feat/gkr-api

    @Tabaie
    Tabaie committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    1a55319 View commit details
    Browse the repository at this point in the history

  2. fix: go mod tidy

    @Tabaie
    Tabaie committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    6f885a9 View commit details
    Browse the repository at this point in the history

  3. refactor: some cleanup - bn254 only

    @Tabaie
    Tabaie committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    6466829 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. fix: a small bug and some new benchmarks

    @Tabaie
    Tabaie committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    095ce40 View commit details
    Browse the repository at this point in the history

  2. perf: replace Add(Mul) by MulAdd

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    cd98156 View commit details
    Browse the repository at this point in the history

  3. perf: add frontend.WithCompressThreshold in compile test opts

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    f5d3e0b View commit details
    Browse the repository at this point in the history

  4. perf: replace intSet by bitset

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    9dd1f2b View commit details
    Browse the repository at this point in the history

  5. perf: use cpt in topo sort

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    85cf4f7 View commit details
    Browse the repository at this point in the history

  6. build: make linter happy

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    a4fe824 View commit details
    Browse the repository at this point in the history

  7. build: reran go generate

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    c3a7f27 View commit details
    Browse the repository at this point in the history

  8. perf: factorize MultiLin.Evaluate hot loop

    @gbotrel
    gbotrel committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    2f02f72 View commit details
    Browse the repository at this point in the history

  9. revert: bn254/gkr changes

    @Tabaie
    Tabaie committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    788d6cf View commit details
    Browse the repository at this point in the history

  10. build: generify bn254/gkr changes

    @Tabaie
    Tabaie committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    9b79c62 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. test: more instances

    @Tabaie
    Tabaie committed Jan 25, 2023
    Configuration menu
    Copy the full SHA
    25fc396 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2023

  1. perf: reflect new gc gkr opts and parallelize solving

    @Tabaie
    Tabaie committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    0f45f16 View commit details
    Browse the repository at this point in the history

  2. fix: bn254 mem pool

    @Tabaie
    Tabaie committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    9e91467 View commit details
    Browse the repository at this point in the history

  3. test: only the gkr solver

    @Tabaie
    Tabaie committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    844ddff View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. fix: solving bug - bn254

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

  2. build: generify

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

  3. fix: dumping error and solver test

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

  4. fix: avoid overlogging

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

  5. fix: log correction

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

Commits on Feb 7, 2023

  1. Merge pull request #455 from ConsenSys/develop 

    v0.8.0 placeholder
    @gbotrel
    gbotrel committed Feb 7, 2023
    1 Configuration menu
    Copy the full SHA
    f9e5574 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. Merge branch 'develop' into feat/gkr-api

    @Tabaie
    Tabaie committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    5ae8448 View commit details
    Browse the repository at this point in the history

  2. build: gnark-crypto@develop

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

  3. fix: reflect gkr changes in gnark-crypto

    @Tabaie
    Tabaie committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    2aef7ea View commit details
    Browse the repository at this point in the history

  4. fix: witness-related functions no longer return ptrs

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

  5. fix: remove printfs

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

Commits on Feb 14, 2023

  1. Merge branch 'develop'

    @gbotrel
    gbotrel committed Feb 14, 2023
    1 Configuration menu
    Copy the full SHA
    7594ef5 View commit details
    Browse the repository at this point in the history

  2. feat: update gnark version to v0.8.0

    @gbotrel
    gbotrel committed Feb 14, 2023
    1 Configuration menu
    Copy the full SHA
    2753ae6 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2023

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

    @gbotrel
    gbotrel committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    7397dff View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Merge branch 'develop' into feat/gkr-api

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

  2. chore: merge changes

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

  3. chore: make staticcheck happy

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

  4. build go generate

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

  5. docs: GKR API

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

  6. fix: replace hints bn254

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

  7. build replace hints generify

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

  8. feat: gkr-api for plonk

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

  9. refactor: gkrAPI is no longer a frontend.API

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

Commits on Jun 28, 2023

  1. Merge pull request #733 from Consensys/refactor/gkr-notfrontend-api 

    refactor: gkrAPI is no longer a frontend.API
    @Tabaie
    Tabaie committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    c842b87 View commit details
    Browse the repository at this point in the history