Convert proof types + fmt

Author: sebastiencs

mina-p2p-messages/src/v2/generated.rs

@@ -676,7 +676,9 @@ pub struct PicklesProofProofsVerifiedMaxStableV2 {
 /// Gid: `544`
 /// Location: [src/lib/non_zero_curve_point/compressed_poly.ml:13:6](https://github.com/MinaProtocol/mina/blob/bfd1009/src/lib/non_zero_curve_point/compressed_poly.ml#L13)
 /// Args: crate :: bigint :: BigInt , bool
-#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize, BinProtRead, BinProtWrite)]
+#[derive(
+    Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize, BinProtRead, BinProtWrite,
+)]
 pub struct NonZeroCurvePointUncompressedStableV1 {
     pub x: crate::bigint::BigInt,
     pub is_odd: bool,
@@ -788,7 +790,19 @@ pub struct CurrencyBalanceStableV1(pub CurrencyAmountStableV1);
 ///
 /// Gid: `637`
 /// Location: [src/lib/data_hash_lib/state_hash.ml:44:4](https://github.com/MinaProtocol/mina/blob/bfd1009/src/lib/data_hash_lib/state_hash.ml#L44)
-#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize, BinProtRead, BinProtWrite, Deref)]
+#[derive(
+    Clone,
+    Debug,
+    PartialEq,
+    Eq,
+    PartialOrd,
+    Ord,
+    Serialize,
+    Deserialize,
+    BinProtRead,
+    BinProtWrite,
+    Deref,
+)]
 pub struct DataHashLibStateHashStableV1(pub crate::bigint::BigInt);
 
 /// Derived name: `Mina_base__Sparse_ledger_base.Stable.V2.tree`
@@ -914,7 +928,19 @@ pub struct MinaBasePaymentPayloadStableV2 {
 ///
 /// Gid: `689`
 /// Location: [src/lib/mina_base/ledger_hash0.ml:17:4](https://github.com/MinaProtocol/mina/blob/bfd1009/src/lib/mina_base/ledger_hash0.ml#L17)
-#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize, BinProtRead, BinProtWrite, Deref)]
+#[derive(
+    Clone,
+    Debug,
+    PartialEq,
+    Eq,
+    PartialOrd,
+    Ord,
+    Serialize,
+    Deserialize,
+    BinProtRead,
+    BinProtWrite,
+    Deref,
+)]
 pub struct MinaBaseLedgerHash0StableV1(pub crate::bigint::BigInt);
 
 /// **OCaml name**: `Mina_base__Permissions.Auth_required.Stable.V2`

mina-p2p-messages/src/v2/hashing.rs

@@ -336,7 +336,10 @@ impl MinaHash for MinaStateProtocolStateBodyValueStableV2 {
 
 impl MinaHash for MinaStateProtocolStateValueStableV2 {
     fn hash(&self) -> mina_hasher::Fp {
-        fp_state_hash_from_fp_hashes(self.previous_state_hash.to_field(), MinaHash::hash(&self.body))
+        fp_state_hash_from_fp_hashes(
+            self.previous_state_hash.to_field(),
+            MinaHash::hash(&self.body),
+        )
     }
 }
 

mina-p2p-messages/src/v2/manual.rs

@@ -15,7 +15,8 @@ use super::{
     MinaBasePendingCoinbaseCoinbaseStackStableV1, MinaBasePendingCoinbaseHashVersionedStableV1,
     MinaBasePendingCoinbaseStackHashStableV1, MinaBaseSignatureStableV1,
     MinaBaseStateBodyHashStableV1, NonZeroCurvePointUncompressedStableV1,
-    ParallelScanWeightStableV1, PicklesProofProofsVerified2ReprStableV2StatementFp,
+    ParallelScanWeightStableV1, PicklesProofProofsVerified2ReprStableV2,
+    PicklesProofProofsVerified2ReprStableV2StatementFp, PicklesProofProofsVerifiedMaxStableV2,
     ProtocolVersionStableV1, SgnStableV1, TransactionSnarkScanStateStableV2ScanStateTreesABaseT1,
     TransactionSnarkScanStateStableV2ScanStateTreesAMergeT1,
 };
@@ -763,3 +764,19 @@ impl From<u32> for super::UnsignedExtendedUInt32StableV1 {
         Self(value.into())
     }
 }
+
+impl From<&PicklesProofProofsVerifiedMaxStableV2> for PicklesProofProofsVerified2ReprStableV2 {
+    fn from(value: &PicklesProofProofsVerifiedMaxStableV2) -> Self {
+        let PicklesProofProofsVerifiedMaxStableV2 {
+            statement,
+            prev_evals,
+            proof,
+        } = value;
+
+        Self {
+            statement: statement.clone(),
+            prev_evals: prev_evals.clone(),
+            proof: proof.clone(),
+        }
+    }
+}