Feature request : please support ꜱᴍᴛʟɪʙ as a target !
ytrezq opened this issue · 0 comments
ytrezq commented
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.