miden-stdlib 0.19.1

Miden VM standard library
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
39
40
41
42

use miden_utils_testing::rand::rand_vector;
use num_bigint::BigUint;

// MULTIPLICATION
// ================================================================================================

#[test]
fn mul_unsafe() {
    let a = rand_u256();
    let b = rand_u256();

    let source = "
        use.std::math::u256
        begin
            exec.u256::mul_unsafe
            swapdw dropw dropw
        end";

    let operands = a
        .to_u32_digits()
        .iter()
        .chain(b.to_u32_digits().iter())
        .map(|&v| v as u64)
        .collect::<Vec<_>>();
    let result = (a * b)
        .to_u32_digits()
        .iter()
        .map(|&v| v as u64)
        .take(8)
        .rev()
        .collect::<Vec<_>>();

    build_test!(source, &operands).expect_stack(&result);
}

// HELPER FUNCTIONS
// ================================================================================================

fn rand_u256() -> BigUint {
    let limbs = rand_vector::<u64>(8).iter().map(|&v| v as u32).collect::<Vec<_>>();
    BigUint::new(limbs)
}