Automated Analysis of Halo2 Circuits. - Fatemeh Heidari Soureshjani; Mathias Hall-Andersen; MohammadMahdi Jahanara; Jeffrey Kam; Jan Gorzny; Mohsen Ahmadvand (IACR Cryptol. ePrint Arch., 2023)