Trait OutputProver 

pub trait OutputProver {
    type Proof;

    // Required methods
    fn prepare_circuit(
        esk: &EphemeralSecretKey,
        payment_address: PaymentAddress,
        rcm: Fr,
        value: NoteValue,
        rcv: ValueCommitTrapdoor,
    ) -> Output;
    fn create_proof<R: RngCore>(
        &self,
        circuit: Output,
        rng: &mut R,
    ) -> Self::Proof;
    fn encode_proof(proof: Self::Proof) -> GrothProofBytes;
}

Available on crate feature circuit only.

Interface for creating Sapling Output proofs.

Required Associated Types

type Proof

The proof type created by this prover.

Required Methods

fn prepare_circuit( esk: &EphemeralSecretKey, payment_address: PaymentAddress, rcm: Fr, value: NoteValue, rcv: ValueCommitTrapdoor, ) -> Output

Prepares an instance of the Sapling Output circuit for the given inputs.

Returns None if diversifier is not a valid Sapling diversifier.

fn create_proof<R: RngCore>(&self, circuit: Output, rng: &mut R) -> Self::Proof

Create the proof for a Sapling OutputDescription.

fn encode_proof(proof: Self::Proof) -> GrothProofBytes

Encodes the given Sapling OutputDescription proof, erasing its type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl OutputProver for OutputParameters

type Proof = Proof<Bls12>

impl OutputProver for MockOutputProver

Available on crate feature test-dependencies only.

type Proof = [u8; 192]