essential-vm 0.13.0

The Essential VM
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

use crate::access::init_predicate_exists;
use essential_types::{solution::Solution, Hash};
use std::{
    collections::HashSet,
    sync::{Arc, OnceLock},
};

#[derive(Default, Debug, PartialEq)]
/// Lazily cache expensive to compute values.
pub struct LazyCache {
    /// Predicate data and addresses set of hashes.
    /// See [`PredicateExists`][essential_asm] for more details.
    pub pred_data_hashes: OnceLock<HashSet<Hash>>,
}

impl LazyCache {
    /// Create a new empty `LazyCache`.
    pub fn new() -> Self {
        Self::default()
    }

    /// Get the predicate data hashes.
    ///
    /// The first time this is called, it will compute the hashes.
    pub fn get_pred_data_hashes(&self, solutions: Arc<Vec<Solution>>) -> &HashSet<Hash> {
        self.pred_data_hashes
            .get_or_init(|| init_predicate_exists(solutions).into_iter().collect())
    }
}