typedef libff::Fr<default_r1cs_ppzksnark_pp> FieldT;
default_r1cs_ppzksnark_pp::init_public_params();
定义有限域,初始化椭圆曲线参数;
protoboard<FieldT> pb;
pb_variable<FieldT> out;
pb_variable<FieldT> x;
pb_variable<FieldT> sym_1;
pb_variable<FieldT> y;
pb_variable<FieldT> sym_2;
定义protoboard和变量,其中变量1会在protoboard中自动定义;
out.allocate(pb, "out");
x.allocate(pb, "x")<