sp1_recursion_program::stark

Trait StarkRecursiveVerifier

Source 
pub trait StarkRecursiveVerifier<C: Config> {
    // Required method
    fn verify_shard(
        &self,
        builder: &mut Builder<C>,
        vk: &VerifyingKeyVariable<C>,
        pcs: &TwoAdicFriPcsVariable<C>,
        challenger: &mut DuplexChallengerVariable<C>,
        proof: &ShardProofVariable<C>,
        is_complete: impl Into<SymbolicVar<C::N>>,
    );

    // Provided method
    fn verify_shards(
        &self,
        builder: &mut Builder<C>,
        vk: &VerifyingKeyVariable<C>,
        pcs: &TwoAdicFriPcsVariable<C>,
        challenger: &mut DuplexChallengerVariable<C>,
        proofs: &Array<C, ShardProofVariable<C>>,
        is_complete: impl Into<SymbolicVar<C::N>> + Clone,
    ) { ... }
}

Required Methods§

Source

fn verify_shard( &self, builder: &mut Builder<C>, vk: &VerifyingKeyVariable<C>, pcs: &TwoAdicFriPcsVariable<C>, challenger: &mut DuplexChallengerVariable<C>, proof: &ShardProofVariable<C>, is_complete: impl Into<SymbolicVar<C::N>>, )

Provided Methods§

Source

fn verify_shards( &self, builder: &mut Builder<C>, vk: &VerifyingKeyVariable<C>, pcs: &TwoAdicFriPcsVariable<C>, challenger: &mut DuplexChallengerVariable<C>, proofs: &Array<C, ShardProofVariable<C>>, is_complete: impl Into<SymbolicVar<C::N>> + Clone, )

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§