smplx-std 0.0.5

A blazingly-fast, ux-first simplicity development framework
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use simplex::include_simf;
use simplex::program::{ArgumentsTrait, WitnessTrait};

include_simf!("../../../../crates/simplex/tests/ui_simfs/array_tr_storage.simf");

fn main() -> Result<(), String> {
    let original_witness = derived_array_tr_storage::ArrayTrStorageWitness {
        changed_index: 0,
        state: Default::default(),
    };

    let witness_values = original_witness.build_witness();
    let recovered_witness = derived_array_tr_storage::ArrayTrStorageWitness::from_witness(&witness_values)?;
    assert_eq!(original_witness, recovered_witness);

    let original_arguments = derived_array_tr_storage::ArrayTrStorageArguments {};

    let witness_values = original_arguments.build_arguments();
    let recovered_witness = derived_array_tr_storage::ArrayTrStorageArguments::from_arguments(&witness_values)?;
    assert_eq!(original_arguments, recovered_witness);

    Ok(())
}