Chicala Soundness

This project is used to test the soundness of Chicala transformation. It tests both hardware and software versions of the circuit under the same test cases.