Test suite for Miden SDK (`tx_kernel` API) ABI transformation
greenhat opened this issue · comments
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