ZKHonkProof

Fully qualified path: garaga::apps::noir::ZKHonkProof

#[derive(Drop, Serde, Copy)]
pub struct ZKHonkProof {
    pub public_inputs: Span<u256>,
    pub pairing_point_object: Span<u256>,
    pub w1: G1Point256,
    pub w2: G1Point256,
    pub w3: G1Point256,
    pub w4: G1Point256,
    pub z_perm: G1Point256,
    pub lookup_read_counts: G1Point256,
    pub lookup_read_tags: G1Point256,
    pub lookup_inverses: G1Point256,
    pub libra_commitments: Span<G1Point256>,
    pub libra_sum: u256,
    pub sumcheck_univariates: Span<u256>,
    pub sumcheck_evaluations: Span<u256>,
    pub libra_evaluation: u256,
    pub gemini_masking_poly: G1Point256,
    pub gemini_masking_eval: u256,
    pub gemini_fold_comms: Span<G1Point256>,
    pub gemini_a_evaluations: Span<u256>,
    pub libra_poly_evals: Span<u256>,
    pub shplonk_q: G1Point256,
    pub kzg_quotient: G1Point256,
}

Members

public_inputs

Fully qualified path: garaga::apps::noir::ZKHonkProof::public_inputs

pub public_inputs: Span<u256>

pairing_point_object

Fully qualified path: garaga::apps::noir::ZKHonkProof::pairing_point_object

pub pairing_point_object: Span<u256>

w1

Fully qualified path: garaga::apps::noir::ZKHonkProof::w1

pub w1: G1Point256

w2

Fully qualified path: garaga::apps::noir::ZKHonkProof::w2

pub w2: G1Point256

w3

Fully qualified path: garaga::apps::noir::ZKHonkProof::w3

pub w3: G1Point256

w4

Fully qualified path: garaga::apps::noir::ZKHonkProof::w4

pub w4: G1Point256

z_perm

Fully qualified path: garaga::apps::noir::ZKHonkProof::z_perm

pub z_perm: G1Point256

lookup_read_counts

Fully qualified path: garaga::apps::noir::ZKHonkProof::lookup_read_counts

pub lookup_read_counts: G1Point256

lookup_read_tags

Fully qualified path: garaga::apps::noir::ZKHonkProof::lookup_read_tags

pub lookup_read_tags: G1Point256

lookup_inverses

Fully qualified path: garaga::apps::noir::ZKHonkProof::lookup_inverses

pub lookup_inverses: G1Point256

libra_commitments

Fully qualified path: garaga::apps::noir::ZKHonkProof::libra_commitments

pub libra_commitments: Span<G1Point256>

libra_sum

Fully qualified path: garaga::apps::noir::ZKHonkProof::libra_sum

pub libra_sum: u256

sumcheck_univariates

Fully qualified path: garaga::apps::noir::ZKHonkProof::sumcheck_univariates

pub sumcheck_univariates: Span<u256>

sumcheck_evaluations

Fully qualified path: garaga::apps::noir::ZKHonkProof::sumcheck_evaluations

pub sumcheck_evaluations: Span<u256>

libra_evaluation

Fully qualified path: garaga::apps::noir::ZKHonkProof::libra_evaluation

pub libra_evaluation: u256

gemini_masking_poly

Fully qualified path: garaga::apps::noir::ZKHonkProof::gemini_masking_poly

pub gemini_masking_poly: G1Point256

gemini_masking_eval

Fully qualified path: garaga::apps::noir::ZKHonkProof::gemini_masking_eval

pub gemini_masking_eval: u256

gemini_fold_comms

Fully qualified path: garaga::apps::noir::ZKHonkProof::gemini_fold_comms

pub gemini_fold_comms: Span<G1Point256>

gemini_a_evaluations

Fully qualified path: garaga::apps::noir::ZKHonkProof::gemini_a_evaluations

pub gemini_a_evaluations: Span<u256>

libra_poly_evals

Fully qualified path: garaga::apps::noir::ZKHonkProof::libra_poly_evals

pub libra_poly_evals: Span<u256>

shplonk_q

Fully qualified path: garaga::apps::noir::ZKHonkProof::shplonk_q

pub shplonk_q: G1Point256

kzg_quotient

Fully qualified path: garaga::apps::noir::ZKHonkProof::kzg_quotient

pub kzg_quotient: G1Point256