Trait sapling_crypto::prover::OutputProver

pub trait OutputProver {
    type Proof;

    // Required methods
    fn prepare_circuit(
        esk: Fr,
        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;
}

Interface for creating Sapling Output proofs.

Required Associated Types

type Proof

The proof type created by this prover.

Required Methods

fn prepare_circuit( esk: Fr, 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.

Object Safety

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]