pub struct DummyInteractionChip<SC> {
pub air: DummyInteractionAir,
/* private fields */
}Expand description
Note: in principle, committing cached trace is out of scope of a chip. But this chip is for testing, so we support it for convenience.
Fields§
§air: DummyInteractionAirImplementations§
Source§impl<SC> DummyInteractionChip<SC>
impl<SC> DummyInteractionChip<SC>
pub fn new_without_partition( field_width: usize, is_send: bool, bus_index: BusIndex, ) -> Self
pub fn new_with_partition( config: SC, field_width: usize, is_send: bool, bus_index: BusIndex, ) -> Self
pub fn load_data(&mut self, data: DummyInteractionData)
pub fn air(&self) -> AirRef<SC>where
SC: StarkProtocolConfig,
Source§impl<SC: StarkProtocolConfig> DummyInteractionChip<SC>
impl<SC: StarkProtocolConfig> DummyInteractionChip<SC>
pub fn generate_proving_ctx(&self) -> AirProvingContext<CpuColMajorBackend<SC>>
Source§impl<SC: StarkProtocolConfig> DummyInteractionChip<SC>
impl<SC: StarkProtocolConfig> DummyInteractionChip<SC>
pub fn generate_traces_with_partition( &self, data: DummyInteractionData, ) -> AirProvingContext<CpuColMajorBackend<SC>>
Auto Trait Implementations§
impl<SC> Freeze for DummyInteractionChip<SC>where
SC: Freeze,
impl<SC> RefUnwindSafe for DummyInteractionChip<SC>where
SC: RefUnwindSafe,
impl<SC> Send for DummyInteractionChip<SC>where
SC: Send,
impl<SC> Sync for DummyInteractionChip<SC>where
SC: Sync,
impl<SC> Unpin for DummyInteractionChip<SC>where
SC: Unpin,
impl<SC> UnsafeUnpin for DummyInteractionChip<SC>where
SC: UnsafeUnpin,
impl<SC> UnwindSafe for DummyInteractionChip<SC>where
SC: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more