New zkp schemes

gkr for arithmetic circuits: https://eprint.iacr.org/2020/1247

quarks: https://eprint.iacr.org/2020/1275

anything relevant for the community?