contracts-bedrock: print receipt after deposit

contracts-bedrock: fix imports

* feat(sdk): Update the Goerli SCC contract address to the new value

* feat(sdk): Bump the SDK version to 1.3.1
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Updates the SDK to throw a better error when the user provides a bad
chain ID. Would've helped an end-user more easily debug an issue where
the chain ID parameter was missing.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Updates the TypeScript build to also generate ABI objects that can be
imported on the client-side. Specifically necessary so that these ABIs
can be imported on the frontend where fs/glob is not available.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Introduces a new SentMessageExtraData event to the CrossDomainMessenger
base contract. We need this event so that we can properly find all
relevant message data in the SDK. SDK cannot function without this
event. We also cannot add to the old SentMessage event without breaking
the ABI of our contract, so we're stuck adding an extra data event.

This logging provides insights into which L2 blocks are going
through the reconciliation process.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Deploy goerli StateCommitmentChain to fix sccFaultProofWindowSeconds

* Deploy goerli StateCommitmentChain to fix sccFaultProofWindowSeconds

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

* Fix Optimism Config in L2 Genesis builder

This places the Optimism chain config in the correct place as
well as deleting the spurious Clique config in the L2 genesis.

* packages/core-utils: bedrock config type fix

* packages/contracts-bedrock: update genesis l2 task import

* packages/core-utils: bedrock - remove old todo comment
Co-authored-by: Joshua Gutow <jgutow@optimism.io>
Co-authored-by: protolambda <proto@protolambda.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Removes linter errors by importing things that extend types

Fixes a bug in the Bedrock L2 genesis script where storage slots were
being set in the implementation rather than the proxy, which (obviously)
broke various things that the SDK relies on.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

feat(ctb): introduce Types.sol

Introduces a new library, Types.sol, meant to hold various different
structs that get used all over the place.

contracts-bedrock: bump to use solidity 0.8.15

Using solc 0.8.15

* 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>