* core-utils: add encoding and hashing functions to core-utils

* ci: update

* contracts-bedrock: differential fuzzing

* deps: update forge-std

* contracts-bedrock: set fuzz runs to 512

* contracts-bedrock: rename differential-testing method

* contracts-bedrock: no sender as address(OptimismPortal)

* batch derivation spec draft

* add diagrams, fix recovery-from-reorg wording

* update spec to cover channel ID timestamp

* specs: update batch derivation diagrams

* simplified overview draft + greatly expand glossary

* section on batch submission an encoding

* stages explanation

* edit resetting part of the spec

* rework pipeline description (& more)

* incorporate review feedback

* recover lost change

* rework payload attributes derivation section

* specs: toc fix

* specs: misc lint fixes

* specs/meta: toc fix
Co-authored-by: protolambda <proto@protolambda.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Op-Node: Restore sync package

* Op-Node: Fix reset/reorg logic

This now uses the old sync package b/c the pipeline reset logic was
not actually working.

* OP Node: Add time invariant check to reset step

* Don't skip L1 Origin in reset step

* sync: Rollback to block with sequence number 0
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* feat(bedrock): getL2Output reverts if not found

feat(bedrock): Handle error on empty output in Portal

feat(ctb): use isOutputFinalized in finalizeWithdrawalTx

* ctb: Remove extraneous abi encoding

Revert "feat(ctb): use isOutputFinalized in finalizeWithdrawalTx"

This reverts commit 4d4e89d4f624b8cbd95c1ad2800027bfe561c213.

ctb: getL2Output returns the next output for a block

ctb: Fix error message style

Moves various legacy contracts into the legacy folder. Purpose of the
legacy folder is to explicitly mark the contracts that we're trying to
push users away from. By moving these contracts into the legacy folder,
we're creating a clearer message that users should be using alternatives
and should not be using these contracts after Bedrock.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* fix: remove deposit tx subtype

Opt to stay typed tx spec compliant

* bedrock: update geth, deposit tx without sub-version

* go: go.work.sum update
Co-authored-by: protolambda <proto@protolambda.com>

op-e2e: deploy output oracle with correct config, de-duplicate block time and genesis setup info (#3056)

Updates the Semver contract to include a getter function to retrieve the
full version string.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Shortens library names. Woot.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* feat(bedrock): Versioned TransactionDeposited event

- Index the deposit event version
- Update fuzz test to use new deposit type
- UnmarshalDepositLogEvent update
- Change event version from 1 to 0
- Add version to MarshalDepositLogEvent
- Pack opaque data, abi.encodePacked
- Handle encodePacked data in Marshal and Unmarshal DepositLogEvent
- Refactor for versioned opaqueData marshal/unmarshal methods
- Update op-bindings OptimismPortal

* core-utils: update deposit transaction serialization

* op-node: Add comment to clarify deserialization
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

This saves about 200 gas

Updates revert messages across all contracts to use the standardized
format "<ContractName>: <lowercase message>".

Adds a test that bridge contracts return to sender on failed deposits or
withdrawals.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

This was previously waiting for 2 blocks to deploy the portal contract.
Some new contract changes are now hitting a timeout so this increases
the timeout to 6 L1 blocks.

* op-batcher: improve logging

* op-e2e: increase sequence window size, and update missing-batch test with comments to clarify behavior
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Adds tests for reentrancy on message relaying.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Adds a test that ETH gets properly stuck in the CrossDomainMessenger
contracts but then is unstuck when the message is replayed.
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: Maurelian <maurelian@protonmail.ch>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Cleans up minor linting issues in MerkleTrie.sol.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* style(ctb): Rename append to propose
Please enter the commit message for your changes. Lines starting

* style(ctb): Use output root for bytes32

This is more accurate than saying 'L2 output' which is better
applied to the full unhashed data structure

* style(ctb): Rename sequencer to proposer in oracle
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Version Packages

Develop -> Master PR

Includes a fix for `vm.toString(bytes32)`
https://github.com/foundry-rs/foundry/commit/3c49efe58ca4bdeec4729490501da06914446405Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Tweaks the CrossDomainMessenger.baseGas function to more accurately
reflect the actual cost of performing a deposit on L2. I've been able to
use the SDK to successfully complete deposits with these values.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>

contracts-bedrock: better logging in deposit task

ops: Fix unbound variable in check_changed script

Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Updates the Fault Detector to properly handle connection failures when
trying to query the L2 node. Also increments a new metric whenever this
happens so we can keep track of these failures if necessary.
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Cleans up various compiler warnings throughout the package.
Co-authored-by: Mark Tyneway <mark.tyneway@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

deps: use node version v16.16.0

ops: delete dead docker images

devnet: Use later L2 timestamp for network