pub struct Frame {
pub id: ChannelId,
pub number: u16,
pub data: Vec<u8>,
pub is_last: bool,
}Expand description
A channel frame representing a segment of channel data for transmission.
Frames are the atomic units of data transmission in the OP Stack derivation pipeline. Large channel data is split into multiple frames to fit within L1 transaction size constraints while maintaining the ability to reassemble the original data.
§Binary Encoding Format
The frame is encoded as a concatenated byte sequence:
frame = channel_id ++ frame_number ++ frame_data_length ++ frame_data ++ is_last§Field Specifications
- channel_id (16 bytes): Unique identifier linking this frame to its parent channel
- frame_number (2 bytes, uint16): Sequence number for proper reassembly ordering
- frame_data_length (4 bytes, uint32): Length of the frame_data field in bytes
- frame_data (variable): The actual payload data for this frame segment
- is_last (1 byte, bool): Flag indicating if this is the final frame in the sequence
§Total Overhead
Each frame has a fixed overhead of 23 bytes (16 + 2 + 4 + 1) plus the variable data payload.
§Frame Sequencing
Frames within a channel must be:
- Sequentially numbered: Starting from 0 and incrementing by 1
- Properly terminated: Exactly one frame marked with
is_last = true - Complete: All frame numbers from 0 to the last frame must be present
§Reassembly Process
Channel reassembly involves:
- Collection: Gather all frames with the same channel ID
- Sorting: Order frames by their frame number
- Validation: Verify sequential numbering and last frame flag
- Concatenation: Combine frame data in order to reconstruct channel
§Error Conditions
Frame processing can fail due to:
- Missing frames in the sequence
- Duplicate frame numbers
- Multiple frames marked as last
- Frame data exceeding size limits
- Invalid encoding or corruption
Fields§
§id: ChannelIdUnique identifier linking this frame to its parent channel.
All frames belonging to the same channel share this identifier, enabling proper grouping during the reassembly process. The channel ID is typically derived from the first frame’s metadata.
number: u16Sequence number for frame ordering within the channel.
Frame numbers start at 0 and increment sequentially. This field is critical for proper reassembly ordering and detecting missing or duplicate frames during channel reconstruction.
data: Vec<u8>Payload data carried by this frame.
Contains a segment of the original channel data. When all frames in a channel are reassembled, concatenating this data in frame number order reconstructs the complete channel payload.
is_last: boolFlag indicating whether this is the final frame in the channel sequence.
Exactly one frame per channel should have this flag set to true.
This enables detection of complete channel reception and validation
that no frames are missing from the end of the sequence.
Implementations§
Source§impl Frame
impl Frame
Sourcepub const fn new(
id: ChannelId,
number: u16,
data: Vec<u8>,
is_last: bool,
) -> Self
pub const fn new( id: ChannelId, number: u16, data: Vec<u8>, is_last: bool, ) -> Self
Creates a new Frame.
Sourcepub fn decode(encoded: &[u8]) -> Result<(usize, Self), FrameDecodingError>
pub fn decode(encoded: &[u8]) -> Result<(usize, Self), FrameDecodingError>
Decode a frame from a byte vector.
Sourcepub fn parse_frame(
data: &[u8],
start: usize,
) -> Result<(usize, Self), FrameDecodingError>
pub fn parse_frame( data: &[u8], start: usize, ) -> Result<(usize, Self), FrameDecodingError>
Parses a single frame from the given data at the given starting position, returning the frame and the number of bytes consumed.
Sourcepub fn parse_frames(encoded: &[u8]) -> Result<Vec<Self>, FrameParseError>
pub fn parse_frames(encoded: &[u8]) -> Result<Vec<Self>, FrameParseError>
Parse the on chain serialization of frame(s) in an L1 transaction. Currently only version 0 of the serialization format is supported. All frames must be parsed without error and there must not be any left over data and there must be at least one frame.
Frames are stored in L1 transactions with the following format:
data = DerivationVersion0 ++ Frame(s)Where there is one or more frames concatenated together.
Trait Implementations§
impl Eq for Frame
impl StructuralPartialEq for Frame
Auto Trait Implementations§
impl Freeze for Frame
impl RefUnwindSafe for Frame
impl Send for Frame
impl Sync for Frame
impl Unpin for Frame
impl UnwindSafe for Frame
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more