Struct snarkvm_synthesizer_process::Process

pub struct Process<N: Network> { /* private fields */ }

Implementations

impl<N: Network> Process<N>

pub fn authorize<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, program_id: impl TryInto<ProgramID<N>>, function_name: impl TryInto<Identifier<N>>, inputs: impl ExactSizeIterator<Item = impl TryInto<Value<N>>>, rng: &mut R ) -> Result<Authorization<N>>

Authorizes a call to the program function for the given inputs.

pub fn authorize_fee_private<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, credits: Record<N, Plaintext<N>>, base_fee_in_microcredits: u64, priority_fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, rng: &mut R ) -> Result<Authorization<N>>

Authorizes the fee given the credits record, the fee amount (in microcredits), and the deployment or execution ID.

pub fn authorize_fee_public<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, private_key: &PrivateKey<N>, base_fee_in_microcredits: u64, priority_fee_in_microcredits: u64, deployment_or_execution_id: Field<N>, rng: &mut R ) -> Result<Authorization<N>>

Authorizes the fee given the the fee amount (in microcredits) and the deployment or execution ID.

impl<N: Network> Process<N>

pub fn deploy<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, program: &Program<N>, rng: &mut R ) -> Result<Deployment<N>>

Deploys the given program ID, if it does not exist.

pub fn load_deployment(&mut self, deployment: &Deployment<N>) -> Result<()>

Adds the newly-deployed program. This method assumes the given deployment is valid.

impl<N: Network> Process<N>

pub fn evaluate<A: Aleo<Network = N>>( &self, authorization: Authorization<N> ) -> Result<Response<N>>

Evaluates a program function on the given request.

impl<N: Network> Process<N>

pub fn execute<A: Aleo<Network = N>, R: CryptoRng + Rng>( &self, authorization: Authorization<N>, rng: &mut R ) -> Result<(Response<N>, Trace<N>)>

Executes the given authorization.

impl<N: Network> Process<N>

pub fn finalize_deployment<P: FinalizeStorage<N>>( &self, state: FinalizeGlobalState, store: &FinalizeStore<N, P>, deployment: &Deployment<N>, fee: &Fee<N> ) -> Result<(Stack<N>, Vec<FinalizeOperation<N>>)>

Finalizes the deployment and fee. This method assumes the given deployment is valid. This method should only be called by VM::finalize().

pub fn finalize_execution<P: FinalizeStorage<N>>( &self, state: FinalizeGlobalState, store: &FinalizeStore<N, P>, execution: &Execution<N>, fee: Option<&Fee<N>> ) -> Result<Vec<FinalizeOperation<N>>>

Finalizes the execution and fee. This method assumes the given execution is valid. This method should only be called by VM::finalize().

pub fn finalize_fee<P: FinalizeStorage<N>>( &self, state: FinalizeGlobalState, store: &FinalizeStore<N, P>, fee: &Fee<N> ) -> Result<Vec<FinalizeOperation<N>>>

Finalizes the fee. This method assumes the given fee is valid. This method should only be called by VM::finalize().

impl<N: Network> Process<N>

pub fn verify_deployment<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, deployment: &Deployment<N>, rng: &mut R ) -> Result<()>

Verifies the given deployment is ordered.

impl<N: Network> Process<N>

pub fn verify_execution(&self, execution: &Execution<N>) -> Result<()>

Verifies the given execution is valid. Note: This does not check that the global state root exists in the ledger.

impl<N: Network> Process<N>

pub fn construct_call_graph( &self, execution: &Execution<N> ) -> Result<HashMap<N::TransitionID, Vec<N::TransitionID>>>

impl<N: Network> Process<N>

pub fn verify_fee( &self, fee: &Fee<N>, deployment_or_execution_id: Field<N> ) -> Result<()>

Verifies the given fee is valid. Note: This does not check that the global state root exists in the ledger.

impl<N: Network> Process<N>

pub fn setup<A: Aleo<Network = N>, R: Rng + CryptoRng>( rng: &mut R ) -> Result<Self>

Initializes a new process.

pub fn add_program(&mut self, program: &Program<N>) -> Result<()>

Adds a new program to the process. If you intend to execute the program, use deploy and finalize_deployment instead.

pub fn add_stack(&mut self, stack: Stack<N>)

Adds a new stack to the process. If you intend to execute the program, use deploy and finalize_deployment instead.

impl<N: Network> Process<N>

pub fn load() -> Result<Self>

Initializes a new process.

pub const fn universal_srs(&self) -> &Arc<UniversalSRS<N>>

Returns the universal SRS.

pub fn contains_program(&self, program_id: &ProgramID<N>) -> bool

Returns true if the process contains the program with the given ID.

pub fn get_stack( &self, program_id: impl TryInto<ProgramID<N>> ) -> Result<&Arc<Stack<N>>>

Returns the stack for the given program ID.

pub fn get_program( &self, program_id: impl TryInto<ProgramID<N>> ) -> Result<&Program<N>>

Returns the program for the given program ID.

pub fn get_proving_key( &self, program_id: impl TryInto<ProgramID<N>>, function_name: impl TryInto<Identifier<N>> ) -> Result<ProvingKey<N>>

Returns the proving key for the given program ID and function name.

pub fn get_verifying_key( &self, program_id: impl TryInto<ProgramID<N>>, function_name: impl TryInto<Identifier<N>> ) -> Result<VerifyingKey<N>>

Returns the verifying key for the given program ID and function name.

pub fn insert_proving_key( &self, program_id: &ProgramID<N>, function_name: &Identifier<N>, proving_key: ProvingKey<N> ) -> Result<()>

Inserts the given proving key, for the given program ID and function name.

pub fn insert_verifying_key( &self, program_id: &ProgramID<N>, function_name: &Identifier<N>, verifying_key: VerifyingKey<N> ) -> Result<()>

Inserts the given verifying key, for the given program ID and function name.

pub fn synthesize_key<A: Aleo<Network = N>, R: Rng + CryptoRng>( &self, program_id: &ProgramID<N>, function_name: &Identifier<N>, rng: &mut R ) -> Result<()>

Synthesizes the proving and verifying key for the given program ID and function name.

Trait Implementations

impl<N: Clone + Network> Clone for Process<N>

fn clone(&self) -> Process<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.