derive Eq, PartialEq, and GetSize for Claim

TritonVM · May 19, 2023 · 77eed35 · 77eed35
1 parent 36c9789
commit 77eed35
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/triton-vm/Cargo.toml b/triton-vm/Cargo.toml
@@ -37,6 +37,7 @@ triton-profiler = { path = "../triton-profiler" }
 # triton-profiler = "0.22.0"
 anyhow = "1.0"
 bincode = "1.3"
+get-size = "0.1.3"
 itertools = "0.10.5"
 num-traits = "0.2"
 rand = "0.8.5"

diff --git a/triton-vm/src/proof.rs b/triton-vm/src/proof.rs
@@ -1,3 +1,4 @@
+use get_size::GetSize;
 use serde::Deserialize;
 use serde::Serialize;
 use twenty_first::shared_math::b_field_element::BFieldElement;
@@ -10,7 +11,7 @@ pub struct Proof(pub Vec<BFieldElement>);
 
 /// Contains all the public information of a verifiably correct computation.
 /// A corresponding [`Proof`] is needed to verify the computation.
-#[derive(Debug, Clone, Serialize, Deserialize)]
+#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq, GetSize)]
 pub struct Claim {
     /// The public input to the computation.
     pub input: Vec<u64>,