4 points | by martocho 5 hours ago ago
1 comments
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...
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...