Ledger/scan_state/tx-logic: split zkapp_command into submodules

Author: dannywillems

ledger/src/scan_state/transaction_logic/zkapp_command/from_applied_sequence.rs

@@ -0,0 +1,32 @@
+use mina_curves::pasta::Fp;
+use std::collections::HashMap;
+
+use super::{AccountId, ToVerifiableCache, ToVerifiableStrategy, VerificationKeyWire};
+
+pub struct Cache {
+    cache: HashMap<AccountId, VerificationKeyWire>,
+}
+
+impl Cache {
+    pub fn new(cache: HashMap<AccountId, VerificationKeyWire>) -> Self {
+        Self { cache }
+    }
+}
+
+impl ToVerifiableCache for Cache {
+    fn find(&self, account_id: &AccountId, vk_hash: &Fp) -> Option<&VerificationKeyWire> {
+        self.cache
+            .get(account_id)
+            .filter(|vk| &vk.hash() == vk_hash)
+    }
+
+    fn add(&mut self, account_id: AccountId, vk: VerificationKeyWire) {
+        self.cache.insert(account_id, vk);
+    }
+}
+
+pub struct FromAppliedSequence;
+
+impl ToVerifiableStrategy for FromAppliedSequence {
+    type Cache = Cache;
+}

ledger/src/scan_state/transaction_logic/zkapp_command/from_unapplied_sequence.rs

@@ -0,0 +1,32 @@
+use mina_curves::pasta::Fp;
+use std::collections::HashMap;
+
+use super::{AccountId, ToVerifiableCache, ToVerifiableStrategy, VerificationKeyWire};
+
+pub struct Cache {
+    cache: HashMap<AccountId, HashMap<Fp, VerificationKeyWire>>,
+}
+
+impl Cache {
+    pub fn new(cache: HashMap<AccountId, HashMap<Fp, VerificationKeyWire>>) -> Self {
+        Self { cache }
+    }
+}
+
+impl ToVerifiableCache for Cache {
+    fn find(&self, account_id: &AccountId, vk_hash: &Fp) -> Option<&VerificationKeyWire> {
+        let vks = self.cache.get(account_id)?;
+        vks.get(vk_hash)
+    }
+
+    fn add(&mut self, account_id: AccountId, vk: VerificationKeyWire) {
+        let vks = self.cache.entry(account_id).or_default();
+        vks.insert(vk.hash(), vk);
+    }
+}
+
+pub struct FromUnappliedSequence;
+
+impl ToVerifiableStrategy for FromUnappliedSequence {
+    type Cache = Cache;
+}