Struct sp1_core::stark::StarkMachine

pub struct StarkMachine<SC: StarkGenericConfig, A> { /* private fields */ }

A STARK for proving RISC-V execution.

Implementations

impl<SC: StarkGenericConfig, A> StarkMachine<SC, A>

pub const fn new( config: SC, chips: Vec<Chip<Val<SC>, A>>, num_pv_elts: usize, ) -> Self

impl<SC: StarkGenericConfig, A: MachineAir<Val<SC>>> StarkMachine<SC, A>

pub fn chips(&self) -> &[MachineChip<SC, A>]

Get an array containing a ChipRef for all the chips of this RISC-V STARK machine.

pub const fn num_pv_elts(&self) -> usize

pub fn preprocessed_chip_ids(&self) -> Vec<usize>

Returns the id of all chips in the machine that have preprocessed columns.

pub fn shard_chips<'a, 'b>( &'a self, shard: &'b A::Record, ) -> impl Iterator<Item = &'b MachineChip<SC, A>>

where 'a: 'b,

pub fn shard_chips_ordered<'a, 'b>( &'a self, chip_ordering: &'b HashMap<String, usize>, ) -> impl Iterator<Item = &'b MachineChip<SC, A>>

where 'a: 'b,

pub fn chips_sorted_indices(&self, proof: &ShardProof<SC>) -> Vec<Option<usize>>

pub fn setup( &self, program: &A::Program, ) -> (StarkProvingKey<SC>, StarkVerifyingKey<SC>)

The setup preprocessing phase.

Given a program, this function generates the proving and verifying keys. The keys correspond to the program code and other preprocessed colunms such as lookup tables.

pub fn generate_dependencies( &self, records: &mut [A::Record], opts: &<A::Record as MachineRecord>::Config, )

pub const fn config(&self) -> &SC

pub fn verify( &self, vk: &StarkVerifyingKey<SC>, proof: &MachineProof<SC>, challenger: &mut SC::Challenger, ) -> Result<(), MachineVerificationError<SC>>

where SC::Challenger: Clone, A: for<'a> Air<VerifierConstraintFolder<'a, SC>>,

Verify that a proof is complete and valid given a verifying key and a claimed digest.

pub fn debug_constraints( &self, pk: &StarkProvingKey<SC>, records: Vec<A::Record>, challenger: &mut SC::Challenger, )

where SC::Val: PrimeField32, A: for<'a> Air<DebugConstraintBuilder<'a, Val<SC>, SC::Challenge>>,