Module utils

Utility functions and test utils

Functions

air_test

air_test_impl

Executes and proves the VM and returns the final memory state. If debug is true, runs the debug prover.

air_test_with_min_segments

Executes and proves the VM and returns the final memory state.

execute_and_prove_program

Executes program and runs simple STARK prover test (keygen, prove, verify).

gen_vm_program_test_proof_input

Generates the VM STARK circuit, in the form of AIRs and traces, but does not do any proving. Output is the payload of everything the prover needs.

generate_long_number

i32_to_f

next_power_of_two_or_zero

Return either 0 if n is zero or the next power of two of n. Used to resize the number of rows in a trace matrix.

u32_into_limbs

u32_sign_extend