Struct zei::core::XProofs

pub struct XProofs {
    pub range_proof: RangeProof,
    pub equality_proof: EqualityProof,
    pub asset_proof: BatchEqualityProof,
}

Proove Me Baby One More Time

Fields

range_proof: RangeProof

Proove that amounts are non zero and within range

equality_proof: EqualityProof

Proove that total amounts in-out are equal

asset_proof: BatchEqualityProof

Proove that asset types havent mixed

Methods

impl XProofs

pub fn proove(
    inputs: &Vec<OpenAssetOut>,
    outputs: &Vec<OpenAssetOut>
) -> Result<XProofs, ZeiError>

Create Proofs

pub fn proove_internal(
    &mut self,
    inputs: &Vec<OpenAssetOut>,
    outputs: &Vec<OpenAssetOut>
) -> Result<(), ZeiError>

Create Proofs

pub fn verify(
    &self,
    inputs: &Vec<AssetOut>,
    outputs: &Vec<AssetOut>
) -> Result<(), ZeiError>

pub fn verify_step_one(
    &self,
    inputs: &Vec<AssetOut>,
    outputs: &Vec<AssetOut>
) -> Result<(), ZeiError>

Equality Proof

pub fn verify_step_two(
    &self,
    inputs: &Vec<AssetOut>,
    outputs: &Vec<AssetOut>
) -> Result<(), ZeiError>

Verify Batch Equality Proof

Trait Implementations

impl Default for XProofs

fn default() -> XProofs

Returns the "default value" for a type.

impl Writeable for XProofs

fn write<W: Writer>(&self, writer: &mut W) -> Result<(), Error>

Write the data held by this Writeable to the provided writer

impl Readable for XProofs

fn read(reader: &mut dyn Reader) -> Result<XProofs, Error>

Reads the data necessary to this Readable from the provided reader