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 = 67

const AUX_LEN: usize = 338873

const PREVIOUS_CHALLENGES: usize = 2

const ROWS: usize = 34797

impl ProofConstants for StepMergeProof

const PRIMARY_LEN: usize = 67

const AUX_LEN: usize = 352469

const PREVIOUS_CHALLENGES: usize = 2

const ROWS: usize = 29010

impl ProofConstants for StepTransactionProof

const PRIMARY_LEN: usize = 67

const AUX_LEN: usize = 94478

const PREVIOUS_CHALLENGES: usize = 0

const ROWS: usize = 17806

impl ProofConstants for StepZkappOptSignedOptSignedProof

const PRIMARY_LEN: usize = 67

const AUX_LEN: usize = 104914

const PREVIOUS_CHALLENGES: usize = 0

const ROWS: usize = 18655

impl ProofConstants for StepZkappOptSignedProof

const PRIMARY_LEN: usize = 67

const AUX_LEN: usize = 71842

const PREVIOUS_CHALLENGES: usize = 0

const ROWS: usize = 11332

impl ProofConstants for StepZkappProvedProof

const PRIMARY_LEN: usize = 67

const AUX_LEN: usize = 210350

const PREVIOUS_CHALLENGES: usize = 1

const ROWS: usize = 20023

impl ProofConstants for WrapBlockProof

const PRIMARY_LEN: usize = 40

const AUX_LEN: usize = 179208

const PREVIOUS_CHALLENGES: usize = 2

const ROWS: usize = 14657

impl ProofConstants for WrapMergeProof

const PRIMARY_LEN: usize = WrapTransactionProof::PRIMARY_LEN

const AUX_LEN: usize = WrapTransactionProof::AUX_LEN

const PREVIOUS_CHALLENGES: usize = WrapTransactionProof::PREVIOUS_CHALLENGES

const ROWS: usize = WrapTransactionProof::ROWS

impl ProofConstants for WrapTransactionProof

const PRIMARY_LEN: usize = 40

const AUX_LEN: usize = 179491

const PREVIOUS_CHALLENGES: usize = 2

const ROWS: usize = 15122

impl ProofConstants for WrapZkappOptSignedProof

const PRIMARY_LEN: usize = WrapTransactionProof::PRIMARY_LEN

const AUX_LEN: usize = WrapTransactionProof::AUX_LEN

const PREVIOUS_CHALLENGES: usize = WrapTransactionProof::PREVIOUS_CHALLENGES

const ROWS: usize = WrapTransactionProof::ROWS

impl ProofConstants for WrapZkappProof

const PRIMARY_LEN: usize = WrapTransactionProof::PRIMARY_LEN

const AUX_LEN: usize = WrapTransactionProof::AUX_LEN

const PREVIOUS_CHALLENGES: usize = WrapTransactionProof::PREVIOUS_CHALLENGES

const ROWS: usize = WrapTransactionProof::ROWS

impl ProofConstants for WrapZkappProvedProof

const PRIMARY_LEN: usize = WrapTransactionProof::PRIMARY_LEN

const AUX_LEN: usize = WrapTransactionProof::AUX_LEN

const PREVIOUS_CHALLENGES: usize = WrapTransactionProof::PREVIOUS_CHALLENGES

const ROWS: usize = WrapTransactionProof::ROWS