encoding_test.go

package sequencer_test

import (
	"bytes"
	"encoding/hex"
	"encoding/json"
	"os"
	"testing"

	"github.com/ethereum-optimism/optimism/go/batch-submitter/drivers/sequencer"
	l2types "github.com/ethereum-optimism/optimism/l2geth/core/types"
	l2rlp "github.com/ethereum-optimism/optimism/l2geth/rlp"
	"github.com/stretchr/testify/require"
)

// TestBatchContextEncodeDecode tests the (de)serialization of a BatchContext
// against the spec test vector. The encoding should be:
//  - num_sequenced_txs:        3 bytes
//  - num_subsequent_queue_txs: 3 bytes
//  - timestamp:                5 bytes
//  - block_number:             5 bytes
func TestBatchContextEncodeDecode(t *testing.T) {
	t.Parallel()

	// Test vector is chosen such that each byte maps one to one with a
	// specific byte of the parsed BatchContext and such that improper
	// choice of endian-ness for any field will fail.
	hexEncoding := "000102030405060708090a0b0c0d0e0f"

	expBatch := sequencer.BatchContext{
		NumSequencedTxs:       0x000102,
		NumSubsequentQueueTxs: 0x030405,
		Timestamp:             0x060708090a,
		BlockNumber:           0x0b0c0d0e0f,
	}

	rawBytes, err := hex.DecodeString(hexEncoding)
	require.Nil(t, err)

	// Test Read produces expected batch.
	var batch sequencer.BatchContext
	err = batch.Read(bytes.NewReader(rawBytes))
	require.Nil(t, err)
	require.Equal(t, expBatch, batch)

	// Test Write produces original test vector.
	var buf bytes.Buffer
	batch.Write(&buf)
	require.Equal(t, hexEncoding, hex.EncodeToString(buf.Bytes()))
}

// AppendSequencerBatchParamsTestCases is an enclosing struct that holds the
// individual AppendSequencerBatchParamsTests. This is the root-level object
// that will be parsed from the JSON, spec test-vectors.
type AppendSequencerBatchParamsTestCases struct {
	Tests []AppendSequencerBatchParamsTest `json:"tests"`
}

// AppendSequencerBatchParamsTest specifies a single instance of a valid
// encode/decode test case for an AppendequencerBatchParams.
type AppendSequencerBatchParamsTest struct {
	Name                  string                   `json:"name"`
	HexEncoding           string                   `json:"hex_encoding"`
	ShouldStartAtElement  uint64                   `json:"should_start_at_element"`
	TotalElementsToAppend uint64                   `json:"total_elements_to_append"`
	Contexts              []sequencer.BatchContext `json:"contexts"`
	Txs                   []string                 `json:"txs"`
}

var appendSequencerBatchParamTests = AppendSequencerBatchParamsTestCases{
	Tests: []AppendSequencerBatchParamsTest{
		{
			Name: "empty batch",
			HexEncoding: "0000000000000000" +
				"000000",
			ShouldStartAtElement:  0,
			TotalElementsToAppend: 0,
			Contexts:              nil,
			Txs:                   nil,
		},
		{
			Name: "single tx",
			HexEncoding: "0000000001000001" +
				"000000" +
				"00000ac9808080808080808080",
			ShouldStartAtElement:  1,
			TotalElementsToAppend: 1,
			Contexts:              nil,
			Txs: []string{
				"c9808080808080808080",
			},
		},
		{
			Name: "multiple txs",
			HexEncoding: "0000000001000004" +
				"000000" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080",
			ShouldStartAtElement:  1,
			TotalElementsToAppend: 4,
			Contexts:              nil,
			Txs: []string{
				"c9808080808080808080",
				"c9808080808080808080",
				"c9808080808080808080",
				"c9808080808080808080",
			},
		},
		{
			Name: "single context",
			HexEncoding: "0000000001000000" +
				"000001" +
				"000102030405060708090a0b0c0d0e0f",
			ShouldStartAtElement:  1,
			TotalElementsToAppend: 0,
			Contexts: []sequencer.BatchContext{
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
			},
			Txs: nil,
		},
		{
			Name: "multiple contexts",
			HexEncoding: "0000000001000000" +
				"000004" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f",
			ShouldStartAtElement:  1,
			TotalElementsToAppend: 0,
			Contexts: []sequencer.BatchContext{
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
			},
			Txs: nil,
		},
		{
			Name: "complex",
			HexEncoding: "0102030405060708" +
				"000004" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f" +
				"000102030405060708090a0b0c0d0e0f" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080" +
				"00000ac9808080808080808080",
			ShouldStartAtElement:  0x0102030405,
			TotalElementsToAppend: 0x060708,
			Contexts: []sequencer.BatchContext{
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
				{
					NumSequencedTxs:       0x000102,
					NumSubsequentQueueTxs: 0x030405,
					Timestamp:             0x060708090a,
					BlockNumber:           0x0b0c0d0e0f,
				},
			},
			Txs: []string{
				"c9808080808080808080",
				"c9808080808080808080",
				"c9808080808080808080",
				"c9808080808080808080",
			},
		},
	},
}

