[WIP] Formal Verification of SafetyChecker#215
Closed
geohot wants to merge 57 commits intoethereum-optimism:masterfrom
Closed
[WIP] Formal Verification of SafetyChecker#215geohot wants to merge 57 commits intoethereum-optimism:masterfrom
geohot wants to merge 57 commits intoethereum-optimism:masterfrom
Conversation
…hout requires, all pass
Contributor
Author
|
This is the interesting one: Two tests in there so far |
geohot
changed the title
protolambda
pushed a commit
to protolambda/optimism
that referenced
this pull request
May 1, 2022
…w_sync ref impl: Sync algorithm for sequencing
xibao-nr
pushed a commit
to node-real/combo-optimism
that referenced
this pull request
Feb 19, 2025
Co-authored-by: welkin22 <136572398+welkin22@users.noreply.github.com> Co-authored-by: Owen <103096885+owen-reorg@users.noreply.github.com>
theochap
pushed a commit
that referenced
this pull request
Dec 10, 2025
* fix(derive): pull in alloy eip4844 blob type * chore: use eip4844 constants
Zena-park
added a commit
to tokamak-network/optimism
that referenced
this pull request
Dec 30, 2025
theochap
pushed a commit
that referenced
this pull request
Jan 15, 2026
<!-- Thank you for your Pull Request. Please provide a description above and review the requirements below. Bug fixes and new features should include tests. Contributors guide: https://github.com/alloy-rs/core/blob/main/CONTRIBUTING.md The contributors guide includes instructions for running rustfmt and building the documentation. --> <!-- ** Please select "Allow edits from maintainers" in the PR Options ** --> ## Motivation Closes alloy-rs/op-alloy#27 To be able to replace `UnsingedTx` and `TxEnvelope` on Optimism network with op-consensus types, we need a op-specific tx builder. ## Solution Add `OpTransactionBuilder` which is a wrapper around `TransactionBuilder`. It intentionally does not have any direct methods allowing to set EIP-4844 fields, however they can still be set through `AsMut` or during deserialization. When building typed transaction, eip-4844 transactions are getting converted to eip-1559 ## PR Checklist - [ ] Added Tests - [ ] Added Documentation - [ ] Breaking changes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Currently, the speed is disabled to give the verifier a chance.