Type Alias SP1StarkProof 

pub type SP1StarkProof = SP1ReduceProof<BabyBearPoseidon2>;

Aliased Type

pub struct SP1StarkProof {
    pub vk: StarkVerifyingKey<BabyBearPoseidon2>,
    pub proof: ShardProof<BabyBearPoseidon2>,
}

Fields

vk: StarkVerifyingKey<BabyBearPoseidon2>

The compress verifying key associated with the proof.

proof: ShardProof<BabyBearPoseidon2>

The shard proof representing the compressed proof.