'Succinct Diophantine-Satisfiability Arguments' by Patrick Towa & Damien Vergnaud

https://eprint.iacr.org/2020/682.pdf nostr:note18p7dgv27wl5j3czvplnteyvrn7m8kh0u55ll0t8hngjlp6p0v5pqzd3kfn