lwk_simplicity 0.18.0

Liquid Wallet Kit - Utilities to deal with Simplicity transactions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

use std::sync::Arc;

use simplicityhl::simplicity::elements::Transaction;
use simplicityhl::simplicity::jet::elements::ElementsEnv;
use simplicityhl::simplicity::jet::Elements;
use simplicityhl::simplicity::{BitMachine, RedeemNode, Value};
use simplicityhl::tracker::{DefaultTracker, TrackerLogLevel};
use simplicityhl::{CompiledProgram, WitnessValues};

use crate::error::ProgramError;

/// Satisfy and execute a compiled program in the provided environment.
/// Returns the pruned program and the resulting value.
///
/// # Errors
/// Returns error if witness satisfaction or program execution fails.
pub fn run_program(
    program: &CompiledProgram,
    witness_values: WitnessValues,
    env: &ElementsEnv<Arc<Transaction>>,
    log_level: TrackerLogLevel,
) -> Result<(Arc<RedeemNode<Elements>>, Value), ProgramError> {
    let satisfied = program
        .satisfy(witness_values)
        .map_err(ProgramError::WitnessSatisfaction)?;

    let mut tracker = DefaultTracker::new(satisfied.debug_symbols()).with_log_level(log_level);

    let pruned = satisfied
        .redeem()
        .prune_with_tracker(env, &mut tracker)
        .map_err(ProgramError::Pruning)?;
    let mut mac = BitMachine::for_program(&pruned)?;

    let result = mac.exec(&pruned, env).map_err(ProgramError::Execution)?;

    Ok((pruned, result))
}