0xPolygonMiden / compiler

Compiler from MidenIR to Miden Assembly
MIT License
63 stars 21 forks source link

Generate a stub code for the import function while assembling the MASM #223

Closed greenhat closed 2 months ago

greenhat commented 3 months ago

To test the ABI transformation, we need a tx-kernel API function to exist. Since calling the genuine function requires a context which is expensive to set up, we can generate a function and hard-code an arguments check and return values.