Struct storage_proofs::beacon_post::BeaconPoSt

pub struct BeaconPoSt<H: Hasher, V: Vdf<H::Domain>> { /* fields omitted */ }

Trait Implementations

impl<'a, H: Hasher, V: Vdf<H::Domain>> CompoundProof<'a, Bls12, BeaconPoSt<H, V>, BeaconPoStCircuit<'a, Bls12, H, V>> for BeaconPoStCompound where
    <V as Vdf<H::Domain>>::PublicParams: Send + Sync,
    <V as Vdf<H::Domain>>::Proof: Send + Sync,
    V: Sync + Send,
    H: 'a, 

fn generate_public_inputs(
    _pub_in: &<BeaconPoSt<H, V> as ProofScheme<'a>>::PublicInputs,
    _pub_params: &<BeaconPoSt<H, V> as ProofScheme<'a>>::PublicParams,
    _partition_k: Option<usize>
) -> Vec<Fr>

generate_public_inputs generates public inputs suitable for use as input during verification of a proof generated from this CompoundProof's bellperson::Circuit (C). These inputs correspond to those allocated when C is synthesized.

fn circuit(
    _pub_in: &<BeaconPoSt<H, V> as ProofScheme<'a>>::PublicInputs,
    _component_private_inputs: <BeaconPoStCircuit<'a, Bls12, H, V> as CircuitComponent>::ComponentPrivateInputs,
    _vanilla_proof: &<BeaconPoSt<H, V> as ProofScheme<'a>>::Proof,
    _pub_params: &<BeaconPoSt<H, V> as ProofScheme<'a>>::PublicParams,
    _engine_params: &'a <Bls12 as JubjubEngine>::Params
) -> BeaconPoStCircuit<'a, Bls12, H, V>

circuit constructs an instance of this CompoundProof's bellperson::Circuit. circuit takes PublicInputs, PublicParams, and Proof from this CompoundProof's proof::ProofScheme (S) and uses them to initialize Circuit fields which will be used to construct public and private inputs during circuit synthesis.

fn blank_circuit(
    _public_params: &<BeaconPoSt<H, V> as ProofScheme<'a>>::PublicParams,
    _engine_params: &'a <Bls12 as JubjubEngine>::Params
) -> BeaconPoStCircuit<'a, Bls12, H, V>

fn setup<'b>(sp: &SetupParams<'a, 'b, E, S>) -> Result<PublicParams<'a, E, S>> where
    E::Params: Sync, 

fn partition_count(public_params: &PublicParams<'a, E, S>) -> usize

fn prove<'b>(
    pub_params: &'b PublicParams<'a, E, S>,
    pub_in: &'b S::PublicInputs,
    priv_in: &'b S::PrivateInputs,
    groth_params: &'b Parameters<E>
) -> Result<MultiProof<'b, E>> where
    E::Params: Sync, 

prove is equivalent to ProofScheme::prove.

fn verify(
    public_params: &PublicParams<'a, E, S>,
    public_inputs: &S::PublicInputs,
    multi_proof: &MultiProof<E>,
    requirements: &S::Requirements
) -> Result<bool>

fn circuit_proof<'b>(
    pub_in: &S::PublicInputs,
    vanilla_proof: &S::Proof,
    pub_params: &'b S::PublicParams,
    params: &'a E::Params,
    groth_params: &Parameters<E>
) -> Result<Proof<E>>

circuit_proof creates and synthesizes a circuit from concrete params/inputs, then generates a groth proof from it. It returns a groth proof. circuit_proof is used internally and should neither be called nor implemented outside of default trait methods.

fn groth_params(
    public_params: &S::PublicParams,
    engine_params: &'a E::Params
) -> Result<Parameters<E>>

fn verifying_key(
    public_params: &S::PublicParams,
    engine_params: &'a E::Params
) -> Result<VerifyingKey<E>>

fn circuit_for_test(
    public_parameters: &PublicParams<'a, E, S>,
    public_inputs: &S::PublicInputs,
    private_inputs: &S::PrivateInputs
) -> (C, Vec<E::Fr>)

impl<'a, H: Hasher, V: Vdf<H::Domain>> ProofScheme<'a> for BeaconPoSt<H, V> where
    H: 'a, 

type PublicParams = PublicParams<H::Domain, V>

type SetupParams = SetupParams<H::Domain, V>

type PublicInputs = PublicInputs<H::Domain>

type PrivateInputs = PrivateInputs<'a, H>

type Proof = Proof<'a, H, V>

type Requirements = NoRequirements

fn setup(sp: &SetupParams<H::Domain, V>) -> Result<PublicParams<H::Domain, V>>

setup is used to generate public parameters from setup parameters in order to specialize a ProofScheme to the specific parameters required by a consumer.

fn prove<'b>(
    pub_params: &'b PublicParams<H::Domain, V>,
    pub_inputs: &'b PublicInputs<H::Domain>,
    priv_inputs: &'b PrivateInputs<'a, H>
) -> Result<Proof<'a, H, V>>

prove generates and returns a proof from public parameters, public inputs, and private inputs.

fn verify(
    pub_params: &PublicParams<H::Domain, V>,
    pub_inputs: &PublicInputs<H::Domain>,
    proof: &Proof<H, V>
) -> Result<bool>

verify returns true if the supplied proof is valid for the given public parameter and public inputs. Note that verify does not have access to private inputs. Remember that proof is untrusted, and any data it provides MUST be validated as corresponding to the supplied public parameters and inputs.

fn prove_all_partitions<'b>(
    pub_params: &'b Self::PublicParams,
    pub_in: &'b Self::PublicInputs,
    priv_in: &'b Self::PrivateInputs,
    partition_count: usize
) -> Result<Vec<Self::Proof>>

fn verify_all_partitions(
    pub_params: &Self::PublicParams,
    pub_in: &Self::PublicInputs,
    proofs: &[Self::Proof]
) -> Result<bool>

fn with_partition(
    pub_in: Self::PublicInputs,
    _k: Option<usize>
) -> Self::PublicInputs

fn satisfies_requirements(
    _pub_params: &Self::PublicParams,
    _requirements: &Self::Requirements,
    _partitions: usize
) -> bool

impl<H: Clone + Hasher, V: Clone + Vdf<H::Domain>> Clone for BeaconPoSt<H, V>

fn clone(&self) -> BeaconPoSt<H, V>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<H: Default + Hasher, V: Default + Vdf<H::Domain>> Default for BeaconPoSt<H, V>

fn default() -> BeaconPoSt<H, V>

Returns the "default value" for a type.

impl<H: Debug + Hasher, V: Debug + Vdf<H::Domain>> Debug for BeaconPoSt<H, V>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.