This work started as a fork from the original arithmetic-circuits library which is no longer developed. Since there is currently no hope for merging changes upstream and GitHub forks have limited PM ...

Add a description, image, and links to the arithmetic-circuit topic page so that developers can more easily learn about it ...

Once the arithmetic bit-level representation of the circuit is obtained, equivalence checking can be performed using simple arithmetic operations. We have successfully applied the technique for the ...

1. Agrawal, M. and Vinay, V. Arithmetic circuits: A chasm at depth four. In Proceedings of the Annual Symposium on Foundations of Computer Science. IEEE, 2008, 67–75. 2. Dvir, Z. and Shpilka, A.