refactor(new fragment generator ): signature verification dalek

chain-impl-mockchain/Cargo.toml

@@ -32,6 +32,7 @@ rand_chacha = { version = "0.3", optional = true }
 criterion = { version = "0.3.0", optional = true }
 rand = "0.8"
 cryptoxide = "0.4"
+ed25519-dalek = "1.0.1"
 
 [features]
 property-test-api = [

chain-impl-mockchain/src/ledger/ledger.rs

@@ -37,6 +37,7 @@ use crate::{
 use chain_addr::{Address, Discrimination, Kind};
 use chain_crypto::Verification;
 use chain_time::{Epoch as TimeEpoch, SlotDuration, TimeEra, TimeFrame, Timeline};
+use ed25519_dalek::{PublicKey, Signature};
 use std::collections::HashSet;
 use std::mem::swap;
 use std::sync::Arc;
@@ -1888,19 +1889,15 @@ fn input_single_account_verify<'a>(
     let new_ledger = ledger.remove_value(account, spending_counter, value)?;
     ledger = new_ledger;
 
-    let verified = witness.verify(
-        account.as_ref(),
-        &WitnessAccountData(sign_data_hash.as_ref().to_vec()),
-    );
+    let mut sig = witness.as_ref().to_vec();
+    sig.drain(0..5);
+    let witness_sig = Signature::from_bytes(&sig).unwrap();
 
-    if verified == chain_crypto::Verification::Failed {
-        return Err(Error::AccountInvalidSignature {
-            account: account.clone(),
-            witness: Witness::Account(spending_counter, witness.clone()),
-        });
-    };
+    let pk = PublicKey::from_bytes(account.as_ref().as_ref()).unwrap();
+
+    pk.verify_strict(sign_data_hash.as_ref(), &witness_sig)
+        .unwrap();
 
-    // TODO verify sig(pub_key,data)
     Ok(ledger)
 }
 

chain-impl-mockchain/src/transaction/witness.rs

@@ -99,7 +99,7 @@ impl AsRef<[u8]> for WitnessUtxoData {
     }
 }
 
-pub struct WitnessAccountData(pub Vec<u8>);
+pub struct WitnessAccountData(Vec<u8>);
 
 impl WitnessAccountData {
     pub fn new(