pub enum ServiceSlot {
Value(ChallengeLabel),
Const(ChallengeLabel, u128),
RequestIdx {
num_bytes: usize,
},
RequestIdxBytes {
num_bytes: usize,
},
}Expand description
One key slot; its position fixes the β power.
Variants§
Value(ChallengeLabel)
Bound to a table column on each endpoint.
Const(ChallengeLabel, u128)
Same constant on both endpoints (cross-table domain separation).
RequestIdx
Stateless-service clock: the requester folds its own row index, the responder commits a column carrying the requester’s row.
RequestIdxBytes
The same clock split one slot per byte, for a responder whose AIR reads the bytes separately.
Trait Implementations§
Source§impl Clone for ServiceSlot
impl Clone for ServiceSlot
impl Copy for ServiceSlot
Source§impl Debug for ServiceSlot
impl Debug for ServiceSlot
impl Eq for ServiceSlot
Source§impl PartialEq for ServiceSlot
impl PartialEq for ServiceSlot
impl StructuralPartialEq for ServiceSlot
Auto Trait Implementations§
impl Freeze for ServiceSlot
impl RefUnwindSafe for ServiceSlot
impl Send for ServiceSlot
impl Sync for ServiceSlot
impl Unpin for ServiceSlot
impl UnsafeUnpin for ServiceSlot
impl UnwindSafe for ServiceSlot
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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