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/Complete Projection Query #667

Merged
merged 52 commits into from
Feb 21, 2025
Merged

Prover/Complete Projection Query #667

merged 52 commits into from
Feb 21, 2025

Conversation

arijitdutta67
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.

arijitdutta67 and others added 30 commits January 21, 2025 18:51
@arijitdutta67
added projection query
1c84ce0
@arijitdutta67
compiler for projection added
8273444
@arijitdutta67
compiler added to arcane
5ed77a6
@arijitdutta67
minor fix added
254c948
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/convert-project…
f5f760e 
…ion-to-query
@arijitdutta67
fix lint error
53f1b9b
@arijitdutta67
duplicate name fix
e918986
@arijitdutta67
removing cptHolter to math poly
0617f34
@arijitdutta67
shifted the no lint command
bb9d900
@arijitdutta67
added bin file in gitignore
8cc8cb7
@arijitdutta67
removed gitignore change
b01f73c
@arijitdutta67
remove bin file
204bc5c
@arijitdutta67
code simplification as Alex suggested
7042016
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/convert-project…
da92a24 
…ion-to-query

Signed-off-by: Arijit Dutta <37040536+arijitdutta67@users.noreply.github.com>
@arijitdutta67
fix in lpp
ebd64c3
@arijitdutta67
distributed projection query added
e07ba99
@arijitdutta67
more test cases added
12f8bf9
@arijitdutta67
adding slice to accomodate multiple query per module
dd69e06
@arijitdutta67
param changed to support additive structure
01a2cd3
@arijitdutta67
added horizontal split code (wip)
8388c7c
@arijitdutta67
test added
254f4d5
@arijitdutta67
prover code done (wip)
a9ded75
@arijitdutta67
compiler code added (wip)
8d123e6
@arijitdutta67
bug fixes, test passing
6c0476a
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/distribute-proj…
2c0973a 
…ection-query

Signed-off-by: Arijit Dutta <37040536+arijitdutta67@users.noreply.github.com>
@arijitdutta67
gofmt fix
9ce58b2
@arijitdutta67
bug fixes
b8c14b9
@arijitdutta67
check test added
b534505
@arijitdutta67
incorporate Alex suggestion on PR 585
5352951
@arijitdutta67
cleanups
56f53b6
arijitdutta67 and others added 22 commits February 6, 2025 14:02
@arijitdutta67
Added documentation
5da4268
@arijitdutta67
gofmt fix
66acc52
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/distribute-proj…
1065448 
…ection-query

Signed-off-by: Arijit Dutta <37040536+arijitdutta67@users.noreply.github.com>
@arijitdutta67
fixes after merge is added
f02b4a7
@arijitdutta67
gofmt fix
923bbb3
@arijitdutta67
conglomeration fixes
be59868
@arijitdutta67
gofmt fix
e4c880e
@arijitdutta67
fixing minor typos
52fe48f
@arijitdutta67
vertical splitting wip
6e7397e
@arijitdutta67
cumNumOnes added
137d0f3
@arijitdutta67
bug fix wip
2d2ef88
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/projection-quer…
4c9db1c 
…y-vertical-split
@arijitdutta67
Merge branch 'prover/limitless-top-level' into prover/projection-quer…
a0c0c6e 
…y-vertical-split

Signed-off-by: Arijit Dutta <37040536+arijitdutta67@users.noreply.github.com>
@arijitdutta67
feat: vertical split verifier action added
f7ba04f
@arijitdutta67
feat : added filter counting and hash computing functionality
2c1d04c
@arijitdutta67
fixup (bug): bug fixes in lpp.go
0ba1538
@arijitdutta67
fixup: bug fix wip
4cae671
@arijitdutta67
fixup : mislaneous bug fixes
c16e272
@arijitdutta67
fixup: bug fix wip
fb14494
@arijitdutta67
debug wip
d8795f7
@arijitdutta67
fixup: test passing
e11fea3
@arijitdutta67
feat: vertical consistency check and cleanup
886fcef
@arijitdutta67 arijitdutta67 marked this pull request as ready for review February 21, 2025 13:15
@arijitdutta67 arijitdutta67 self-assigned this Feb 21, 2025
@arijitdutta67 arijitdutta67 added Prover Tag to use for all work impacting the prover enhancement New feature or request labels Feb 21, 2025
@AlexandreBelling AlexandreBelling merged commit f97cd00 into prover/limitless-top-level Feb 21, 2025
1 of 5 checks passed
@AlexandreBelling AlexandreBelling deleted the prover/projection-query-vertical-split branch February 21, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AlexandreBelling AlexandreBelling AlexandreBelling approved these changes

Assignees

@arijitdutta67 arijitdutta67

Labels
enhancement New feature or request 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.
2 participants
@arijitdutta67 @AlexandreBelling