darkfi/example/dao/proof/foo.zk

constant "DaoMint" {
}

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

circuit "DaoMint" {
    c = base_add(a, b);
    constrain_instance(c);
}