[−][src]Trait storage_proofs::compound_proof::CircuitComponent

pub trait CircuitComponent {
    type ComponentPrivateInputs: Default + Clone;
}

CircuitComponent exists so parent components can pass private inputs to their subcomponents when calling CompoundProof::circuit directly. In general, there are no internal private inputs, and a default value will be passed. CompoundProof::circuit implementations should exhibit default behavior when passed a default ComponentPrivateinputs.

Associated Types

type ComponentPrivateInputs: Default + Clone

Loading content...

Implementors

impl<'a, E: JubjubEngine> CircuitComponent for PoRCCircuit<'a, E>[src]

type ComponentPrivateInputs = ComponentPrivateInputs

impl<'a, E: JubjubEngine> CircuitComponent for VDFPoStCircuit<'a, E>[src]

type ComponentPrivateInputs = ComponentPrivateInputs

impl<'a, E: JubjubEngine, H: Hasher> CircuitComponent for PoRCircuit<'a, E, H>[src]

type ComponentPrivateInputs = Option<Root<E>>

impl<'a, E: JubjubEngine, H: Hasher> CircuitComponent for ZigZagCircuit<'a, E, H>[src]

type ComponentPrivateInputs = ()

impl<'a, E: JubjubEngine, H: Hasher> CircuitComponent for DrgPoRepCircuit<'a, E, H>[src]

type ComponentPrivateInputs = ComponentPrivateInputs<E>

impl<'a, E: JubjubEngine, H: Hasher, V: Vdf<H::Domain>> CircuitComponent for BeaconPoStCircuit<'a, E, H, V>[src]

type ComponentPrivateInputs = ComponentPrivateInputs

Loading content...