fix docker build

.github/actions/docker-image/action.yml

@@ -16,6 +16,9 @@ inputs:
   file:
     required: true
     type: string
+  push:
+    required: true
+    type: boolean
 
 outputs:
   digest:
@@ -46,7 +49,7 @@ runs:
         platforms: ${{ inputs.platforms }}
         cache-from: type=registry,ref=${{ steps.metadata.outputs.tags }}
         cache-to: type=inline
-        outputs: type=image,name=${{ inputs.images }},push-by-digest=true,name-canonical=true,push=true
+        outputs: type=image,name=${{ inputs.images }},push-by-digest=true,name-canonical=true,push=${{ inputs.push }}
 
     # This will upload the digest for each architecture to the same artifact,
     # Note: upload-artifact@v4 will no longer support this.

.github/workflows/ci.yml

@@ -180,6 +180,9 @@ jobs:
         if: steps.cache-cbrotli.outputs.cache-hit != 'true'
         run: ./scripts/build-brotli.sh -w -d
 
+      - name: Install solidty dependencies
+        run: cd contracts && yarn install && forge install
+
       - name: Build
         run: make build -j
 

.github/workflows/espresso-docker.yml

@@ -6,16 +6,13 @@
 # so it's possible this was always the culprit.
 #
 # After building, the images are merged together to make a multiplatform image.
-#
-# The latest wavm machine is also copied and exported as an artifact. In nitro
-# this seems to be later used as machine for the non-dev nitro-node build.
-# For more details on that see the Dockerfile and ./scripts/download.sh
 name: Espresso Docker build CI
 run-name: Docker build CI triggered from @${{ github.actor }} of ${{ github.head_ref }}
 
 on:
   workflow_dispatch:
   merge_group:
+  pull_request:
   push:
     branches:
       - master
@@ -35,20 +32,19 @@ jobs:
     strategy:
       matrix:
         platform: [linux/amd64, linux/arm64]
-        include:
-          - platform: linux/amd64
-            runs-on: ubuntu-latest
-          - platform: linux/arm64
-            runs-on: buildjet-4vcpu-ubuntu-2204-arm
+        # Don't run arm build on PRs, "exclude:" is processed before "include:",
+        # so we avoid using `include:`.
+        exclude:
+          - platform: ${{ github.event_name == 'pull_request' && 'linux/arm64' }}
 
-    runs-on: ${{ matrix.runs-on }}
+    runs-on: ${{ matrix.platform == 'linux/amd64' && 'ubuntu-latest' || 'buildjet-4vcpu-ubuntu-2204-arm' }}
 
     steps:
       - uses: cargo-bins/cargo-binstall@main
-        if: matrix.runs-on == 'ubuntu-latest'
+        if: ${{ runner.arch != 'ARM64' }}
 
       - name: Make more disk space available on public runner
-        if: matrix.runs-on == 'ubuntu-latest'
+        if: ${{ runner.arch != 'ARM64' }}
         run: |
           # rmz seems to be faster at deleting files than rm
           cargo binstall -y rmz
@@ -94,6 +90,7 @@ jobs:
 
       - name: Login to Github Container Repo
         uses: docker/login-action@v3
+        if: github.event_name != 'pull_request'
         with:
           registry: ghcr.io
           username: ${{ github.repository_owner  }}
@@ -107,6 +104,7 @@ jobs:
           images: ghcr.io/espressosystems/nitro-espresso-integration/nitro-node
           target: nitro-node
           platforms: ${{ matrix.platform }}
+          push: ${{ github.event_name != 'pull_request' }}
 
       - name: Build nitro-node-dev image
         uses: ./.github/actions/docker-image
@@ -117,37 +115,7 @@ jobs:
           images: ghcr.io/espressosystems/nitro-espresso-integration/nitro-node-dev
           target: nitro-node-dev
           platforms: ${{ matrix.platform }}
