FLIP-and-Prove R1CSDecember 2025 — Anca Nitulescu, Nikitas Paslis, Carla RàfolsIACR Communications in Cryptology#folding#snarks