Struct ResourceState 

pub struct ResourceState { /* private fields */ }

Lean-aligned resource state with commitments and nullifiers.

Implementations

impl ResourceState

pub fn commit(&mut self, value: &Value) -> Commitment

Record a commitment for a value and return the commitment digest.

pub fn consume(&mut self, value: &Value) -> Result<Nullifier, String>

Consume a value by inserting its nullifier.

Errors

Returns an error when the value has already been consumed.

pub fn verify_uncommitted(&self, value: &Value) -> bool

Check whether a value has not yet been consumed.

Trait Implementations

impl Clone for ResourceState

fn clone(&self) -> ResourceState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ResourceState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ResourceState

fn default() -> ResourceState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ResourceState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ResourceState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.