FullProofWithHintsSP1

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1

#[derive(Drop)]
pub struct FullProofWithHintsSP1 {
    pub groth16_proof: Groth16ProofRaw,
    pub vkey: u256,
    pub public_inputs_sp1: Array<u32>,
    pub mpcheck_hint: MPCheckHintBN254,
    pub msm_hint: Span<felt252>,
}

Members

groth16_proof

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1::groth16_proof

pub groth16_proof: Groth16ProofRaw

vkey

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1::vkey

pub vkey: u256

public_inputs_sp1

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1::public_inputs_sp1

pub public_inputs_sp1: Array<u32>

mpcheck_hint

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1::mpcheck_hint

pub mpcheck_hint: MPCheckHintBN254

msm_hint

Fully qualified path: garaga::apps::sp1::FullProofWithHintsSP1::msm_hint

pub msm_hint: Span<felt252>