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

TXN_DATA: fix forpriorityFeePerGas #406

Merged
merged 4 commits into from
Sep 26, 2024

Conversation

OlivierBBB
Copy link
Collaborator

No description provided.

@OlivierBBB OlivierBBB self-assigned this Sep 26, 2024
@OlivierBBB OlivierBBB linked an issue Sep 26, 2024 that may be closed by this pull request
@OlivierBBB OlivierBBB added bug Something isn't working veridise audit labels Sep 26, 2024
(eq! PRIORITY_FEE_PER_GAS (gas_price))
(eq! PRIORITY_FEE_PER_GAS (- GAS_PRICE BASEFEE))))
(defcontraint setting-priority-fee-per-gas (:guard (first-row-of-new-transaction))
(eq! PRIORITY_FEE_PER_GAS (- GAS_PRICE BASEFEE)))
Copy link
Collaborator Author

@OlivierBBB OlivierBBB Sep 26, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@letypequividelespoubelles This is the only nontrivial change. Everything else is formatting and renaming.

Copy link
Collaborator

@letypequividelespoubelles letypequividelespoubelles left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@OlivierBBB OlivierBBB changed the title Fix forpriorityFeePerGas TXN_DATA: fix forpriorityFeePerGas Sep 26, 2024
@OlivierBBB OlivierBBB merged commit 6098019 into master Sep 26, 2024
2 checks passed
@OlivierBBB OlivierBBB deleted the 405-txn-data-fix-for-priority-fee-per-gas branch September 26, 2024 17:11
(eq! PRIORITY_FEE_PER_GAS (gas_price))
(eq! PRIORITY_FEE_PER_GAS (- GAS_PRICE BASEFEE))))
(defconstraint setting-priority-fee-per-gas (:guard (first-row-of-new-transaction))
(eq! PRIORITY_FEE_PER_GAS (- GAS_PRICE BASEFEE)))
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@benSepanski This is where we set the PRIORITY_FEE_PER_GAS regardless of the transaction type.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working veridise audit
Projects
None yet
Development

Successfully merging this pull request may close these issues.

TXN_DATA fix for PRIORITY_FEE_PER_GAS
2 participants