Struct sov_prover_incentives::ProverIncentives

pub struct ProverIncentives<C: Context, Vm: Zkvm> {
    pub address: C::Address,
    pub bonding_token_address: StateValue<C::Address>,
    pub commitment_of_allowed_verifier_method: StateValue<Vm::CodeCommitment, BcsCodec>,
    pub bonded_provers: StateMap<C::Address, u64>,
    pub minimum_bond: StateValue<u64>,
    /* private fields */
}

A new module:

• Must derive ModuleInfo
• Must contain [address] field
• Can contain any number of #[state] or [module] fields

Fields

address: C::Address

Address of the module.

bonding_token_address: StateValue<C::Address>

The address of the token used for bonding provers

commitment_of_allowed_verifier_method: StateValue<Vm::CodeCommitment, BcsCodec>

The code commitment to be used for verifying proofs

bonded_provers: StateMap<C::Address, u64>

The set of registered provers and their bonded amount.

minimum_bond: StateValue<u64>

The minimum bond for a prover to be eligible for onchain verification

Trait Implementations

impl<C: Context, Vm: Zkvm> Default for ProverIncentives<C, Vm>

fn default() -> Self

Returns the “default value” for a type.

impl<C: Context, Vm: Zkvm> Module for ProverIncentives<C, Vm>

type Context = C

Execution context.

type Config = ProverIncentivesConfig<C, Vm>

Configuration for the genesis method.

type CallMessage = CallMessage

Module defined argument to the call method.

fn genesis( &self, config: &Self::Config, working_set: &mut WorkingSet<C::Storage> ) -> Result<(), Error>

Genesis is called when a rollup is deployed and can be used to set initial state values in the module.

fn call( &self, msg: Self::CallMessage, context: &Self::Context, working_set: &mut WorkingSet<C::Storage> ) -> Result<CallResponse, Error>

Call allows interaction with the module and invokes state changes. It takes a module defined type and a context as parameters.

impl<C: Context, Vm: Zkvm> ModuleInfo for ProverIncentives<C, Vm>

type Context = C

fn prefix(&self) -> Prefix

Returns the prefix of the module.

fn address(&self) -> &<Self::Context as Spec>::Address

Returns address of the module.

fn dependencies(&self) -> Vec<&<Self::Context as Spec>::Address>

Returns addresses of all the other modules this module is dependent on