Skip to content

Commit

Permalink
fix: use vm-core for de/serialization, add partial_eq and eq for Advi…
Browse files Browse the repository at this point in the history
…ceMap
  • Loading branch information
SantiagoPittella committed Sep 12, 2024
1 parent 335ff67 commit 883d885
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 5 deletions.
3 changes: 1 addition & 2 deletions processor/src/host/advice/inputs.rs
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
use alloc::vec::Vec;

use miden_air::DeserializationError;
use vm_core::crypto::hash::RpoDigest;
use winter_utils::{ByteReader, ByteWriter, Deserializable, Serializable};
use vm_core::utils::{ByteReader, ByteWriter, Deserializable, Serializable, DeserializationError};

use super::{AdviceMap, Felt, InnerNodeInfo, InputError, MerkleStore};

Expand Down
5 changes: 2 additions & 3 deletions processor/src/host/advice/map.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,8 @@ use alloc::{
vec::Vec,
};

use miden_air::DeserializationError;
use vm_core::crypto::hash::RpoDigest;
use winter_utils::{ByteReader, ByteWriter, Deserializable, Serializable};
use vm_core::utils::{Serializable, Deserializable, ByteReader, ByteWriter, DeserializationError};

use super::Felt;

Expand All @@ -17,7 +16,7 @@ use super::Felt;
/// Each key maps to one or more field element. To access the elements, the VM can move the values
/// associated with a given key onto the advice stack using `adv.push_mapval` instruction. The VM
/// can also insert new values into the advice map during execution.
#[derive(Debug, Clone, Default)]
#[derive(Debug, Clone, Default, PartialEq, Eq)]
pub struct AdviceMap(BTreeMap<RpoDigest, Vec<Felt>>);

impl AdviceMap {
Expand Down

0 comments on commit 883d885

Please sign in to comment.