pub struct ShardMainData<SC: StarkGenericConfig, M, P> {
pub traces: Vec<M>,
pub main_commit: Com<SC>,
pub main_data: P,
pub chip_ordering: HashMap<String, usize>,
pub public_values: Vec<SC::Val>,
}
Fields§
§traces: Vec<M>
§main_commit: Com<SC>
§main_data: P
§chip_ordering: HashMap<String, usize>
§public_values: Vec<SC::Val>
Implementations§
Auto Trait Implementations§
impl<SC, M, P> Freeze for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: Freeze,
P: Freeze,
impl<SC, M, P> RefUnwindSafe for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: RefUnwindSafe,
P: RefUnwindSafe,
M: RefUnwindSafe,
<SC as StarkGenericConfig>::Val: RefUnwindSafe,
impl<SC, M, P> Send for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: Send,
P: Send,
M: Send,
impl<SC, M, P> Sync for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: Sync,
P: Sync,
M: Sync,
impl<SC, M, P> Unpin for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: Unpin,
P: Unpin,
M: Unpin,
<SC as StarkGenericConfig>::Val: Unpin,
impl<SC, M, P> UnwindSafe for ShardMainData<SC, M, P>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Commitment: UnwindSafe,
P: UnwindSafe,
M: UnwindSafe,
<SC as StarkGenericConfig>::Val: 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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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