Enum SP1Proof 

pub enum SP1Proof {
    Core(Vec<ShardProof<SP1GlobalContext, SP1PcsProofInner>>),
    Compressed(Box<SP1RecursionProof<SP1GlobalContext, SP1PcsProofInner>>),
    Plonk(PlonkBn254Proof),
    Groth16(Groth16Bn254Proof),
}

A proof generated by the SP1 RISC-V zkVM.

Variants

Core(Vec<ShardProof<SP1GlobalContext, SP1PcsProofInner>>)

A proof generated by the core proof mode.

The proof size scales linearly with the number of cycles.

Compressed(Box<SP1RecursionProof<SP1GlobalContext, SP1PcsProofInner>>)

A proof generated by the compress proof mode.

The proof size is constant, regardless of the number of cycles.

Plonk(PlonkBn254Proof)

A proof generated by the Plonk proof mode.

Groth16(Groth16Bn254Proof)

A proof generated by the Groth16 proof mode.

Implementations

impl SP1Proof

pub fn try_as_core( self, ) -> Option<Vec<ShardProof<SP1GlobalContext, SP1PcsProofInner>>>

pub const fn try_as_core_ref( &self, ) -> Option<&Vec<ShardProof<SP1GlobalContext, SP1PcsProofInner>>>

pub fn try_as_core_mut( &mut self, ) -> Option<&mut Vec<ShardProof<SP1GlobalContext, SP1PcsProofInner>>>

pub fn try_as_compressed( self, ) -> Option<Box<SP1RecursionProof<SP1GlobalContext, SP1PcsProofInner>>>

pub const fn try_as_compressed_ref( &self, ) -> Option<&Box<SP1RecursionProof<SP1GlobalContext, SP1PcsProofInner>>>

pub fn try_as_compressed_mut( &mut self, ) -> Option<&mut Box<SP1RecursionProof<SP1GlobalContext, SP1PcsProofInner>>>

pub fn try_as_plonk(self) -> Option<PlonkBn254Proof>

pub const fn try_as_plonk_ref(&self) -> Option<&PlonkBn254Proof>

pub fn try_as_plonk_mut(&mut self) -> Option<&mut PlonkBn254Proof>

pub fn try_as_groth_16(self) -> Option<Groth16Bn254Proof>

pub const fn try_as_groth_16_ref(&self) -> Option<&Groth16Bn254Proof>

pub fn try_as_groth_16_mut(&mut self) -> Option<&mut Groth16Bn254Proof>

Trait Implementations

impl Clone for SP1Proof

fn clone(&self) -> SP1Proof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SP1Proof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SP1Proof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for SP1Proof

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

Formats the value using the given formatter.

impl<'_enum> From<&'_enum SP1Proof> for SP1ProofMode

fn from(val: &'_enum SP1Proof) -> SP1ProofMode

Converts to this type from the input type.

impl From<SP1Proof> for SP1ProofMode

fn from(val: SP1Proof) -> SP1ProofMode

Converts to this type from the input type.

impl IntoDiscriminant for SP1Proof

type Discriminant = SP1ProofMode

Enum listing the same variants as this enum but without any data fields

fn discriminant(&self) -> Self::Discriminant

impl Serialize for SP1Proof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.