contracts-bedrock: differential fuzzing

.changeset/big-tables-bake.md

@@ -0,0 +1,5 @@
+---
+'@eth-optimism/core-utils': patch
+---
+
+Add encoding and hashing functions for bedrock

.changeset/strange-pillows-walk.md

@@ -0,0 +1,6 @@
+---
+'@eth-optimism/contracts-bedrock': patch
+'@eth-optimism/contracts-periphery': patch
+---
+
+Update forge-std

.circleci/config.yml

@@ -107,7 +107,7 @@ jobs:
   contracts-bedrock-tests:
     docker:
       - image: ethereumoptimism/ci-builder:latest
-    resource_class: medium
+    resource_class: large
     steps:
       - restore_cache:
           keys:
@@ -135,11 +135,15 @@ jobs:
           name: test
           command: yarn test
           working_directory: packages/contracts-bedrock
+          environment:
+            FOUNDRY_PROFILE: ci
       - run:
           name: gas snapshot
           command: |
             forge --version
             forge snapshot --check || exit 0
+          environment:
+            FOUNDRY_PROFILE: ci
           working_directory: packages/contracts-bedrock
       - run:
           name: storage snapshot

packages/contracts-bedrock/.gas-snapshot

@@ -10,7 +10,6 @@ GasBenchMark_OptimismPortal:test_depositTransaction_benchmark() (gas: 74944)
 GasBenchMark_OptimismPortal:test_depositTransaction_benchmark_1() (gas: 35773)
 DeployerWhitelist_Test:test_owner() (gas: 7591)
 DeployerWhitelist_Test:test_storageSlots() (gas: 33427)
-Encoding_Test:test_encodeDepositTransaction() (gas: 64610)
 GasPriceOracle_Test:test_baseFee() (gas: 8392)
 GasPriceOracle_Test:test_gasPrice() (gas: 8381)
 GasPriceOracle_Test:test_l1BaseFee() (gas: 10648)
@@ -24,8 +23,7 @@ GasPriceOracle_Test:test_setL1BaseFeeReverts() (gas: 11739)
 GasPriceOracle_Test:test_setOverhead() (gas: 36789)
 GasPriceOracle_Test:test_setScalar() (gas: 36796)
 GasPriceOracle_Test:test_storageLayout() (gas: 86705)
-Hashing_Test:test_hashDepositSource() (gas: 673)
-Hashing_Test:test_hashDepositTransaction() (gas: 39129)
+Hashing_Test:test_hashDepositSource() (gas: 628)
 L1BlockTest:test_basefee() (gas: 7575)
 L1BlockTest:test_hash() (gas: 7552)
 L1BlockTest:test_number() (gas: 7629)
@@ -50,18 +48,18 @@ L1CrossDomainMessenger_Test:test_L1MessengerTwiceSendMessage() (gas: 1489673)
 L1CrossDomainMessenger_Test:test_L1MessengerUnpause() (gas: 40852)
 L1CrossDomainMessenger_Test:test_L1MessengerXDomainSenderReverts() (gas: 24313)
 L1CrossDomainMessenger_Test:test_L1MessengerxDomainMessageSenderResets() (gas: 86364)
-L1StandardBridge_Test:test_depositERC20() (gas: 578548)
-L1StandardBridge_Test:test_depositERC20To() (gas: 580752)
+L1StandardBridge_Test:test_depositERC20() (gas: 578572)
+L1StandardBridge_Test:test_depositERC20To() (gas: 580779)
 L1StandardBridge_Test:test_depositETH() (gas: 372464)
 L1StandardBridge_Test:test_depositETHTo() (gas: 329608)
-L1StandardBridge_Test:test_finalizeBridgeERC20FailSendBack() (gas: 681009)
-L1StandardBridge_Test:test_finalizeERC20Withdrawal() (gas: 490749)
+L1StandardBridge_Test:test_finalizeBridgeERC20FailSendBack() (gas: 681028)
+L1StandardBridge_Test:test_finalizeERC20Withdrawal() (gas: 490771)
 L1StandardBridge_Test:test_finalizeETHWithdrawal() (gas: 64276)
 L1StandardBridge_Test:test_initialize() (gas: 26334)
 L1StandardBridge_Test:test_onlyEOADepositERC20() (gas: 22376)
 L1StandardBridge_Test:test_onlyEOADepositETH() (gas: 40940)
