Struct ScriptSpend 

pub struct ScriptSpend { /* private fields */ }

A Seedelf script spend, before its execution budgets are known. See the section comment above.

Implementations

impl ScriptSpend

pub fn new( chain: &Chain, inputs: &[UtxoResponse], change_owner: &Register, signer: Hash<28>, ) -> Result<Self>

Spends inputs, owned wallet-contract UTxOs (each datum is a register). What’s left after the outputs and the fee goes back into the contract under fresh re-randomizations of change_owner. signer is the one-time key’s hash: every proof is bound to it, and it must sign.

pub fn with_account( self, account: Hash<28>, inputs: &[UtxoResponse], collateral: &UtxoResponse, ) -> Result<Self>

Spends inputs too, UTxOs under the key account’s key account, and puts up collateral, an ADA-only UTxO of the same account, in place of giveme.my’s (it may be one of inputs: the ledger takes a UTxO as both). The account’s key and the one-time key sign; giveme.my doesn’t. What the account holds goes with the change. account can’t be the one-time key: the proofs must stay bound to a key used once.

pub fn change_to(self, addr: &Address) -> Self

Sends what’s left after the outputs and the fee to addr, a key address, instead of back into the contract: everything, for sending the lot, or a removed seedelf’s ADA. Tokens go 20 to an output.

pub fn output(self, output: Output, tokens: &Assets) -> Result<Self>

Adds an output. tokens must be what the output holds.

pub fn mint( self, token_name: Vec<u8>, amount: i64, redeemer: Vec<u8>, ) -> Result<Self>

Mints amount of token_name under the seedelf policy (burns it when negative), with the policy’s redeemer.

pub fn proven( self, prove: impl FnMut(&Register, &str) -> Result<(String, String)>, ) -> Result<Self>

Proves every input: prove(register, vkh) returns the Schnorr proof (z, g_r) for a register, bound to vkh, the one-time key’s hash in hex. The caller holds the secret; this never sees it.

pub fn inputs(&self) -> Vec<UtxoResponse>

The UTxOs spent, in the order given.

pub fn draft(&self) -> Result<BuiltTransaction>

The draft for Ogmios to evaluate: every redeemer carries DRAFT_BUDGET. Needs Self::proven first, or the scripts fail.

pub fn finalize(&self, budgets: &Budgets) -> Result<FinalSpend>

The unsigned transaction, with the budgets Ogmios measured on the draft and the fee they and the signed size need.

pub fn estimate(&self) -> Result<FinalSpend>

Self::finalize with guessed budgets and stand-in proofs: whether these inputs can pay, before anything is proven or measured.

pub fn measure_locally(&self, known: &[Resolved]) -> Result<FinalSpend>

Measures the scripts in the wallet (crate::eval) rather than through Ogmios, and finishes the spend: the draft, then the finished transaction measured again as it will be sent. known are UTxOs it spends that aren’t on chain yet (a chain’s own outputs); the rest come from the rows given, and the Seedelf references are bundled.

Trait Implementations

impl Clone for ScriptSpend

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.