Struct sp1_core::syscall::SyscallCommitDeferred
source · pub struct SyscallCommitDeferred;Expand description
Commit to one word within the digest of deferred proofs. Takes in an index and a word.
Implementations§
Trait Implementations§
source§impl Syscall for SyscallCommitDeferred
impl Syscall for SyscallCommitDeferred
source§fn execute(
&self,
ctx: &mut SyscallContext<'_, '_>,
word_idx: u32,
word: u32,
) -> Option<u32>
fn execute( &self, ctx: &mut SyscallContext<'_, '_>, word_idx: u32, word: u32, ) -> Option<u32>
Execute the syscall and return the resulting value of register a0.
arg1 and arg2 are the
values in registers X10 and X11, respectively. While not a hard requirement, the convention
is that the return value is only for system calls such as HALT. Most precompiles use arg1
and arg2 to denote the addresses of the input data, and write the result to the memory at
arg1.source§fn num_extra_cycles(&self) -> u32
fn num_extra_cycles(&self) -> u32
The number of extra cycles that the syscall takes to execute. Unless this syscall is complex
and requires many cycles, this should be zero.
Auto Trait Implementations§
impl Freeze for SyscallCommitDeferred
impl RefUnwindSafe for SyscallCommitDeferred
impl Send for SyscallCommitDeferred
impl Sync for SyscallCommitDeferred
impl Unpin for SyscallCommitDeferred
impl UnwindSafe for SyscallCommitDeferred
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> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
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