issues
search
Consensys
/
linea-constraints
Implementation of the constraint system of Linea, specified in the linea-specification repo.
Other
11
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement simplified return data setting for `RETURN`'s from deployments
#505
OlivierBBB
closed
2 days ago
0
Implement simplified return data setting for `RETURN`'s from deployment
#504
OlivierBBB
closed
2 days ago
0
Make the constraints compile again
#503
OlivierBBB
closed
2 days ago
0
More `HUB` debugging
#502
OlivierBBB
closed
2 days ago
0
fix(exp): add PRPRC = 0 implies WCP_FLAG = 0 and change WCP lookup se…
#501
lorenzogentile404
opened
3 days ago
0
fix(exp): add `PRPRC = 0` implies `WCP_FLAG = 0` and change WCP lookup selector
#500
lorenzogentile404
opened
3 days ago
0
More HUB debugging
#499
OlivierBBB
closed
2 days ago
0
feat: update `corset` to the latest version
#498
DavePearce
closed
4 days ago
0
Update `corset` version in CI
#497
DavePearce
closed
4 days ago
0
Remove `(vanishes! 0)`
#496
DavePearce
closed
3 days ago
0
Remove `(vanishes! 0)`
#495
DavePearce
closed
3 days ago
0
Adding `HUB` constraints
#494
OlivierBBB
closed
3 days ago
0
Remaining todos endgame
#493
OlivierBBB
closed
2 days ago
0
Adding unpermuted columns to the ACC/STO perpectives
#492
OlivierBBB
opened
5 days ago
0
fix(logdata): fix nBYTES check only if logs data
#491
letypequividelespoubelles
closed
4 days ago
0
Update Makefile
#490
OlivierBBB
closed
1 week ago
0
Duplicate and unused code snippets EXP OOB MXP
#489
lorenzogentile404
closed
1 week ago
1
Duplicate and unused code snippets
#488
lorenzogentile404
closed
1 week ago
0
REMAINING TODOs exp and mxp
#487
lorenzogentile404
closed
2 days ago
3
Remaining TODOs
#486
lorenzogentile404
closed
2 days ago
0
some HUB constraints debugging
#485
letypequividelespoubelles
closed
4 days ago
0
add HUB constraints
#484
letypequividelespoubelles
closed
4 days ago
0
revert add HUB constraints
#483
letypequividelespoubelles
closed
1 week ago
0
Adding unpermuted account columns
#482
OlivierBBB
closed
1 week ago
0
Add unpermuted columns
#481
OlivierBBB
closed
1 week ago
0
Yet more veridise debugging
#480
OlivierBBB
closed
2 days ago
0
MXP to ID lookup fix 52
#479
lorenzogentile404
closed
3 hours ago
0
MXP to ID lookup
#478
lorenzogentile404
closed
3 hours ago
0
More Veridise debugging
#477
OlivierBBB
closed
1 week ago
0
More Veridise debugging
#476
OlivierBBB
closed
1 week ago
0
typo
#475
letypequividelespoubelles
closed
1 week ago
0
typo in rlp*
#474
letypequividelespoubelles
closed
1 week ago
0
homogenize lookups rlptxn <-> hub
#473
letypequividelespoubelles
closed
1 week ago
0
fix lookups rlptxn <-> hub
#472
letypequividelespoubelles
closed
1 week ago
1
delete duplicate constraint
#471
letypequividelespoubelles
closed
1 week ago
0
duplicate constraints
#470
letypequividelespoubelles
closed
1 week ago
0
Implementation of HUB / MXP interface bugfix
#469
OlivierBBB
closed
2 weeks ago
0
Implementation of the `HUB` / `MXP` interface bug fix
#468
lorenzogentile404
closed
2 weeks ago
0
HUB/MXP bug: zero size, enormous offsets => type issue in the HUB
#467
lorenzogentile404
opened
2 weeks ago
0
Specification glitches
#466
OlivierBBB
closed
1 week ago
0
Specification glitches
#465
OlivierBBB
closed
1 week ago
1
Make `HEIGHT` and `HEIGHT_NEW` explicitly `hub-stamp-constant`
#464
OlivierBBB
closed
3 weeks ago
0
`HUB` stamp constancy of `HEIGHT` columns
#463
OlivierBBB
closed
3 weeks ago
0
Typo and bug fixes for the `ACC` instruction family
#462
OlivierBBB
closed
2 weeks ago
1
`ACC` family constraints review
#461
OlivierBBB
closed
2 weeks ago
0
Fix order of stack items in lookup HUB -> EXT
#460
OlivierBBB
closed
3 weeks ago
0
Fix HUB -> EXT lookup
#459
OlivierBBB
closed
3 weeks ago
0
No longer impose vanishing of GAS_COST in case of nonOogException
#458
OlivierBBB
closed
3 weeks ago
0
Constraints update for GAS columns generalities
#457
OlivierBBB
closed
3 weeks ago
0
`GAS_COST` over-constrained for `CALL`'s/`CREATE`'s
#456
OlivierBBB
opened
3 weeks ago
0
Next