-L1StandardBridge_Test:test_onlyL2BridgeFinalizeERC20Withdrawal() (gas: 36264)
-L1StandardBridge_Test:test_onlyPortalFinalizeERC20Withdrawal() (gas: 35569)
+L1StandardBridge_Test:test_onlyL2BridgeFinalizeERC20Withdrawal() (gas: 36268)
+L1StandardBridge_Test:test_onlyPortalFinalizeERC20Withdrawal() (gas: 35573)
 L1StandardBridge_Test:test_receive() (gas: 519287)
 L2CrossDomainMessenger_Test:testCannot_L2MessengerPause() (gas: 10845)
 L2CrossDomainMessenger_Test:test_L1MessengerRelayMessageRevertsOnReentrancy() (gas: 171927)
@@ -101,16 +99,16 @@ L2OutputOracleUpgradeable_Test:test_upgrading() (gas: 230843)
 L2StandardBridge_Test:test_ERC20BridgeFailed_whenLocalTokenIsBridge() (gas: 132769)
 L2StandardBridge_Test:test_cannotWithdrawEthWithoutSendingIt() (gas: 21622)
 L2StandardBridge_Test:test_finalizeBridgeERC20FailSendBack() (gas: 498579)
-L2StandardBridge_Test:test_finalizeDeposit() (gas: 93113)
+L2StandardBridge_Test:test_finalizeDeposit() (gas: 93128)
 L2StandardBridge_Test:test_finalizeDeposit_failsToCompleteOutboundTransfer() (gas: 139784)
 L2StandardBridge_Test:test_initialize() (gas: 14823)
 L2StandardBridge_Test:test_receive() (gas: 136330)
-L2StandardBridge_Test:test_withdraw() (gas: 352474)
-L2StandardBridge_Test:test_withdrawTo() (gas: 353229)
-L2StandardBridge_Test:test_withdraw_onlyEOA() (gas: 251979)
+L2StandardBridge_Test:test_withdraw() (gas: 352486)
+L2StandardBridge_Test:test_withdrawTo() (gas: 353241)
+L2StandardBridge_Test:test_withdraw_onlyEOA() (gas: 251991)
 L2ToL1MessagePasserTest:test_burn() (gas: 112089)
 L2ToL1MessagePasserTest:test_initiateWithdrawal_fromContract() (gas: 68037)
-L2ToL1MessagePasserTest:test_initiateWithdrawal_fromEOA() (gas: 74928)
+L2ToL1MessagePasserTest:test_initiateWithdrawal_fromEOA() (gas: 74952)
 LegacyERC20ETH_Test:test_approve() (gas: 10796)
 LegacyERC20ETH_Test:test_burn() (gas: 10681)
 LegacyERC20ETH_Test:test_crossDomain() (gas: 10577)
@@ -121,13 +119,13 @@ LegacyERC20ETH_Test:test_mint() (gas: 10627)
 LegacyERC20ETH_Test:test_transfer() (gas: 10829)
 LegacyERC20ETH_Test:test_transferFrom() (gas: 13008)
 OptimismMintableERC20_Test:test_bridge() (gas: 9828)
-OptimismMintableERC20_Test:test_burn() (gas: 52773)
-OptimismMintableERC20_Test:test_burnRevertsFromNotBridge() (gas: 13219)
+OptimismMintableERC20_Test:test_burn() (gas: 52788)
+OptimismMintableERC20_Test:test_burnRevertsFromNotBridge() (gas: 13228)
 OptimismMintableERC20_Test:test_erc165_supportsInterface() (gas: 7828)
 OptimismMintableERC20_Test:test_l1Token() (gas: 9824)
 OptimismMintableERC20_Test:test_l2Bridge() (gas: 9746)
-OptimismMintableERC20_Test:test_mint() (gas: 65754)
-OptimismMintableERC20_Test:test_mintRevertsFromNotBridge() (gas: 13243)
+OptimismMintableERC20_Test:test_mint() (gas: 65763)
+OptimismMintableERC20_Test:test_mintRevertsFromNotBridge() (gas: 13252)
 OptimismMintableERC20_Test:test_remoteToken() (gas: 9740)
 OptimismMintableTokenFactory_Test:test_bridge() (gas: 7663)
 OptimismMintableTokenFactory_Test:test_createStandardL2Token() (gas: 1113127)
