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

Prover: limitless integration #722

Draft
wants to merge 33 commits into
base: prover/limitless-top-level
Choose a base branch
from
Draft

Prover: limitless integration #722

wants to merge 33 commits into from

Conversation

AlexandreBelling
Copy link
Contributor

This PR implements issue(s) #

Checklist

  • I wrote new tests for my new core changes.
  • I have successfully ran tests, style checker and build against my new changes locally.
  • I have informed the team of any breaking changes if there are any.

@AlexandreBelling
fix(compile-error): about the discoverer
0759abd
@AlexandreBelling
feat(zkevm): exposes zkevm with suite
c97d5b5
@AlexandreBelling
feat(disc): adds a NewSizeOf feature to the discoverer
1fab4d3 
clean(dist): moves the lookup into log-derivative into the compiler folder
@AlexandreBelling
rename(perm): rename the permutation compiler to CompileViaGrandProduct
941d48f
@AlexandreBelling
feat(perm): adds the permutation to grand product query
709fcbe
@AlexandreBelling
refactor(permutation): refactors the permutation compiler to isolate …
a2ec874 
…the grand-product and the compilation into grand-product.
@AlexandreBelling
feat(utils): implements a SortedKeysOf function
4f1c993
@AlexandreBelling
feat(wizardutils): implements a function to extract the columns of an…
35597a3 
… expression
@AlexandreBelling
doc(stackoffset): remove outdated part of a comment
a588a46
@AlexandreBelling
feat(experiment): rewrites the prover distribution up to module GL
4a7055e
@AlexandreBelling
fixup(module-gl): inserts the range and the local-openings at round 1
a7f6f84
@AlexandreBelling AlexandreBelling changed the base branch from main to prover/limitless-top-level February 22, 2025 15:36
@AlexandreBelling AlexandreBelling self-assigned this Feb 24, 2025
@AlexandreBelling AlexandreBelling added the Prover Tag to use for all work impacting the prover label Feb 24, 2025
@AlexandreBelling
Merge branch 'prover/limitless-top-level' of github.com:Consensys/lin…
b50f034 
…ea-monorepo into prover/limitless-integration-experiment
@AlexandreBelling
fixup(compiler): fix import for lookup2derivesum.IntoLogDerivativeSum
8f4613c
@AlexandreBelling
feat(precomp): support the precomputed columns
629ad73
@AlexandreBelling
feat(horner): implements the horner query
9cd6f0c
@AlexandreBelling
clean(lookup): rename the package name of the logderivative
e604c30
@AlexandreBelling
fixup: forgot to commit one file
bd6e500
@AlexandreBelling
clean(grandsum): remove the grandsum query
231882e
@AlexandreBelling
clean(lookup): merge the lookups and the logderivative compilers in t…
3cce73c 
…he same package
@AlexandreBelling
clean(gd-product): remove the dist-grand product compiler
c007f43
@AlexandreBelling
feat(horner): implements gnark support for the query
9ea64c1
@AlexandreBelling
feat(plonk): implements distribution for the plonkInWizard queries
bb87dac
@AlexandreBelling
feat(module-translation): implements inserter functions for logderiva…
60f0326 
…tive and grandproduct queries
@AlexandreBelling
feat(utils): adds a shiftexpr functionality
448ef13
@AlexandreBelling
feat(horner): unifies the projections and horner compilation into a c…
1798c66 
…ommon package
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Soleimani193 Soleimani193 Awaiting requested review from Soleimani193

@arijitdutta67 arijitdutta67 Awaiting requested review from arijitdutta67

Assignees

@AlexandreBelling AlexandreBelling

Labels
Prover Tag to use for all work impacting the prover
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@AlexandreBelling