FullProofWithHintsRisc0

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0

#[derive(Drop)]
pub struct FullProofWithHintsRisc0 {
    pub groth16_proof: Groth16ProofRaw,
    pub image_id: Span<u32>,
    pub journal: Span<u8>,
    pub mpcheck_hint: MPCheckHintBN254,
    pub msm_hint: Span<felt252>,
}

Members

groth16_proof

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0::groth16_proof

pub groth16_proof: Groth16ProofRaw

image_id

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0::image_id

pub image_id: Span<u32>

journal

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0::journal

pub journal: Span<u8>

mpcheck_hint

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0::mpcheck_hint

pub mpcheck_hint: MPCheckHintBN254

msm_hint

Fully qualified path: garaga::apps::risc0::FullProofWithHintsRisc0::msm_hint

pub msm_hint: Span<felt252>