FLIP-and-prove R1CS. - Anca Nitulescu; Nikitas Paslis; Carla Ràfols (IACR Cryptol. ePrint Arch., 2024)