Struct SP1DeferredWitnessValues 

pub struct SP1DeferredWitnessValues<GC: IopCtx<F = SP1Field, EF = SP1ExtensionField> + FieldHasher, Proof> {
    pub vks_and_proofs: Vec<VkAndProof<GC, Proof>>,
    pub vk_merkle_data: SP1MerkleProofWitnessValues<GC>,
    pub start_reconstruct_deferred_digest: [GC::F; 8],
    pub sp1_vk_digest: [GC::F; 8],
    pub end_pc: [GC::F; 3],
    pub proof_nonce: [GC::F; 4],
    pub deferred_proof_index: GC::F,
}

Fields

vks_and_proofs: Vec<VkAndProof<GC, Proof>>

vk_merkle_data: SP1MerkleProofWitnessValues<GC>

start_reconstruct_deferred_digest: [GC::F; 8]

sp1_vk_digest: [GC::F; 8]

end_pc: [GC::F; 3]

proof_nonce: [GC::F; 4]

deferred_proof_index: GC::F

Implementations

impl<GC: IopCtx<F = SP1Field, EF = SP1ExtensionField> + FieldHasher, Proof> SP1DeferredWitnessValues<GC, Proof>

pub fn range(&self) -> ShardRange

The deferred proof range.

The deferred proofs are put at the “start” and assigned initial and final timestamp equal to 1. The rest of the range values are set to zero.

Trait Implementations

impl<GC: Clone + IopCtx<F = SP1Field, EF = SP1ExtensionField> + FieldHasher, Proof: Clone> Clone for SP1DeferredWitnessValues<GC, Proof>

where GC::F: Clone,

fn clone(&self) -> SP1DeferredWitnessValues<GC, Proof>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'de, GC: IopCtx<F = SP1Field, EF = SP1ExtensionField> + FieldHasher, Proof> Deserialize<'de> for SP1DeferredWitnessValues<GC, Proof>

where GC::Challenger: Deserialize<'de>, ShardProof<GC, Proof>: Deserialize<'de>, [GC::F; 8]: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<GC: IopCtx<F = SP1Field, EF = SP1ExtensionField> + FieldHasher, Proof> Serialize for SP1DeferredWitnessValues<GC, Proof>

where GC::Challenger: Serialize, ShardProof<GC, Proof>: Serialize, [GC::F; 8]: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<C> Witnessable<C> for SP1DeferredWitnessValues<SP1GlobalContext, SP1PcsProofInner>

where C: CircuitConfig<Bit = Felt<InnerVal>>,

type WitnessVariable = SP1DeferredWitnessVariable<C, KoalaBearDegree4Duplex>

fn read(&self, builder: &mut Builder<C>) -> Self::WitnessVariable

fn write(&self, witness: &mut impl WitnessWriter<C>)