aztec-nr - protocol_types::proof::proof_data

Struct ProofData

pub struct ProofData<T, let ProofLen: u32, let VkLen: u32> {
    pub public_inputs: T,
    pub proof: [Field; ProofLen],
    pub vk_data: VkData<VkLen>,
}

Fields

public_inputs: T

proof: [Field; ProofLen]

vk_data: VkData<VkLen>

Implementations

`impl<T> ProofData<T, 20000, 1000>`

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

`impl<T> ProofData<T, 531, 115>`

pub fn verify_proof(self)
where
    T: Serialize

pub fn verify_proof_in_root(self)
where
    T: Serialize

`impl<let ProofLen: u32, T, let VkLen: u32> ProofData<T, ProofLen, VkLen>`

pub fn verify(self, proof_type: u32)
where
    T: Serialize

Verifies the proof against the verification key and public inputs. The vk hash is also checked in the backend to match the key.

`impl<T> ProofData<T, 457, 115>`

pub fn verify_proof(self)
where
    T: Serialize

`impl<T> ProofData<T, 2049, 127>`

pub fn verify_proof(self)
where
    T: Serialize