Trait elements::BlindAssetProofs

pub trait BlindAssetProofs: Sized {
    // Required methods
    fn blind_asset_proof<C: Signing, R: RngCore + CryptoRng>(
        rng: &mut R,
        secp: &Secp256k1<C>,
        asset: AssetId,
        abf: AssetBlindingFactor
    ) -> Result<Self, Error>;
    fn blind_asset_proof_verify(
        &self,
        secp: &Secp256k1<All>,
        asset: AssetId,
        asset_commit: Generator
    ) -> bool;
}

A trait to create and verify explicit surjection proofs

Required Methods

fn blind_asset_proof<C: Signing, R: RngCore + CryptoRng>( rng: &mut R, secp: &Secp256k1<C>, asset: AssetId, abf: AssetBlindingFactor ) -> Result<Self, Error>

Outputs a [SurjectionProof] that blinded asset corresponfs to unblinded explicit asset

fn blind_asset_proof_verify( &self, secp: &Secp256k1<All>, asset: AssetId, asset_commit: Generator ) -> bool

Verify that the Surjection proves that asset commitment is actually bound to the explicit asset

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl BlindAssetProofs for SurjectionProof

fn blind_asset_proof<C: Signing, R: RngCore + CryptoRng>( rng: &mut R, secp: &Secp256k1<C>, asset: AssetId, abf: AssetBlindingFactor ) -> Result<Self, Error>

fn blind_asset_proof_verify( &self, secp: &Secp256k1<All>, asset: AssetId, asset_commit: Generator ) -> bool

Implementors