make great_boy_pod statements priv to stay in line within reasonable params

Author: ed255

src/examples/mod.rs

@@ -227,6 +227,9 @@ pub fn friend_sign_pod_builder(params: &Params, friend: &str) -> SignedPodBuilde
     friend_pod
 }
 
+// TODO: Rewrite this to have a small number of public statements.  The best way to get this is by
+// defining custom predicates that expose only the necessary data so that most of the statements
+// can be private.
 pub fn great_boy_pod_builder(
     params: &Params,
     good_boy_pods: [&SignedPod; 4],
@@ -252,42 +255,42 @@ pub fn great_boy_pod_builder(
 
     for good_boy_idx in 0..2 {
         // Type check
-        great_boy.pub_op(op!(
+        great_boy.priv_op(op!(
             eq,
             (friend_pods[good_boy_idx], KEY_TYPE),
             PodType::MockSigned as i64
         ))?;
         for issuer_idx in 0..2 {
             // Type check
-            great_boy.pub_op(op!(
+            great_boy.priv_op(op!(
                 eq,
                 (good_boy_pods[good_boy_idx * 2 + issuer_idx], KEY_TYPE),
                 PodType::MockSigned as i64
             ))?;
             // Each good boy POD comes from a valid issuer
-            great_boy.pub_op(op!(
+            great_boy.priv_op(op!(
                 set_contains,
                 good_boy_issuers,
                 (good_boy_pods[good_boy_idx * 2 + issuer_idx], KEY_SIGNER)
             ))?;
             // Each good boy has 2 good boy pods
-            great_boy.pub_op(op!(
+            great_boy.priv_op(op!(
                 eq,
                 (good_boy_pods[good_boy_idx * 2 + issuer_idx], "user"),
                 (friend_pods[good_boy_idx], KEY_SIGNER)
             ))?;
         }
         // The good boy PODs from each good boy have different issuers
-        great_boy.pub_op(op!(
+        great_boy.priv_op(op!(
             ne,
             (good_boy_pods[good_boy_idx * 2], KEY_SIGNER),
             (good_boy_pods[good_boy_idx * 2 + 1], KEY_SIGNER)
         ))?;
         // Each good boy is receivers' friend
-        great_boy.pub_op(op!(eq, (friend_pods[good_boy_idx], "friend"), receiver))?;
+        great_boy.priv_op(op!(eq, (friend_pods[good_boy_idx], "friend"), receiver))?;
     }
     // The two good boys are different
-    great_boy.pub_op(op!(
+    great_boy.priv_op(op!(
         ne,
         (friend_pods[0], KEY_SIGNER),
         (friend_pods[1], KEY_SIGNER)
@@ -300,8 +303,6 @@ pub fn great_boy_pod_full_flow() -> Result<(Params, MainPodBuilder)> {
     let params = Params {
         max_input_signed_pods: 6,
         max_statements: 100,
-        max_public_statements: 50,
-        num_public_statements_id: 50,
         ..Default::default()
     };