Test suite for Miden SDK (tx_kernel API) ABI transformation

[greenhat]

Goal

The goal is to test both the ABI transformation strategies implemented in the frontend and the Rust bindings written for every Miden SDK tx-kernel API function in the miden-tx-kernel crate (see get_inputs for example).

Implementation details

We can generate the tx_kernel API function stubs in the IR that will assert certain facts about the inputs and return mocked data, and then run the compiled code in the Miden VM. This approach has a drawback that it would not be able to use property-based testing, since the inputs and outputs are hard-coded in the stubs.

Tasks

Beta Give feedback

1. MASM compilation is passing
2. Generate a stub code for the import function while assembling the MASM #223
   +0
   
3. MASM assembly is passing
4. Generate Rust code to test the values received from the tx_kernel::get_inputs call
5. Failed assertion while executing get_inputs ABI transformation test (clk=17) on VM #225
   +0
   
6. Failing assert in intrinsics::mem::replace_element in executing get_inputs test (clk=451) in VM #230
   1 of 1
   +0
   

[bitwalker]

Closed via #284