@@ -140,16 +138,16 @@ OptimismPortalUpgradeable_Test:test_upgrading() (gas: 230843)
 OptimismPortal_Test:test_OptimismPortalConstructor() (gas: 17341)
 OptimismPortal_Test:test_OptimismPortalContractCreationReverts() (gas: 14215)
 OptimismPortal_Test:test_OptimismPortalReceiveEth() (gas: 127503)
-OptimismPortal_Test:test_cannotFinalizeRecentWithdrawal() (gas: 24754)
+OptimismPortal_Test:test_cannotFinalizeRecentWithdrawal() (gas: 24757)
 OptimismPortal_Test:test_depositTransaction_NoValueContract() (gas: 76654)
-OptimismPortal_Test:test_depositTransaction_NoValueEOA() (gas: 77108)
+OptimismPortal_Test:test_depositTransaction_NoValueEOA() (gas: 77131)
 OptimismPortal_Test:test_depositTransaction_createWithZeroValueForContract() (gas: 76659)
 OptimismPortal_Test:test_depositTransaction_createWithZeroValueForEOA() (gas: 76980)
 OptimismPortal_Test:test_depositTransaction_withEthValueAndContractContractCreation() (gas: 83680)
 OptimismPortal_Test:test_depositTransaction_withEthValueAndEOAContractCreation() (gas: 75845)
 OptimismPortal_Test:test_depositTransaction_withEthValueFromContract() (gas: 83384)
 OptimismPortal_Test:test_depositTransaction_withEthValueFromEOA() (gas: 84132)
-OptimismPortal_Test:test_invalidWithdrawalProof() (gas: 37266)
+OptimismPortal_Test:test_invalidWithdrawalProof() (gas: 37269)
 OptimismPortal_Test:test_isBlockFinalized() (gas: 113725)
 OptimismPortal_Test:test_simple_isBlockFinalized() (gas: 26652)
 Proxy_Test:test_clashingFunctionSignatures() (gas: 101427)
@@ -221,12 +219,12 @@ RLPReader_Test:test_readList_nonOptimalLongLengthArray1() (gas: 4233)
 RLPReader_Test:test_readList_nonOptimalLongLengthArray2() (gas: 4256)
 RLPReader_Test:test_readList_notLongEnough() (gas: 3874)
 RLPReader_Test:test_readList_shortListMax1() (gas: 40662)
-RLPReader_Test:test_readList_stringList() (gas: 16796)
+RLPReader_Test:test_readList_stringList() (gas: 16844)
 RLPReader_Test:test_readString_emptyString() (gas: 1719)
-RLPReader_Test:test_readString_longString() (gas: 3076)
+RLPReader_Test:test_readString_longString() (gas: 3092)
 RLPReader_Test:test_readString_longString2() (gas: 18524)
-RLPReader_Test:test_readString_shortString() (gas: 2280)
-RLPReader_Test:test_readString_shortString2() (gas: 2775)
+RLPReader_Test:test_readString_shortString() (gas: 2296)
+RLPReader_Test:test_readString_shortString2() (gas: 2791)
 RLPReader_Test:test_readUint256_mediumInt1() (gas: 1235)
 RLPReader_Test:test_readUint256_mediumInt2() (gas: 1237)
 RLPReader_Test:test_readUint256_mediumInt3() (gas: 1238)
@@ -235,31 +233,31 @@ RLPReader_Test:test_readUint256_smallInt2() (gas: 1151)
 RLPReader_Test:test_readUint256_smallInt3() (gas: 1127)
 RLPReader_Test:test_readUint256_smallInt4() (gas: 1128)
 RLPReader_Test:test_readUint256_zero() (gas: 1258)