// TestAppendSequencerBatchParamsEncodeDecodeMatchesJSON ensures that the
// in-memory test vectors for valid encode/decode stay in sync with the JSON
// version.
func TestAppendSequencerBatchParamsEncodeDecodeMatchesJSON(t *testing.T) {
	t.Parallel()

	jsonBytes, err := json.MarshalIndent(appendSequencerBatchParamTests, "", "\t")
	require.Nil(t, err)

	data, err := os.ReadFile("./testdata/valid_append_sequencer_batch_params.json")
	require.Nil(t, err)

	require.Equal(t, jsonBytes, data)
}

// TestAppendSequencerBatchParamsEncodeDecode asserts the proper encoding and
// decoding of valid serializations for AppendSequencerBatchParams.
func TestAppendSequencerBatchParamsEncodeDecode(t *testing.T) {
	t.Parallel()

	for _, test := range appendSequencerBatchParamTests.Tests {
		t.Run(test.Name, func(t *testing.T) {
			testAppendSequencerBatchParamsEncodeDecode(t, test)
		})
	}
}

func testAppendSequencerBatchParamsEncodeDecode(
	t *testing.T, test AppendSequencerBatchParamsTest) {

	// Decode the expected transactions from their hex serialization.
	var expTxs []*l2types.Transaction
	for _, txHex := range test.Txs {
		txBytes, err := hex.DecodeString(txHex)
		require.Nil(t, err)

		rlpStream := l2rlp.NewStream(bytes.NewReader(txBytes), uint64(len(txBytes)))

		tx := new(l2types.Transaction)
		err = tx.DecodeRLP(rlpStream)
		require.Nil(t, err)

		expTxs = append(expTxs, tx)
	}

	// Construct the params we expect to decode, minus the txs. Those are
	// compared separately below.
	expParams := sequencer.AppendSequencerBatchParams{
		ShouldStartAtElement:  test.ShouldStartAtElement,
		TotalElementsToAppend: test.TotalElementsToAppend,
		Contexts:              test.Contexts,
		Txs:                   nil,
	}

	// Decode the batch from the test string.
	rawBytes, err := hex.DecodeString(test.HexEncoding)
	require.Nil(t, err)

	var params sequencer.AppendSequencerBatchParams
	err = params.Read(bytes.NewReader(rawBytes))
	require.Nil(t, err)

	// Assert that the decoded params match the expected params. The
	// transactions are compared serparetly (via hash), since the internal
	// `time` field of each transaction will differ. This field is only used
	// for spam prevention, so it is safe to ignore wrt. to serialization.
	// The decoded txs are reset on the the decoded params afterwards to
	// test the serialization.
	decodedTxs := params.Txs
	params.Txs = nil
	require.Equal(t, expParams, params)
	compareTxs(t, expTxs, decodedTxs)
	params.Txs = decodedTxs

	// Finally, encode the decoded object and assert it matches the original
	// hex string.
	paramsBytes, err := params.Serialize()
	require.Nil(t, err)
	require.Equal(t, test.HexEncoding, hex.EncodeToString(paramsBytes))
}

// compareTxs compares a list of two transactions, testing each pair by tx hash.
// This is used rather than require.Equal, since there `time` metadata on the
// decoded tx and the expected tx will differ, and can't be modified/ignored.
func compareTxs(t *testing.T, a []*l2types.Transaction, b []*sequencer.CachedTx) {
	require.Equal(t, len(a), len(b))
	for i, txA := range a {
		require.Equal(t, txA.Hash(), b[i].Tx().Hash())
	}
}