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

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-arithmetic-circuits/ https://blog.zksecurity.xyz/posts/formal-verification-arithm...