miden-objects 0.12.4

Core components of the Miden protocol
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

use crate::crypto::merkle::SmtProof;
use crate::utils::serde::{
    ByteReader,
    ByteWriter,
    Deserializable,
    DeserializationError,
    Serializable,
};

// NULLIFIER WITNESS
// ================================================================================================

/// A proof that a certain nullifier is in the nullifier tree with the contained state.
#[derive(Debug, Clone)]
pub struct NullifierWitness {
    proof: SmtProof,
}

impl NullifierWitness {
    /// Creates a new [`NullifierWitness`] from the given proof.
    pub fn new(proof: SmtProof) -> Self {
        Self { proof }
    }

    /// Returns a reference to the underlying [`SmtProof`].
    pub fn proof(&self) -> &SmtProof {
        &self.proof
    }

    /// Consumes the witness and returns the underlying [`SmtProof`].
    pub fn into_proof(self) -> SmtProof {
        self.proof
    }
}

impl Serializable for NullifierWitness {
    fn write_into<W: ByteWriter>(&self, target: &mut W) {
        target.write(&self.proof);
    }
}

impl Deserializable for NullifierWitness {
    fn read_from<R: ByteReader>(source: &mut R) -> Result<Self, DeserializationError> {
        let proof = source.read()?;
        Ok(Self::new(proof))
    }
}