sov-first-read-last-write-cache

此crate提供sov-first-read-last-write-cache数据结构，专门设计用于与模块系统中使用的sov-state::WorkingSet集成。

为什么选择sov-first-read-last-write-cache？

在零知识计算中模拟（稀疏）默克尔树相对低效，因为哈希在zk环境中通常是一个昂贵的操作。因此，我们希望最小化对MT的访问次数。为了进一步提高效率，我们寻求尽可能地进行“批处理”访问。这允许我们共享中间哈希计算，从而减少要执行的操作总数。

而不是立即验证/应用读写操作，我们建议将读写值存储在类似缓存的数据结构中，以供稍后批量验证。此结构（CacheLog）将存储每个位置读取的第一个值和最后写入的值。假设黑盒VM实现的正确性，这两条信息对于验证所有状态访问和构建（验证过的）后状态是足够的。

示例

这是一个跟踪特定键的第一个读取和最后一个写入的缓存的实现。该缓存确保读写的一致性。

例如

使用方法

    let mut cache = CacheLog::default();
    let value = match cache.get_value(&key) {
        ExistsInCache::Yes(value) => value,
        ExistsInCache::No => {
            // This is some "expensive" operation, for example a db lookup.
            let new_value = Some(Arc::new(vec![4, 5, 6, 7]));
            cache_log.add_read(key, new_value)?;
            new_value
        }
    };