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.

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

Prover: beta v1.2 #605

Open
wants to merge 57 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
57 commits
Select commit Hold shift + click to select a range
195b086
bump go-corset
gusiri Jan 20, 2025
96447e8
fix compile errors
gusiri Jan 20, 2025
0045135
constraints: bump to v0.1.0-rc1 for beta-v1.2
gusiri Jan 20, 2025
fd6f176
bump to latest go-corset
gusiri Jan 20, 2025
755dd89
Merge branch 'main' into prover/beta-v1.2
gusiri Jan 27, 2025
f601b58
constraints: bump to beta-v1.2 / v0.1.0-rc2
gusiri Jan 27, 2025
191273b
bump go-corset
gusiri Jan 27, 2025
a1e1387
bump zkevm bin
gusiri Jan 27, 2025
582ce91
use next power of two value for non-power of two size columns (e.g., …
gusiri Jan 27, 2025
0da9a74
remove a check for the power of two size
gusiri Jan 27, 2025
dba6e50
bump corset to 9.7.18
gusiri Jan 27, 2025
523c236
bump zkevm.bin
gusiri Jan 27, 2025
251622b
bump corset to v9.7.18
gusiri Jan 27, 2025
69ae19e
update zkevm.bin
gusiri Jan 27, 2025
d94aae9
added interleaved to the compilediop columns
Soleimani193 Jan 28, 2025
b1a7319
adjusted size for corset columns
Soleimani193 Jan 28, 2025
4cf988c
Prover/Codehash Non Power of Two Column Size (#618)
arijitdutta67 Jan 29, 2025
168498b
adjusted size for corset columns
Soleimani193 Jan 28, 2025
d72e60b
constraints: bump to beta v1.2/v0.1.0-rc3
gusiri Jan 29, 2025
58ded37
update constraints version to rc3
gusiri Jan 29, 2025
1224826
bump to latest go-corset
gusiri Jan 29, 2025
04b99bc
apply hotfix for BLOCKDATA
gusiri Jan 30, 2025
8b87075
move NextPowerOfTwo unit test to utils
gusiri Jan 30, 2025
e4f4096
add logs for adjusted columns with non-power of two size
gusiri Jan 30, 2025
cbc43c2
turn off trace version check
gusiri Jan 30, 2025
28996d4
fix golangcli-lint
gusiri Jan 31, 2025
0ce3326
Merge branch 'main' into prover/beta-v1.2
gusiri Jan 31, 2025
1ffc046
Prover/fix public input timestamps from new blockdata (#644)
bogdanbear Feb 3, 2025
61d8454
Merge branch 'main' into prover/beta-v1.2
AlexandreBelling Feb 4, 2025
4465dc9
fix(codehash): uses 0x0 for the codehash of non-existing accounts ins…
gusiri Feb 4, 2025
564a064
fix(mimccodehash): unimport the rom codehash for initialization code
gusiri Feb 4, 2025
0b0e5e1
Merge branch 'prover/beta-v1.2' of github.com:Consensys/linea-monorep…
gusiri Feb 4, 2025
eb8d984
fixup(execDataHash): revert the exec-data hash check
gusiri Feb 5, 2025
e9ae001
timestamp byte change
bogdanbear Feb 5, 2025
0bb7969
fix(execdatahash): adds the real blockhash in the execdata hash inste…
gusiri Feb 5, 2025
aba6fce
fixup previous commit
gusiri Feb 5, 2025
44045bb
Merge branch 'prover/beta-v1.2' of github.com:Consensys/linea-monorep…
gusiri Feb 5, 2025
ad312d0
fixup(build): removes imports
gusiri Feb 5, 2025
73bc797
Revert "fixup(execDataHash): revert the exec-data hash check"
gusiri Feb 5, 2025
919e9af
fix(consistency): adds a smaller size to the consistency module
gusiri Feb 6, 2025
184771b
feat(mimc): alex -- mimc simplification -- start
AlexandreBelling Feb 6, 2025
eced66b
optimize factorExpression
gusiri Feb 6, 2025
319cd6e
feat(exec): uses the ProveCheck in the execution proof
gusiri Feb 7, 2025
359d6fb
Merge branch 'prover/beta-v1.2' of github.com:Consensys/linea-monorep…
gusiri Feb 7, 2025
2f43de1
Revert "feat(mimc): alex -- mimc simplification -- start"
gusiri Feb 7, 2025
5815d0d
fix (public-input): changed the hashing method to match compression
bogdanbear Feb 7, 2025
6eb1536
perf(mem): adds a detector for constant regular column.
AlexandreBelling Feb 7, 2025
3979fe4
fixup(mem): support the edge-case for smartvectors of size 1
gusiri Feb 7, 2025
b9efdb9
fix(codehash): support the case where the ROM is empty
gusiri Feb 7, 2025
aaa3c94
feat(csv): adds a feature to rename columns when using fmtcsv
AlexandreBelling Feb 11, 2025
df11f8b
fixup(codehash): supports the case where no codehash are available
AlexandreBelling Feb 11, 2025
15e7a1d
test(codehash): adds test for empty rom or statesummary
AlexandreBelling Feb 11, 2025
5afd73e
clean(naturalize): harmonize the implementation of the verifier
gusiri Feb 11, 2025
de983fa
fixup(plonk): generate the plonk with native verifier options and rem…
gusiri Feb 11, 2025
e820d15
update constraints version to rc3.1
gusiri Feb 12, 2025
c6d8c7f
clean(corset): use the lisp to name the constraints
AlexandreBelling Feb 13, 2025
0ba5075
fix(permutation): compile zcatalog in deterministic order
AlexandreBelling Feb 13, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
bump corset to 9.7.18
gusiri committed Jan 27, 2025
commit dba6e50a4d5c3fe7f6c3c180bfd7fd77415d5f63
2 changes: 1 addition & 1 deletion corset