Our tool TalisMan 1.0 is able to parse and verify AIGs. For further information we refer to the paper Clemens Hofstadler, Daniela Kaufmann. Guess and Prove: A Hybrid Approach to Linear Polynomial ...

Abstract: Cryptographic techniques are reviewed in this literature review, with particular attention paid to their applicability, importance, contributions, and field strengths. These algorithms ...