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

Hub constraints debugging #224

Merged
merged 51 commits into from
Aug 5, 2024
Merged
Changes from 1 commit
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
195637f
style(rom): view opcode in rom as opcode
letypequividelespoubelles Jun 1, 2024
4c86d35
ras
OlivierBBB Jun 1, 2024
9b94f82
removed obsolete columns from the instruction decoder
OlivierBBB Jun 1, 2024
586d052
uniformize some constraint names
OlivierBBB Jun 1, 2024
7034c4d
fixed misc module flags of EXP instruction
OlivierBBB Jun 1, 2024
a650b5f
fix: hub-into-wcp lookup
OlivierBBB Jun 1, 2024
0056efa
another lookup with the wrong indices ...
OlivierBBB Jun 1, 2024
e455045
same failing lookup issue
OlivierBBB Jun 1, 2024
db663bf
fix: lex ordre in makefile + add lookups
letypequividelespoubelles Jun 2, 2024
6a66d57
style(trm): nothing
letypequividelespoubelles Jun 2, 2024
91d3760
revert-dom-sub-stamps ==> revert-with-current-dom-sub-stamps
OlivierBBB Jun 2, 2024
90aae65
DOM-SUB stamp macros
OlivierBBB Jun 2, 2024
d0ef2f4
hub constants
OlivierBBB Jun 2, 2024
2cf4a16
loobeans must go ...
OlivierBBB Jun 3, 2024
a9e255e
fix(RETURN): typo in the preconditions for the deployment case
OlivierBBB Jun 3, 2024
9d98edb
fix(STOP): wrong preconditions for STOP'ing during a deployment
OlivierBBB Jun 3, 2024
391adf7
fix(hub): fix tx-skip-precondition
letypequividelespoubelles Jun 4, 2024
aedc042
undoing what I just did, this column is useful ^^
OlivierBBB Jun 5, 2024
58d1486
fixed TX_SKIP coinbase fee reward constraints
OlivierBBB Jun 5, 2024
1ecde92
UNCONSTRAINED_FIRST/FINAL columns
OlivierBBB Jun 6, 2024
5d45e6d
feat: enable hub oob lookup
letypequividelespoubelles Jun 7, 2024
c2ad40d
feat: reenable lookup rlptxn -> hub
letypequividelespoubelles Jun 7, 2024
bcfcecd
fix: fix rlptxn <-> hub lookups, column inversion
letypequividelespoubelles Jun 7, 2024
4c779b9
storage instruction constraint renaming
OlivierBBB Jun 10, 2024
8665f52
ras
OlivierBBB Jun 10, 2024
a3f37d6
fix(txndata): shorthand not define, use the column
letypequividelespoubelles Jun 12, 2024
a6c8ff6
fix: SSTORE gas pricing
OlivierBBB Jun 12, 2024
50b178a
coinbase reward fix
OlivierBBB Jun 13, 2024
aa1bd3d
fix(bin): no byte dec constraint for trivial byte and signextend
letypequividelespoubelles Jun 13, 2024
2fb3cf6
fix typo
letypequividelespoubelles Jun 21, 2024
e24bb45
typo
letypequividelespoubelles Jun 26, 2024
3106c36
spec issue, context row is i+2, not i+3
letypequividelespoubelles Jun 26, 2024
bd2f695
disabling almost all HUB constraint
letypequividelespoubelles Jun 28, 2024
255677b
only lookups in constraint
letypequividelespoubelles Jun 28, 2024
430077f
MODEXP implementation done
OlivierBBB Jul 1, 2024
b40be86
fix to make it compile again
OlivierBBB Jul 1, 2024
60bde00
reenable HUB constraint
letypequividelespoubelles Jul 2, 2024
2001467
reenable lookups from hub
letypequividelespoubelles Jul 2, 2024
74f2885
re fix log NSR typo
letypequividelespoubelles Jul 2, 2024
993e90a
fix(machine-state): fixed machine-state-instruction---setting-miscell…
OlivierBBB Jul 10, 2024
e175b4e
ras
OlivierBBB Jul 10, 2024
29b10da
fix(hub): hub into rom jump destination vetting lookup
lorenzogentile404 Jul 10, 2024
03e1cad
fix(hub): acc/rlpaddr/recipe typing
letypequividelespoubelles Jul 19, 2024
66cf5cf
fix(hub): typo in extcodecopy
letypequividelespoubelles Jul 23, 2024
30b1df2
Merge branch 'master' into fix/issue-222/HUB-constraints-debugging
OlivierBBB Jul 25, 2024
980397e
fix: make it compile again
OlivierBBB Jul 25, 2024
7c44e4b
fix(return): typo, forget PEEK in the guard
letypequividelespoubelles Jul 26, 2024
685f3d4
feat(ec precompiles): implementation of ECADD, ECMUL and ECPAIRING
OlivierBBB Aug 4, 2024
a759b56
ras
OlivierBBB Aug 5, 2024
f93361f
feat(blake): BLAKE2f implementation
OlivierBBB Aug 5, 2024
3842052
fix(compile): made it compile again
OlivierBBB Aug 5, 2024
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
fix(hub): fix tx-skip-precondition
  • Loading branch information
letypequividelespoubelles committed Jun 28, 2024
commit 391adf73e87c25167eaa0a9f52d40df3d7d715d8
Loading