Feature request : please support ꜱᴍᴛʟɪʙ as a target !

[ytrezq]

There are many many tools to check automatically for the correctness of a program, but they use the ꜱᴍᴛlib/ꜱᴀᴛ instead of the ʀ1ᴄꜱ.
The ᴄɪʀᴄ compiler does something like this with Zokrates through rsmt2 but they dropped the support for circom and thus never supported using circom as a ꜱᴍᴛ target.