darkfi/proof/arithmetic.zk

constant "Arith" {}

contract "Arith" {
    Base a,
    Base b,
}

circuit "Arith" {
    sum = base_add(a, b);
    constrain_instance(sum);

    product = base_mul(a, b);
    constrain_instance(product);

    difference = base_sub(a, b);
    constrain_instance(difference);

    a_gt_b = greater_than(a, b);
    constrain_instance(a_gt_b);

    b_gt_a = greater_than(b, a);
    constrain_instance(b_gt_a);
}