feat: add sps62-checkpoint-types crate with SSZ serialization

Author: krsnapaudel

Cargo.lock

@@ -71,6 +71,7 @@ members = [
   "crates/service",
   "crates/simple-ee",
   "crates/snark-acct-types",
+  "crates/sps62-checkpoint-types",
   "crates/state",
   "crates/status",
   "crates/storage",
@@ -396,9 +397,14 @@ sha2 = "0.10"
 shrex = { version = "1", features = ["serde"] }
 shrex_macros = "1"
 sled = "0.34.7"
+ssz = { git = "https://github.com/alpenlabs/ssz-gen", branch = "main" }
+ssz_derive = { git = "https://github.com/alpenlabs/ssz-gen", branch = "main" }
+ssz_types = { git = "https://github.com/alpenlabs/ssz-gen", branch = "main" }
 tempfile = "3.10.1"
 terrors = "0.3.0"
 thiserror = "2.0.11"
+tree_hash = { git = "https://github.com/alpenlabs/ssz-gen", branch = "main" }
+tree_hash_derive = { git = "https://github.com/alpenlabs/ssz-gen", branch = "main" }
 threadpool = "1.8"
 tokio = { version = "1.37", features = ["full"] }
 toml = "0.5"

Cargo.toml

@@ -0,0 +1,17 @@
+[package]
+name = "sps62-checkpoint-types"
+version = "0.1.0"
+edition = "2021"
+description = "SPS-62 checkpoint types with SSZ serialization"
+
+[lints]
+workspace = true
+
+[dependencies]
+ssz = { workspace = true }
+ssz_derive = { workspace = true }
+ssz_types = { workspace = true }
+tree_hash = { workspace = true }
+tree_hash_derive = { workspace = true }
+
+[dev-dependencies]

crates/sps62-checkpoint-types/Cargo.toml

@@ -0,0 +1,28 @@
+//! SPS-62 Checkpoint Types
+//!
+//! This crate implements the checkpoint data structures as defined in the SPS-62 specification.
+//! All types use SSZ (Simple Serialize) for serialization and support merkleization via
+//! `tree_hash`.
+//!
+//! ## Specification
+//!
+//! These types follow the SPS-62 checkpoint specification which defines how orchestration layer
+//! checkpoints are structured, represented on L1, and interpreted as part of a sequence.
+//!
+//! ## Main Types
+//!
+//! - [`CheckpointHeader`] - Minimally necessary information to construct an EpochSummary
+//! - [`CheckpointPayload`] - Output components including state diffs and messages
+//! - [`CheckpointData`] - Container combining header, payload, and state diff
+//! - [`Checkpoint`] - Complete checkpoint with data and proof
+//! - [`SignedCheckpoint`] - Checkpoint with signature (used off-chain)
+//! - [`EpochSummary`] - Summary of epoch state for validation
+
+#![warn(missing_debug_implementations)]
+#![warn(missing_docs)]
+
+mod types;
+
+pub use ssz;
+pub use tree_hash;
+pub use types::*;