|
@@ -69,7 +69,8 @@ int main()
|
|
|
bool verified = r1cs_gg_ppzksnark_verifier_strong_IC<default_r1cs_gg_ppzksnark_pp>(keypair.vk, pb.primary_input(), proof);
|
|
|
|
|
|
cout << "Number of R1CS constraints: " << constraint_system.num_constraints() << endl;
|
|
|
- cout << "Primary (public) input: " << pb.primary_input() << endl;
|
|
|
+ cout << "Primary (public) input length: " << pb.primary_input().size() << endl;
|
|
|
+// cout << "Primary (public) input: " << pb.primary_input() << endl;
|
|
|
cout << "Auxiliary (private) input length: " << pb.auxiliary_input().size() << endl;
|
|
|
// cout << "Auxiliary (private) input: " << pb.auxiliary_input() << endl;
|
|
|
cout << "Verification status: " << verified << endl;
|