Improve FaultProofStatus serialization, options

Author: BrianBland

Cargo.lock

@@ -15,6 +15,7 @@ exclude = ["**/target", "benches/"]
 # General
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
+serde_repr = "0.1"
 thiserror = "1"
 color-eyre = "0.6"
 lazy_static = "1"

Cargo.toml

@@ -12,6 +12,7 @@ edition.workspace = true
 [dependencies]
 # Core
 serde.workspace = true
+serde_repr.workspace = true
 color-eyre.workspace = true
 hashbrown.workspace = true
 

crates/op-test-vectors/Cargo.toml

@@ -1,7 +1,8 @@
 //! Module containing the fault proof test fixture.
 
-use alloy_primitives::{BlockNumber, Bytes, ChainId, B256, U256};
+use alloy_primitives::{BlockHash, BlockNumber, Bytes, ChainId, B256, U256};
 use serde::{Deserialize, Serialize};
+use serde_repr::{Deserialize_repr, Serialize_repr};
 use hashbrown::HashMap;
 
 /// The fault proof fixture is the top-level object that contains
@@ -22,9 +23,9 @@ pub struct FaultProofFixture {
 #[serde(rename_all = "camelCase")]
 pub struct FaultProofInputs {
   /// The L1 head block hash.
-  pub l1_head: B256,
+  pub l1_head: BlockHash,
   /// The L2 head block hash.
-  pub l2_head: B256,
+  pub l2_head: BlockHash,
   /// The claimed L2 output root to validate.
   pub l2_claim: B256,
   /// The agreed L2 output root to start derivation from.
@@ -36,15 +37,18 @@ pub struct FaultProofInputs {
 }
 
 /// The fault proof status is the result of executing the fault proof program.
-#[derive(Serialize, Deserialize, Debug, Default, PartialEq, Eq)]
+#[derive(Serialize_repr, Deserialize_repr, Debug, Default, PartialEq, Eq)]
+#[repr(u8)]
 pub enum FaultProofStatus {
   /// The claim is valid.
   #[default]
-  Valid,
+  Valid = 0,
   /// The claim is invalid.
-  Invalid,
+  Invalid = 1,
   /// Executing the program resulted in a panic.
-  Panic,
+  Panic = 2,
+  /// The program has not exited.
+  Unfinished = 3,
   /// The status is unknown.
   Unknown
 }
@@ -59,6 +63,7 @@ mod tests {
       FaultProofStatus::Valid,
       FaultProofStatus::Invalid,
       FaultProofStatus::Panic,
+      FaultProofStatus::Unfinished,
       FaultProofStatus::Unknown,
     ];