Proof of work in config

Author: recmo

src/bits.rs

@@ -1,9 +1,13 @@
-use std::hash::Hash;
+use std::{
+    cmp::Ordering,
+    fmt::{self, Display},
+    hash::Hash,
+};
 
-use serde::Serialize;
+use serde::{Deserialize, Serialize};
 
 /// Wrapper for `bits` value types.
-#[derive(Debug, Clone, Copy, PartialEq, Serialize)]
+#[derive(Debug, Clone, Copy, PartialEq, Serialize, Deserialize)]
 pub struct Bits(f64);
 
 impl Hash for Bits {
@@ -36,3 +40,21 @@ impl From<Bits> for f64 {
         bits.0
     }
 }
+
+impl Display for Bits {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        <f64 as Display>::fmt(&self.0, f)
+    }
+}
+
+impl PartialOrd for Bits {
+    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
+        self.0.partial_cmp(&other.0)
+    }
+}
+
+impl Ord for Bits {
+    fn cmp(&self, other: &Self) -> Ordering {
+        self.0.partial_cmp(&other.0).unwrap()
+    }
+}

src/crypto/proof_of_work/mod.rs

@@ -5,7 +5,7 @@ mod none_engine;
 use std::sync::{Arc, LazyLock};
 
 use ark_std::rand::{CryptoRng, RngCore};
-use serde::Serialize;
+use serde::{Deserialize, Serialize};
 use spongefish::{
     Codec, Decoding, DuplexSpongeInterface, ProverState, VerificationError, VerificationResult,
     VerifierState,
@@ -47,9 +47,11 @@ pub trait Engine: Protocol {
 
 assert_obj_safe!(Engine);
 
-#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize)]
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
 pub struct Config {
     pub engine_id: ProtocolId,
+
+    // TODO: Use threshold to be more determistic.
     pub difficulty: Bits,
 }
 
@@ -77,13 +79,6 @@ impl Config {
         }
     }
 
-    pub fn sha2(difficulty: Bits) -> Self {
-        Self {
-            engine_id: Sha2::new().protocol_id(),
-            difficulty,
-        }
-    }
-
     #[cfg_attr(feature = "tracing", instrument(skip(prover_state)))]
     pub fn prove<H, R>(&self, prover_state: &mut ProverState<H, R>)
     where

src/transcript/protocol_id.rs

@@ -3,9 +3,9 @@
 
 use std::fmt::{Debug, Display};
 
-use serde::Serialize;
+use serde::{Deserialize, Serialize};
 
-#[derive(Clone, Copy, PartialEq, Eq, Hash, Serialize)]
+#[derive(Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
 pub struct ProtocolId([u8; 32]);
 
 pub trait Protocol {