Zinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers. - Albert Garreta; Hendrik Waldner; Katerina Hristova; Luca Dall'Ava (IACR Cryptol. ePrint Arch., 2025)