1. 17 Jan, 2024 13 commits
    • Danyal Prout's avatar
      4844: Add missing consolidation properties (#8976) · e0e7e95c
      Danyal Prout authored
      * Add missing consolidation properties
      
      * Split by hardfork
      e0e7e95c
    • protolambda's avatar
      specs: specify Ecotone SystemConfig scalar data and upgrade behavior (#8991) · c1f1c66c
      protolambda authored
      * specs: specify Ecotone SystemConfig scalar data and upgrade behavior
      
      * specs: ecotone scalar specs review fixes
      
      * specs: clarify uint256/bytes32 wording
      
      * specs: clarify 4844 blob fee usage
      
      * specs: L1 attributes deposit Ecotone contents clarification review fixes
      c1f1c66c
    • clabby's avatar
      feat(ctb): Keccak dispute DA gas estimation (#8986) · 10c981b0
      clabby authored
      * init keccak proposals
      
      * merklelization
      
      * merk fixes
      
      * Preimage parts, challenge tests
      
      * Tests
      
      * bindings + snapshots
      
      * lint
      
      * tests
      
      * bind
      
      * :broom:, checks, tests
      
      * Contiguous state tests
      
      * :broom:, r4r
      
      * review
      
      * rabbit
      
      * @refcell review
      
      * bindings
      
      * bindings
      
      * @tynes review
      
      * @inphi review
      
      * Keccak dispute DA gas estimation
      
      * worst-case, all bits set
      
      * bindings
      
      * bindings
      
      * Add challenger indexing
      
      * slither
      
      * Add append-only array of proposal keys
      
      * rebase
      
      * rebase
      10c981b0
    • Juan C's avatar
      Add Kontrol proofs for OptimismPortal (#8634) · 81955146
      Juan C authored
      * Remove `OptimismPortal` from `Counter.t.sol`
      
      * Add simple state diff contract
      
      * Add `broadcast` modifier
      
      * Add json cleaning scripts
      
      * Add `statediff.sh`: execution script for summary contract generation
      
      * Add second Counter instance
      
      * Update execution script
      
      * Add `StateDiffCheatcode` contract
      
      * `run-kontrol.sh`: run `StateDiffCheatcode.recreateDeployment` test
      
      * `run-kontrol.sh`: Set `FOUNDRY_PROFILE` flag to `kontrol`
      
      * `run-kontrol.sh`: Remove `--no-forge-build`
      
      * Add `stategen` foundry profile
      
      * Update instructions to create a custom deployment from `Deploy`
      
      * Add `run-kontrol-local.sh`
      
      * Reflect `Counter.sol` being moved to kontrol folder
      
      * `statediff.sh`: update for newest summary kontrol version
      
      * Add `test/kontrol/state-change/` folder
      
      * forge install: kontrol-cheatcodes
      
      * foundry.toml: add `kontrol-cheatcodes` remapping
      
      * statediff.sh: Execute custom deployment script with `kontrol` profile
      
      * `run-kontrol-local.sh`: make `test_proveWithdrawalTransaction_paused` the default
      
      * `statediff.sh`: create dummy save files if they don't exist
      
      * `statediff.sh`: replace mustGetAddress by getAddress in Deploy.s.sol
      
      * `foundry.toml`: add `read` access to `kout` folder
      
      * Update addresses to `internal constant`s
      
      * `forge-std`: update version to `80a8f6e`
      
      * Save guardian address
      
      * Decrease `forge script` verbosity
      
      * Update summary contracts to latest version
      
      * Rename `StateDiff` to `KontrolDeployment`
      
      * Rename `statediff.sh` to `makeSummaryDeployment.sh` and move to `kontrol` folder
      
      * Update `makeSummaryDeployment.sh`
      
      * Change summary name to `DeploymentSummary`
      
      * Move deployment files and `KontrolUtils` to `utils`
      
      * Rename `StateDiffTest.sol` to `OptimismPortal.k.sol`
      
      * `OptimismPortal.k.sol`: fix typo renaming `DeploymentSummary`
      
      * Rename `state-change` to `proofs`
      
      * Move scripts under `kontrol/kontrol/scripts`
      
      * Add json cleaning scripts under `scripts/json` folder
      
      * `run-kontrol-local.sh`: update module name
      
      * `DeploymentSummary.sol`: fix typo on importing code contract
      
      * `KontrolDeployment`: do not save the guardian address
      
      * `run-kontrol-local.sh`: update proof names
      
      * Update kontrol foundry profile names
      
      * `run-kontrol-local.sh`: remove unnecessary comments
      
      * `run-kontrol.sh`: add `proveWithdrawalTransaction` proof to run
      
      * Tidy up `run-kontrol-local.sh`
      
      * Update `run-kontrol.sh`
      
      * `OptimismPortal.k.sol`: clean file
      
      * `OptimismPortal.k.sol`: add `test_finalizeWithdrawalTransaction_paused_reverts` proof
      
      * Add `test_finalizeWithdrawalTransaction_paused` to `run-kontrol-local.sh`
      
      * `.gitignore`: add `kout-deployment` and `kout-proofs`
      
      * `OptimismPortalKontrol`: make size of symbolic bytes param be 320
      
      * `KontrolUtils`: optimizations for symbolic `withdrawalProof`
      
      * Add `README.md`
      
      * Run `forge fmt`
      
      * Move dummy tests to `proofs/tests`
      
      * Update `run-kontrol.sh`
      
      * Update `DeploymentSummaryCode.sol`
      
      * `README.md`: add execution instructions
      
      * Update symbolic optimizations
      
      * Cleanup `make-summary-deployment.sh`
      
      * Cleanup `KontrolUtils`
      
      * `kontrol/README.md`: add description for `pausability-lemmas.k`
      
      * Add description for Kontrol Foundry profiles
      
      * Move `kontrol/kontrol` contents to `kontrol`
      
      * Change interface naming convention
      
      * `make-summary-deployment.sh`: `set -euo pipefail`
      
      * `run-kontrol.sh`: reorg `regen` and `rekompile` empty assignments
      
      * `KontrolUtils`: update name parameters of `createWithdrawalTransaction`
      
      * `OptimismPortal.k.sol`: Replace `assert` by `requires`
      
      * `OptimismPortal.k.sol`: remove `test_kontrol_in_foundry`
      
      * `.gitignore`: update kontrol logs location
      
      * `make-summary-deployment.sh`: change `sed` for `awk` and make its changes transient
      
      * `kontrol/README.md`: reflect dissolution of `kontrol/kontrol`
      
      * Keep track of statediff deployment json instead of `DeploymentSummary`
      
      * `KontrolUtils`: `freshAddress` typo
      
      * `KontrolUtils`: set first symbolic workaround; symb `bytes[].length` 10
      
      * forge install: forge-std
      
      v1.7.4
      
      * `make-summary-deployment.sh`: explanation for `mustGetAddress` replacement
      
      * `make-summary-deployment.sh`: missing `utils` folder in summary dir
      
      * Merging local and container script; New call methdo  to run locally otherwise no input expected or accepted
      
      * Enforcing new paramters local/container/dev for various run scenarios of version enforcement and developer god mode for expereimenting with versions/builds of kontrol
      
      * usage wording improvement
      
      * Fixing scenario no arguments passed and shifting
      
      * Update packages/contracts-bedrock/test/kontrol/scripts/make-summary-deployment.sh
      Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
      
      * Update packages/contracts-bedrock/test/kontrol/scripts/run-kontrol.sh
      Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
      
      * Typo in packages/contracts-bedrock/test/kontrol/proofs/utils/KontrolUtils.sol
      Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
      
      * Update description of packages/contracts-bedrock/test/kontrol/scripts/run-kontrol.sh
      Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
      
      * Document `run-kontrol.sh` in README
      
      * README.md: Update description of the Kontrol folder
      
      * README.md: refine foundry profile description
      
      * remove remaining `kontrol/kontrol` instances
      
      * correct location of `run-kontrol.sh` script
      
      * OptimismPortal.k.sol: rename `test_*` to `proof_*`
      
      * Kontrol-Deploy.json: update to latest code
      
      * make-summary-deployment.sh: add `forge fmt` as last summary gen step
      
      * README.md: fix formatting typo
      
      * contracts-bedrock: update bindings (kontrol proofs)
      
      * Replace `/* */` comments by `//`
      
      * OptimismPortal.k.sol: remove commented `_withdrawalProof` argument
      
      * Remove `CounterNames.json`
      
      * KontrolUtils.sol: remove unused functions
      
      * Describe `clean_json.py` and `reverse_key_values.py`
      
      * test/kontrol/README.md: fix typos
      
      * OptimismPortal.k.sol: license and typo
      
      * KontrolUtils: document the goal of `arrayLength` range
      
      * `OptimismPortal.k.sol`: rename `proof_*` to `prove_*`
      
      * Remove `createWithdrawalTransaction` function; better proof parameters
      
      * OptimismPortal.k.sol: Add tracking issue for symbolic `bytes` support
      
      * Add deployment summaries license and disclaimer comment
      
      * versions.json: bump Kontrol to 0.1.117
      
      * run-kontrol.sh: update Kontrol version getter method
      
      * run-kontrol.sh: fix typo for enforcing local Kontrol version
      
      * `OptimismPortal.k.sol`: remove `== true` no-ops
      
      * contracts-bedrock: update bindings (kontrol proofs)
      
      ---------
      Co-authored-by: default avatarF-WRunTime <Freeman.Wenzl@runtimeverification.com>
      Co-authored-by: default avatarFreeman <105403280+F-WRunTime@users.noreply.github.com>
      Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
      81955146
    • Park Changwan's avatar
    • clabby's avatar
      feat(ctb): Optimistic large preimages (#8947) · bf9a6979
      clabby authored
      * init keccak proposals
      
      * merklelization
      
      * merk fixes
      
      * Preimage parts, challenge tests
      
      * Tests
      
      * bindings + snapshots
      
      * lint
      
      * tests
      
      * bind
      
      * :broom:, checks, tests
      
      * Contiguous state tests
      
      * :broom:, r4r
      
      * review
      
      * rabbit
      
      * @refcell review
      
      * bindings
      
      * bindings
      
      * @tynes review
      
      * @inphi review
      bf9a6979
    • dependabot[bot]'s avatar
      build(deps-dev): bump wagmi from 2.1.2 to 2.2.1 (#9027) · 58c9b324
      dependabot[bot] authored
      Bumps [wagmi](https://github.com/wevm/wagmi/tree/HEAD/packages/react) from 2.1.2 to 2.2.1.
      - [Release notes](https://github.com/wevm/wagmi/releases)
      - [Changelog](https://github.com/wevm/wagmi/blob/main/packages/react/CHANGELOG.md)
      - [Commits](https://github.com/wevm/wagmi/commits/wagmi@2.2.1/packages/react)
      
      ---
      updated-dependencies:
      - dependency-name: wagmi
        dependency-type: direct:development
        update-type: version-update:semver-minor
      ...
      Signed-off-by: default avatardependabot[bot] <support@github.com>
      Co-authored-by: default avatardependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
      58c9b324
    • Roberto Bayardo's avatar
      Ecotone specs: clarify post-Ecotone handling of overhead/scalar values (#8997) · 992a84ac
      Roberto Bayardo authored
      * clarify overhead/scalar values are irrelevant after Ecotone upgrade block
      
      * specs: clarify ecotone L1 attributes call
      
      ---------
      Co-authored-by: default avatarprotolambda <proto@protolambda.com>
      992a84ac
    • Mark Tyneway's avatar
      deps: remove patch-package (#8963) · ffb0413f
      Mark Tyneway authored
      * deps: remove patch-package
      
      Removes the patch-package dep as well as the `patches` directory
      from the repo.
      
      Closes https://github.com/ethereum-optimism/client-pod/issues/455
      
      Based on conversation in https://github.com/ethereum-optimism/optimism/pull/8731#discussion_r1447689073
      
      * scripts: remove postinstall
      ffb0413f
    • refcell.eth's avatar
      ccf1057a
    • Roberto Bayardo's avatar
      baseFee naming consistency (#8973) · 40d3f4ff
      Roberto Bayardo authored
      40d3f4ff
    • Wyatt Barnes's avatar
      Update deployed bytecode comparison (#8984) · 077254ed
      Wyatt Barnes authored
      077254ed
    • Adrian Sutton's avatar
      op-e2e: Increase no output timeout (#9009) · b06b3ede
      Adrian Sutton authored
      Increases the timeout for tests producing no output from 10m to 20m.
      b06b3ede
  2. 16 Jan, 2024 7 commits
  3. 15 Jan, 2024 4 commits
    • Mark Tyneway's avatar
      contracts-bedrock: attempt to fix flake (#8983) · ab926c5f
      Mark Tyneway authored
      * contracts-bedrock: attempt to fix flake
      
      The xdm invariant tests are failing, attempt to fix through
      ensuring that proxies are ignored.
      
      Example result of a failing test:
      
      ```
      Failing tests:
      Encountered 1 failing test in test/invariants/CrossDomainMessenger.t.sol:XDM_MinGasLimits_Reverts
      [FAIL. Reason: <empty revert data>]
      [Sequence]
      sender=0x420000000000000000000000000000000000078C addr=[test/invariants/CrossDomainMessenger.t.sol:RelayActor]0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98 calldata=relay(uint8,uint8,bytes) args=[97, 74, 0x0000000000000000000000000000000000000000000000000000000000001e4c]
      sender=0x0000000000000000000000000000000000002f8D addr=0x420000000000000000000000000000000000078C calldata=0x4f1ef28600000000000000000000000000000000000000000000000000000000000025f800000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000180e args=[]
      sender=0x00000000000000000000000000000000000010e4 addr=[test/invariants/CrossDomainMessenger.t.sol:RelayActor]0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98 calldata=relay(uint8,uint8,bytes) args=[254, 3, 0x08daedb9c7ea07d62e421fe926b7d73f04b73c8fd120be847e937abf2659f31e4137dabd04c355a93fd71b78050a02f12e1ab7d353]
      sender=0x0000000000000000000000000000000000001533 addr=0x420000000000000000000000000000000000078C calldata=0x4f1ef2860000000000000000000000002dfbf40ac423099dff1d47cbf2198311a132084b00000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000020c32e06324e64ab299df2856f5d081a93b30c98764b1fac5213339a070c13a0a4 args=[]
      sender=0x0000000000000000000000000000000018160Ddc addr=[test/invariants/CrossDomainMessenger.t.sol:RelayActor]0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98 calldata=relay(uint8,uint8,bytes) args=[10, 12, 0x1998c6d2b9539a719f8393a7bd3a90611f940901e3f2ddc44866d450f60a21b99391b804ea77473a42c7e869123cb61c2f137f3f9116568a4709a86615d0617555]
      sender=0x6F77000000000000000000000000000000000001 addr=[test/invariants/CrossDomainMessenger.t.sol:RelayActor]0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98 calldata=relay(uint8,uint8,bytes) args=[1, 0, 0x3ce36e01a862e656ef6d7e534c604f7371751d22722f7d27382b5bc92b1b926dacb6fe80]
      sender=0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7 addr=0x420000000000000000000000000000000000078C calldata=0x8f283970000000000000000000000000f0cc4c31297072a46cdf740fbfaf9d6d35017c06 args=[]
      sender=0xB80194025AeE4A9126B156619C8943372b72dA2b addr=[test/invariants/CrossDomainMessenger.t.sol:RelayActor]0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98 calldata=relay(uint8,uint8,bytes) args=[0, 1, 0xeca8d0fabc96e0c64ec9faed41e05a5a0cb6ebb9de5c5f]
       invariant_minGasLimits() (runs: 256, calls: 8168, reverts: 2278)
      
      Encountered a total of 1 failing tests, 879 tests succeeded
      ```
      
      I believe the issue is `addr=0x420000000000000000000000000000000000078C` - A predeploy is set to
      `addr`. Not sure if this will 100% fix the issue but first attempt.
      
      * docs: fix
      ab926c5f
    • David Theodore's avatar
      fixed two mutex usage bugs (#9004) · 0ac6a26f
      David Theodore authored
      0ac6a26f
    • dependabot[bot]'s avatar
      build(deps): bump github.com/jackc/pgx/v5 from 5.5.1 to 5.5.2 (#9006) · 20d98629
      dependabot[bot] authored
      Bumps [github.com/jackc/pgx/v5](https://github.com/jackc/pgx) from 5.5.1 to 5.5.2.
      - [Changelog](https://github.com/jackc/pgx/blob/master/CHANGELOG.md)
      - [Commits](https://github.com/jackc/pgx/compare/v5.5.1...v5.5.2)
      
      ---
      updated-dependencies:
      - dependency-name: github.com/jackc/pgx/v5
        dependency-type: direct:production
        update-type: version-update:semver-patch
      ...
      Signed-off-by: default avatardependabot[bot] <support@github.com>
      Co-authored-by: default avatardependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
      20d98629
    • Adrian Sutton's avatar
      specs: Fix link syntax (#9003) · d75200b8
      Adrian Sutton authored
      d75200b8
  4. 14 Jan, 2024 2 commits
  5. 13 Jan, 2024 7 commits
  6. 12 Jan, 2024 7 commits