Type Alias PP

pub type PP = PublicParams<Config, GrumpkinConfig, Zeromorph<Bn<Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>, SetupParams<(Config, GrumpkinConfig, Zeromorph<Bn<Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>)>>;

Public parameters used to prove and verify zkVM executions.

Aliased Type

struct PP {
    pub ro_config: PoseidonConfig<Fp<MontBackend<FrConfig, 4>, 4>>,
    pub shape: CCSShape<Projective<Config>>,
    pub shape_secondary: R1CSShape<Projective<GrumpkinConfig>>,
    pub ck: ZeromorphCommitterKey<Bn<Config>>,
    pub pp_secondary: Vec<Affine<GrumpkinConfig>>,
    pub digest: Fp<MontBackend<FrConfig, 4>, 4>,
    pub _step_circuit: PhantomData<Tr<MerkleTrie>>,
    pub _setup_params: PhantomData<SetupParams<(Config, GrumpkinConfig, Zeromorph<Bn<Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>)>>,
}

Fields

ro_config: PoseidonConfig<Fp<MontBackend<FrConfig, 4>, 4>>

shape: CCSShape<Projective<Config>>

shape_secondary: R1CSShape<Projective<GrumpkinConfig>>

ck: ZeromorphCommitterKey<Bn<Config>>

pp_secondary: Vec<Affine<GrumpkinConfig>>

digest: Fp<MontBackend<FrConfig, 4>, 4>

_step_circuit: PhantomData<Tr<MerkleTrie>>

_setup_params: PhantomData<SetupParams<(Config, GrumpkinConfig, Zeromorph<Bn<Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>)>>

Trait Implementations

impl Parameters for PP

type Ref = SRS

type Error = Error

fn generate(reference: &Self::Ref) -> Result<Self, Self::Error>

Generate parameters.

fn load(path: &Path) -> Result<Self, Self::Error>

Load parameters from a file.

fn save(pp: &Self, path: &Path) -> Result<(), Self::Error>

Save parameters to a file.