Trait zebra_consensus::primitives::groth16::Description

pub trait Description {
    // Required methods
    fn proof(&self) -> &Groth16Proof;
    fn primary_inputs(&self) -> Vec<Fq>;
}

A Groth16 Description (JoinSplit, Spend, or Output) with a Groth16 proof and its inputs encoded as scalars.

Required Methods

fn proof(&self) -> &Groth16Proof

The Groth16 proof of this description.

fn primary_inputs(&self) -> Vec<Fq>

The primary inputs for this proof, encoded as [jubjub::Fq] scalars.

Implementations on Foreign Types

impl Description for (&JoinSplit<Groth16Proof>, &VerificationKeyBytes)

fn primary_inputs(&self) -> Vec<Fq>

Encodes the primary input for the JoinSplit proof statement as Bls12_381 base field elements, to match [bellman::groth16::verify_proof()].

NB: [jubjub::Fq] is a type alias for [bls12_381::Scalar].

joinsplit_pub_key: the JoinSplit public validation key for this JoinSplit, from the transaction. (All JoinSplits in a transaction share the same validation key.)

This is not yet officially documented; see the reference implementation: https://github.com/zcash/librustzcash/blob/0ec7f97c976d55e1a194a37b27f247e8887fca1d/zcash_proofs/src/sprout.rs#L152-L166 https://zips.z.cash/protocol/protocol.pdf#joinsplitdesc

fn proof(&self) -> &Groth16Proof

impl Description for Output

fn primary_inputs(&self) -> Vec<Fq>

Encodes the primary input for the Sapling Output proof statement as 5 Bls12_381 base field elements, to match [bellman::groth16::verify_proof] (the starting fixed element 1 is filled in by [bellman].

NB: [jubjub::Fq] is a type alias for [bls12_381::Scalar].

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

fn proof(&self) -> &Groth16Proof

impl Description for Spend<PerSpendAnchor>

fn primary_inputs(&self) -> Vec<Fq>

Encodes the primary input for the Sapling Spend proof statement as 7 Bls12_381 base field elements, to match [bellman::groth16::verify_proof] (the starting fixed element 1 is filled in by [bellman].

NB: jubjub::Fq is a type alias for bls12_381::Scalar.

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

fn proof(&self) -> &Groth16Proof

Implementors