maybe worth reading this comparison on formal verification frameworks for arithmetic circuits (circuits made out of multiplications and additions): https://blog.zksecurity.xyz/posts/formal-verification-arithm...