Struct UnrolledProgramProof 

pub struct UnrolledProgramProof {
    pub final_pc: u32,
    pub final_timestamp: u64,
    pub circuit_families_proofs: BTreeMap<u8, Vec<UnrolledModeProof>>,
    pub inits_and_teardowns_proofs: Vec<UnrolledModeProof>,
    pub delegation_proofs: BTreeMap<u32, Vec<Proof>>,
    pub register_final_values: [FinalRegisterValue; 32],
    pub recursion_chain_preimage: Option<[u32; 16]>,
    pub recursion_chain_hash: Option<[u32; 8]>,
    pub pow_challenge: u64,
}

Fields

final_pc: u32

final_timestamp: u64

circuit_families_proofs: BTreeMap<u8, Vec<UnrolledModeProof>>

inits_and_teardowns_proofs: Vec<UnrolledModeProof>

delegation_proofs: BTreeMap<u32, Vec<Proof>>

register_final_values: [FinalRegisterValue; 32]

recursion_chain_preimage: Option<[u32; 16]>

recursion_chain_hash: Option<[u32; 8]>

pow_challenge: u64

Implementations

impl UnrolledProgramProof

pub fn get_proof_counts(&self) -> (usize, usize, usize)

pub fn debug_info(&self) -> String

pub fn flatten_into_responses( &self, allowed_delegation_circuits: &[u32], compiled_layouts: &CompiledCircuitsSet, ) -> Vec<u32>

Trait Implementations

impl Clone for UnrolledProgramProof

fn clone(&self) -> UnrolledProgramProof

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UnrolledProgramProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnrolledProgramProof

fn deserialize<__D>( __deserializer: __D, ) -> Result<UnrolledProgramProof, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ProveResult> for UnrolledProgramProof

fn from(value: ProveResult) -> UnrolledProgramProof

Converts to this type from the input type.

impl Hash for UnrolledProgramProof

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Serialize for UnrolledProgramProof

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.