Struct 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, contains_global_bus: bool, ) -> Self

Creates a new StarkMachine.

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

Returns the number of public values elements.

pub const fn contains_global_bus(&self) -> bool

Returns whether the machine contains a global bus.

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,

Returns an iterator over the chips in the machine that are included in the given shard.

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,

Returns an iterator over the chips in the machine that are included in the given shard.

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

Returns the indices of the chips in the machine that are included in the given shard.

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, chips_filter: Option<&[String]>, )

Generates the dependencies of the given records.

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

Returns the config of the machine.

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>>,

Debugs the constraints of the given records.