Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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.
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
feat(prover): Add FFLONK support to compressor #2766
feat(prover): Add FFLONK support to compressor #2766
Changes from all commits
976e550
75bb3a4
175d987
01b5bf8
61915d5
e16afbb
ab463f7
1eff67d
ed64ac9
b931948
d6eafce
3ac09ce
b2d5000
264e69f
9920051
ebd5c7c
295990c
ba6791d
169a6b5
d1178f7
78fedef
31525f5
fb9bcb1
852c749
001ae61
2e5043c
c30d79b
bc070c4
c35745f
df58203
25a8d2e
22fff07
59faf9b
7dd3ba3
d3dbaf5
b45a6da
05286b4
b3995d4
2d7572c
924bdeb
f2b43e7
3c2fa71
5d7ae04
b2594e7
837ea8b
8544d16
0171eed
90be08b
f02c6d2
e76ed7f
efed1ac
dee361e
e45f0e8
019e33d
3de4496
4acdd70
3cdcae8
dc78371
0a37276
a38be1e
0df8945
08fc7ec
bcecc16
f44c2bd
cf780a9
4ad7509
549a6a9
f8f59bf
2e372a1
69e88c3
f511d1d
1b882ca
76c6bfb
a7e004d
c303551
01762e1
dccc9d7
4d3a733
fe574c6
e688b6e
c2a34ed
723dbaf
8baf3f3
92c9025
1ebb279
fbdbce7
2e7967d
0ba982b
9252602
b5e9e27
7de9135
dacd488
ee28a19
b58bfc5
7f15f0f
959490c
c753c4a
32255b0
e054b90
0a9c239
b78b2e4
56c5066
e197bc5
d39c585
45ff601
96078b7
0107be5
fe898af
afdf441
d3e398a
190ae28
8694a0a
3275cf1
837ea56
f8683cd
bef7828
3003016
1df00ec
e3c0eb7
76262ff
3b1354f
49ac31c
bc36651
4def64c
9590bc1
e069d6c
cd52eec
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing