Trait ProofConstants

pub trait ProofConstants {
    const PRIMARY_LEN: usize;
    const AUX_LEN: usize;
    const PREVIOUS_CHALLENGES: usize;
    const ROWS: usize;
}

Required Associated Constants

const PRIMARY_LEN: usize

Number of public inputs

const AUX_LEN: usize

Number of witness values

const PREVIOUS_CHALLENGES: usize

const ROWS: usize

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

impl ProofConstants for StepBlockProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 338_873usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 34_797usize

impl ProofConstants for StepMergeProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 352_469usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 29_010usize

impl ProofConstants for StepTransactionProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 94_478usize

const PREVIOUS_CHALLENGES: usize = 0usize

const ROWS: usize = 17_806usize

impl ProofConstants for StepZkappOptSignedOptSignedProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 104_914usize

const PREVIOUS_CHALLENGES: usize = 0usize

const ROWS: usize = 18_655usize

impl ProofConstants for StepZkappOptSignedProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 71_842usize

const PREVIOUS_CHALLENGES: usize = 0usize

const ROWS: usize = 11_332usize

impl ProofConstants for StepZkappProvedProof

const PRIMARY_LEN: usize = 67usize

const AUX_LEN: usize = 210_350usize

const PREVIOUS_CHALLENGES: usize = 1usize

const ROWS: usize = 20_023usize

impl ProofConstants for WrapBlockProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_208usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 14_657usize

impl ProofConstants for WrapMergeProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_491usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 15_122usize

impl ProofConstants for WrapTransactionProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_491usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 15_122usize

impl ProofConstants for WrapZkappOptSignedProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_491usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 15_122usize

impl ProofConstants for WrapZkappProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_491usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 15_122usize

impl ProofConstants for WrapZkappProvedProof

const PRIMARY_LEN: usize = 40usize

const AUX_LEN: usize = 179_491usize

const PREVIOUS_CHALLENGES: usize = 2usize

const ROWS: usize = 15_122usize