fmt consensus

src/consensus/constants.rs

@@ -50,7 +50,7 @@ lazy_static! {
     pub static ref TESTNET_INITIAL_DISTRIBUTION: u64 = 0;
 
     pub static ref FLOAT10_EPSILON: Float10 = Float10::try_from("1").unwrap();
-    // Commonly used Float10 
+    // Commonly used Float10
     pub static ref FLOAT10_NEG_TWO: Float10 = Float10::try_from("-2").unwrap();
     pub static ref FLOAT10_NEG_ONE: Float10 = Float10::try_from("-1").unwrap();
     pub static ref FLOAT10_ZERO: Float10 = Float10::try_from("0").unwrap();

src/consensus/lead_coin.rs

@@ -30,9 +30,9 @@ use halo2_proofs::{arithmetic::Field, circuit::Value};
 use log::info;
 use rand::rngs::OsRng;
 
-use super::constants::{EPOCH_LENGTH};
+use super::constants::EPOCH_LENGTH;
 use crate::{
-    consensus::{constants, TransferStx, TxRcpt, Float10, utils::fbig2base},
+    consensus::{constants, utils::fbig2base, Float10, TransferStx, TxRcpt},
     zk::{
         proof::{Proof, ProvingKey},
         vm::ZkCircuit,
@@ -285,7 +285,7 @@ impl LeadCoin {
     pub fn headstart() -> pallas::Base {
         let headstart = constants::MIN_F.clone() * Float10::try_from(constants::P.clone()).unwrap();
         let headstart_base = fbig2base(headstart);
-        headstart_base   
+        headstart_base
     }
 
     pub fn is_leader(

src/consensus/state.rs

@@ -269,11 +269,15 @@ impl ConsensusState {
         let c = x.ln();
         let neg_c = neg_one * c;
 
-        let sigma1_fbig = neg_c.clone() / (total_sigma.clone()+constants::FLOAT10_EPSILON.clone()) * field_p.clone();
+        let sigma1_fbig = neg_c.clone() /
+            (total_sigma.clone() + constants::FLOAT10_EPSILON.clone()) *
+            field_p.clone();
         info!(target: "consensus::state", "sigma1_fbig: {:}", sigma1_fbig);
         let sigma1 = fbig2base(sigma1_fbig);
 
-        let sigma2_fbig = (neg_c / (total_sigma+constants::FLOAT10_EPSILON.clone())).powf(two.clone()) * (field_p / two);
+        let sigma2_fbig = (neg_c / (total_sigma + constants::FLOAT10_EPSILON.clone()))
+            .powf(two.clone()) *
+            (field_p / two);
         info!(target: "consensus::state", "sigma2_fbig: {:}", sigma2_fbig);
         let sigma2 = fbig2base(sigma2_fbig);