Struct DefaultProver

pub struct DefaultProver { /* private fields */ }

The default prover implementation. This DefaultProver uses the default zkVM prover. The selection of the zkVM prover is based on environment variables.

The RISC0_PROVER environment variable, if specified, will select the following [Prover] implementation:

• bonsai: [BonsaiProver] to prove on Bonsai.
• local: LocalProver to prove locally in-process. Note: this requires the prove feature flag.
• ipc: [ExternalProver] to prove using an r0vm sub-process. Note: r0vm must be installed. To specify the path to r0vm, use RISC0_SERVER_PATH.

If RISC0_PROVER is not specified, the following rules are used to select a [Prover]:

• [BonsaiProver] if the BONSAI_API_URL and BONSAI_API_KEY environment variables are set unless RISC0_DEV_MODE is enabled.
• LocalProver if the prove feature flag is enabled.
• [ExternalProver] otherwise.

Implementations

impl DefaultProver

pub fn new( set_builder_program: Vec<u8>, assessor_program: Vec<u8>, address: Address, domain: EIP712DomainSaltless, ) -> Result<Self>

Creates a new DefaultProver.

pub async fn fulfill( &self, orders: &[(ProofRequest, Bytes)], ) -> Result<(Vec<BoundlessFulfillment>, Receipt, AssessorReceipt)>

Fulfills a list of orders, returning the relevant data:

• A list of Fulfillment of the orders.
• The Receipt of the root set.
• The SetInclusionReceipt of the assessor.