-RLPWriter_Test:test_writeList_dictTest1() (gas: 37148)
-RLPWriter_Test:test_writeList_empty() (gas: 1751)
-RLPWriter_Test:test_writeList_listoflists() (gas: 10969)
-RLPWriter_Test:test_writeList_listoflists2() (gas: 16779)
-RLPWriter_Test:test_writeList_longlist1() (gas: 40730)
-RLPWriter_Test:test_writeList_longlist2() (gas: 283278)
-RLPWriter_Test:test_writeList_multiList() (gas: 22660)
-RLPWriter_Test:test_writeList_shortListMax1() (gas: 36985)
-RLPWriter_Test:test_writeList_stringList() (gas: 10786)
+RLPWriter_Test:test_writeList_dictTest1() (gas: 37356)
+RLPWriter_Test:test_writeList_empty() (gas: 1759)
+RLPWriter_Test:test_writeList_listoflists() (gas: 11025)
+RLPWriter_Test:test_writeList_listoflists2() (gas: 16867)
+RLPWriter_Test:test_writeList_longlist1() (gas: 40850)
+RLPWriter_Test:test_writeList_longlist2() (gas: 283846)
+RLPWriter_Test:test_writeList_multiList() (gas: 22708)
+RLPWriter_Test:test_writeList_shortListMax1() (gas: 37177)
+RLPWriter_Test:test_writeList_stringList() (gas: 10850)
 RLPWriter_Test:test_writeString_bytestring00() (gas: 1022)
 RLPWriter_Test:test_writeString_bytestring01() (gas: 978)
 RLPWriter_Test:test_writeString_bytestring7f() (gas: 1002)
-RLPWriter_Test:test_writeString_empty() (gas: 1704)
-RLPWriter_Test:test_writeString_longstring() (gas: 17180)
-RLPWriter_Test:test_writeString_longstring2() (gas: 261864)
-RLPWriter_Test:test_writeString_shortstring() (gas: 2544)
-RLPWriter_Test:test_writeString_shortstring2() (gas: 15563)
-RLPWriter_Test:test_writeUint_mediumint() (gas: 8430)
-RLPWriter_Test:test_writeUint_mediumint2() (gas: 8780)
-RLPWriter_Test:test_writeUint_mediumint3() (gas: 9189)
+RLPWriter_Test:test_writeString_empty() (gas: 1712)
+RLPWriter_Test:test_writeString_longstring() (gas: 17196)
+RLPWriter_Test:test_writeString_longstring2() (gas: 261872)
+RLPWriter_Test:test_writeString_shortstring() (gas: 2560)
+RLPWriter_Test:test_writeString_shortstring2() (gas: 15579)
+RLPWriter_Test:test_writeUint_mediumint() (gas: 8446)
+RLPWriter_Test:test_writeUint_mediumint2() (gas: 8796)
+RLPWriter_Test:test_writeUint_mediumint3() (gas: 9205)
 RLPWriter_Test:test_writeUint_smallint() (gas: 7350)
 RLPWriter_Test:test_writeUint_smallint2() (gas: 7352)
 RLPWriter_Test:test_writeUint_smallint3() (gas: 7372)
 RLPWriter_Test:test_writeUint_smallint4() (gas: 7351)
-RLPWriter_Test:test_writeUint_zero() (gas: 7798)
+RLPWriter_Test:test_writeUint_zero() (gas: 7806)
 ResourceMetering_Test:test_initialResourceParams() (gas: 8964)
 ResourceMetering_Test:test_updateNoGasDelta() (gas: 2008317)
 ResourceMetering_Test:test_updateOneEmptyBlock() (gas: 18171)
@@ -268,8 +266,8 @@ ResourceMetering_Test:test_updateTenEmptyBlocks() (gas: 20571)
 ResourceMetering_Test:test_updateTwoEmptyBlocks() (gas: 20594)
 ResourceMetering_Test:test_useMaxSucceeds() (gas: 8017087)
 ResourceMetering_Test:test_useMoreThanMaxReverts() (gas: 16047)
-Semver_Test:test_behindProxy() (gas: 506870)
-Semver_Test:test_version() (gas: 9451)
+Semver_Test:test_behindProxy() (gas: 506894)
+Semver_Test:test_version() (gas: 9475)
 SequencerFeeVault_Test:test_constructor() (gas: 7678)
 SequencerFeeVault_Test:test_minWithdrawalAmount() (gas: 5440)
 SequencerFeeVault_Test:test_receive() (gas: 17338)