Struct InputSubqueryAggregation 

pub struct InputSubqueryAggregation {
    pub snark_header: EnhancedSnark,
    pub snark_account: Option<EnhancedSnark>,
    pub snark_storage: Option<EnhancedSnark>,
    pub snark_solidity_mapping: Option<EnhancedSnark>,
    pub snark_tx: Option<EnhancedSnark>,
    pub snark_receipt: Option<EnhancedSnark>,
    pub promise_commit_keccak: Fr,
    pub snark_results_root: EnhancedSnark,
}

Fields

snark_header: EnhancedSnark

Header snark always required

snark_account: Option<EnhancedSnark>

snark_storage: Option<EnhancedSnark>

snark_solidity_mapping: Option<EnhancedSnark>

snark_tx: Option<EnhancedSnark>

snark_receipt: Option<EnhancedSnark>

promise_commit_keccak: Fr

The keccak commit is provided as a public input. The SubqueryAggregation circuit will check that all subquery component circuits use the same promise commit for keccak. It will not check the promise commit itself. That will be done by AxiomAggregation1, which aggregates this SubqueryAggregation circuit.

snark_results_root: EnhancedSnark

Results root snark always required

Implementations

impl InputSubqueryAggregation

pub fn build( self, stage: CircuitBuilderStage, circuit_params: AggregationCircuitParams, kzg_params: &ParamsKZG<Bn256>, ) -> Result<AggregationCircuit>

Builds general circuit

Warning: this MUST return a circuit implementing CircuitExt with accumulator indices provided. In particular, do not return BaseCircuitBuilder.

pub fn prover_circuit( self, pinning: AggregationCircuitPinning, kzg_params: &ParamsKZG<Bn256>, ) -> Result<AggregationCircuit>

Trait Implementations

impl Clone for InputSubqueryAggregation

fn clone(&self) -> InputSubqueryAggregation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InputSubqueryAggregation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InputSubqueryAggregation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for InputSubqueryAggregation

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Serialize for InputSubqueryAggregation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.