Struct zebra_chain::sapling::ValueCommitment

pub struct ValueCommitment(/* private fields */);

A Homomorphic Pedersen commitment to the value of a note.

This can be used as an intermediate value in some computations. For the type actually stored in Spend and Output descriptions, see NotSmallOrderValueCommitment.

https://zips.z.cash/protocol/protocol.pdf#concretehomomorphiccommit

Implementations

impl ValueCommitment

pub fn randomized<T>(csprng: &mut T, value: Amount) -> Result<Self, RandError>

where T: RngCore + CryptoRng,

Generate a new ValueCommitment.

https://zips.z.cash/protocol/protocol.pdf#concretehomomorphiccommit

pub fn new(rcv: Fr, value: Amount) -> Self

Generate a new ValueCommitment from an existing rcv on a value.

https://zips.z.cash/protocol/protocol.pdf#concretehomomorphiccommit

Trait Implementations

impl<'a> Add<&'a ValueCommitment> for ValueCommitment

type Output = ValueCommitment

The resulting type after applying the + operator.

fn add(self, rhs: &'a ValueCommitment) -> Self::Output

Performs the + operation.

impl Add for ValueCommitment

type Output = ValueCommitment

The resulting type after applying the + operator.

fn add(self, rhs: ValueCommitment) -> Self::Output

Performs the + operation.

impl AddAssign for ValueCommitment

fn add_assign(&mut self, rhs: ValueCommitment)

Performs the += operation.

impl Clone for ValueCommitment

fn clone(&self) -> ValueCommitment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueCommitment

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ValueCommitment

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ExtendedPoint> for ValueCommitment

fn from(extended_point: ExtendedPoint) -> Self

Convert a Jubjub point into a ValueCommitment.

impl From<NotSmallOrderValueCommitment> for ValueCommitment

fn from(cv: NotSmallOrderValueCommitment) -> Self

Converts to this type from the input type.

impl From<ValueCommitment> for [u8; 32]

LEBS2OSP256(repr_J(cv))

https://zips.z.cash/protocol/protocol.pdf#spendencoding https://zips.z.cash/protocol/protocol.pdf#jubjub

fn from(cm: ValueCommitment) -> [u8; 32]

Converts to this type from the input type.

impl PartialEq for ValueCommitment

fn eq(&self, other: &ValueCommitment) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ValueCommitment

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Sub<&'a ValueCommitment> for ValueCommitment

type Output = ValueCommitment

The resulting type after applying the - operator.

fn sub(self, rhs: &'a ValueCommitment) -> Self::Output

Performs the - operation.

impl Sub for ValueCommitment

type Output = ValueCommitment

The resulting type after applying the - operator.

fn sub(self, rhs: ValueCommitment) -> Self::Output

Performs the - operation.

impl SubAssign for ValueCommitment

fn sub_assign(&mut self, rhs: ValueCommitment)

Performs the -= operation.

impl Sum for ValueCommitment

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = Self>,

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl TryFrom<[u8; 32]> for ValueCommitment

LEBS2OSP256(repr_J(cv))

https://zips.z.cash/protocol/protocol.pdf#spendencoding https://zips.z.cash/protocol/protocol.pdf#jubjub

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(bytes: [u8; 32]) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ValueCommitment> for NotSmallOrderValueCommitment

fn try_from(value_commitment: ValueCommitment) -> Result<Self, Self::Error>

Convert a ValueCommitment into a NotSmallOrderValueCommitment.

Returns an error if the point is of small order.

Consensus

cv and rk MUST NOT be of small order, i.e. [h_J]cv MUST NOT be 𝒪_J and [h_J]rk MUST NOT be 𝒪_J.

cv and epk MUST NOT be of small order, i.e. [h_J]cv MUST NOT be 𝒪_J and [ℎ_J]epk MUST NOT be 𝒪_J.

type Error = &'static str

The type returned in the event of a conversion error.

impl Copy for ValueCommitment

impl Eq for ValueCommitment

impl StructuralPartialEq for ValueCommitment