-
-      # The module root is not identical for the ARM build so we upload
-      # the binary only for AMD64.
-
-      - name: Extract WAVM machine from container and print its root
-        if: matrix.platform == 'linux/amd64'
-        id: module-root
-        run: |
-          # Unfortunately, `docker cp` seems to always result in a "permission denied"
-          # We work around this by piping a tarball through stdout
-          digest="${{ steps.nitro-node-dev.outputs.digest }}"
-          image=ghcr.io/espressosystems/nitro-espresso-integration/nitro-node-dev@$digest
-          docker run --rm --entrypoint tar $image -cf - target/machines/latest | tar xf -
-          ls -lah target/machines/latest
-          module_root="$(cat "target/machines/latest/module-root.txt")"
-          echo "module-root=$module_root" >> $GITHUB_OUTPUT
-          echo -e "\x1b[1;34mWAVM module root:\x1b[0m $module_root"
-
-      - name: Upload WAVM machine as artifact
-        uses: actions/upload-artifact@v3
-        if: matrix.platform == 'linux/amd64'
-        with:
-          name: wavm-machine-${{ steps.module-root.outputs.module-root }}
-          path: target/machines/latest/*
-          if-no-files-found: error
-
-      - name: Release wasm binary
-        uses: softprops/action-gh-release@v1
-        if: matrix.platform == 'linux/amd64' && startsWith(github.ref, 'refs/tags/')
-        with:
-          files: target/machines/latest/*
+          push: ${{ github.event_name != 'pull_request' }}
 
       - name: Check available space after CI run
         if: "!cancelled()"
@@ -158,7 +126,10 @@ jobs:
   #
   # For documentation refer to
   # https://docs.docker.com/build/ci/github-actions/multi-platform/#distribute-build-across-multiple-runners
+  # Only building for AMD64
   merge_into_multiplatform_images:
+  # We only build the ARM images for non-PR builds, so skip this job if we're on PRs.
+    if: github.event_name != 'pull_request'
     needs:
       - docker_build
     strategy:

.github/workflows/espresso-e2e.yml

@@ -124,6 +124,9 @@ jobs:
         if: steps.cache-cbrotli.outputs.cache-hit != 'true'
         run: ./scripts/build-brotli.sh -w -d
 
+      - name: Install solidty dependencies
+        run: cd contracts && yarn install && forge install
+
       - name: Build
         run: make build build-replay-env -j
 

Dockerfile

@@ -119,6 +119,8 @@ COPY scripts/build-brotli.sh scripts/
 COPY brotli brotli
 RUN apt-get update && apt-get install -y cmake
 RUN NITRO_BUILD_IGNORE_TIMESTAMPS=1 make build-prover-header
+
+RUN apt-get install -y libssl-dev pkg-config
 RUN NITRO_BUILD_IGNORE_TIMESTAMPS=1 make build-espresso-crypto-lib
 
 FROM scratch AS prover-header-export

Makefile

@@ -571,8 +571,7 @@ contracts/test/prover/proofs/%.json: $(arbitrator_cases)/%.wasm $(prover_bin)
 
 .make/solidity: $(DEP_PREDICATE) safe-smart-account/contracts/*/*.sol safe-smart-account/contracts/*.sol contracts/src/*/*.sol .make/yarndeps $(ORDER_ONLY_PREDICATE) .make
 	yarn --cwd safe-smart-account build
-	yarn --cwd contracts build
-	yarn --cwd contracts build:forge:yul
+	yarn --cwd contracts build:all
 	@touch $@
 
 .make/yarndeps: $(DEP_PREDICATE) contracts/package.json contracts/yarn.lock $(ORDER_ONLY_PREDICATE) .make

arbnode/batch_poster.go

