pub struct LeoSynthesize {
pub(crate) program_name: String,
pub(crate) local: bool,
pub(crate) skip: Vec<String>,
pub(crate) action: TransactionAction,
pub(crate) env_override: EnvOptions,
build_options: BuildOptions,
}
Expand description
Synthesize proving and verifying keys for a given function.
Fields§
§program_name: String
§local: bool
§skip: Vec<String>
§action: TransactionAction
§env_override: EnvOptions
§build_options: BuildOptions
Trait Implementations§
Source§impl Args for LeoSynthesize
impl Args for LeoSynthesize
Source§fn group_id() -> Option<Id>
fn group_id() -> Option<Id>
Report the [
ArgGroup::id
][crate::ArgGroup::id] for this set of argumentsSource§fn augment_args<'b>(__clap_app: Command) -> Command
fn augment_args<'b>(__clap_app: Command) -> Command
Source§fn augment_args_for_update<'b>(__clap_app: Command) -> Command
fn augment_args_for_update<'b>(__clap_app: Command) -> Command
Append to [
Command
] so it can instantiate self
via
[FromArgMatches::update_from_arg_matches_mut
] Read moreSource§impl Command for LeoSynthesize
impl Command for LeoSynthesize
Source§type Input = Option<Package>
type Input = Option<Package>
If the current command requires running another command beforehand
and needs its output result, this is where the result type is defined.
Example: type Input: ::Out
Source§type Output = ()
type Output = ()
Defines the output of this command, which may be used as
Input
for another
command. If this command is not used as a prelude for another command,
this field may be left empty.Source§fn log_span(&self) -> Span
fn log_span(&self) -> Span
Adds a span to the logger via
tracing::span
.
Because of the specifics of the macro implementation, it is not possible
to set the span name with a non-literal i.e. a dynamic variable even if this
variable is a &’static str.Source§fn prelude(&self, context: Context) -> Result<Self::Input>
fn prelude(&self, context: Context) -> Result<Self::Input>
Runs the prelude and returns the Input of the current command.
Source§fn apply(self, context: Context, input: Self::Input) -> Result<Self::Output>
fn apply(self, context: Context, input: Self::Input) -> Result<Self::Output>
Runs the main operation of this command. This function is run within
context of ‘execute’ function, which sets logging and timers.
Source§impl CommandFactory for LeoSynthesize
impl CommandFactory for LeoSynthesize
Source§impl Debug for LeoSynthesize
impl Debug for LeoSynthesize
Source§impl FromArgMatches for LeoSynthesize
impl FromArgMatches for LeoSynthesize
Source§fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>
fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>
Source§fn from_arg_matches_mut(
__clap_arg_matches: &mut ArgMatches,
) -> Result<Self, Error>
fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>
Source§fn update_from_arg_matches(
&mut self,
__clap_arg_matches: &ArgMatches,
) -> Result<(), Error>
fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>
Assign values from
ArgMatches
to self
.Source§fn update_from_arg_matches_mut(
&mut self,
__clap_arg_matches: &mut ArgMatches,
) -> Result<(), Error>
fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>
Assign values from
ArgMatches
to self
.Source§impl Parser for LeoSynthesize
impl Parser for LeoSynthesize
§fn parse_from<I, T>(itr: I) -> Self
fn parse_from<I, T>(itr: I) -> Self
Parse from iterator, [exit][Error::exit] on error.
§fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>
fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>
Parse from iterator, return Err on error.
§fn update_from<I, T>(&mut self, itr: I)
fn update_from<I, T>(&mut self, itr: I)
Update from iterator, [exit][Error::exit] on error. Read more
§fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>
fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>
Update from iterator, return Err on error.
Auto Trait Implementations§
impl Freeze for LeoSynthesize
impl RefUnwindSafe for LeoSynthesize
impl Send for LeoSynthesize
impl Sync for LeoSynthesize
impl Unpin for LeoSynthesize
impl UnwindSafe for LeoSynthesize
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<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