From ce08b46aa616998b2b0d8d521fc37fdf6e34f4db Mon Sep 17 00:00:00 2001 From: tchardin Date: Tue, 12 Mar 2024 18:57:09 -0600 Subject: [PATCH] add to derivation batcher table --- specs/experimental/plasma.md | 5 +++-- specs/protocol/derivation.md | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/specs/experimental/plasma.md b/specs/experimental/plasma.md index d6a01cc70..ee22060cd 100644 --- a/specs/experimental/plasma.md +++ b/specs/experimental/plasma.md @@ -67,8 +67,8 @@ The [batching][batcher] and compression of input data remain unchanged. When a b to be submitted to the inbox address, the data is uploaded to the DA storage layer instead, and a commitment (keccak256 hash) is submitted as the bacher inbox transaction call data. -Commitment txdata introduces version `1` to the [transaction format](derivation.md#batcher-transaction-format), -in order to interpret the txdata as a commitment during the l1 retrieval step of the derivation pipeline: +Commitment txdata introduces version `1` to the [transaction format][batchertx], in order to interpret +the txdata as a commitment during the l1 retrieval step of the derivation pipeline: | `version_byte` | `tx_data` | | -------------- | -------------------- | @@ -94,6 +94,7 @@ Input commitments submitted onchain without proper storage on the DA provider se challenges if the input cannot be retrieved during the challenge window, as detailed in the following section. [batcher]: ../protocol/derivation.md#batch-submission +[batchertx]: ../protocol/derivation.md#batcher-transaction-format ## Data Availability Challenge Contract diff --git a/specs/protocol/derivation.md b/specs/protocol/derivation.md index 98a348c97..7a8bed785 100644 --- a/specs/protocol/derivation.md +++ b/specs/protocol/derivation.md @@ -320,6 +320,7 @@ Batcher transactions are encoded as `version_byte ++ rollup_payload` (where `++` | `version_byte` | `rollup_payload` | | -------------- | ---------------------------------------------- | | 0 | `frame ...` (one or more frames, concatenated) | +| 1 | `plasma_commitment` (experimental, see [op-plasma](../experimental/plasma.md#input-commitment-submission) | Unknown versions make the batcher transaction invalid (it must be ignored by the rollup node). All frames in a batcher transaction must be parseable. If any one frame fails to parse, the all frames in the