@@ -85,7 +85,8 @@ var (
 const (
 	batchPosterSimpleRedisLockKey = "node.batch-poster.redis-lock.simple-lock-key"
 
-	sequencerBatchPostMethodName          = "addSequencerL2BatchFromOrigin0"
+	oldSequencerBatchPostMethodName       = "addSequencerL2BatchFromOrigin1"
+	newSequencerBatchPostMethodName       = "addSequencerL2BatchFromOrigin"
 	sequencerBatchPostWithBlobsMethodName = "addSequencerL2BatchFromBlobs"
 )
 
@@ -620,7 +621,6 @@ func (b *BatchPoster) submitEspressoTransactionPos(pos arbutil.MessageIndex) err
 
 	// Store the pos in the database to be used later to submit the message
 	// to hotshot for finalization.
-	log.Info("submitting pos", "pos", pos)
 	err = b.streamer.SubmitEspressoTransactionPos(pos, b.streamer.db.NewBatch())
 	if err != nil {
 		log.Error("failed to submit espresso transaction pos", "pos", pos, "err", err)
@@ -1088,27 +1088,20 @@ func (b *BatchPoster) encodeAddBatch(
 	delayedMsg uint64,
 	use4844 bool,
 ) ([]byte, []kzg4844.Blob, error) {
-	methodName := sequencerBatchPostMethodName
-	if use4844 {
-		methodName = sequencerBatchPostWithBlobsMethodName
-	}
-	method, ok := b.seqInboxABI.Methods[methodName]
-	if !ok {
-		return nil, nil, errors.New("failed to find add batch method")
-	}
+
 	var calldata []byte
 	var kzgBlobs []kzg4844.Blob
+	fullCalldata := make([]byte, 0)
 	var err error
-	var userData []byte
 	if use4844 {
+		method, ok := b.seqInboxABI.Methods[sequencerBatchPostWithBlobsMethodName]
+		if !ok {
+			return nil, nil, errors.New("failed to find add batch method")
+		}
 		kzgBlobs, err = blobs.EncodeBlobs(l2MessageData)
 		if err != nil {
 			return nil, nil, fmt.Errorf("failed to encode blobs: %w", err)
 		}
-		_, blobHashes, err := blobs.ComputeCommitmentsAndHashes(kzgBlobs)
-		if err != nil {
-			return nil, nil, fmt.Errorf("failed to compute blob hashes: %w", err)
-		}
 		// EIP4844 transactions to the sequencer inbox will not use transaction calldata for L2 info.
 		calldata, err = method.Inputs.Pack(
 			seqNum,
@@ -1118,46 +1111,58 @@ func (b *BatchPoster) encodeAddBatch(
 			new(big.Int).SetUint64(uint64(newMsgNum)),
 		)
 		if err != nil {
-			return nil, nil, fmt.Errorf("failed to pack calldata: %w", err)
+			return nil, nil, fmt.Errorf("failed to pack calldata for eip-4844: %w", err)
+		}
+		fullCalldata = append(fullCalldata, method.ID...)
+		fullCalldata = append(fullCalldata, calldata...)
+	} else {
+		// initially constructing the calldata using the old oldSequencerBatchPostMethodName method
+		// This will allow us to get the attestation quote on the hash of the data
+		method, ok := b.seqInboxABI.Methods[oldSequencerBatchPostMethodName]
+		if !ok {
+			return nil, nil, errors.New("failed to find add batch method")
 		}
-		// userData has blobHashes along with other calldata for EIP-4844 transactions
-		userData, err = method.Inputs.Pack(
+		calldata, err = method.Inputs.Pack(
 			seqNum,
+			l2MessageData,
 			new(big.Int).SetUint64(delayedMsg),
 			b.config().gasRefunder,
 			new(big.Int).SetUint64(uint64(prevMsgNum)),
 			new(big.Int).SetUint64(uint64(newMsgNum)),
-			blobHashes,
 		)
+
 		if err != nil {
-			return nil, nil, fmt.Errorf("failed to pack user data: %w", err)
+			return nil, nil, fmt.Errorf("failed to pack calldata without attestation quote: %w", err)
 		}
-		_, err = b.getAttestationQuote(userData)
+
+		attestationQuote, err := b.getAttestationQuote(calldata)
 		if err != nil {
 			return nil, nil, fmt.Errorf("failed to get attestation quote: %w", err)
 		}
-	} else {
+
+		//  construct the calldata with attestation quote
+		method, ok = b.seqInboxABI.Methods[newSequencerBatchPostMethodName]
+		if !ok {
+			return nil, nil, errors.New("failed to find add batch method")
+		}
+
 		calldata, err = method.Inputs.Pack(
 			seqNum,
 			l2MessageData,
 			new(big.Int).SetUint64(delayedMsg),
 			b.config().gasRefunder,
 			new(big.Int).SetUint64(uint64(prevMsgNum)),
 			new(big.Int).SetUint64(uint64(newMsgNum)),
+			attestationQuote,
 		)
 
 		if err != nil {
-			return nil, nil, fmt.Errorf("failed to pack calldata: %w", err)
-		}
-
-		_, err = b.getAttestationQuote(calldata)
-		if err != nil {
-			return nil, nil, fmt.Errorf("failed to get attestation quote: %w", err)
+			return nil, nil, fmt.Errorf("failed to pack calldata with attestation quote: %w", err)
 		}
+		fullCalldata = append([]byte{}, method.ID...)
+		fullCalldata = append(fullCalldata, calldata...)
 	}
-	// TODO: when contract is updated add attestationQuote to the calldata
-	fullCalldata := append([]byte{}, method.ID...)
-	fullCalldata = append(fullCalldata, calldata...)
+
 	return fullCalldata, kzgBlobs, nil
 }
 
@@ -1647,6 +1652,7 @@ func (b *BatchPoster) maybePostSequencerBatch(ctx context.Context) (bool, error)
 		return false, fmt.Errorf("produced %v blobs for batch but a block can only hold %v (compressed batch was %v bytes long)", len(kzgBlobs), params.MaxBlobGasPerBlock/params.BlobTxBlobGasPerBlob, len(sequencerMsg))
 	}
 	accessList := b.accessList(batchPosition.NextSeqNum, b.building.segments.delayedMsg)
+
 	// On restart, we may be trying to estimate gas for a batch whose successor has
 	// already made it into pending state, if not latest state.
 	// In that case, we might get a revert with `DelayedBackwards()`.

arbnode/node.go

@@ -51,7 +51,7 @@ import (
 	"github.com/offchainlabs/nitro/wsbroadcastserver"
 )
 
-func GenerateRollupConfig(prod bool, wasmModuleRoot common.Hash, rollupOwner common.Address, chainConfig *params.ChainConfig, serializedChainConfig []byte, loserStakeEscrow common.Address) rollupgen.Config {
+func GenerateRollupConfig(prod bool, wasmModuleRoot common.Hash, rollupOwner common.Address, chainConfig *params.ChainConfig, serializedChainConfig []byte, loserStakeEscrow common.Address, espressoTEEVerifier common.Address) rollupgen.Config {
 	var confirmPeriod uint64
 	if prod {
 		confirmPeriod = 45818
@@ -67,6 +67,7 @@ func GenerateRollupConfig(prod bool, wasmModuleRoot common.Hash, rollupOwner com
 		Owner:                    rollupOwner,
 		LoserStakeEscrow:         loserStakeEscrow,
 		ChainId:                  chainConfig.ChainID,
+		EspressoTEEVerifier:      espressoTEEVerifier,
 		// TODO could the ChainConfig be just []byte?
 		ChainConfig: string(serializedChainConfig),
 		SequencerInboxMaxTimeVariation: rollupgen.ISequencerInboxMaxTimeVariation{

arbnode/sequencer_inbox.go

@@ -45,7 +45,7 @@ func init() {
 	}
 	batchDeliveredID = sequencerBridgeABI.Events["SequencerBatchDelivered"].ID
 	sequencerBatchDataABI = sequencerBridgeABI.Events[sequencerBatchDataEvent]
-	addSequencerL2BatchFromOriginCallABI = sequencerBridgeABI.Methods["addSequencerL2BatchFromOrigin0"]
+	addSequencerL2BatchFromOriginCallABI = sequencerBridgeABI.Methods["addSequencerL2BatchFromOrigin"]
 }
 
 type SequencerInbox struct {

ci_skip_tests

@@ -46,6 +46,9 @@ TestTwoNodesLong
 # These tests are failing with celestia integration
 TestEmptyCliConfig
 TestChallengeToTooFar
+TestLyingSequencer
+TestLyingSequencerLocalDAS
+TestStylusOpcodeTraceEquivalence
 
 # These tests are specific to Espresso and we have a dedicated
 # CI workflow for them. See: .github/workflows/espresso-e2e.yml

cmd/deploy/deploy.go

@@ -44,6 +44,7 @@ func main() {
 	deployAccount := flag.String("l1DeployAccount", "", "l1 seq account to use (default is first account in keystore)")
 	ownerAddressString := flag.String("ownerAddress", "", "the rollup owner's address")
 	sequencerAddressString := flag.String("sequencerAddress", "", "the sequencer's address")
+	espressoTEEVerifierAddressString := flag.String("espressoTEEVerifierAddress", "", "the address of the espressoTEEVerifier contract")
 	batchPostersString := flag.String("batchPosters", "", "the comma separated array of addresses of batch posters. Defaults to sequencer address")
 	batchPosterManagerAddressString := flag.String("batchPosterManger", "", "the batch poster manger's address. Defaults to owner address")
 	nativeTokenAddressString := flag.String("nativeTokenAddress", "0x0000000000000000000000000000000000000000", "address of the ERC20 token which is used as native L2 currency")
@@ -97,6 +98,11 @@ func main() {
 	if !common.IsHexAddress(*sequencerAddressString) && len(*sequencerAddressString) > 0 {
 		panic("specified sequencer address is invalid")
 	}
+
+	esperssoTEEVerifierAddress := common.HexToAddress(*espressoTEEVerifierAddressString)
+	if !common.IsHexAddress(esperssoTEEVerifierAddress.String()) {
+		panic("specified espressoTEEVerifier address is invalid")
+	}
 	sequencerAddress := common.HexToAddress(*sequencerAddressString)
 
 	if !common.IsHexAddress(*ownerAddressString) {
@@ -187,7 +193,7 @@ func main() {
 		batchPosters,
 		batchPosterManagerAddress,
 		*authorizevalidators,
-		arbnode.GenerateRollupConfig(*prod, moduleRoot, ownerAddress, &chainConfig, chainConfigJson, loserEscrowAddress),
+		arbnode.GenerateRollupConfig(*prod, moduleRoot, ownerAddress, &chainConfig, chainConfigJson, loserEscrowAddress, esperssoTEEVerifierAddress),
 		nativeToken,
 		maxDataSize,
 		true,

das/celestia/tree/merkle_tree.go

@@ -34,6 +34,7 @@ func getSplitPoint(length int64) int64 {
 	}
 	uLength := uint(length)
 	bitlen := bits.Len(uLength)
+	// nolint:all
 	k := int64(1 << uint(bitlen-1))
 	if k == length {
 		k >>= 1

das/syncing_fallback_storage.go

@@ -51,7 +51,7 @@ func init() {
 	}
 	BatchDeliveredID = sequencerInboxABI.Events[sequencerBatchDeliveredEvent].ID
 	sequencerBatchDataABI = sequencerInboxABI.Events[sequencerBatchDataEvent]
-	addSequencerL2BatchFromOriginCallABI = sequencerInboxABI.Methods["addSequencerL2BatchFromOrigin0"]
+	addSequencerL2BatchFromOriginCallABI = sequencerInboxABI.Methods["addSequencerL2BatchFromOrigin"]
 }
 
 type SyncToStorageConfig struct {