circom/c/zqfield.cpp
c/zqfield.cppRaw
1#include "zqfield.h"
2
3ZqField::ZqField(PBigInt ap) {
4 mpz_init_set(p, *ap);
5 mpz_init_set_ui(zero, 0);
6 mpz_init_set_ui(one, 1);
7}
8
9
10void ZqField::add(PBigInt r, PBigInt a, PBigInt b) {
11 mpz_add(*r,*a,*b);
12 mpz_fdiv_r(*r, *r, p);
13}
14
15void ZqField::lt(PBigInt r, PBigInt a, PBigInt b) {
16 int c = mpz_cmp(*a, *b);
17 if (c<0) {
18 mpz_set(*r, one);
19 } else {
20 mpz_set(*r, zero);
21 }
22}
23
24int ZqField::isTrue(PBigInt a) {
25 return mpz_sgn(*a);
26}
27
28void ZqField::copy(PBigInt a, PBigInt b) {
29 return mpz_set(*a, *b);
30}