Type Alias Sdk

pub type Sdk = GenericSdk<BabyBearPoseidon2Engine>;

Aliased Type

struct Sdk { /* private fields */ }

Implementations

impl<E: StarkFriEngine<SC>> GenericSdk<E>

pub fn new() -> Self

pub fn build<P: AsRef<Path>>( &self, guest_opts: GuestOptions, pkg_dir: P, target_filter: &Option<TargetFilter>, ) -> Result<Elf>

pub fn transpile( &self, elf: Elf, transpiler: Transpiler<F>, ) -> Result<VmExe<F>, TranspilerError>

pub fn execute<VC: VmConfig<F>>( &self, exe: VmExe<F>, vm_config: VC, inputs: StdIn, ) -> Result<Vec<F>, ExecutionError>

where VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn commit_app_exe( &self, app_fri_params: FriParameters, exe: VmExe<F>, ) -> Result<Arc<NonRootCommittedExe>>

pub fn app_keygen<VC: VmConfig<F>>( &self, config: AppConfig<VC>, ) -> Result<AppProvingKey<VC>>

where VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn generate_app_proof<VC: VmConfig<F>>( &self, app_pk: Arc<AppProvingKey<VC>>, app_committed_exe: Arc<NonRootCommittedExe>, inputs: StdIn, ) -> Result<ContinuationVmProof<SC>>

where VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn verify_app_proof( &self, app_vk: &AppVerifyingKey, proof: &ContinuationVmProof<SC>, ) -> Result<VerifiedContinuationVmPayload, VmVerificationError>

Verifies the ContinuationVmProof, which is a collection of STARK proofs as well as additional Merkle proof for user public values.

This function verifies the STARK proofs and additional conditions to ensure that the proof is a valid proof of guest VM execution that terminates successfully (exit code 0) with respect to a commitment to some VM executable. It is the responsibility of the caller to check that the commitment matches the expected VM executable.

pub fn verify_app_proof_without_continuations( &self, app_vk: &AppVerifyingKey, proof: &Proof<SC>, ) -> Result<(), VerificationError>

pub fn agg_keygen( &self, config: AggConfig, reader: &impl Halo2ParamsReader, pv_handler: &impl StaticVerifierPvHandler, ) -> Result<AggProvingKey>

pub fn generate_root_verifier_input<VC: VmConfig<F>>( &self, app_pk: Arc<AppProvingKey<VC>>, app_exe: Arc<NonRootCommittedExe>, agg_stark_pk: AggStarkProvingKey, inputs: StdIn, ) -> Result<RootVmVerifierInput<SC>>

where VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn generate_evm_proof<VC: VmConfig<F>>( &self, reader: &impl Halo2ParamsReader, app_pk: Arc<AppProvingKey<VC>>, app_exe: Arc<NonRootCommittedExe>, agg_pk: AggProvingKey, inputs: StdIn, ) -> Result<EvmProof>

where VC::Executor: Chip<SC>, VC::Periphery: Chip<SC>,

pub fn generate_snark_verifier_contract( &self, reader: &impl Halo2ParamsReader, agg_pk: &AggProvingKey, ) -> Result<EvmVerifier>

pub fn verify_evm_proof( &self, evm_verifier: &EvmVerifier, evm_proof: &EvmProof, ) -> Result<u64>

Trait Implementations

impl<E: StarkFriEngine<SC>> Default for GenericSdk<E>

fn default() -> Self

Returns the “default value” for a type.