aztec-nr - noir_aztec::protocol::proof::proof_data

Struct ProofDataForFixedVk

pub struct ProofDataForFixedVk<T, let ProofLen: u32> {
    pub public_inputs: T,
    pub proof: [Field; ProofLen],
}

Fields

public_inputs: T
proof: [Field; ProofLen]

Implementations

impl<T> ProofDataForFixedVk<T, 16200>

pub fn verify_proof_with_columns<let N: u32>(self)
where T: SerializeToColumns<N>